シャーロック・ホームズの推論構造 — 演繹・帰納・アブダクションの腑分けと「前提のストック」の機能

Contents

概要

ホームズが作中で “deduction” と呼ぶ推論は、論理学的にはC.S.パースのいう アブダクション(仮説形成) が中核であり、それを 演繹的帰結の引き出し と 帰納的検証/消去法 が支える三相構造をとる。観察→最良の説明への遡及→演繹的予測→検証という Peirce 流の「探究の三段階(abduction → deduction → induction)」と同型である。
ホームズの「観察」自体が、土壌・葉巻灰・職業痕跡など膨大な 背景知識(前提のストック) に依存している(観察の理論負荷性)。Peirce の「知覚判断はアブダクション推論の極限事例として捉えられるべきである」(CP 5.181, 1903 Harvard Lectures)というテーゼと、Sebeok らの読解(『The Sign of Three』1983)が、観察と仮説形成を連続体として捉える理論的根拠を与える。
「不可能を消去すれば残ったものが真である」というホームズの格率(『四つの署名』ほか)は、形式上は 選言三段論法(disjunctive syllogism) だが、可能仮説の網羅性は経験的に保証できないため、実質的には 可謬的な消去的アブダクション(eliminative abduction) ─ Alexander Bird のいう “Holmesian inference” ─ の経済化原理として働く。確実性のレトリックと論理的可謬性のあいだに恒常的な緊張がある。

Key Findings

三推論の腑分け:演繹(必然的・非拡張的)、帰納(蓋然的・サンプルから一般化)、アブダクション(蓋然的・結果から原因への遡行、Peirce によれば「唯一新しいアイデアを導入する論理的操作」CP 5.171)。Peirce は当初、三推論を一階定言三段論法の第1・第2・第3格に対応づけたが、1900年以降は構文形式から離れ「驚くべき事実Cが観察される。もし A が真ならば C は当然である。ゆえに A が真であると疑う理由がある」(CP 5.189, 1903)というメタ論理的定式に到達した。
ホームズの推論はアブダクション中心:Eco & Sebeok 編『The Sign of Three: Dupin, Holmes, Peirce』(Indiana UP, 1983)所収の諸論文が、ホームズの “Science of Deduction” を実質的には Peircean abduction の連鎖として読み解いた決定的論集。Sebeok & Umiker-Sebeok は「ホームズの観察の力 — Watson が言う『細部に対する並外れた天分』 — および演繹の力は、ほとんどの場合、Peirce が “guesses” と呼んだであろうものの複雑な連鎖の上に築かれている」と論じた。
「最良の説明への推論」(IBE)との接続:Gilbert Harman「The Inference to the Best Explanation」(Philosophical Review 74, 1965, pp. 88–95)が定式化し、Peter Lipton『Inference to the Best Explanation』(初版1991/第2版 Routledge, 2004)が体系化した IBE は、ホームズの推論の現代的言い換えとほぼ重なる。Lipton は IBE を「最もありそうな(likeliest)説明」ではなく「最も美しい/最も理解を与える(loveliest)説明」を選ぶプロセスとして特徴づけ、loveliness が likeliness の指標になると論じる。ただし Tomis Kapitan「Peirce and the Autonomy of Abductive Reasoning」(Erkenntnis 37(1), 1992, pp. 1–26)以降、Peircean abduction(仮説生成)と Lipton 型 IBE(仮説生成+評価選択)は厳密には区別すべきとされる。
「前提のストック」の機能:ホームズは「葉巻と紙巻の140種の灰の区別」「足跡の石膏採取」「職業ごとの手の形(石工・船乗り・コルク切り・植字工・織工・ダイヤモンド研磨工)」「160種の暗号」「文書の年代推定」など、複数の専門モノグラフを書いたとされる(『緋色の研究』『四つの署名』『ボスコム谷の謎』『恐怖の谷』『踊る人形』ほかカノンに散在)。この百科事典的前提が、痕跡 → 仮説への跳躍を支える「ルールのストック」として機能している。
観察の理論負荷性とその論理的基礎:Peirce は「知覚判断は、批判の対象になりえないという点でのみアブダクション推論と異なる、その極限事例として捉えるべきである」(CP 5.181, 1903 Harvard Lectures on Pragmatism 第7講)と述べた。N.R. Hanson『Patterns of Discovery: An Inquiry into the Conceptual Foundations of Science』(Cambridge UP, 1958)以降、観察の理論負荷性(theory-ladenness)が観察と仮説形成の連続性を哲学的に裏付ける。ホームズの「観察」は中立的な感覚データの記録ではなく、すでにアブダクション的解釈を含んでいる。
消去法の論理と可謬性:「不可能を消去すれば残ったものは真」(『四つの署名』『緑柱石の宝冠』『白面の兵士』など複数作品)は、選言三段論法(P∨Q, ¬Q ∴ P)の連鎖として形式化できる。ただし選言の網羅性(全可能仮説の列挙)は経験的に保証されないため、実質的には Alexander Bird「Abductive Knowledge and Holmesian Inference」(Oxford Studies in Epistemology 1, OUP, 2005, pp. 1–31)が定式化した Holmesian inference(消去的帰納の一種で、Bird によれば “a species of eliminative induction and hence not ampliative”)にとどまる。Bird はこれを医学診断にも適用した(「Eliminative abduction: examples from medicine」Studies in History and Philosophy of Science Part A 41(4), 2010, pp. 345–352)。

