scientific article; zbMATH DE number 795569
From MaRDI portal
Publication:4845457
zbMath0858.03010MaRDI QIDQ4845457
Anil Kumar Gupta, Nuel D. jun. Belnap
Publication date: 11 September 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
theory of truthcircular definitionsLiar paradoxtheory of definitionsconcept of truthbehavior of truthcircular conceptsystems of mutually interdependent definitionsTarski biconditionals
Philosophical and critical aspects of logic and foundations (03A05) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02)
Related Items (only showing first 100 items - show all)
Annual Meeting of the Association for Symbolic Logic, Durham, 1992 ⋮ The foundational problem of logic ⋮ The elimination of direct self-reference ⋮ Conjunctive paraconsistency ⋮ Solutions to the knower paradox in the light of Haack's criteria ⋮ Truth without standard models: some conceptual problems reloaded ⋮ A UNIFIED THEORY OF TRUTH AND PARADOX ⋮ Guest editors' introduction ⋮ NOTES ONω-INCONSISTENT THEORIES OF TRUTH IN SECOND-ORDER LANGUAGES ⋮ On meaningfulness and truth ⋮ Facts, arguments, annotations and reasoning ⋮ PROVING UNPROVABILITY ⋮ Truth as translation. Part A ⋮ Truth as translation. Part B ⋮ Can deflationists be dialetheists? ⋮ Axiomatizing Kripke's theory of truth ⋮ A NOTE ON THEORIES FOR QUASI-INDUCTIVE DEFINITIONS ⋮ One hundred years of semantic paradox ⋮ Did Descartes make a diagonal argument? ⋮ Construction of Truth Predicates: Approximation Versus Revision ⋮ 1998 European Summer Meeting of the Association for Symbolic Logic ⋮ On revision operators ⋮ The complexity of revision ⋮ Unwinding modal paradoxes on digraphs ⋮ Non-well-founded sets via revision rules ⋮ Comparing fixed-point and revision theories of truth ⋮ A Co-inductive Language and Truth Degrees ⋮ Yablo's paradox in second-order languages: consistency and unsatisfiability ⋮ Truth, dependence and supervaluation: living with the ghost ⋮ A system of complete and consistent truth ⋮ Truth and the liar in De Morgan-valued models ⋮ Designing paradoxes: a revision-theoretic approach ⋮ SOLOVAY-TYPE THEOREMS FOR CIRCULAR DEFINITIONS ⋮ Adding a conditional to Kripke's theory of truth ⋮ A pragmatic dissolution of Curry's paradox ⋮ Why correspondence truth will not go away ⋮ SOME OBSERVATIONS ON TRUTH HIERARCHIES ⋮ MODALITY AND AXIOMATIC THEORIES OF TRUTH I: FRIEDMAN-SHEARD ⋮ NAIVE TRUTH AND NAIVE LOGICAL PROPERTIES ⋮ Conditionals in theories of truth ⋮ Analytic calculi for circular concepts by finite revision ⋮ Remarks on the Gupta-Belnap fixed-point property fork-valued clones ⋮ A guide to truth predicates in the modern era ⋮ TRUTH WITHOUT CONTRA(DI)CTION ⋮ A new conditional for naive truth theory ⋮ Limits in the revision theory. More than just definite verdicts ⋮ Revising Benardete's Zeno ⋮ Revision without revision sequences: circular definitions ⋮ Probability for the revision theory of truth ⋮ Truth, predication and a family of contingent paradoxes ⋮ Rethinking revision ⋮ Instability and contraction. \textit{Méditations hégéliennes}. I ⋮ Fixed-point posets in theories of truth ⋮ Periodicity and reflexivity in revision sequences ⋮ Herzberger's limit rule with labelled sequent calculus ⋮ Defeasible inheritance on cyclic networks ⋮ Free of Detachment: Logic, Rationality, and Gluts ⋮ Paradoxes and the limits of theorizing about propositional attitudes ⋮ Proof theory for functional modal logic ⋮ Paradox and logical revision. A short introduction ⋮ Norms of truth and logical revision ⋮ Self-referential propositions ⋮ Intersubstitutivity principles and the generalization function of truth ⋮ Some Philosophical Aspects of Semantic Theory of Truth ⋮ Unnamed Item ⋮ How truth behaves when there's no vicious reference ⋮ Vagueness and revision sequences ⋮ The complexity of revision, revised ⋮ Degrees of Validity and the Logical Paradoxes ⋮ Alternative ways for truth to behave when there's no vicious reference ⋮ REVISION REVISITED ⋮ FDE as the One True Logic ⋮ Belnap and Nāgārjuna on How Computers and Sentient Beings Should Think: Truth, Trust and the Catuṣkoṭi ⋮ Addressing Circular Definitions via Systems of Proofs ⋮ Comparing more revision and fixed-point theories of truth ⋮ Disquotation and infinite conjunctions ⋮ Revision without revision sequences: self-referential truth ⋮ Theories of abstract objects without ad hoc restriction ⋮ ULTIMATE TRUTHVIS-À-VISSTABLE TRUTH ⋮ ON THE PROBABILISTIC CONVENTION T ⋮ ON PATHOLOGICAL TRUTHS ⋮ Reasoning with truth ⋮ Reference, paradoxes and truth ⋮ On Gupta-Belnap Revision Theories of Truth, Kripkean Fixed Points, and The Next Stable Set ⋮ Existence and definability of states of the world ⋮ A rational way of playing: revision theory for strategic interaction ⋮ The anatytic conception of truth and the foundations of arithmetic ⋮ Property theory and the revision theory of definitions ⋮ INDICATIVE CONDITIONALS, RESTRICTED QUANTIFICATION, AND NAIVE TRUTH ⋮ The complexity of the dependence operator ⋮ Expressing Belief Flow in Assertion Networks ⋮ Common Knowledge and the Knowledge Account of Assertion ⋮ Jump liars and Jourdain's card via the relativized T-scheme ⋮ Truth values, neither-true-nor-false, and supervaluations ⋮ Paradoxical hypodoxes ⋮ A revenge-immune solution to the semantic paradoxes ⋮ Possible-worlds semantics for modal notions conceived as predicates ⋮ What paradoxes depend on ⋮ Alternative revision theories of truth ⋮ Two types of deflationism
This page was built for publication:
