Minds, Brains and Science

Reference: Searle, J. R. (1984). Minds, Brains and Science (The 1984 Reith Lectures). Cambridge, MA: Harvard University Press. ISBN 0-674-57633-0. Source file: searle-1984-minds-brains-science.pdf. Cited by Elephant 2000 - A Programming Language Based on Speech Acts (McCarthy 1989).

Summary

Searle’s 1984 BBC Reith Lectures, lightly revised for print, compress his philosophy of mind into six accessible chapters: the mind-body problem, “Can Computers Think?”, cognitive science, the structure of action, prospects for the social sciences, and the freedom of the will. Chapter 2 contains the popular restatement of the Chinese Room Argument against strong AI: syntactic manipulation of symbols (what a program does) is neither sufficient for nor constitutive of semantics (what a mind has), so “appropriately programmed computer” cannot literally understand. Chapter 4 develops intentional action and prior intentions, and chapter 5 applies the same framework to collective/institutional phenomena - the seed of Searle’s later work on Institutional Reality. McCarthy cites this book in Elephant 2000 as the canonical target of his counter-position: programs can usefully be regarded as performing speech acts and having intentional states, if only in a deflationary “as-if” sense.

Key Ideas

Biological naturalism: mental phenomena are caused by and realised in brain processes; mind is neither reducible to nor separate from biology.
Strong vs weak AI: simulating a mind is not having one; syntax does not suffice for semantics (Chinese Room).
Intentionality and the background: intentional states presuppose a non-representational background of capacities and practices.
Structure of action: prior intention vs intention-in-action; causal self-referentiality of intention.
Social facts and collective intentionality: institutional reality rests on shared we-intentions (developed more fully later in Institutional Reality).

Connections

Conceptual Contribution

Claim: Minds are biological; programs running on machines lack intrinsic intentionality because syntactic symbol manipulation does not yield semantic content. Yet the same intentional vocabulary used for minds also grounds action theory and social reality.
Mechanism: Chinese Room thought experiment; distinction between intrinsic, derived, and as-if intentionality; action-theoretic analysis of intention-in-action; collective-intentionality sketch for social facts.
Concepts introduced/used: Biological Naturalism, Chinese Room Argument, Intrinsic Intentionality, Background, Collective Intentionality, Institutional Reality
Stance: anti-computationalist / philosophy-of-mind
Relates to: McCarthy’s Elephant 2000 - A Programming Language Based on Speech Acts explicitly rejects Searle’s conclusion and treats programs as speech-act performers; Searle’s action theory here is the philosophical ancestor of the mentalistic semantics used in FIPA-ACL and critiqued in Agent Communication And Institutional Reality and Commitment-based Semantics.

Tags

#philosophy-of-mind #searle #chinese-room #intentionality #speech-acts

Summary

Fornara, Viganò, and Colombetti propose regarding an Agent Communication Language as a set of conventions acting on a fragment of institutional reality, defined within an artificial institution. They reformulate commitment-based ACL semantics so that all commonly used communicative act types reduce to a single basic type, declarations, within a Basic Institution that regulates the lifecycle of social commitments.

Special institutions (e.g., English Auctions) extend the Basic Institution with ontological and normative elements. The approach is notable for making the semantics of speech acts publicly verifiable and independent of agents’ mental states, while retaining a uniform formal account of institutional actions and counts-as relations.

Key Ideas

ACL messages are institutional actions governed by counts-as rules.

Basic Institution manages creation/update/cancellation of social commitments.

All speech act types reducible to declarations within the institution.

Special institutions layer domain norms and ontologies on top.

English Auction given as worked example.

Conceptual Contribution

Claim: An ACL is best understood as a set of conventions operating on institutional reality; all communicative act types reduce to declarations within a Basic Institution that governs the lifecycle of social commitments.

Mechanism: Defines artificial institutions with counts-as rules; models message effects as declarations creating/updating/cancelling commitments; layers domain norms in Special Institutions (English Auction worked example).

Concepts introduced/used: Commitment-based Semantics, Institutional Reality, Counts-as Rules, Declarations, Performatives, Speech Act Theory, Public Semantics, Verifiable Semantics, Mentalistic Semantics, Ontologies, FIPA-ACL, Multi-Agent Systems

