Toward useful type-free theories. I

DOI10.2307/2274093zbMath0574.03043OpenAlexW2006111919WikidataQ56019946 ScholiaQ56019946MaRDI QIDQ3691666

Publication date: 1984

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/e7a8b726be3b6f69c1d6088c611a24da49acc484

zbMATH Keywords

truth-value gaps logical paradoxes Łukasiewicz logics partial sets construction of type-free theories generalized satisfaction principle

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Nonclassical and second-order set theories (03E70) Many-valued logic (03B50)

Related Items

, , AND REINHARDT’S PROGRAM ⋮ One hundred years of semantic paradox ⋮ A contextual-hierarchical approach to truth and the liar paradox ⋮ Approximation Fixpoint Theory and the Semantics of Logic and Answers Set Programs ⋮ Some remarks on extending and interpreting theories with a partial predicate for truth ⋮ Book review: Leon Horsten, The Tarskian turn. Deflationism and axiomatic truth. ⋮ Issues in commonsense set theory ⋮ Languages with self-reference. II: Knowledge, belief, and modality ⋮ The Friedman-Sheard programme in intuitionistic logic ⋮ Autocircumscription ⋮ Levels of truth ⋮ Stability and paradox in algorithmic logic ⋮ Adding a conditional to Kripke's theory of truth ⋮ A type-free system extending (ZFC) ⋮ Conditionals in theories of truth ⋮ A proof-theoretic account of classical principles of truth ⋮ SELF-REFERENCE UPFRONT: A STUDY OF SELF-REFERENTIAL GÖDEL NUMBERINGS ⋮ NONCLASSICAL TRUTH WITH CLASSICAL STRENGTH. A PROOF-THEORETIC ANALYSIS OF COMPOSITIONAL TRUTH OVER HYPE ⋮ Systems for non-reflexive consequence ⋮ HYPE: a system of hyperintensional logic (with an application to semantic paradoxes) ⋮ A step towards absolute versions of metamathematical results ⋮ Truth and meaning ⋮ A logic of abstraction related to finite constructive number classes ⋮ Provably true sentences across axiomatizations of Kripke's theory of truth ⋮ Norms of truth and logical revision ⋮ Minimalism and the generalisation problem: on Horwich's second solution ⋮ INTENSIONALITY AND PARADOXES IN RAMSEY’S ‘THE FOUNDATIONS OF MATHEMATICS’ ⋮ CAN MODALITIES SAVE NAIVE SET THEORY? ⋮ K3, Ł3, LP, RM3, A3, FDE, M: How to Make Many-Valued Logics Work for You ⋮ Deflationary truth and the ontology of expressions ⋮ Logical foundations for programming semantics ⋮ A logic for category theory ⋮ AXIOMS FOR DETERMINATENESS AND TRUTH ⋮ Logic, sets, and mathematics ⋮ On partial and paraconsistent logics ⋮ A $\kappa$-denotational semantics for map theory in ZFC+SI ⋮ An ordinal analysis for theories of self-referential truth ⋮ SUPER LIARS ⋮ Models for a paraconsistent set theory ⋮ Why Sets? ⋮ Feferman and the Truth ⋮ MODAL LOGIC WITHOUT CONTRACTION IN A METATHEORY WITHOUT CONTRACTION ⋮ Intensionality in mathematics ⋮ Partially interpreted relations and partially interpreted quantifiers ⋮ Approximate databases: a support tool for approximate reasoning ⋮ Abstraction in Fitch's Basic Logic ⋮ THE MODAL LOGICS OF KRIPKE–FEFERMAN TRUTH ⋮ From computation to foundations via functions and application: The $\lambda$-calculus and its webbed models ⋮ Encoding many-valued logic in $\lambda$-calculus ⋮ Property theory: The type-free approach $v$. The Church approach ⋮ How truthlike can a predicate be? A negative result ⋮ Three theories of nominalized predicates ⋮ Saving the truth schema from paradox

Cites Work