Some Emendations of Gödel's Ontological Proof.C. Anthony Anderson -1990 -Faith and Philosophy 7 (3):291-303.detailsKurt 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.
Alonzo Church’s Contributions to Philosophy and Intensional Logic.C. Anthony Anderson -1998 -Bulletin of Symbolic Logic 4 (2):129-171.details§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)
Rereading Russell: Essays in Bertrand Russell's Metaphysics and Epistemology.C. Wade Savage &C. Anthony Anderson (eds.) -1989 - University of Minnesota Press.detailsIn 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 ...
Logic, meaning, and computation: essays in memory of Alonzo Church.C. Anthony Anderson &Michael Zelëny (eds.) -2001 - Boston: Kluwer Academic Publishers.detailsThis 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)
Alfred Tarski (1901–1983), Alonzo Church (1903–1995), and Kurt Gödel (1906–1978).C. Anthony Anderson -2001 - In Aloysius Martinich & David Sosa,A companion to analytic philosophy. Malden, Mass.: Blackwell. pp. 124–138.detailsThis chapter contains sections titled: Alfred Tarski Alonzo Church Kurt Gödel.
No categories
Healing hypotheses: Horatio W. Dresser and the philosophy of New Thought.C. Alan Anderson -1993 - New York: Garland.detailsExplores the people and ideas that contributed to the formation of the 19th-century philosophico-religious movement known as New Thought, a movement dedicated in large measure to the remedying of illness through nonphysical means. Originally presented as the author's doctora thesis (Boston U., 1962) under the title Horatio W. Dresser and the Philosophy of New Thought. Supplementary bibliographical notes and an addendum outlining the author's further thoughts accompany this presentation. Annotation c. by Book News, Inc., Portland, Or.