Details

1. Peirce による三推論の論理学的区分

演繹(Deduction):前提が真なら結論が必然的に真。非拡張的(ampliative ではない)。一階三段論法 Barbara(All M are P / All S are M / ∴ All S are P)が典型。

帰納(Induction):標本から母集団への一般化。Peirce 後期では「予測の演繹的導出とその検証」段階として再定義される(Stathis Psillos “An Explorer upon Untrodden Ground: Peirce on Abduction” の解説に従う)。蓋然的・誤りうる。

アブダクション(Abduction / Retroduction / Hypothesis):Peirce が三推論の中で唯一「新しいアイデアを導入する」(CP 5.171, 1903)と評価した推論形式。初期(1865–1883)には三段論法第2格(Rule + Result → Case)として定式化されたが、1900年頃に Peirce 自身が「自分はそれまでアブダクションを characters についての帰納と混同していた」と認め、1903年に有名な定式に到達:

「驚くべき事実 C が観察される。/ しかし、もし A が真ならば C は当然のことであろう。/ ゆえに、A が真であると疑う理由がある。」(CP 5.189; Harvard Lectures on Pragmatism)

この定式は形式論理上は「後件肯定の誤謬」(affirming the consequent)と同型だが、Peirce はこれを誤謬としてではなく、仮説を 「これ以上探究に値する候補として暫定的に提出する」 推論として正当化した。

Peirce の発展段階は、Douglas R. Anderson「The Evolution of Peirce’s Concept of Abduction」(Transactions of the Charles S. Peirce Society 22(2), Spring 1986, pp. 145–164)、K. T. Fann『Peirce’s Theory of Abduction』(The Hague: Nijhoff, 1970)、Bellucci & Pietarinen「Peirce’s Abduction」(Magnani ed. Handbook of Abductive Cognition, Springer, 2023)が整理:

第1期(1865–1883):三段論法的アブダクション。第1格の minor を結論から逆算する形式。
転換期(1900–1903):syllogistic 枠組みの放棄。アブダクションを「説明的仮説を形成するプロセス」と再定義。
第2期(1903以降):アブダクションを科学的探究の三段階(abduction → deduction → induction)の第一段階に位置づける方法論的概念へ。

2. 『The Sign of Three』とホームズ=アブダクション解釈

Umberto Eco と Thomas A. Sebeok が編集した『The Sign of Three: Dupin, Holmes, Peirce』(Indiana University Press, 1983;Advances in Semiotics シリーズ)は、ホームズの推論を Peirce のアブダクション理論の文学的具現化として読み解いた決定的な論集である。全10章構成。中核論点:

