Toward useful type-free theories. I

DOI10.2307/2274093zbMath0574.03043WikidataQ56019946 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 gaps; logical paradoxes; Łukasiewicz logics; partial sets; construction of type-free theories; generalized satisfaction principle

Mathematics Subject Classification ID

03A05: Philosophical and critical aspects of logic and foundations

03E70: Nonclassical and second-order set theories

03B50: Many-valued logic

Related Items

SUPER LIARS, Why Sets?, A \(\kappa\)-denotational semantics for map theory in ZFC+SI, Logical foundations for programming semantics, A logic for category theory, On partial and paraconsistent logics, Intensionality in mathematics, Stability and paradox in algorithmic logic, Truth and meaning, A logic of abstraction related to finite constructive number classes, How truthlike can a predicate be? A negative result, Three theories of nominalized predicates, Some remarks on extending and interpreting theories with a partial predicate for truth, Languages with self-reference. II: Knowledge, belief, and modality, Autocircumscription, A type-free system extending (ZFC), Logic, sets, and mathematics, Partially interpreted relations and partially interpreted quantifiers, Property theory: The type-free approach \(v\). The Church approach, Issues in commonsense set theory, From computation to foundations via functions and application: The \(\lambda\)-calculus and its webbed models, Saving the truth schema from paradox, Models for a paraconsistent set theory, A contextual-hierarchical approach to truth and the liar paradox, Levels of truth, An ordinal analysis for theories of self-referential truth, Approximation Fixpoint Theory and the Semantics of Logic and Answers Set Programs, INTENSIONALITY AND PARADOXES IN RAMSEY’S ‘THE FOUNDATIONS OF MATHEMATICS’, AXIOMS FOR DETERMINATENESS AND TRUTH, Approximate databases: a support tool for approximate reasoning

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