Towards a theory of ground-theoretic content
type: Item
instance of: scholarly article
title: Towards a theory of ground-theoretic content
zbMATH Open document ID: 1385.03003
published in: Synthese
publication date: 2018-03-27T00:00:00Z
full work available at URL: 140553.pdf
review text: The author proposes an answer to the question what ground is sensitive to. He builds on, and modifies, the view implicit in the semantics of ground that \textit{K. Fine} has developed in his papers [``Guide to ground'', in: Metaphysical grounding. Cambridge: Cambridge University Press. 37--80 (2012); Rev. Symb. Log. 5, No. 1, 1--25 (2012; Zbl 1250.03010)]. The key element of his proposal is the notion of a mode of verification, which corresponds to a certain kind of answer to the question how a truth is verified by a fact. It is shown how various competing views of the structural principles of ground, as well as of ground-theoretic equivalence, may be implemented within a formal framework.
Mathematics Subject Classification ID: 03A05
zbMATH DE Number: 6853436
zbMATH Keywords: ground
zbMATH Keywords: content
zbMATH Keywords: logic of ground
zbMATH Keywords: truthmaking
author: Stephan C. Kramer
reviewed by: Branislav Boričić
MaRDI profile type: Publication
OpenAlex ID: W2529926435
cites work: Q3099308
cites work: LOGICAL GROUNDS
cites work: ON WEAK GROUND
cites work: Some puzzles of ground
cites work: THE PURE LOGIC OF GROUND
cites work: Truth-maker semantics for intuitionistic logic
cites work: Angellic content
cites work: Pure logic of many-many ground
cites work: A LOGIC FOR ‘BECAUSE’
DOI: 10.1007/S11229-016-1242-6
description: scientific article; zbMATH DE number 6853436