Sebeok & Jean Umiker-Sebeok「”You Know My Method”: A Juxtaposition of Charles S. Peirce and Sherlock Holmes」(初出1979 Semiotica 26、本書pp. 11–54):エピグラフは「『私は決して推測しない』— Holmes / 『しかし、真理は推測によって征服するか、さもなくば征服しないかのいずれかである』— Peirce (Ms. 692)」。中心テーゼ:「(ホームズの否定にもかかわらず)ホームズの観察の力、Watson が言う『細部に対する並外れた天分』、および演繹の力は、ほとんどの場合、Peirce であれば guesses と呼んだであろうものの複雑な連鎖の上に築かれている」。Sebeok らは CP 5.181 を直接援用し、「ホームズは知覚的プロセスと仮説的プロセスの両方を『観察(Observation)』というルブリックの下に包摂する傾向にある」と論じる。
Massimo A. Bonfantini & Giampaolo Proni「To Guess or Not to Guess?」(pp. 119–134):アブダクションの三段階分類を提示。(1)自動的(automatic / compelling)アブダクション:ルールが一義的に強制される(知覚判断に近い)、(2)選択的(selective)アブダクション:既知のルール集合から選択、(3)創造的(creative)アブダクション:想像力で新規ルールを発明。ホームズの推論はこの三段階を行き来する。著者らはアブダクションを支える “guessing instinct” を lumen naturale(自然の光)と同時に lumen culturale(文化的・背景知識的洞察)と呼び、ホームズの百科事典的知識がそのまま推論の駆動装置になることを示した。
Umberto Eco「Horns, Hooves, Insteps: Some Hypotheses on Three Types of Abduction」(pp. 198–220):類似の三分類を独自に提示。(i)過コード化(overcoded)アブダクション:ルールが自動・半自動的に与えられる(Peirce 1878年型に対応)、(ii)過小コード化(undercoded)アブダクション:百科事典内の等価ルール群から選択、(iii)創造的(creative)アブダクション:ルールを新規発明(クーンのパラダイム転換型)。さらに メタアブダクション(meta-abduction):「第一階のアブダクションで構築された可能世界が我々の経験世界と同一かを判定する」二階の検証推論。Holmes や Zadig が最終的に行う検証段階。
Carlo Ginzburg「Morelli, Freud, and Sherlock Holmes: Clues and Scientific Method」(pp. 81–118):19世紀末に台頭した 「徴候的・推測的(conjectural / evidential)パラダイム」 という認識論的枠組みを提示し、Morelli の絵画鑑定(耳たぶ・指爪などの細部から作者を同定)、Freud の症状解読、Holmes の手がかり読解を、いずれも「無限小の痕跡から、より深い到達不能な実在を把握する」共通の方法論として並置。Ginzburg 自身の言葉:「いずれの場合も、無限小の痕跡が、より深い、それ以外の方法では到達不可能な実在の理解を可能にする。痕跡 — より正確には、Freud の場合は症状、Sherlock Holmes の場合は手がかり、Morelli の場合は絵画的徴 — がそれである」。
Jaakko Hintikka & Merrill B. Hintikka「Sherlock Holmes Confronts Modern Logic: Toward a Theory of Information-Seeking through Questioning」(pp. 154–169)および Hintikka「Sherlock Holmes Formalized」(pp. 170–178):ホームズの推論を「探究を質問の連鎖として捉える(interrogative model of inquiry)」モデルとして形式化し、各推論ステップを「自然(状況)に問いを発し、答えから論理的帰結を引き出す」ゲーム理論的推論として再構成。後に Genot & Jacot「Strategies of Inquiry: The ‘Sherlock Holmes Sense of Deduction’ Revisited」(Synthese, 2017)が拡張・批判的継承。
Marcello Truzzi「Sherlock Holmes: Applied Social Psychologist」(pp. 55–80):ホームズの推論を Popper の仮説演繹法の文脈で論じる(Truzzi 自身は当初 Peirce より Popper を引用)。

3. ホームズ推論の論理形式化:具体例

例A:『緋色の研究』(A Study in Scarlet, 1887)第I部第2章 — Watson との初対面

観察された手がかり群(C):

c1:医師のタイプ、しかし軍人の風格(=軍医)
c2:顔は日焼け、しかし手首は色白(自然な肌色は薄く、日焼けは熱帯由来)
c3:やつれた顔(=苦難・病気)
c4:左腕を不自然にこわばらせている(=負傷)

背景知識(前提のストック R):

r1:英軍の医師で熱帯帰り・負傷者という結合の主たる現場は当時アフガニスタン(英軍は第二次アフガン戦争中)
r2:職業・身体的痕跡の対応規則(ホームズが「The Book of Life」論文で示した一般原理)

論理形式(Peirce 1903 定式):

驚くべき(=説明を要する)事実 C = c1∧c2∧c3∧c4 が観察される。
もし A=「この人物はアフガニスタン帰りの英軍軍医で負傷を負った」が真であれば、C は当然である(c1–c4 はすべて A から演繹的に流出する)。
ゆえに A であると疑う理由がある。

これは厳密には「後件肯定」の形式だが、(i)A 以外に C 全体を経済的に説明する仮説が候補に上らない、(ii)各 ci が A の演繹的帰結となる、という二条件によって暫定的に正当化される アブダクション である。ホームズ自身は「演繹(deduction)」と呼ぶが、これは推論の必然性ではなく「観察から原因への論理的遡及」の意味で用いられている。Eco の類型では undercoded abduction(背景の百科事典から最適の仮説を選択)に該当。

例B:『四つの署名』(The Sign of the Four, 1890)/『緑柱石の宝冠』 — 消去法

「ドアからでも、窓からでも、煙突からでもなく、また部屋の中に隠れていることもありえない。それゆえ屋根の穴から来た」型の推論。

論理形式(選言三段論法の連鎖):

前提1:侵入経路は { ドア, 窓, 煙突, 室内潜伏, 屋根の穴 } のいずれかである(P1∨P2∨P3∨P4∨P5)。
前提2:¬P1, ¬P2, ¬P3, ¬P4(物的証拠による排除)。
結論:∴ P5。

この推論は前提1(網羅的選言)が真ならば 演繹的に妥当(disjunctive syllogism) だが、ホームズが立てた選言が現実に網羅的かどうかは経験的にしか確かめられない。よって、見かけは演繹だが、実質は「考えうる仮説空間を経済的に絞り込む消去的アブダクション(eliminative abduction)」として作動する。Alexander Bird「Abductive Knowledge and Holmesian Inference」(Oxford Studies in Epistemology 1, OUP, 2005, pp. 1–31)はこれを Holmesian inference と命名し、「消去的帰納の一種であり、それゆえ拡張的(ampliative)ではない」と定義した。Bird は同型の推論が医学診断にも普遍的に現れることを示している(SHPS-A 41(4), 2010)。

例C:『ボスコム谷の謎』 — 葉巻灰

現場に残された葉巻の灰 → ホームズの自著モノグラフ『各種タバコの灰の差異について』(140種の分類)を背景知識として動員 → 「インド製葉巻」と同定 → 容疑者プールの絞り込み。これは Eco の 過コード化(overcoded)アブダクション の典型:既存ルールが一意に同定を強制する。

4. 「最良の説明への推論」(IBE)との接続

Gilbert Harman「The Inference to the Best Explanation」(Philosophical Review 74(1), 1965, pp. 88–95)が IBE を演繹・枚挙的帰納とは別の独立した推論形式として明示化した。Peter Lipton『Inference to the Best Explanation』(Routledge, 初版1991、第2版2004)が体系化。Lipton は IBE を「最もありそうな(likeliest)説明」ではなく「最も美しい/最も理解を与える(loveliest)説明」を選ぶプロセスとして特徴づけ、両者が一致するという経験的テーゼを立てた(「likeliness speaks of truth; loveliness of potential understanding」と Lipton は要約する)。

