Truth and the philosophy of mathematics
DOI10.1007/978-3-030-84706-7_12OpenAlexW4231029062MaRDI QIDQ2080591FDOQ2080591
Authors: Andrea Cantini 
Publication date: 9 October 2022
Full work available at URL: https://doi.org/10.1007/978-3-030-84706-7_12
Recommendations
- Reality and Truth in Mathematics
- scientific article; zbMATH DE number 1450275
- scientific article; zbMATH DE number 1426641
- scientific article; zbMATH DE number 4145866
- scientific article; zbMATH DE number 1301803
- Interplay of philosophy and mathematics in the classical theory of truth
- Truth \& knowledge in logic \& mathematics
Philosophical and critical aspects of logic and foundations (03A05) Proof theory in general (including proof-theoretic semantics) (03F03) Philosophy of mathematics (00A30) Second- and higher-order arithmetic and fragments (03F35) Relative consistency and interpretations (03F25) Mathematical logic and foundations (03-XX)
Cites Work
- Autonomous progression and transfinite iteration of self-applicable truth
- The proof-theoretic analysis of transfinitely iterated fixed point theories
- Outline of a Theory of Truth
- Axiomatic theories of truth
- Title not available (Why is that?)
- A theory of formal truth arithmetically equivalent to ID1
- AXIOMS FOR DETERMINATENESS AND TRUTH
- Notes on Formal Theories of Truth
- Title not available (Why is that?)
- Full Satisfaction Classes and Recursive Saturation
- Title not available (Why is that?)
- Axiomatizing Kripke's theory of truth
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Elementary constructive operational set theory
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Construction of Satisfaction Classes for Nonstandard Models
- Power types in explicit mathematics?
- On power set in explicit mathematics
- Some notes on truths and comprehension
- Abbreviating proofs by adding new axioms
- Against intuitionism: Constructive mathematics is part of classical mathematics
- TRUTH AND FEASIBLE REDUCIBILITY
- Logical frameworks for truth and abstraction. An axiomatic study
- Title not available (Why is that?)
- Indefiniteness in semi-intuitionistic set theories: on a conjecture of Feferman
- Sets and Classes
- Title not available (Why is that?)
- Rethinking knowledge. The heuristic view
- Iterated reflection over full disquotational truth
- Models of \(\mathrm{PT}^-\) with internal induction for total formulae
- Feferman on foundations. Logic, mathematics, philosophy
- Conservativity for theories of compositional truth via cut elimination
- Notes on bounded induction for the compositional truth predicate
- Title not available (Why is that?)
- Models of weak theories of truth
- Truth and speed-up
- Friedman and the axiomatization of Kripke's theory of truth
- Truths, inductive definitions, and Kripke-Platek systems over set theory
- Predicativity and Feferman
- On mathematical instrumentalism
Cited In (4)
This page was built for publication: Truth and the philosophy of mathematics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2080591)
