Axioms for Grounded Truth

Schindler, Thomas

doi:10.1017/s1755020313000282

Cited by 9 publications

(6 citation statements)

References 14 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Schindler [40] defined a group of systems that resemble ours. They differ from in restricting the compositional principles – to grounded sentences.…”

Section: Comparison With Other Axiomatizations Of Truthmentioning

confidence: 99%

Classical Determinate Truth I

Halbach¹,

Fujimoto²

2023

J. symb. log.

View full text Add to dashboard Cite

We introduce and analyze a new axiomatic theory $\mathsf {CD}$ of truth. The primitive truth predicate can be applied to sentences containing the truth predicate. The theory is thoroughly classical in the sense that $\mathsf {CD}$ is not only formulated in classical logic, but that the axiomatized notion of truth itself is classical: The truth predicate commutes with all quantifiers and connectives, and thus the theory proves that there are no truth value gaps or gluts. To avoid inconsistency, the instances of the T-schema are restricted to determinate sentences. Determinateness is introduced as a further primitive predicate and axiomatized. The semantics and proof theory of $\mathsf {CD}$ are analyzed.

show abstract

“…Schindler [40] defined a group of systems that resemble ours. They differ from in restricting the compositional principles – to grounded sentences.…”

Section: Comparison With Other Axiomatizations Of Truthmentioning

confidence: 99%

Classical Determinate Truth I

Halbach¹,

Fujimoto²

2023

J. symb. log.

View full text Add to dashboard Cite

show abstract

“…12 It is no coincidence that the theories of truth proposed by the authors, e.g. Picollo (2019) or Schindler (2014), have gone in that direction. In this respect, non-classical theories might be at an advantage, insofar as they might have all instances of disquotation at their disposal, though this requires some further investigation.…”

Section: _ _mentioning

confidence: 99%

Modes of Truth

Nicolai

Stern²

2021

View full text Add to dashboard Cite

The aim of this volume is to open up new perspectives and to raise new research questions about a unified approach to truth, modalities, and propositional attitudes. The volume's essays are grouped thematically around different research questions. The first theme concerns the tension between the theoretical role of the truth predicate in semantics and its expressive function in language. The second theme of the volume concerns the interaction of truth with modal and doxastic notions. The third theme covers higher-order solutions to the semantic and modal paradoxes, providing an alternative to first-order solutions embraced in the first two themes. This book will be of interest to researchers working in epistemology, logic, philosophy of logic, philosophy of language, philosophy of mathematics, and semantics.

show abstract

“…the class of purely truth-theoretic principles the theory entails is not recursively axiomatizable. 10 Schindler [30] provides a nice axiomatic system, but it is naturally far from capturing the original semantic construction.…”

Section: Formal Truth Theoriesmentioning

confidence: 99%

“…The cases for the other connectives and the quantifiers are similar. 30 Let t • denote ϑ ζ (s), for some ζ < β. By the last line of (10), ϑ β (t • ) d-refers to ϑ ζ (s) which, by our main i.h.…”

mentioning

confidence: 99%

Reference and Truth

Picollo

2019

J Philos Logic

View full text Add to dashboard Cite

I apply the notions of alethic reference introduced in previous work in the construction of several classical semantic truth theories. Furthermore, I provide prooftheoretic versions of those notions and use them to formulate axiomatic disquotational truth systems over classical logic. Some of these systems are shown to be sound, proof-theoretically strong, and compare well to the most renowned systems in the literature.

show abstract

Axioms for Grounded Truth

Cited by 9 publications

References 14 publications

Classical Determinate Truth I

Classical Determinate Truth I

Modes of Truth

Reference and Truth

Contact Info

Product

Resources

About