Supervaluation-style truth without supervaluations

DOI10.1007/S10992-017-9451-0MaRDI QIDQ1633214zbMATH OpenOpenAlexFDO

Authors Johannes Stern

Publication date 19 December 2018

Published in Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL https://research-information.bris.ac.uk/en/publications/83e29dc9-c763-4441-b16b-8c61f5daaf2c

zbMATH Keywords

axiomatic theories of truthgrounded truthKripke's theory of truthstrong Kleene schemesupervaluationtruth

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) First-order arithmetic and fragments (03F30)

Recommendations

• Supervaluation fixed-point logics of truth
• Truth values, neither-true-nor-false, and supervaluations
• Anti-realist truth and concepts of superassertibility
• scientific article; zbMATH DE number 1735934
• Truth without contra(di)ction
• Supervaluation on trees for Kripke's theory of truth
• Supervaluationism and classical logic
• Quasi-Truth, Supervaluations and Free Logic
• Supervaluationism and logical consequence: A third way

Cites work

• A theory of formal truth arithmetically equivalent to ID₁
• Addendum to “The truth is never simple”
• An axiomatic approach to self-referential truth
• Axiomatic theories of truth
• Axiomatizing semantic theories of truth?
• Grounding, dependence, and paradox
• scientific article; zbMATH DE number 50690 (Why is no real title available?)
• scientific article; zbMATH DE number 1028815 (Why is no real title available?)
• scientific article; zbMATH DE number 3304023 (Why is no real title available?)
• Logical frameworks for truth and abstraction. An axiomatic study
• Outline of a Theory of Truth
• Reducing compositional to disquotational truth
• Relative Truth Definability of Axiomatic Truth Theories
• Saving truth from paradox
• Some supervaluation-based consequence relations
• Supervaluation fixed-point logics of truth
• The complexity of the dependence operator
• The truth is never simple
• Vagueness, truth and logic
• What truth depends on
• Zur Beweistheorie Der Kripke-Platek-Mengenlehre Über Den Natürlichen Zahlen

Cited in

(11)

• Truth values, neither-true-nor-false, and supervaluations
• Supervaluation fixed-point logics of truth
• A revenge-immune solution to the semantic paradoxes
• Truth, dependence and supervaluation: living with the ghost
• On the weak Kleene scheme in Kripke's theory of truth
• Supervaluation on trees for Kripke's theory of truth
• Truth in applicative theories
• CLASSICAL DETERMINATE TRUTH I
• Theories of Frege structure equivalent to Feferman's system \(\mathsf{T}_0\)
• On the costs of classical logic
• Quantitative supervaluationism

This page was built for publication: Supervaluation-style truth without supervaluations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1633214)