Deflationism beyond arithmetic
From MaRDI portal
Publication:2052155
DOI10.1007/s11229-017-1495-8zbMath1474.03019OpenAlexW2749587859WikidataQ59613758 ScholiaQ59613758MaRDI QIDQ2052155
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
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
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