Truth without standard models: some conceptual problems reloaded
DOI10.1080/11663081.2017.1397326zbMATH Open1436.03016OpenAlexW2768517517WikidataQ62125742 ScholiaQ62125742MaRDI QIDQ5375877FDOQ5375877
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
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 \(\omega\)-inconsistent theories of truth in second-order languages
- \(\omega\)-inconsistency without cuts and nonstandard models
Philosophical and critical aspects of logic and foundations (03A05) Many-valued logic (03B50) First-order arithmetic and fragments (03F30)
Cites Work
- Saving truth from paradox
- How truthlike can a predicate be? A negative result
- An axiomatic approach to self-referential truth
- Metamathematics of fuzzy logic
- A system of complete and consistent truth
- Axiomatic theories of truth
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Curry's paradox and \(\omega \)-inconsistency
- Title not available (Why is that?)
- The liar paradox and fuzzy logic
- Weak and strong theories of truth
- On Languages Which are Based on Non-Standard Arithmetic
- Theories of truth which have no standard models
- Theories of truth without standard models and Yablo's sequences
- Indicative conditionals, restricted quantification, and naive truth
- \(\omega\)-inconsistency without cuts and nonstandard models
- Yablo's paradox in second-order languages: consistency and unsatisfiability
- Notes on \(\omega\)-inconsistent theories of truth in second-order languages
- Revision revisited
- A co-inductive language and truth degrees
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
- \(\omega\)-inconsistency without cuts and nonstandard models
- Notes on \(\omega\)-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)