Peircean abduction と IBE の関係には議論がある(Tomis Kapitan「Peirce and the Autonomy of Abductive Reasoning」Erkenntnis 37(1), 1992, pp. 1–26;Daniel Campos、Gerhard Minnameier ほか):

狭義の Peircean abduction = 仮説の生成段階のみ(suggestion)。
IBE(Harman / Lipton 流) = 仮説の生成と評価選択を含む。

ホームズの推論は、(a)前提のストックから候補仮説を生成し(creative abduction の側面は薄く、典型的には overcoded / undercoded)、(b)各候補の説明力・単純さ・整合性で順位づけし、(c)演繹的帰結を引き出して証拠と照合する、という一連のプロセスを通じて IBE の作業フローを実演している。Peirce 流に言えば、abduction → deduction → induction の三段階探究そのものである。

5. 「前提のストック」と観察の理論負荷性

モノグラフ群が体現する百科事典的前提

カノン内でホームズが言及する自著モノグラフは少なくとも以下を含む(出典:Doyle カノン本文 / Baker Street Wiki の整理):

『各種タバコの灰の差異について』(140種の葉巻・紙巻・パイプ煙草の灰を彩色図版付きで分類) — STUD, SIGN, BOSC
足跡の追跡と石膏採取についてのモノグラフ — SIGN
職業が手の形に与える影響(石工・船乗り・コルク切り・植字工・織工・ダイヤモンド研磨工の手の石版図) — SIGN
文書の年代推定 — HOUN
160種の秘密文書(暗号)の解析 — DANC

ホームズの「観察」は、これらのストック化された分類・規則体系を媒介して初めて「痕跡 → 仮説」の跳躍が可能になる。同じ手がかりも、前提を持たない者(ワトソン、レストレード)には単なる「無意味な細部」にしか見えない。

Peirce による知覚判断の連続体テーゼ

Peirce は1903年 Harvard Lectures on Pragmatism 第7講「Pragmatism as the Logic of Abduction」において、知覚と推論の関係について次のように述べた:

「アブダクション推論は、両者を分かつ鋭い境界線なしに、知覚判断へと徐々に移行する。言い換えれば、我々の第一の前提である知覚判断は、アブダクション推論の極限事例として捉えられるべきである。両者は、知覚判断が絶対的に批判の対象となりえないという点でのみ異なる。」(CP 5.181)

「アブダクション的示唆は閃光のように我々に来る。それは洞察の行為であるが、極めて誤りうる洞察である。」(CP 5.181)

このテーゼは、ホームズの「観察」を理論中立的なデータ収集としてではなく、すでに前提のストックに条件づけられたアブダクションの底辺として捉える論拠を与える。Sebeok & Umiker-Sebeok が指摘するように、ホームズは「知覚的プロセスと仮説的プロセスの両方を『観察』というルブリックの下に包摂する」。

観察の理論負荷性

N.R. Hanson『Patterns of Discovery』(Cambridge UP, 1958)以降、観察の理論負荷性(theory-ladenness of observation)は科学哲学の標準的論点となった。Hanson 自身が「インスピレーションを受けた探偵だけが、独創的な科学仮説を生み出す guessing の天才に匹敵する」と述べ、Peirce の retroduction を引照したことは Sebeok らに直接引用されている。Hanson、Kuhn、Feyerabend の系譜は、「同じ感覚刺激でも、観察者の理論的枠組みが異なれば異なるものを『見る』」と論じる。ホームズの「観察」と、ワトソンやレストレードの「見落とし」の差は、まさにこの理論負荷性 — 前提のストックの差 — に還元できる。

6. 可謬性と確実性のレトリック

アブダクションは本質的に蓋然的・可謬的である(Peirce:「演繹は何かが must be であることを証明する。帰納は何かが actually is operative であることを示す。アブダクションは単にそれが may be であることのみを示唆する」CP 5.171)。ホームズは作中ではほぼ常に正しい結論に到達するが、論理的にはその推論は「後件肯定」の形式を含むため、誤りうる。実際、『ボヘミアの醜聞』(A Scandal in Bohemia, 1891)では、ホームズはアイリーン・アドラーの行動を予測する推論で誤りを犯し、依頼を達成できない。Eco 自身、自章 “Horns, Hooves, Insteps” の結論部で「探偵小説では、アブダクションは『無謬性』のディスプレイとなり、人間が誤りのリスクを冒しながら賢明な仮説を構築する可謬的プロセスとはほとんど関係がない」という主旨の留保を表明している(Philosophy and Literature の同書評が指摘)。

ここに、レポート読者にとって重要な論点がある:

論理形式としてのアブダクション:可謬的、選択肢の網羅性は保証されない、検証(induction)による継続的修正を要する。
物語的レトリックとしてのホームズ的「演繹」:確実性・無謬性の演出。読者の事後的視点からは結論が真と判明するため、推論の可謬性が見えにくい。

「不可能を消去すれば残ったものが真」格率も同様で、選言の網羅性を仮定できる閉じた問題空間(密室、容疑者リストが確定)においてのみ厳密に妥当する。実世界の問題空間では網羅性は経験的命題に過ぎず、Bird の Holmesian inference として可謬的に運用される。

7. 医学診断との類比

Conan Doyle がエディンバラ大学で師事した外科医 Joseph Bell の鑑別診断スタイルがホームズのモデルとなったことは伝記的事実である。これは偶然ではなく、医学診断と探偵推論はともに アブダクション の典型例として現代の認知科学・科学哲学で扱われる:

John R. Josephson & Susan G. Josephson 編『Abductive Inference: Computation, Philosophy, Technology』(Cambridge UP, 1994)— 医療診断専門家システム RED-1、RED-2、PEIRCE、MDX2、TIPS、QUAWDS などを通じてアブダクションの計算的モデルを構築。
Lorenzo Magnani『Abduction, Reason, and Science: Processes of Discovery and Explanation』(Kluwer/Plenum, 2001)および『Abductive Cognition: The Epistemological and Eco-Cognitive Dimensions of Hypothetical Reasoning』(Springer, 2009)— 医学診断における「選択的(selective)アブダクション」(既存疾患カテゴリーからの選択)と「創造的(creative)アブダクション」(新規疾患の発見)の区分。
Select-and-Test (ST) Model — Lorenzo Magnani「Abductive Reasoning: Philosophical and Educational Perspectives in Medicine」(D. Evans et al. eds., Advanced Models of Cognition for Medical Training and Practice, Springer, 1992, pp. 19–50)で定式化された医学推論モデルで、「Select(仮説をアブダクション的に選択)→ Test(演繹+帰納で検証)→ Loop」の反復構造をとる。これは Peirce 流の探究三段階と同型(Stefanelli et al. 1988、Ramoni et al. 1990 の協働研究に遡る)。
Carlo Martini「Abductive Reasoning in Clinical Diagnostics」(Magnani ed. Handbook of Abductive Cognition, Springer, 2023, pp. 467–479)— 医師-患者対話における abduction の実例分析。

医学診断における「症状(=痕跡)→ 疾患(=仮説)」の推論構造は、ホームズの「手がかり → 犯人/出来事の物語」の推論構造と同型であり、両者とも (i) 膨大な背景知識(疾患カタログ/犯罪パターン)、(ii) パターン認識、(iii) 鑑別診断的消去、(iv) 検査による検証、というワークフローを共有する。

Recommendations(レポート構成への示唆)

依頼者の「前提推論(アブダクション)」「前提操作主義」枠組みとの接続を見据えた構成案として:

冒頭の論点設定:作中で “deduction” と呼ばれる推論が、論理学的にはアブダクションを核とする三相構造であることを最初に提示する。これは「呼称の批判」ではなく「実質の腑分け」として枠付ける(依頼者の除外条件を尊重)。
三推論の腑分け → Peirce の1903年定式(CP 5.189)を中心に提示。
観察と前提のストックの関係 → CP 5.181 の知覚判断テーゼと、ホームズのモノグラフ群を併置して「観察そのものが前提に依存する」論点を展開。ここが依頼者の「前提操作主義」と最も親和性が高い領域:観察と仮説を分かつのは前提のストックの動員可能性であり、推論の質は前提集合の設計と操作可能性に帰着する。Bonfantini & Proni の lumen culturale 概念、Eco の overcoded / undercoded / creative の三類型を、前提操作のグラデーションとして位置づけ直す余地がある。
消去法格率の論理分析 → Bird の Holmesian inference を援用し、「演繹的に見えて実は可謬的・消去的アブダクション」という二層構造を示すことで、「前提推論」の蓋然性と検証可能性を強調できる。
医学診断・科学探究との同型性 → Magnani の ST-Model を援用し、「前提推論」が個別領域に閉じた技法ではなく、一般的な認知アーキテクチャであることを示す。
可謬性と探究の継続性 → Peirce の三段階探究(abduction → deduction → induction)を、ホームズの「仮説提示 → 演繹的予測 → 物的検証(induction)」の構造に重ねて提示し、単発の推論ではなく 継続的探究のサイクル として描く。

ベンチマーク・閾値:学術的厳密性を保つ最低条件として、(a) Peirce の発展段階(1878 vs 1903 定式)を区別すること、(b) Peircean abduction(Kapitan 1992)と Lipton 流 IBE の異同に触れること、(c) Eco の三類型(overcoded / undercoded / creative)のうちホームズが主に依拠するのは前2者であることを明示すること、(d) 「Holmesian inference」の命名は Alexander Bird(2005)であることを正確に帰属させること、を満たすことを推奨する。

Caveats(留保事項)

「ホームズは abduction を行っている」言説の通俗化:近年は Web 上の通俗解説でホームズ = abduction という図式が広まり、Peirce の概念の精度を欠いた紹介も多い。本レポートでは Peirce 一次資料(CP)と『The Sign of Three』を典拠とし、通俗化された二次情報には依拠しない方針を取った。
Eco 自身の留保:Eco は『The Sign of Three』の自章において、ホームズの推論を Peircean abduction の純粋例として理想化することの限界を指摘し、「探偵小説におけるアブダクションは無謬性のディスプレイであり、可謬的な人間の仮説形成プロセスとは異なる」と留保している。レポートでもこの留保を明示することが望ましい。
「呼称問題」の意図的回避:依頼者の除外条件に従い、「ホームズ作中の deduction という呼称」自体を主題化する議論(近年の再評価論争を含む)は扱っていない。ただし「作中 deduction = 論理学上のアブダクション中心」という事実関係の確認は分析の前提として記述している。
訳語:abduction を「仮説形成」「アブダクション」「前提推論」と訳し分ける場合は、文中で最初に等価関係を明示することを推奨する。依頼者独自の「前提推論」という訳語は、まさに Peirce の retroduction(「逆向きに引き戻す推論」)の語源的含意 ─ 「結果から前提への遡行」 ─ を捉える点で適切である。
典拠の優先度:一次資料(Peirce CP、Doyle カノン)、編著(Eco & Sebeok 1983)、定評ある単著・論文(Lipton 2004、Magnani 2009、Josephson & Josephson 1994、Bird 2005、Kapitan 1992、Anderson 1986)を最優先し、Web 媒体の二次解説は参考程度にとどめている。レポート最終版での引用は、これら一次・編著・単著を中心に据えることを推奨する。

主要典拠一覧

一次資料

Peirce, C. S. Collected Papers of Charles Sanders Peirce, vols. 1–8, Hartshorne, Weiss & Burks eds., Harvard University Press, 1931–1958. 特に CP 5.171, 5.181, 5.189(1903 Harvard Lectures on Pragmatism, 第7講「Pragmatism as the Logic of Abduction」)。
Peirce, C. S. The Essential Peirce, vol. 2, Indiana University Press, 1998, selection 16。
Doyle, A. C. A Study in Scarlet(1887)、The Sign of the Four(1890)、The Boscombe Valley Mystery(1891)、A Scandal in Bohemia(1891)、Silver Blaze(1892)、The Adventure of the Dancing Men(1903)、The Adventure of the Beryl Coronet、The Adventure of the Blanched Soldier ほかカノン。

