Argument Formalizer

The Chinese room

John R. Searle, "Minds, Brains, and Programs", Behavioral and Brain Sciences 3(3), 1980

The room, reconstructed

valid

  1. The man in the room has inputs and outputs indistinguishable from those of a native Chinese speaker and runs any formal program you like.

  2. The man in the room does not understand Chinese.

  3. If [1] and [2], then running a formal program with inputs and outputs indistinguishable from a native speaker's is not sufficient for understanding Chinese.

  4. Therefore, running a formal program with inputs and outputs indistinguishable from a native speaker's is not sufficient for understanding Chinese. [1,2,3]

  5. Schank's computer has nothing more than running a formal program with inputs and outputs indistinguishable from a native speaker's.

  6. If [4] and [5], then Schank's computer does not understand the stories.

  7. Therefore, schank's computer does not understand the stories. [4,5,6]

Syntax and semantics passage, as run through the tool

This passage doesn't argue for a conclusion — it describes or reports.

No argument was found in this passage.

View run

Editor's note

Two passages. The first (the man understands nothing, so the computer understands nothing) failed in the live tool: its repair stage failed output validation on both attempts and the run failed closed, so no artifact exists yet. The argument shown is a hand-authored reconstruction that passed the deterministic syntax and transparent-entailment gates. It will be replaced by a tool artifact when a run succeeds. The second, the syntax-not-semantics passage, came back as no argument, which is fair: in that passage Searle asserts that formal symbol manipulation has syntax but no semantics rather than arguing for it; the argument is the room.