Interaction between two minds cannot be modeled by formal deduction alone

Evidence

There is, consequently, no way that an analyst can reproduce the whole decision process either introspectively or by an axiomatic method. There is no way to build a model for the interaction of two or more decision units, with the behavior and expectations of those decision units being derived by purely formal deduction. An analyst can deduce the decisions of a single rational mind if he knows the criteria that govern the decisions; but he cannot infer by purely formal analysis what can pass between two centers of consciousness. It takes at least two people to test that. (Two analysts can do it, but only by using themselves as subjects in an experiment.) Taking a hint is fundamentally different from deciphering a formal communication or solving a mathematical problem; it involves discovering a message that has been planted within a context by someone who thinks he shares with the recipient certain impressions or associations. One cannot, without empirical evidence, deduce what understandings can be perceived in a nonzero-sum game of maneuver any more than one can prove, by purely formal deduction, that a particular joke is bound to be funny. — Thomas C. Schelling, The Strategy of Conflict, 368

Categorization

• XREF: Resonates with Gambetta’s argument about trust and private enforcement as socially embedded rather than formally determinable — matches the reader’s linking purpose. — connects to: Rational agreement operates through shared psychic expectations, not mathematical reasoning — Thomas C. Schelling, The Strategy of Conflict, 275; Communication succeeds only through shared contextual beliefs that cannot be fully formalized; Abandonment-neurotics exact repeated proofs before forming any objective relation — Frantz Fanon, Constance Farrington, Black skin, white masks, 282 (+4 more)
• SEED: The ‘joke must be funny’ analogy could ground an essay on why coordination norms (like Mafia pacts) resist purely formal institutional design.

Related

• Rational agreement operates through shared psychic expectations, not mathematical reasoning (similarity 0.81)

Broader Connections

• Communication succeeds only through shared contextual beliefs that cannot be fully formalized #corroborates (0.80)
• Abandonment-neurotics exact repeated proofs before forming any objective relation #exemplifies (0.75) — Frantz Fanon, Constance Farrington, Black skin, white masks, 282