The anatytic conception of truth and the foundations of arithmetic

DOI10.2307/2586525zbMath0986.03004OpenAlexW2023468778MaRDI QIDQ4953208

Peter Apostoli

Publication date: 3 June 2002

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

Full work available at URL: https://doi.org/10.2307/2586525

zbMATH Keywords

logicismtruth-value gapslogical truthGentzen-style axiomatizationtype-free abstractionfirst-order quantification theory

Mathematics Subject Classification ID

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

Related Items (1)

Abstraction in Fitch's Basic Logic

Cites Work

• Notes on the mathematical aspects of Kripke's theory of truth
• Bilattices and the theory of truth
• The structuralist view of mathematical objects
• Frege and the rigorization of analysis
• Truth and paradox
• Natural deduction based set theories: a new resolution of the old paradoxes
• The development of arithmetic in Frege'sGrundgesetze der arithmetik
• Frege's Theory of Concepts and Objects and the Interpretation of Second-order Logict
• Outline of a Theory of Truth
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The anatytic conception of truth and the foundations of arithmetic