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

(11)

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

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)