Logic, Meaning and Computation: Essays in Memory of Alonzo Church (Hardcover, 2001)

Preface; C.A. Anderson, M. Zeleny. Remembering Alonzo Church; D. Kaplan, T. Burge. Part I: Logic. Logic, truth and number: The elementary genesis of arithmetic; P. Apostoli. Second-order logic; J. Corcoran. A representation of relation algebras using Routley-Meyer frames; J.M. Dunn. Church's set theory with a universal set; Th. Forster. Axioms of infinity in Church's type theory; R.O. Gandy. Logical objects; E.L. Keenan. The lambda calculus and adjoint functors; S.M. Lane. Atomic Boolean algebras and classical propositional logic; G.J. Massey. Improved decision procedures for pure relevant logic; R.K. Meyer. The `triumph' of first-order languages; S. Shapiro. Equivalence relations and groups; R. Smullyan. Part II: Computation. Discriminating coded lambda terms; H. Barendregt. lambda-calculus as a foundation for mathematics; K. Grue. Peano's lambda calculus: The functional abstraction implicit in arithmetic; D. Leivant. The undecidability of lambda-definability; R. Loader. A construction of the provable wellorderings of the theory of species; P. Martin-Lof. Semantics for first and higher order realizability; C. Mclarty. Language and equality theory in logic programming; J.C. Shepherdson. Part III: Philosophy, Meaning, and Intensional Logic. Alternative (1 ): A criterion of identity for intensional entities; C.A. Anderson. Nominalist paraphrase and ontological commitment; J.P. Burgess. Peace, justice and computation: Leibniz' program and the moral and political significance of Church's theorem; M. Detlefsen. Tarski's theorem and NFU; M.R. Holmes. Church's theorem and randomness; G. Mar. Russellian type theory andsemantical paradoxes; E. Martino. The logic of sense and denotation: Extensions and applications; T. Parsons. Analysis, synonymy and sense; M. Richard. The very possibility of language; N. Salmon. Index.