Truth without standard models: some conceptual problems reloaded

DOI10.1080/11663081.2017.1397326MaRDI QIDQ5375877zbMATH OpenOpenAlexWikidataFDO

Authors Bruno Da Ré, Eduardo Alejandro Barrio

Publication date 17 September 2018

Published in Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/11663081.2017.1397326

zbMATH Keywords

\(\omega\)-inconsistencytheories of truthnon-standard models

Mathematics Subject Classification ID

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

Recommendations

• Theories of truth which have no standard models
• On the status of reflection and conservativity in replacement theories of truth
• Theories of truth without standard models and Yablo's sequences
• Notes on -inconsistent theories of truth in second-order languages
• -inconsistency without cuts and nonstandard models

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 795569 (Why is no real title available?)
• scientific article; zbMATH DE number 823602 (Why is no real title available?)
• scientific article; zbMATH DE number 3099243 (Why is no real title available?)
• A co-inductive language and truth degrees
• A system of complete and consistent truth
• An axiomatic approach to self-referential truth
• Axiomatic theories of truth
• Curry's paradox and \(\omega \)-inconsistency
• How truthlike can a predicate be? A negative result
• Indicative conditionals, restricted quantification, and naive truth
• Metamathematics of fuzzy logic
• Notes on -inconsistent theories of truth in second-order languages
• On Languages Which are Based on Non-Standard Arithmetic
• Revision revisited
• Saving truth from paradox
• The liar paradox and fuzzy logic
• Theories of truth which have no standard models
• Theories of truth without standard models and Yablo's sequences
• Weak and strong theories of truth
• Yablo's paradox in second-order languages: consistency and unsatisfiability
• -inconsistency without cuts and nonstandard models

Cited in

(8)

• Ungroundedness in Tarskian languages
• Sorites, curry and suitable models
• Non-deterministic conditionals and transparent truth
• Syntactic proofs for Yablo's paradoxes in temporal logic
• Theories of truth without standard models and Yablo's sequences
• Theories of truth which have no standard models
• -inconsistency without cuts and nonstandard models
• Notes on -inconsistent theories of truth in second-order languages

This page was built for publication: Truth without standard models: some conceptual problems reloaded

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