scientific article
From MaRDI portal
Publication:3760496
zbMath0623.03001MaRDI QIDQ3760496
No author found.
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
liar paradoxTruthsemantic paradoxestruth predicateEssaysLiar paradoxadequacytransfinite recursionT-schemepartial predicateKMW hierarchylevels-of-language viewnon- classical logictruth values of sentences
Other nonclassical logic (03B60) Philosophical and critical aspects of logic and foundations (03A05) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Nonclassical and second-order set theories (03E70)
Related Items
Dynamic semantics and circular propositions ⋮ One hundred years of semantic paradox ⋮ The justification of the basic laws of logic ⋮ A contextual-hierarchical approach to truth and the liar paradox ⋮ Construction of Truth Predicates: Approximation Versus Revision ⋮ A generalized quantifier logic for naked infinitives ⋮ Book review: Leon Horsten, The Tarskian turn. Deflationism and axiomatic truth. ⋮ Descending chains and the contextualist approach to semantic paradoxes ⋮ Truth and the Liar ⋮ SOLOVAY-TYPE THEOREMS FOR CIRCULAR DEFINITIONS ⋮ Conditionals in theories of truth ⋮ Cumulative versus noncumulative ramified types ⋮ Logic of knowledge and utterance and the liar ⋮ A guide to truth predicates in the modern era ⋮ Psychophysiological approach to the liar paradox: Jean Buridan's virtual entailment principle put to the test ⋮ Computational verb systems: The paradox of the liar ⋮ Truth and meaning ⋮ Paradox, repetition, revenge ⋮ Three questions for minimalism ⋮ REVISION REVISITED ⋮ FDE as the One True Logic ⋮ LP+, K3+, FDE+, AND THEIR ‘CLASSICAL COLLAPSE’ ⋮ Semantic paradoxes as equations. ⋮ Jump liars and Jourdain's card via the relativized T-scheme ⋮ Alternative revision theories of truth ⋮ What the Liar taught Achilles ⋮ THE MODAL LOGICS OF KRIPKE–FEFERMAN TRUTH ⋮ A fixed point theorem for the weak Kleene valuation scheme ⋮ Four valued semantics and the Liar ⋮ Property theory: The type-free approach \(v\). The Church approach ⋮ Paradox, closure and indirect speech reports
