Toward useful type-free theories. I

DOI10.2307/2274093zbMath0574.03043OpenAlexW2006111919WikidataQ56019946 ScholiaQ56019946MaRDI QIDQ3691666

Solomon Feferman

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 gapslogical paradoxesŁukasiewicz logicspartial setsconstruction of type-free theoriesgeneralized 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

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A note on three-valued logic and Tarski theorem on truth definitions
• Studies on the axiom of comprehension
• Reports of the Midwest category seminar. III
• Der Prädikatenkalkül mit limitierten variablen Grundlegung einer natürlichen exakten Logik
• A Set Theory Based on a Certain 3-Valued Logic.
• Some Results in Aczel‐Feferman Logic and Set Theory
• Redundancies in the Hilbert-Bernays derivability conditions for Gödel's second incompleteness theorem
• Outline of a Theory of Truth
• The Calculus of Partial Predicates and Its Extension to Set Theory I
• A semantical study of constructible falsity
• Formal systems for some branches of intuitionistic analysis
• Widerspruchsfreier Aufbau der Logik I
• The inconsistency of certain formal logics