scientific article
From MaRDI portal
Publication:4000317
zbMath0734.03001MaRDI QIDQ4000317
Publication date: 18 September 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
semantic paradoxesvaguenessLiar paradoxinductive definitionsdeterminate truthtruth as a vague predicate
Philosophical and critical aspects of logic and foundations (03A05) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02)
Related Items (50)
, , AND REINHARDT’S PROGRAM ⋮ Construction of Truth Predicates: Approximation Versus Revision ⋮ The complexity of revision ⋮ Unwinding modal paradoxes on digraphs ⋮ Supervaluation-style truth without supervaluations ⋮ Truth and the liar in De Morgan-valued models ⋮ A unified approach to semantic and soritical paradoxes ⋮ Designing paradoxes: a revision-theoretic approach ⋮ Adding a conditional to Kripke's theory of truth ⋮ Truth and definite truth ⋮ Conditionals in theories of truth ⋮ RAMSIFICATION AND SEMANTIC INDETERMINACY ⋮ Identifying logical evidence ⋮ Systems for non-reflexive consequence ⋮ Instability and contraction. \textit{Méditations hégéliennes}. I ⋮ Periodicity and reflexivity in revision sequences ⋮ Alethic undecidability and alethic indeterminacy ⋮ Truth meets vagueness. Unifying the semantic and the soritical paradoxes ⋮ Bicontextualism ⋮ Higher-order sorites paradox ⋮ Conceptual engineering for truth: aletheic properties and new aletheic concepts ⋮ INCOMPLETENESS VIA PARADOX AND COMPLETENESS ⋮ Paradox and logical revision. A short introduction ⋮ The opacity of truth ⋮ Self-referential propositions ⋮ Unnamed Item ⋮ How truth behaves when there's no vicious reference ⋮ A UNIFIED THEORY OF TRUTH AND PARADOX ⋮ The complexity of revision, revised ⋮ Respects for Contradictions ⋮ On the costs of nonclassical logic ⋮ ULTIMATE TRUTHVIS-À-VISSTABLE TRUTH ⋮ AXIOMS FOR DETERMINATENESS AND TRUTH ⋮ Reasoning with truth ⋮ On Gupta-Belnap Revision Theories of Truth, Kripkean Fixed Points, and The Next Stable Set ⋮ Truth as translation. Part A ⋮ Truth as translation. Part B ⋮ The knower paradox in the light of provability interpretations of modal logic ⋮ Feferman and the Truth ⋮ Paradoxical hypodoxes ⋮ Possible-worlds semantics for modal notions conceived as predicates ⋮ Two types of deflationism ⋮ Axiomatizing Kripke's theory of truth ⋮ Supervaluation fixed-point logics of truth ⋮ Tarski on ``essentially richer metalanguages ⋮ Games for Truth ⋮ Non-reflexivity and revenge ⋮ Cofinally invariant sequences and revision ⋮ Property theory: The type-free approach \(v\). The Church approach ⋮ Contextual-hierarchical reconstructions of the strengthened liar problem
This page was built for publication:
