An ‘i’ for an i, a Truth for a Truth†

DOI10.1093/PHILMAT/NKY005MaRDI QIDQ5149971zbMATH OpenOpenAlexFDO

Authors Mary Leng

Publication date 9 February 2021

Published in Philosophia Mathematica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/philmat/nky005

Mathematics Subject Classification ID

Philosophy of mathematics (00A30)

Recommendations

• A theory of formal truth arithmetically equivalent to ID₁
• \(\in_I\): an intuitionistic logic without Fregean axiom and with predicates for truth and falsity
• The \(\mathbb{R}\)eal truth
• An axiomatic approach to self-referential truth
• A note on the logic of \textit{una tantum} truth
• Truth In V for ∃*∀∀-Sentences is Decidable
• Axiomatizability by \({\forall \exists!}\)-sentences
• Reflection algebras and conservation results for theories of iterated truth
• Truth definitions without exponentiation and the \(\Sigma _{1}\) collection scheme
• Truth via anaphorically unrestricted quantifiers

Cited in

(4)

• Structuralism, fictionalism, and applied mathematics
• A note on mathematical pluralism and logical pluralism
• Say my name: an objection to \textit{ante rem} structuralism
• An encoding approach to \textit{ante rem} structuralism

This page was built for publication: An ‘i’ for an i, a Truth for a Truth†

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5149971)