編著・論集

Eco, U. & Sebeok, T. A. eds. The Sign of Three: Dupin, Holmes, Peirce. Bloomington: Indiana University Press, 1983(Advances in Semiotics シリーズ)。とくに:
- Sebeok, T. A. & Umiker-Sebeok, J. 「”You Know My Method”: A Juxtaposition of Charles S. Peirce and Sherlock Holmes」pp. 11–54(初出 Semiotica 26 [1979])。
- Bonfantini, M. A. & Proni, G. 「To Guess or Not to Guess?」pp. 119–134。
- Eco, U. 「Horns, Hooves, Insteps: Some Hypotheses on Three Types of Abduction」pp. 198–220。
- Ginzburg, C. 「Morelli, Freud, and Sherlock Holmes: Clues and Scientific Method」pp. 81–118。
- Hintikka, J. & Hintikka, M. B. 「Sherlock Holmes Confronts Modern Logic」pp. 154–169 / Hintikka, J. 「Sherlock Holmes Formalized」pp. 170–178。
- Truzzi, M. 「Sherlock Holmes: Applied Social Psychologist」pp. 55–80。

単著・主要論文

Harman, G. H. 「The Inference to the Best Explanation」Philosophical Review 74(1), 1965, pp. 88–95。
Lipton, P. Inference to the Best Explanation, 2nd ed., Routledge, 2004(初版 1991)。
Hanson, N. R. Patterns of Discovery: An Inquiry into the Conceptual Foundations of Science, Cambridge University Press, 1958。
Josephson, J. R. & Josephson, S. G. eds. Abductive Inference: Computation, Philosophy, Technology, Cambridge University Press, 1994。
Magnani, L. Abductive Cognition: The Epistemological and Eco-Cognitive Dimensions of Hypothetical Reasoning, Springer, 2009; Abduction, Reason, and Science: Processes of Discovery and Explanation, Kluwer/Plenum, 2001。
Magnani, L. 「Abductive Reasoning: Philosophical and Educational Perspectives in Medicine」in D. Evans et al. eds., Advanced Models of Cognition for Medical Training and Practice, Springer, 1992, pp. 19–50(ST-Model の原典)。
Bird, A. 「Abductive Knowledge and Holmesian Inference」in Tamar Szabó Gendler & John Hawthorne eds., Oxford Studies in Epistemology, vol. 1, Oxford University Press, 2005, pp. 1–31。
Bird, A. 「Eliminative Abduction: Examples from Medicine」Studies in History and Philosophy of Science Part A 41(4), 2010, pp. 345–352。
Kapitan, T. 「Peirce and the Autonomy of Abductive Reasoning」Erkenntnis 37(1), 1992, pp. 1–26。
Anderson, D. R. 「The Evolution of Peirce’s Concept of Abduction」Transactions of the Charles S. Peirce Society 22(2), Spring 1986, pp. 145–164。
Fann, K. T. Peirce’s Theory of Abduction, The Hague: Nijhoff, 1970。
Bellucci, F. & Pietarinen, A.-V. 「Peirce’s Abduction」in L. Magnani ed. Handbook of Abductive Cognition, Springer, 2023。
Bellucci, F. 「Eco and Peirce on Abduction」European Journal of Pragmatism and American Philosophy X(1), 2018。
Genot, E. J. & Jacot, J. 「Strategies of Inquiry: The ‘Sherlock Holmes Sense of Deduction’ Revisited」Synthese, 2017。
Martini, C. 「Abductive Reasoning in Clinical Diagnostics」in Handbook of Abductive Cognition, Springer, 2023, pp. 467–479。
Carson, D. 「The Abduction of Sherlock Holmes」International Journal of Police Science & Management, 2009。

次に読む