The expressive power of truth

DOI10.1017/S1755020314000392MaRDI QIDQ5259727zbMATH OpenOpenAlexFDO

Authors Martin J. Fischer, Leon Horsten

Publication date 29 June 2015

Published in The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s1755020314000392

Mathematics Subject Classification ID

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

Recommendations

• Consistency and the theory of truth
• scientific article; zbMATH DE number 2209445
• A case for satisfaction classes: model theoretic vs axiomatic approaches to the notion of truth
• Consistent theories of truth for languages which conform to classical logic
• Deflationism, conservativeness and maximality

Cites work

• scientific article; zbMATH DE number 5959536 (Why is no real title available?)
• scientific article; zbMATH DE number 51556 (Why is no real title available?)
• scientific article; zbMATH DE number 1226875 (Why is no real title available?)
• scientific article; zbMATH DE number 1150559 (Why is no real title available?)
• scientific article; zbMATH DE number 227056 (Why is no real title available?)
• Classes and truths in set theory
• Finite Axiomatizability using additional predicates
• Minimal truth and interpretability
• Notes on Formal Theories of Truth
• On mathematical instrumentalism
• On the logic of reducibility: Axioms and examples
• Second-Order Logic and Foundations of Mathematics
• Truth and speed-up

Cited in

(3)

• Deflationary truth and the ontology of expressions
• Models of positive truth
• Models of \(\mathrm{PT}^-\) with internal induction for total formulae

This page was built for publication: The expressive power of truth

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