# Alonzo Church's Contributions to Philosophy and Intensional Logic

@article{Anderson1998AlonzoCC, title={Alonzo Church's Contributions to Philosophy and Intensional Logic}, author={C. Anthony Anderson}, journal={Bulletin of Symbolic Logic}, year={1998}, volume={4}, pages={129 - 171} }

§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…

## 91 Citations

Alice Ambrose and early analytic philosophy

- PhilosophyBritish 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…

How hyper are hyperpropositions?

- PhilosophyLang. Linguistics Compass
- 2010

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

- PhilosophyJ. Philos. Log.
- 2016

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

- Philosophy
- 2015

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

- Philosophy
- 2013

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

- Philosophy
- 2015

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

- PhilosophyComputació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).

THE PRINCIPLE OF WHOLISTIC REFERENCE

- Philosophy
- 2004

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

- Philosophy
- 2003

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,…

## References

SHOWING 1-10 OF 73 REFERENCES

Language, Truth, and Logic

- Philosophy
- 1936

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

- Philosophy
- 1937

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

- PhilosophyJournal 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

- Philosophy
- 1984

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

- Philosophy
- 1991

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

- PhilosophyJournal of Symbolic Logic
- 1982

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

- PhilosophyRoyal 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

- Philosophy
- 1989

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)

- Philosophy
- 1974

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

- Philosophy
- 1953

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.