Stance: formal-semantic

Relates to: Offers the publicly-verifiable alternative to mental-state semantics of FIPA-ACL, which A Common Ontology Of ACLs then unifies via roles; grounded philosophically in Foundations Of Illocutionary Logic.

Summary

McCarthy proposes Elephant 2000, a speculative programming language whose inputs and outputs are speech acts — requests, questions, offers, acceptances, declinations, permissions, and promises — rather than ordinary I/O. A program’s correctness is then partly defined by the “happy performance” of those acts in Austin’s sense: answers must be truthful and responsive, promises must be kept, and the program must not accept what it has no authority to accept. The paper is an essay of seven design theses, most strikingly:

An Elephant program is itself a logical sentence (or syntactic sugar for one); its extensional correctness properties follow by logical consequence without a separate theory of programming à la Hoare.

Elephant programs do not need data structures: they can refer directly to the past (history of events and states), just as natural-language speakers do (“the passenger has a reservation iff she made one and hasn’t cancelled it”).

Programs have both input-output specifications (generalising illocutionary speech acts) and accomplishment specifications (generalising perlocutionary acts — what the program actually brings about in the world).

Commercial transactions exchange obligations; an Elephant program’s specification may include the fact that the obligation exchange happens as intended, again as a logical sentence.

McCarthy explicitly departs from Searle/Austin by taking a design stance (Dennett) on speech acts, introducing abstract performatives (including purely internal commitments the agent makes to itself) as a category of program event. The paper is the direct programming-language-side ancestor of modern Agent Communication Languages, Commitment-based Semantics, and Intent Formalization — all written a decade before the ACL field got going.

Key Ideas

Speech-act I-O language: programs communicate via request, question, offer, accept, decline, permission, promise, assertion, plus internal commitment

Program-as-logical-sentence: extensional properties are logical consequences, no Hoare axioms required

Direct reference to the past: no data structures, just history queries (has-reservation(psgr, flt) ≡ made-reservation ∧ ¬cancelled)

Illocutionary vs. perlocutionary specs: input-output (program’s own behaviour) vs. accomplishment (effects in the world)

Abstract performatives — internal commitments whose content is independent of outward expression

Obligation exchange as a first-class specification element for commercial/institutional programs

Takes a design stance on speech acts — adapts Austin/Searle rather than inheriting them

Authority / permission / obligation are specification concerns: the program need not be conscious of them

Explicit claim: deliberately non-AI — Elephant usages that do not require intelligence are the focus

Summary

Searle and Vanderveken construct a formalized logic of speech acts, filling the gap between philosophy of language and formal logic. The book recursively defines the space of illocutionary forces from five primitives (assertive, commissive, directive, declarative, expressive) via seven components of illocutionary force (illocutionary point, mode of achievement, propositional-content conditions, preparatory conditions, sincerity conditions, degree of strength, direction of fit).

It develops axiomatic propositional illocutionary logic, laws of illocutionary entailment, commitment, negation, conjunction, and conditionalization, and closes with a semantic analysis of over a hundred English performative verbs. The work is foundational for agent communication languages because it gives a rigorous semantics to the performatives (inform, request, promise, declare, etc.) later adopted by KQML and FIPA-ACL.

Conceptual Contribution

Claim: The space of possible speech acts is generated recursively from five illocutionary points and seven components of illocutionary force, and admits a genuine formal logic of success and entailment.

Mechanism: Axiomatic propositional illocutionary logic: laws of illocutionary entailment, commitment, negation, conjunction, and conditionalisation; closes with semantic definitions of over a hundred English performative verbs.

Concepts introduced/used: Speech Act Theory, Performatives, Illocutionary Force, Direction of Fit, Sincerity Conditions, Preparatory Conditions, Commitment-based Semantics, Mental State, Mentalistic Semantics

Stance: foundational / formal-semantic

Relates to: Supplies the philosophical semantics imported by KQML Language And Protocol and FIPA-ACL, and re-examined publicly in Agent Communication And Institutional Reality and A Common Ontology Of ACLs.

Minds, Brains and Science

Summary

Key Ideas

Connections

Conceptual Contribution

Tags

Backlinks