AXIOMATIC TRUTH, SYNTAX AND METATHEORETIC REASONING

DOI10.1017/S1755020313000233zbMath1350.03010MaRDI QIDQ5414134

Carlo Nicolai, Graham E. Leigh

Publication date: 2 May 2014

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

Related Items (7)

CONSISTENCY AND THE THEORY OF TRUTH ⋮ Internal categoricity, truth and determinacy ⋮ The logical strength of compositional principles ⋮ Deflationary truth and the ontology of expressions ⋮ Deflationism beyond arithmetic ⋮ EQUIVALENCES FOR TRUTH PREDICATES ⋮ A note on typed truth and consistency assertions

Cites Work

• Generalizing classical and effective model theory in theories of operations and classes
• Growing commas. A study of sequentiality and concatenation
• Proof-theoretic reduction as a philosopher's tool
• Finite Axiomatizability using additional predicates
• Reflecting on incompleteness
• Concatenation as a basis for arithmetic
• How innocent is deflationism?
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: AXIOMATIC TRUTH, SYNTAX AND METATHEORETIC REASONING