Alonzo Church's Contributions to Philosophy and Intensional Logic

DOI10.2307/421020zbMath0908.03002OpenAlexW2155094707MaRDI QIDQ4212933

C. Anthony Anderson

Publication date: 14 February 1999

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

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

zbMATH Keywords

realismeffectivenesssemanticsnominalismintensional logicformalizationsynonymyintensional entitieslogistic methodintensional isomorphismgeneral pure semanticshypothetico-deductive rationalismlogic of sense and denotation

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05) History of mathematical logic and foundations (03-03)

Related Items (6)

The Senses of Functions in the Logic of Sense and Denotation ⋮ Predicativity, the Russell-Myhill paradox, and Church's intensional logic ⋮ The paradox of inference and the non-triviality of analytic information ⋮ Extensional Logic of Hyperintensions ⋮ If structured propositions are logical procedures then how are procedures individuated? ⋮ Isomorphic formulae in classical propositional logic

Cites Work

• Rudolf Carnap, logical empiricist. Materials and perspectives
• Logic, meaning and computation. Essays in memory of Alonzo Church
• A set of postulates for the foundation of logic
• A set of postulates for the foundation of logic. II
• Intensional logic in extensional language
• Being of Two Minds: Belief with Doubt
• A Revised Formulation of the Logic of Sense and Denotation. Alternative (1)
• A Problem in the Frege-Church Theory of Sense and Denotation
• 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 I)
• Outline of a Revised Formulation of the Logic of Sense and Denotation (Part II)
• A formulation of the simple theory of types

This page was built for publication: Alonzo Church's Contributions to Philosophy and Intensional Logic