Predicativity, the Russell-Myhill paradox, and Church's intensional logic
From MaRDI portal
Publication:300834
DOI10.1007/s10992-015-9375-5zbMath1392.03041arXiv1506.02206OpenAlexW2129507111MaRDI QIDQ300834
Publication date: 29 June 2016
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1506.02206
Other nonclassical logic (03B60) Philosophical and critical aspects of logic and foundations (03A05)
Related Items (6)
OPERANDS AND INSTANCES ⋮ The broadest necessity ⋮ THE STRENGTH OF ABSTRACTION WITH PREDICATIVE COMPREHENSION ⋮ Grounding generalizations ⋮ Closed structure ⋮ THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC
Cites Work
- Comparing Peano arithmetic, Basic Law V, and Hume's Principle
- Procedural semantics for hyperintensional logic. Foundations and applications of transparent intensional logic
- On the consistency of the first-order portion of Frege's logical system
- Semantical antinomies in the logic of sense and denotation
- Set theory. An introduction to independence proofs
- Consistent fragments of \textit{Grundgesetze} and the existence of non-logical objects
- On the consistency of the \(\Delta_1^1\)-CA fragment of Frege's Grundgesetze
- Indefinite extensibility -- dialetheic style
- Carnap and logical truth
- Fine Structure
- The Senses of Functions in the Logic of Sense and Denotation
- FRAGMENTS OF FREGE’SGRUNDGESETZEAND GÖDEL’S CONSTRUCTIBLE UNIVERSE
- A Unified view of (Complete) Regularity and Certain Variants of (Complete) Regularity
- When are Two Algorithms the Same?
- Alonzo Church's Contributions to Philosophy and Intensional Logic
- Frege, hilbert, and the conceptual structure of model theory
- The Consistency of predicative fragments of frege’s grundgesetze der arithmetik
- Set Theory
- Intensional logic in extensional language
- The Philosophical Basis of Our Knowledge of Number
- A Revised Formulation of the Logic of Sense and Denotation. Alternative (1)
- Some Difficulties Concerning Russellian Intensional Logic
- Some New Axioms for the Logic of Sense and Denotation: Alternative (0)
- Outline of a Revised Formulation of the Logic of Sense and Denotation (Part II)
- Propositions and Attitude Ascriptions: A Fregean Account
- Systems of predicative analysis
- THE STRENGTH OF ABSTRACTION WITH PREDICATIVE COMPREHENSION
- The fine structure of the constructible hierarchy
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Predicativity, the Russell-Myhill paradox, and Church's intensional logic
