scientific article

Publication date: 17 September 1992

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

liar paradox semantic paradoxes situational semantics non-well-founded sets

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) Set-theoretic model theory (03C55)

Related Items (81)

Dynamic semantics and circular propositions ⋮ A contextual-hierarchical approach to truth and the liar paradox ⋮ ON DOUBLE-MEMBERSHIP GRAPHS OF MODELS OF ANTI-FOUNDATION ⋮ Construction of Truth Predicates: Approximation Versus Revision ⋮ CONSERVATIVELY EXTENDING CLASSICAL LOGIC WITH TRANSPARENT TRUTH ⋮ Non-well-founded sets via revision rules ⋮ Reconciling Austinian and Russellian accounts of the liar paradox ⋮ Annual Meeting of the Association for Symbolic Logic, Durham, 1992 ⋮ General information in relevant logic ⋮ Anti-admissible sets ⋮ A generalized quantifier logic for naked infinitives ⋮ A Co-inductive Language and Truth Degrees ⋮ Levels of abstraction and the Turing test ⋮ Uncertainty, predictability and decidability in chaotic dynamical systems ⋮ Issues in commonsense set theory ⋮ Truth and the liar in De Morgan-valued models ⋮ Common knowledge: Relating anti-founded situation semantics to modal logic neighbourhood semantics ⋮ European summer meeting of the Association for Symbolic Logic ⋮ Paradox, ZF, and the Axiom of Foundation ⋮ Processes as terms: non-well-founded models for bisimulation ⋮ HYPERSOLVER: A graphical tool for commonsense set theory ⋮ Intention is choice with commitment ⋮ Truth, reflection and hierarchies ⋮ A constructive sequence algebra for the calculus of indications ⋮ Annual Meeting of the Association for Symbolic Logic, Pittsburgh, 1991 ⋮ An algebraic theory of structured objects ⋮ A remark on probabilistic measures of coherence ⋮ Conditionals in theories of truth ⋮ Logic of knowledge and utterance and the liar ⋮ Platitudes against paradox ⋮ From compositional to systematic semantics ⋮ A guide to truth predicates in the modern era ⋮ Standard foundations for nonstandard analysis ⋮ Is weak supplementation analytic? ⋮ A FULLY CLASSICAL TRUTH THEORY CHARACTERIZED BY SUBSTRUCTURAL MEANS ⋮ Infinite trees and completely iterative theories: A coalgebraic view ⋮ Nonwellfounded sets and programming language semantics ⋮ New architectures for constructed complex systems ⋮ Virtual worlds as meeting places for formal systems ⋮ Bicontextualism ⋮ Computer proofs about finite and regular sets: The unifying concept of subvariance. ⋮ The liar paradox and ``meaningless revenge ⋮ \(\in_K\): a non-Fregean logic of explicit knowledge ⋮ Modelling deep indeterminacy ⋮ Paradoxes and the limits of theorizing about propositional attitudes ⋮ Vier Philosophen über semantische Paradoxien ⋮ Contextualism, relativism and the liar ⋮ Self-referential propositions ⋮ A Comparative Taxonomy of Medieval and Modern Approaches to Liar Sentences ⋮ A UNIFIED THEORY OF TRUTH AND PARADOX ⋮ Hypercomputation by definition ⋮ Logical feedback ⋮ Hypersets ⋮ Towards a non-classical meta-theory for substructural approaches to paradox ⋮ Formal semantics for mutual belief ⋮ Non-classical elegance for sequent calculus enthusiasts ⋮ Qal wa- omer and Theory of Massive-Parallel Proofs ⋮ A Coalgebraic View of Infinite Trees and Iteration ⋮ On meaningfulness and truth ⋮ \(p\)-adic physics, non-well-founded reality and unconventional computing ⋮ COORDINATE-FREE LOGIC ⋮ A variant of Thomason's first-order logic CF based on situations ⋮ A Kripkean approach to unknowability and truth ⋮ Parametric corecursion ⋮ Semantic paradoxes as equations. ⋮ Against stepping back: A critique of contextualist approaches to the semantic paradoxes ⋮ Unnamed Item ⋮ The graph conception of set ⋮ Two types of deflationism ⋮ Semantics for existential graphs ⋮ Deflationary truth and the Liar ⋮ Alexandre Koyré in the ``Mekka of mathematics. Koyré's Göttingen draft of the dissertation ⋮ What the Liar taught Achilles ⋮ Lazy evaluations in Łukasiewicz type fuzzy logic ⋮ EXCEPTIONAL LOGIC ⋮ Towards an integration science. The influence of Richard Bellman on our research. ⋮ Situation Theory Reconsidered ⋮ Classical Logic and the Liar ⋮ Nonsets ⋮ Contextual-hierarchical reconstructions of the strengthened liar problem ⋮ A derived algorithm for evaluating \(\varepsilon\)-expressions over abstract sets

This page was built for publication: