concept
active
concept:john-mccarthyJohn McCarthy
Primary author proposing Elephant 2000 programming language based on speech acts and logical semantics.
Neighborhood — ranked by edge-count
Papers (2)
paper
Frameworks (1)
framework
- McCarthy's 1982 proposal for language of business messages supporting complex negotiations; Elephant 2000 provides implementation mechanism.
Communities (1)
community
- Associative Lookupmembers_of
Claims (1)
claim
- McCarthy's position against Searle: computers can genuinely promise without requiring Searle's conditions (e.g., belief that fulfillment benefits recipient).
Artifacts (6)
artifact
- Early work on compiler correctness, referenced for a and c functions.
- Introduces a and c functions for state manipulation.
- Paper on ascribing beliefs to machines, relevant to speech acts and AI.
- Provides the Concept1 formalization used for knows-what.
- Original proposal for a business communication language, precursor to Elephant.
- Paper on circumscription, used for limiting events in Elephant verification.
Institutes (1)
institute
- Stanford Universityaffiliated_withInstitutional affiliation of collaborators on manifold steering research.
Concepts (1)
concept
- The idea that programs can be expressed as logical sentences, enabling direct deductive verification.
Related by similarity (8)
cosine ≥ 0.65 · no typed edgeEntities in the same semantic neighborhood but without a typed relation to this one — candidates for new edges or unrecognized duplicates.
- Author of 'Why Functional Programming Matters', cited for compositionality principle.
- Psychologist who coined the term 'affordance' to describe the relationship between objects and how they convey use
- Philosopher who developed foundational speech act theory; McCarthy adapts and deviates from Austin's framework for Elephant.
- Secondary affiliation for Reasoning Theater authors.
- Furniture company that collaborated on the office furniture system.
- Associated with empiricist regularity theory of causation that Juarrero argues is inadequate for action explanation.
- Donor and convicted sex trafficker with documented relationship to Marvin Minsky; victim testified to sexual abuse by Minsky at age 17; complicates AI genealogy.