Supervaluation-style truth without supervaluations

DOI10.1007/S10992-017-9451-0zbMath1457.03021OpenAlexW2771362554MaRDI QIDQ1633214

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

truthaxiomatic theories of truthsupervaluationKripke's theory of truthgrounded truthstrong Kleene scheme

Mathematics Subject Classification ID

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

Related Items (1)

CLASSICAL DETERMINATE TRUTH I

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• What truth depends on
• Supervaluation fixed-point logics of truth
• Grounding, dependence, and paradox
• An axiomatic approach to self-referential truth
• Vagueness, truth and logic
• Some supervaluation-based consequence relations
• Logical frameworks for truth and abstraction. An axiomatic study
• The complexity of the dependence operator
• Relative Truth Definability of Axiomatic Truth Theories
• A theory of formal truth arithmetically equivalent to ID₁
• The truth is never simple
• Addendum to “The truth is never simple”
• Zur Beweistheorie Der Kripke-Platek-Mengenlehre Über Den Natürlichen Zahlen
• Outline of a Theory of Truth
• AXIOMATIZING SEMANTIC THEORIES OF TRUTH?
• REDUCING COMPOSITIONAL TO DISQUOTATIONAL TRUTH

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