The expressive power of truth

DOI10.1017/S1755020314000392zbMATH Open1382.03014OpenAlexW2126052467MaRDI QIDQ5259727FDOQ5259727

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

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

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Finite Axiomatizability using additional predicates
• Notes on Formal Theories of Truth
• Title not available (Why is that?)
• Classes and truths in set theory
• Title not available (Why is that?)
• Minimal truth and interpretability
• Title not available (Why is that?)
• Title not available (Why is that?)
• Second-Order Logic and Foundations of Mathematics
• On the logic of reducibility: Axioms and examples
• TRUTH AND SPEED-UP
• On mathematical instrumentalism

Cited In (3)

• Deflationary truth and the ontology of expressions
• MODELS OF PT^– WITH INTERNAL INDUCTION FOR TOTAL FORMULAE
• MODELS OF POSITIVE TRUTH

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)