---
id: BIO-MCCARTHY-001
title: "John McCarthy"
alternative_names:
  - "John McCarthy (computer scientist)"
category: "People & Organizations → Founders of AI"
volume: X
chapter: 55
entry_type: "Biography"
level: 3
status: "Draft"
last_reviewed: 2026-10-15
version: "0.1.0"
prerequisites:
  - "HIST-002"
related_entries:
  - "HIST-003"
  - "FOUND-003"
  - "BIO-MINSKY-001"
  - "BIO-SHANNON-001"
---

# John McCarthy

## 1. Concise Definition
John McCarthy (4 September 1927 – 24 October 2011) was an American computer scientist and mathematician who coined the term "artificial intelligence" in the 1955 proposal for the Dartmouth workshop, created the Lisp programming language, and developed logic-based approaches to common-sense reasoning.

## 2. Overview & Significance
McCarthy is associated with three durable contributions: the naming and institutional launch of AI as a field, the Lisp language that became a standard medium of symbolic AI research, and the programme of representing knowledge and reasoning in formal logic. He spent most of his career at Stanford, where he founded an AI laboratory. The Dartmouth event itself is covered in [HIST-002]; this entry concentrates on his own work.

## 3. Historical Development
McCarthy was born in Boston. He received a B.S. in mathematics from Caltech in 1948 and a PhD in mathematics from Princeton in 1951, supervised by Donald C. Spencer (Wikipedia contributors, 2026b). He was an assistant professor at Dartmouth College from 1955, a research fellow at MIT in autumn 1956, and from 1962 a professor at Stanford, where he remained until retiring in 2000 (Wikipedia contributors, 2026b).

In 1955 he co-authored, with Marvin Minsky, Nathaniel Rochester and Claude Shannon, the proposal for the 1956 Dartmouth Summer Research Project, which introduced the phrase "artificial intelligence" (Wikipedia contributors, 2026b; Kline, 2011). Lisp was developed in the late 1950s and described in "Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I" (McCarthy, 1960). He died at Stanford, California, on 24 October 2011, aged 84 (Wikipedia contributors, 2026b).

## 4. Technical / Conceptual Explanation (Principal Contributions)
**Lisp.** McCarthy (1960) presented a formalism for computing with symbolic expressions built from atoms and ordered pairs, using recursive functions, conditional expressions and a universal function that can interpret expressions as programs. The article defines the language's core in terms of a small set of primitive operations. Lisp's treatment of programs as data made it well suited to symbolic manipulation, which is why it was widely used in AI research.

**Logic-based AI.** In his 1959 paper "Programs with Common Sense", McCarthy proposed an "advice taker" that would reason with declarative sentences. With Patrick Hayes he co-authored a 1969 paper on philosophical problems of AI that is associated with the situation calculus and the *frame problem*. [VERIFICATION NEEDED: the content of the 1959 and 1969 papers (advice taker, situation calculus, frame problem) is stated from general knowledge; only the existence of both papers appears in the secondary source (Wikipedia contributors, 2026b) and neither was checked against the original publication.]

**Circumscription.** McCarthy (1980) proposed circumscription as a form of non-monotonic reasoning, a formal method for drawing conclusions that may be withdrawn when new information arrives, motivated by the need to represent default assumptions in common-sense reasoning.

## 5. Collaborators and Schools of Thought
McCarthy belonged to the symbolic or logicist tradition of AI, which holds that intelligent behaviour can be obtained by manipulating explicit representations with formal inference. Within the Dartmouth organizers, he and Marvin Minsky are credited with starting what became MIT's AI work (Wikipedia contributors, 2026c); the programmes of the Stanford and MIT groups differed in emphasis, a distinction often discussed in histories of the field. For knowledge representation as a topic see [FOUND-003].

## 6. Recognition and Institutional Legacy
Honours reported in secondary sources include the ACM A.M. Turing Award (1971), the Kyoto Prize (1988) and the US National Medal of Science (1990) (Wikipedia contributors, 2026b). [VERIFICATION NEEDED: award years confirmed only from a secondary source; ACM and Kyoto Prize pages were not retrievable.] Lisp and its dialects remain in use, and the term he introduced is now the name of an industry.

