Alonzo Church's Contributions to Philosophy and Intensional Logic

  title={Alonzo Church's Contributions to Philosophy and Intensional Logic},
  author={C. Anthony Anderson},
  journal={Bulletin of Symbolic Logic},
  pages={129 - 171}
  • C. A. Anderson
  • Published 1 June 1998
  • Philosophy
  • Bulletin of Symbolic Logic
§0. Alonzo Church's contributions to philosophy and to that most philosophical part of logic, intensional logic, are impressive indeed. He wrote relatively few papers actually devoted to specifically philosophical issues, as distinguished from related technical work in logic. Many of his contributions appear in reviews for The Journal of Symbolic Logic, and it can hardly be maintained that one finds there a “philosophical system”. But there occur a clearly articulated and powerful methodology… 
Alice Ambrose and early analytic philosophy
  • S. Connell
  • Philosophy
    British Journal for the History of Philosophy
  • 2021
ABSTRACT Alice Ambrose (1906–2001) is best known as Wittgenstein’s student during the 1930s. Her association with probably the most famous philosopher of the twentieth century contributes to her
Modal logic and philosophy
How hyper are hyperpropositions?
The rationale for hyperpropositions is explained and one particular theory maintaining that their right calibration is in terms of near-identity (isomorphism) among abstract procedures is outlined, which tallies with the prevalent idea that hyperproposal meanings are structured meanings.
Predicativity, the Russell-Myhill Paradox, and Church’s Intensional Logic
This paper contains a consistency proof for the predicative response to the Russell-Myhill paradox and a predicative conception of set induced by this predicative intensional logic that allows one to respond to the Wehmeier problem of many non-extensions.
Two approaches to philosophically analyzing language
This paper tries to show that AG is incomparable with Q-W because both try to answer distinct questions, solve distinct problems.
Deduction in TIL: from simple to ramified hierarchy of types
Tichý’s Transparent Intensional Logic (TIL) is an overarching logical framework apt for the analysis of all sorts of discourse, whether colloquial, scientific, mathematical or logical. The theory is
Materna Two Approaches to Philosophically Analyzing Language
According to some philosophers we can distinguish two trends in dealing with (especially natural) language. One of them is older and uses explications that simplify the richness of the language, so
Structural Isomorphism of Meaning and Synonymy
  • M. Duží
  • Philosophy
    Computación y Sistemas
  • 2014
The novel contribution of this paper is a formally worked-out, philosophically motivated criterion of hyperintensional individuation, defined in terms of a slightly more carefully formulated version of - conversion and -conversion by value, which amounts to a modification of Church’s Alternative (A1).
In its strongest, unqualified form the principle of wholistic reference is that each and every proposition refers to the whole universe of discourse as such, regardless how limited the referents of
Theories of judgement
THE COMBINATION THEORY OF JUDGEMENT Introduction The theory of judgement most commonly embraced by philosophers around 1870 was what we might call the ‘combination theory’. This was, more precisely,


Language, Truth, and Logic
Classic introduction to objectives and methods of schools of empiricism and linguistic analysis, especially of the logical positivism derived from the Vienna Circle, [i]Language, Truth, and Logic[/i]
Logical Syntax of Language
Rudolf Carnap's entire theory of Language structure "came to me," he reports, "like a vision during a sleepless night in January 1931, when I was ill." This theory appeared in The Logical Syntax of
A new approach to semantics – Part I
  • J. Kemeny
  • Philosophy
    Journal of Symbolic Logic
  • 1956
By means of this approach a satisfactory definition can be given for such controversial concepts as analyticity, and at the same time the approach leads to a unified foundation for formalized Semantics.
Philosophy of mathematics: Russell's mathematical logic
Mathematical logic, which is nothing else but a precise and complete formulation of formal logic, has two quite different aspects. On the one hand, it is a section of Mathematics treating of classes,
Introduction to Mathematical Logic
Alonzo Church was a pioneer in the field of mathematical logic, whose contributions to number theory and the theories of algorithms and computability laid the theoretical foundations of computer science.
Intensional logic in extensional language
Frege's conception of reference has been interpreted as calling for a completely extensional language, on the grounds that according to it the reference of a complex expression is a function of the
Ayer, Language, Truth and Logic
  • O. Hanfling
  • Philosophy
    Royal Institute of Philosophy Lecture Series
  • 1986
When, in 1979, A. J. Ayer was asked for an evaluation of his youthful Language, Truth and Logic (LTL), he replied: ‘I suppose the most important of the defects was that nearly all of it was false’.
Contemporary perspectives in the philosophy of language
What are concepts?, Christopher Peacocke manifesting realism, Simon Blackburn misconstruals made manifest - a response to Simon Blackburn, Crispin Wright between reference and meaning, Julius M.
Method in Philosophical Psychology (From the Banal to the Bizarre)
In what follows, I shall be presenting some of my ideas about how I want to approach philosophical psychology. My hope is, in effect, to sketch a whole system; this is quite an undertaking, and I
From a Logical Point of View
It is the wish of the author to keep general terms distinct from abstract singular terms, so that the over-all dis­ pensability of some assumption that has always rankled as ad hoc and unintuitive is discovered.