{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,4]],"date-time":"2025-11-04T15:42:20Z","timestamp":1762270940667},"reference-count":64,"publisher":"Cambridge University Press (CUP)","issue":"2","license":[{"start":{"date-parts":[[2014,1,15]],"date-time":"2014-01-15T00:00:00Z","timestamp":1389744000000},"content-version":"unspecified","delay-in-days":5707,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Bull. symb. log."],"published-print":{"date-parts":[[1998,6]]},"abstract":"<jats:p><jats:bold>\u00a70<\/jats:bold>. 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 <jats:italic>The Journal of Symbolic Logic<\/jats:italic>, and it can hardly be maintained that one finds there a \u201cphilosophical system\u201d. But there occur a clearly articulated and powerful methodology, terse arguments, often of \u201ccrushing cogency\u201d, and philosophical observations of the first importance.<\/jats:p><jats:p>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.<\/jats:p><jats:p><jats:bold>1.1. The logistic method<\/jats:bold>. Church's writings on philosophical matters exhibit an unwavering commitment to what he called the \u201clogistic method\u201d. The term did not catch on and now one would just speak of \u201cformalization\u201d. 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 (still) philosophers who seriously underestimate and even consciously reject these techniques.<\/jats:p>","DOI":"10.2307\/421020","type":"journal-article","created":{"date-parts":[[2006,5,7]],"date-time":"2006-05-07T03:11:25Z","timestamp":1146971485000},"page":"129-171","source":"Crossref","is-referenced-by-count":26,"title":["Alonzo Church's Contributions to Philosophy and Intensional Logic"],"prefix":"10.1017","volume":"4","author":[{"given":"C. Anthony","family":"Anderson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2014,1,15]]},"reference":[{"key":"S1079898600007265_ref036","first-page":"311","volume-title":"The philosophy of Rudolf Carnap","author":"Davidson","year":"1963"},{"key":"S1079898600007265_ref057","volume-title":"Principles of mathematics","author":"Russell","year":"1903"},{"key":"S1079898600007265_ref041","doi-asserted-by":"publisher","DOI":"10.1093\/analys\/13.4.90"},{"key":"S1079898600007265_ref017","first-page":"31","article-title":"A formulation of the logic of sense and denotation (abstract)","volume":"11","author":"Church","year":"1946","journal-title":"Journal of Symbolic Logic"},{"key":"S1079898600007265_ref034","doi-asserted-by":"publisher","DOI":"10.2307\/2215752"},{"key":"S1079898600007265_ref029","volume-title":"Semanticafilosofica: Problemasy discusiones","author":"Church","year":"1973"},{"key":"S1079898600007265_ref011","doi-asserted-by":"publisher","DOI":"10.2307\/2266170"},{"key":"S1079898600007265_ref055","doi-asserted-by":"publisher","DOI":"10.1093\/analys\/14.5.114"},{"key":"S1079898600007265_ref013","volume-title":"Dictionary of philosophy","author":"Church","year":"1942"},{"key":"S1079898600007265_ref047","volume-title":"Contemporary perspectives in the philosophy of language","author":"Kaplan","year":"1979"},{"key":"S1079898600007265_ref064","volume-title":"Logic, semantics, metamathematics","author":"Tarski","year":"1956"},{"key":"S1079898600007265_ref025","volume-title":"Logic, methodology and philosophy of science, Proceedings of the 1960 international congress","author":"Church","year":"1962"},{"key":"S1079898600007265_ref039","first-page":"125","volume-title":"The philosophy of Bertrand Russell","author":"G\u00f6del","year":"1944"},{"key":"S1079898600007265_ref016","volume-title":"Introduction to mathematical logic, Part I","author":"Church","year":"1944"},{"key":"S1079898600007265_ref056","article-title":"Two dogmas of empiricism","author":"Quine","year":"1953","journal-title":"From a logical point of view"},{"key":"S1079898600007265_ref024","first-page":"71","article-title":"Logic and analysis","volume":"4","author":"Church","year":"1958","journal-title":"Atti del XII Congresso Internazionale de Filosofia"},{"key":"S1079898600007265_ref002","doi-asserted-by":"publisher","DOI":"10.2307\/2215278"},{"key":"S1079898600007265_ref046","volume-title":"logical empiricist","author":"Kaplan","year":"1975"},{"key":"S1079898600007265_ref009","doi-asserted-by":"publisher","DOI":"10.2307\/1968337"},{"key":"S1079898600007265_ref023","volume-title":"The problem of universals: A symposium","author":"Church","year":"1956"},{"key":"S1079898600007265_ref010","doi-asserted-by":"publisher","DOI":"10.2307\/1968702"},{"key":"S1079898600007265_ref058","doi-asserted-by":"publisher","DOI":"10.1093\/mind\/XIV.4.479"},{"key":"S1079898600007265_ref059","unstructured":"Salmon Nathan , On the very possibility of language: A sermon on the consequences of missing Church, in [3]."},{"key":"S1079898600007265_ref008","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9904-1928-04525-1"},{"key":"S1079898600007265_ref001","doi-asserted-by":"publisher","DOI":"10.2307\/2214862"},{"key":"S1079898600007265_ref035","volume-title":"Themes from Kaplan","author":"Church","year":"1989"},{"key":"S1079898600007265_ref022","volume-title":"Introduction to mathematical logic","volume":"1","author":"Church","year":"1956"},{"key":"S1079898600007265_ref005","volume-title":"The logical syntax of language","author":"Carnap","year":"1937"},{"key":"S1079898600007265_ref004","volume-title":"Language, truth and logic","author":"Ayer","year":"1946"},{"key":"S1079898600007265_ref019","volume-title":"Structure, method and meaning","author":"Church","year":"1951"},{"key":"S1079898600007265_ref053","doi-asserted-by":"publisher","DOI":"10.2307\/2273143"},{"key":"S1079898600007265_ref007","volume-title":"The foundations of science and the concepts of psychology and psychoanalysis","volume":"1","author":"Carnap","year":"1956"},{"key":"S1079898600007265_ref050","volume-title":"The philosophy of language","author":"Martinich","year":"1985"},{"key":"S1079898600007265_ref006","volume-title":"Meaning and necessity","author":"Carnap","year":"1947"},{"key":"S1079898600007265_ref054","unstructured":"Parsons Terence , The logic of sense and denotation: Extensions and applications, in [3]."},{"key":"S1079898600007265_ref031","doi-asserted-by":"publisher","DOI":"10.2307\/2214782"},{"key":"S1079898600007265_ref042","volume-title":"Problems and projects","author":"Goodman","year":"1972"},{"key":"S1079898600007265_ref012","volume-title":"Annals of Mathematics Studies","author":"Church","year":"1941"},{"key":"S1079898600007265_ref063","volume-title":"Logic, semantics, metamathematics","author":"Tarski","year":"1956"},{"key":"S1079898600007265_ref043","doi-asserted-by":"publisher","DOI":"10.2307\/3129859"},{"key":"S1079898600007265_ref052","first-page":"74","article-title":"Problems arising in the formalization of intensional logic","volume":"1","author":"Myhill","year":"1958","journal-title":"Logique et Analyse"},{"key":"S1079898600007265_ref038","doi-asserted-by":"publisher","DOI":"10.1093\/aristotelian\/59.1.141"},{"key":"S1079898600007265_ref018","doi-asserted-by":"publisher","DOI":"10.1093\/analys\/10.5.97"},{"key":"S1079898600007265_ref003","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-010-0526-5"},{"key":"S1079898600007265_ref045","doi-asserted-by":"publisher","DOI":"10.2307\/2024635"},{"key":"S1079898600007265_ref021","doi-asserted-by":"publisher","DOI":"10.1007\/BF02221771"},{"key":"S1079898600007265_ref037","doi-asserted-by":"publisher","DOI":"10.2307\/2026863"},{"key":"S1079898600007265_ref061","doi-asserted-by":"publisher","DOI":"10.2307\/2215724"},{"key":"S1079898600007265_ref032","article-title":"A remark concerning Quine's paradox about modality","volume":"2","author":"Church","year":"1982","journal-title":"Analisis Filos\u00f3fico"},{"key":"S1079898600007265_ref040","doi-asserted-by":"publisher","DOI":"10.1093\/analys\/10.1.1"},{"key":"S1079898600007265_ref048","doi-asserted-by":"publisher","DOI":"10.2307\/2268754"},{"key":"S1079898600007265_ref049","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-4104-4_20"},{"key":"S1079898600007265_ref060","doi-asserted-by":"publisher","DOI":"10.2307\/2215753"},{"key":"S1079898600007265_ref033","first-page":"513","article-title":"Russell's theory of identity of propositions","volume":"21","author":"Church","year":"1984","journal-title":"Philosophia Naturalis"},{"key":"S1079898600007265_ref020","doi-asserted-by":"publisher","DOI":"10.2307\/20023640"},{"key":"S1079898600007265_ref030","doi-asserted-by":"publisher","DOI":"10.2307\/2216181"},{"key":"S1079898600007265_ref051","first-page":"201","article-title":"Synonymity","volume":"25","author":"Mates","year":"1950","journal-title":"University of California Publications in Philosophy"},{"key":"S1079898600007265_ref044","unstructured":"Kaplan David , The language of L-Church-O, unpublished notes, 1974."},{"key":"S1079898600007265_ref027","first-page":"15","volume-title":"Proceedings of international congress of mathematicians","author":"Church","year":"1968"},{"key":"S1079898600007265_ref062","volume-title":"Propositions and attitudes","author":"Salmon","year":"1988"},{"key":"S1079898600007265_ref026","volume-title":"Encyclopedia Brittanica","author":"Church","year":"1964"},{"key":"S1079898600007265_ref028","volume-title":"Semantica filosofica: Problemas y discussiones","author":"Church","year":"1973"},{"key":"S1079898600007265_ref014","volume-title":"Dictionary of philosophy","author":"Church","year":"1942"},{"key":"S1079898600007265_ref015","doi-asserted-by":"publisher","DOI":"10.2307\/2180923"}],"container-title":["Bulletin of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1079898600007265","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,10]],"date-time":"2019-05-10T16:44:53Z","timestamp":1557506693000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1079898600007265\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,6]]},"references-count":64,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1998,6]]}},"alternative-id":["S1079898600007265"],"URL":"https:\/\/doi.org\/10.2307\/421020","relation":{},"ISSN":["1079-8986","1943-5894"],"issn-type":[{"value":"1079-8986","type":"print"},{"value":"1943-5894","type":"electronic"}],"subject":[],"published":{"date-parts":[[1998,6]]}}}