Truth defined

MaRDI QIDQ3086696zbMATH OpenFDO

Authors

Publication date 30 March 2011

zbMATH Keywords

deductive theoriesfragment of Zermelo set theoryGödel numbertruth of sentences

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Paraconsistent logics (03B53) Axiomatics of classical set theory and its fragments (03E30)

Recommendations

• Truth without satisfaction
• Tarski's guilty secret: Compositionality
• Truth and the Liar
• Abstraction and definability in semantically closed structures
• The concept of truth in a finite universe

Cited in

(10)

• Truth by default
• scientific article; zbMATH DE number 1984527 (Why is no real title available?)
• Towards transfinite type theory: rereading Tarski's \textit{Wahrheitsbegriff}
• The concept of truth
• scientific article; zbMATH DE number 2209816 (Why is no real title available?)
• Truth and definite truth
• Tarski's Grelling and the T-strategy
• Reasoning with truth
• scientific article; zbMATH DE number 3004089 (Why is no real title available?)
• Maximal consistent sets of instances of Tarski's schema (T)

This page was built for publication: Truth defined

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