## 7. Limitations, Criticisms and Open Questions
Logic-based approaches faced practical difficulties with uncertainty, learning from data and the scale of common-sense knowledge, and statistical and neural methods displaced them in many applications (see [HIST-004] and [HIST-008]). McCarthy's own rationale for the term "artificial intelligence" and his emphasis on human-level generality are discussed in the historical literature; Kline (2011) examines how the Dartmouth narrative has been mythologized. Whether his logic programme can be reconciled with learned systems is an open research question (Contested).

## 8. Current State of Knowledge
The historical facts of authorship of the Dartmouth proposal and of the Lisp paper are documented in primary publications (McCarthy, 1960; Kline, 2011). The assessment of how much logic-based AI contributes to current practice varies by researcher.

## 9. Future Trajectory & Strategic Outlook
No forecasts are made in this biography.

## 10. Related Entries & Knowledge Graph
- **Foundational Concepts**:
  - [[HIST-002] The Dartmouth Workshop (1956)](../vol02_history/HIST-002_dartmouth_workshop.md): The event McCarthy proposed.
  - [[FOUND-003] Knowledge Representation](../vol01_foundations/FOUND-003_knowledge_representation.md): The subject of his logicist programme.
- **Related Methods & Technologies**:
  - [[HIST-003] Early Symbolic AI & The Perceptron](../vol02_history/HIST-003_symbolic_ai_perceptron.md): Symbolic AI in the following decade.
  - [[HIST-004] The AI Winters](../vol02_history/HIST-004_ai_winters.md): Period in which symbolic approaches were criticised.
- **Advanced Implications & Future Trajectories**:
  - [[BIO-MINSKY-001] Marvin Minsky](./BIO-MINSKY-001_marvin_minsky.md): Co-organizer of Dartmouth.
  - [[BIO-SHANNON-001] Claude Shannon](./BIO-SHANNON-001_claude_shannon.md): Co-organizer of Dartmouth.

## 11. References & Foundational Literature
1. McCarthy, J. (1960). *Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I*. Communications of the ACM, 3(4), 184–195. https://doi.org/10.1145/367177.367199. [Describes the Lisp formalism.]
2. McCarthy, J. (1980). *Circumscription — A Form of Non-Monotonic Reasoning*. Artificial Intelligence, 13(1–2), 27–39. https://doi.org/10.1016/0004-3702(80)90011-9. [Proposes circumscription.]
3. Kline, R. R. (2011). *Cybernetics, Automata Studies, and the Dartmouth Conference on Artificial Intelligence*. IEEE Annals of the History of Computing, 33(4), 5–16. https://doi.org/10.1109/MAHC.2010.44. [Historical analysis of the Dartmouth conference.]
4. Wikipedia contributors. (2026b). *John McCarthy (computer scientist)*. https://en.wikipedia.org/wiki/John_McCarthy_(computer_scientist) (accessed 2026-10-15). [Secondary source for dates, positions, honours and the 1959 and 1969 papers.]
5. Wikipedia contributors. (2026c). *Marvin Minsky*. https://en.wikipedia.org/wiki/Marvin_Minsky (accessed 2026-10-15). [Secondary source for the MIT laboratory origin.]

## 12. Evidential Classification Matrix
| Section / Claim | Evidence Category | Supporting Source | Confidence / Status |
| :--- | :--- | :--- | :--- |
| Lisp formalism published 1960 | Established | McCarthy (1960) | High |
| Circumscription proposal | Established (primary text) | McCarthy (1980) | High |
| Dates, posts, honours | Well Supported (secondary only) | Wikipedia contributors (2026b) | Moderate |
| Dartmouth proposal authorship | Established (historical) | Kline (2011) | High |
| Logic programme's role today | Contested | See HIST-004, HIST-008 | Open |

## 13. Revision History
- **v0.1.0** (2026-10-15): Initial draft. Citations checked against arXiv/Crossref/publisher pages where marked; not independently fact-checked.