Deflationism beyond arithmetic

DOI10.1007/s11229-017-1495-8zbMath1474.03019OpenAlexW2749587859WikidataQ59613758 ScholiaQ59613758MaRDI QIDQ2052155

Kentaro Fujimoto

Publication date: 25 November 2021

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11229-017-1495-8

zbMATH Keywords

truthdeflationismaxiomatic theories of truththe conservativeness argument

Mathematics Subject Classification ID

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

Related Items

CLASSICAL DETERMINATE TRUTH I ⋮ FINITIST AXIOMATIC TRUTH

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Classes and truths in set theory
• Deflationary truth and the ontology of expressions
• On interpretability in the theory of concatenation
• The Paris Logic Group (ed.): Logic colloquium '85. Proceedings of the Colloquium held in Orsay, France, July 1985
• Proof theory of reflection
• A minimal predicative set theory
• Full and hat inductive definitions are equivalent in NBG
• Determinacy in third order arithmetic
• Unifying the philosophy of truth
• RELATIVE PREDICATIVITY AND DEPENDENT RECURSION IN SECOND-ORDER SET THEORY AND HIGHER-ORDER THEORIES
• TRANSFINITE RECURSION IN HIGHER REVERSE MATHEMATICS
• Arithmetic on semigroups
• Reflecting on incompleteness
• Hilbert's Programs: 1917–1922
• Second-Order Logic and Foundations of Mathematics
• AXIOMATIC TRUTH, SYNTAX AND METATHEORETIC REASONING
• REDUCING COMPOSITIONAL TO DISQUOTATIONAL TRUTH
• How innocent is deflationism?
• String theory