Kurt Gödel’s version of the ontological argument was shown by J. Howard Sobel to be defective, but some plausible modifications in the argument result in a version which is immune to Sobel’s objection. A definition is suggested which permits the proof of some of Godel’s axioms.

§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, terse arguments, often of “crushing cogency”, and philosophical (...) observations of the first importance.Many of the less formal philosophical contributions center around questions concerning meaning, but there are important clarifications and insights into matters of the epistemology and ontology of the sciences, especially the formal sciences.1.1. The logistic method. Church's writings on philosophical matters exhibit an unwavering commitment to what he called the “logistic method”. The term did not catch on and now one would just speak of “formalization”. The use of these ideas is now so common and familiar among logicians and logically-oriented philosophers that they are simply taken for granted. But they deserve to be celebrated and re-emphasized, for there are philosophers who seriously underestimate and even consciously reject these techniques. (shrink)

These papers treat those issues involved in formulating a logic of propositional attitutudes and consider the relevance of the attitudes to the continuing study of both the philosophy of language and the philosophy of mind. Table of Contents: Introduction, by C. Anthony Anderson and Joseph Owens Quine on Quantifying In, by Kit Fine Prolegomena to a Structural Theory of Belief and Other Attitudes, by Hans Kemp A Study in Comparitive Semantics, by Ernest LePore and Barry Loewer Wherein is Language Social?, (...) by Tyler Burge Narrow Content, by Robert Stalnaker Cognitive Access and Semantic Puzzles, by Joseph Owens On Some Thought-Experiments About Mind and Meaning, by John Wallace and H. E. Mason Belief and the Indentity of Reference, by Keith S. Dennellan A Millian Heir Rejects the Wages of Sinn, by Nathan Salmon The Mode-of-Presentation Problem, by Stephen Schiffer Consciousness and Intentionality: Robots With and Without the Right Stuff, by Keith Gunderson Consciousness, Unconsciousness, and Intentionality, by John R. Searle. (shrink)

This volume began as a remembrance of Alonzo Church while he was still with us and is now finally complete. It contains papers by many well-known scholars, most of whom have been directly influenced by Church's own work. Often the emphasis is on foundational issues in logic, mathematics, computation, and philosophy - as was the case with Church's contributions, now universally recognized as having been of profound fundamental significance in those areas. The volume will be of interest to logicians, computer (...) scientists, philosophers, and linguists. The contributions concern classical first-order logic, higher-order logic, non-classical theories of implication, set theories with universal sets, the logical and semantical paradoxes, the lambda-calculus, especially as it is used in computation, philosophical issues about meaning and ontology in the abstract sciences and in natural language, and much else. The material will be accessible to specialists in these areas and to advanced graduate students in the respective fields. (shrink)

In a well- known barb, CD Broad said: "Mr. Bertrand Russell produces a new system of philosophy each year or so, and Mr. GE Moore none ...

This chapter contains sections titled: Alfred Tarski Alonzo Church Kurt Gödel.