ルイス・キャロルの論理ゲーム：メモ

　　　　　　　　　　（論理学、言語学、 スピノザと文法、松尾總、リンク:::::::::）

NAMs出版プロジェクト: ルイス・キャロルの論理ゲーム：メモ

http://nam-students.blogspot.jp/2015/04/blog-post.html （本頁）

参考：

ルイス・キャロル　Lewis Carroll 石波杏訳 亀がアキレスに言ったこと What the Tortoise said to Achilles 1895

https://www.aozora.gr.jp/cards/001393/files/59966_68329.html

ルイス・キャロルの論理ゲーム：
一個の属性、すなわち「中名辞」を共有する二個の前提から結論を引き出す。
　＿＿＿＿＿＿＿＿＿＿＿
｜　　　　　｜　　　　　｜　　　　　
｜　　　＿＿ｘ＿＿　　　｜　　　　　
｜　　｜　　｜　　｜　　｜　　　　　
｜＿＿ｙ＿＿ｍ＿＿ｙ＇＿｜
｜　　｜　　｜　　｜　　｜
｜　　｜＿＿ｘ＇＿｜　　｜　　　　
｜　　　　　｜　　　　　｜　　　　　
｜＿＿＿＿＿｜＿＿＿＿＿｜
　　　　　　Ａ

　　　　＿＿＿＿＿　　
　　　｜　　ｘ　　｜
　　　｜ｙ＿｜＿ｙ＇
　　　｜　　ｘ＇　｜
　　　｜＿＿｜＿＿｜
　　　　　　ａ

　＿＿＿＿＿＿＿＿＿＿＿
｜１　　　　｜　　　　２｜　　　　　
｜　　　＿＿｜＿＿　　　｜　　　　　
｜　　｜３　｜　４｜　　｜　　　　　
｜＿＿｜＿＿｜＿＿｜＿＿｜
｜　　｜５　｜　６｜　　｜
｜　　｜＿＿｜＿＿｜　　｜　　　　
｜７　　　　｜　　　　８｜　　　　　
｜＿＿＿＿＿｜＿＿＿＿＿｜

例
美味なるケーキは不健全ではない
＝ｙなるケーキはｍ＇ではない

　＿＿＿＿＿＿＿＿＿＿＿
｜０　　　　｜　　　　　｜　　　　　
｜　　　＿＿｜＿＿　　　｜　　　　　
｜　　｜　　｜　　｜　　｜　　　　　
｜＿＿｜＿＿｜＿＿｜＿＿｜
｜　　｜　　｜　　｜　　｜
｜　　｜＿＿｜＿＿｜　　｜　　　　
｜０　　　　｜　　　　　｜　　　　　
｜＿＿＿＿＿｜＿＿＿＿＿｜
１と７が「空き０」になる。

（『不思議の国の論理学』ルイス・キャロル136頁～）

『数の国のルイス・キャロル』（ロビン・ウィルソン）によれば、キャロルは上記図を論理学(三段論法)解説書におまけとしてつけるボードゲームとして考えていたそうだ。赤4と灰色5の丸いコマ(カウンター)が付属する。『数の国のルイス・キャロル』の方が図版が大きく上の「三相図」（ trilateral diagram～ルイスの原書＊の抄訳である『キャロル・ルイスの知的ゲーム』では「三記号ダイアグラム」～）に関する解説も詳しく、わかりやすい。論理図はライプニッツも描いたとされ、オイラーのそれも有名だが、ルイスの図は特にヴェン図よりスペースを使わず全体像が見渡せるという利点がある。項の数も増やしやすい。

＊

Symbolic Logic and the Game of Logic - Lewis Carroll - Google ブックス

https://books.google.co.jp/books?id=oKyln-hWnHQC&dq=(trilateral+diagram&hl=ja&source=gbs_navlinks_s 

https://ia902700.us.archive.org/20/items/gameoflogic00carruoft/gameoflogic00carruoft_bw.pdf p.36

柄谷行人の交換図などは二相図(bilateral diagram)に相当する。

ちなみに、4~8相図、というより項の数、文字数が増えて4~8になると、

『数の国のルイス・キャロル』231頁より

四相図、項の文字数が４：

　＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿
｜　　　　　　　　＿＿＿＿＿｜＿＿＿＿＿　　　　　　　　｜
｜　　　　　　　｜　　　　　｜　　　　　｜　　　　　　　｜
｜　　　　　　　｜　　　　　｜　　　　　｜　　　　　　　｜
｜　　　　　　　｜　　　　　｜　　　　　｜　　　　　　　｜
｜　　＿＿＿＿＿｜＿＿＿＿＿｜＿＿＿＿＿｜＿＿＿＿＿　　｜
｜　｜　　　　　｜　　　　　｜　　　　　｜　　　　　｜　｜
｜　｜　　　　　｜　　　　　｜　　　　　｜　　　　　｜　｜
｜　｜　　　　　｜　　　　　｜　　　　　｜　　　　　｜　｜
｜＿｜＿＿＿＿＿｜＿＿＿＿＿｜＿＿＿＿＿｜＿＿＿＿＿｜＿｜
｜　｜　　　　　｜　　　　　｜　　　　　｜　　　　　｜　｜
｜　｜　　　　　｜　　　　　｜　　　　　｜　　　　　｜　｜
｜　｜　　　　　｜　　　　　｜　　　　　｜　　　　　｜　｜
｜　｜＿＿＿＿＿｜＿＿＿＿＿｜＿＿＿＿＿｜＿＿＿＿＿｜　｜
｜　　　　　　　｜　　　　　｜　　　　　｜　　　　　　　｜
｜　　　　　　　｜　　　　　｜　　　　　｜　　　　　　　｜
｜　　　　　　　｜　　　　　｜　　　　　｜　　　　　　　｜
｜　　　　　　　｜＿＿＿＿＿｜＿＿＿＿＿｜　　　　　　　｜　
｜＿＿＿＿＿＿＿＿＿＿＿＿＿｜＿＿＿＿＿＿＿＿＿＿＿＿＿｜

ちなみに、ヴェン図だと：

五相図、項の文字数が５：
　＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿
｜　　　　　　　　＿＿＿＿＿｜＿＿＿＿＿　　　　　　　　｜
｜　　　　　　　｜　　　　　｜　　　　　｜　　　　　　　｜
｜　　　　　／　｜　　　／　｜　　　／　｜　　　／　　　｜
｜　　　　／　　｜　　／　　｜　　／　　｜　　／　　　　｜
｜　　　／　　　｜　／　　　｜　／　　　｜　／　　　　　｜
｜　　＿＿＿＿＿｜＿＿＿＿＿｜＿＿＿＿＿｜＿＿＿＿＿　　｜
｜　｜　　　　　｜　　　　　｜　　　　　｜　　　　　｜　｜
｜　｜　　　／　｜　　　／　｜　　　／　｜　　　／　｜　｜
｜　｜　　／　　｜　　／　　｜　　／　　｜　　／　　｜　｜
｜　｜　／　　　｜　／　　　｜　／　　　｜　／　　　｜　｜
｜＿｜＿＿＿＿＿｜＿＿＿＿＿｜＿＿＿＿＿｜＿＿＿＿＿｜＿｜
｜　｜　　　　　｜　　　　　｜　　　　　｜　　　　　｜　｜
｜　｜　　　／　｜　　　／　｜　　　／　｜　　　／　｜　｜
｜　｜　　／　　｜　　／　　｜　　／　　｜　　／　　｜　｜
｜　｜　／　　　｜　／　　　｜　／　　　｜　／　　　｜　｜
｜　｜＿＿＿＿＿｜＿＿＿＿＿｜＿＿＿＿＿｜＿＿＿＿＿｜　｜
｜　　　　　　　｜　　　　　｜　　　　　｜　　　　　　　｜
｜　　　　　／　｜　　　／　｜　　　／　｜　　　／　　　｜
｜　　　　／　　｜　　／　　｜　　／　　｜　　／　　　　｜
｜　　　／　　　｜　／　　　｜　／　　　｜　／　　　　　｜
｜　　　　　　　｜＿＿＿＿＿｜＿＿＿＿＿｜　　　　　　　｜　
｜＿＿＿＿＿＿＿＿＿＿＿＿＿｜＿＿＿＿＿＿＿＿＿＿＿＿＿｜

六相図、項の文字数が６：

　＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿
｜　　　　　　　　＿＿＿＿＿｜＿＿＿＿＿　　　　　　　　｜
｜　　　　　　　｜　　　　　｜　　　　　｜　　　　　　　｜
｜　　　　｜　　｜　　｜　　｜　　｜　　｜　　｜　　　　｜
｜　　－－＋－－｜－－＋－－｜－－＋－－｜－－＋－－　　｜
｜　　　　｜　　｜　　｜　　｜　　｜　　｜　　｜　　　　｜
｜　　＿＿＿＿＿｜＿＿＿＿＿｜＿＿＿＿＿｜＿＿＿＿＿　　｜
｜　｜　　　　　｜　　　　　｜　　　　　｜　　　　　｜　｜
｜　｜　　｜　　｜　　｜　　｜　　｜　　｜　　｜　　｜　｜
｜　｜－－＋－－｜－－＋－－｜－－＋－－｜－－＋－－｜　｜
｜　｜　　｜　　｜　　｜　　｜　　｜　　｜　　｜　　｜　｜
｜＿｜＿＿＿＿＿｜＿＿＿＿＿｜＿＿＿＿＿｜＿＿＿＿＿｜＿｜
｜　｜　　　　　｜　　　　　｜　　　　　｜　　　　　｜　｜
｜　｜　　｜　　｜　　｜　　｜　　｜　　｜　　｜　　｜　｜
｜　｜－－＋－－｜－－＋－－｜－－＋－－｜－－＋－－｜　｜
｜　｜　　｜　　｜　　｜　　｜　　｜　　｜　　｜　　｜　｜
｜　｜＿＿＿＿＿｜＿＿＿＿＿｜＿＿＿＿＿｜＿＿＿＿＿｜　｜
｜　　　　　　　｜　　　　　｜　　　　　｜　　　　　　　｜
｜　　　　｜　　｜　　｜　　｜　　｜　　｜　　｜　　　　｜
｜　　－－＋－－｜－－＋－－｜－－＋－－｜－－＋－－　　｜
｜　　　　｜　　｜　　｜　　｜　　｜　　｜　　｜　　　　｜
｜　　　　　　　｜＿＿＿＿＿｜＿＿＿＿＿｜　　　　　　　｜　
｜＿＿＿＿＿＿＿＿＿＿＿＿＿｜＿＿＿＿＿＿＿＿＿＿＿＿＿｜

以下省略…

（項の増やし方もいくつか考えられるがルイスのそれが合理的だ）

参考： 

知恵の板（タングラム）
　　＿＿＿＿＿＿＿＿＿＿＿＿＿＿　　　　　　　　　　　
　｜＼　　　　　　　　　　　　／｜　　　　　　　
　｜　＼　　　　　　　　　　／　｜　　　　　　　
　｜　　＼　　　　　　　　／　　｜
　｜　　　＼　　　　　　／　　　｜
　｜　　　　＼　　　　／｜　　　｜　　　　　　　
　｜　　　　　＼　　／　｜　　　｜　　　　　　　
　｜　　　　　　＼／　　｜　　　｜　　　　　　　　　　　　
　｜　　　　　　／＼　　｜　　／｜　　　　　　　
　｜　　　　　／　　＼　｜　／　｜　　　　　　　
　｜　　　　／　　　　＼｜／　　｜
　｜　　　＼　　　　　　＼　　　｜　　　　　　　
　｜　　／　＼　　　　／　　　　｜　　　　　　　
　｜　／　　　＼　　／　　　　　｜　　　　　　　
　｜／＿＿＿＿＿＼／＿＿＿＿＿＿｜　
『不思議の国の論理学』108~9頁より

中国産のパズルおもちゃ

同書はユークリッド体系談義が興味深い。

188頁

／／／／／／／／／

http://gengoshori.blog7.fc2.com/blog-entry-205.html

・・・・・
『ルイス・キャロルの論理ゲーム』の活用
子供たちは中学校で国文法を習う。
国文法は、難しくはないが、用語がわかりにくい。
なれない言葉がたくさん出てくる。
自立語、付属語、活用がある、活用がない

国文法の参考書には、およそ、このような表にまとめてある。

『習うよりなれよ』ー　国文法の用語に親しむ
国文法を『ルイス・キャロルの論理ゲーム』にする試み

１．動詞
２．形容詞
３．形容動詞
４．名詞
５．代名詞
６．副詞
７．連体詞
８．接続詞
９．感動詞
１０．助動詞
１１．助詞

自立語、動詞、形容詞、形容動詞、名詞、代名詞、副詞、連体詞、接続詞、感動詞
付属語、助動詞、助詞
活用がある、動詞、形容詞、形容動詞、助動詞
活用がない、名詞、代名詞、副詞、連体詞、接続詞、感動詞、助詞

２×２の行列形式にすると『論理ゲーム』が適用できる。 

　　＿自立語＿＿＿付属語＿

活｜動詞　　　｜助動詞　　｜　　　　　
用｜形容詞　　｜　　　　　｜　　　　　
あ｜形容動詞　｜　　　　　｜　　　　　
り｜＿＿＿＿＿｜＿＿＿＿＿｜
活｜名詞、副詞｜助詞　　　｜
用｜代名詞、連｜　　　　　｜　　　　
な｜体詞、接続｜　　　　　｜　　　　　
し｜詞、感動詞｜＿＿＿＿＿｜

　　＿自立語＿＿＿付属語＿
活｜動詞　　　｜助動詞　　｜　　　　　
用｜形容詞　　｜　　　　　｜　　　　　
あ｜形容動詞　｜　　　　　｜　　　　　
り｜＿＿＿＿＿｜＿＿＿＿＿｜
　｜名詞　　　｜助詞　　　｜
活｜代名詞　　｜　　　　　｜　　　
用｜副詞　　　｜　　　　　｜　
な｜連体詞　　｜　　　　　｜　　　　　
し｜接続詞　　｜　　　　　｜
　｜感動詞＿＿｜＿＿＿＿＿｜

　↑　
　　｜　感動詞　助詞　　　　　　　　　　＜言語＞
　　｜　　　　　　助動詞
　自｜　　　　　　　　　副詞
　己｜　　　　　　　　　　形容詞
　表｜　　　　　　　　　　　形容動詞＊
　出｜　　　　　　　　　　　動詞
　性｜　　
　　｜　　　　　　　　　　　　代名詞
　　｜
　　｜　　　　　　　　　　　　名詞
　　｜＿＿＿＿＿＿＿＿＿＿＿＿＿＿　　
　　　　　　指示表出性→

言語にとって美とはなにか１　角川ソフィア文庫７０頁、
永遠の吉本隆明　７２頁より
＊追加。助詞はもっと指示表出寄りのはず。

　　　　　自己表出性
　　＿自立語＿⬆︎＿付属語＿
　｜感動詞　　｜　　　　　｜　　　　　　　　
活｜接続詞？　｜助詞　　　｜
用｜　　　　　｜＿＿＿＿＿｜
な｜連体詞？／｜助動詞　　｜
し｜副詞　／　｜　　　　　｜
　｜＿＿／　　｜　　　　　｜
　｜形容詞　　｜　　　　　｜　　　　　
あ｜形容動詞　｜　　　　　｜　　　　　
り｜動詞　　　｜　　　　　｜
　｜＿＿＿＿＿｜＿＿＿＿＿｜
な｜代名詞　　｜　　　　　｜
し｜名詞＿＿＿⬇︎＿＿＿＿＿｜
　　　　　指示表出性

指示表出性　　　　　　　　　　　　　　　　　　　　　指示表出性
　　＿＿＿＿自＿立＿語＿＿＿＿＿＿＿＿＿付＿属＿語＿＿＿＿
　｜　　　　　　　　　　　　　｜　　　　　　　　　　　　　｜
活｜　　　　　　　　　　　　　｜　　　　　　　　　　　　　｜
　｜　　　動詞　　　　　　　　｜　　　　　　　　　　　　　｜
用｜　　　　形容詞　　　　　　｜　　　　　　　　　　　　　｜
　｜　　　　　形容動詞＿＿＿＿｜＿＿＿＿＿　　　　　　　　｜
あ｜　　　　　　　｜　　　　　｜　　　　　｜　　　　　　　｜
　｜　　　　　　　｜　　　　　｜　　助動詞｜　　　　　　　｜
り｜　　　　　　　｜　　　　　｜　　　　　｜　　　　　　　｜
　｜＿＿＿＿＿＿＿｜（自＿己＿表＿出＿性）｜＿＿＿＿＿＿＿｜
　｜　　　　　　　｜　　感動詞｜　　　　　｜　　　　　　　｜
活｜　　　　　　　｜　接続詞　｜　助詞　　｜　　　　　　　｜
　｜　　　　　　　｜連体詞　　｜　　　　　｜　　　　　　　｜
用｜　　　　　　　副詞＿＿＿＿｜＿＿＿＿＿｜　　　　　　　｜
　｜　　　　　　　　　　　　　｜　　　　　　　　　　　　　｜
な｜　　　　　　　　　　　　　｜　　　　　　　　　　　　　｜
　｜　　代名詞　　　　　　　　｜　　　　　　　　　　　　　｜
し｜　名詞　　　　　　　　　　｜　　　　　　　　　　　　　｜　
　｜＿＿＿＿＿＿＿＿＿＿＿＿＿｜＿＿＿＿＿＿＿＿＿＿＿＿＿｜
指示表出性　　　　　　　　　　　　　　　　　　　　　指示表出性

　　　　　自己表出性
　　＿自立語＿⬆︎＿付属語＿
活｜　感動詞　｜　　　　　｜
用｜　接続詞　｜　助詞　　｜　　　　　
な｜　連体詞　｜　　　　　｜　　　　
し｜＿副詞＿＿｜＿＿＿＿＿｜
活｜　　　　　｜　助動詞　｜　　　　　
用｜　形容詞　｜　　　　　｜
あ｜　形容動詞｜　　　　　｜　　　　　
り｜＿動詞＿＿｜＿＿＿＿＿｜
　｜　代名詞　｜　　　　　｜
　｜＿名詞＿＿⬇︎＿＿＿＿＿｜
　　　　　指示表出性

　　　　　自己表出性
　　＿自立語＿⬆︎＿付属語＿
活｜感動詞　　｜　　　　　｜
用｜接続詞　　｜助詞　　　｜　　　　　
な｜連体詞　　｜　　　　　｜　　　　
し｜副詞＿＿＿｜＿＿＿＿＿｜
活｜　　　　　｜助動詞　　｜　　　　　
用｜形容詞　　｜　　　　　｜　　　　　
あ｜形容動詞　｜　　　　　｜　　　　　
り｜動詞＿＿＿｜＿＿＿＿＿｜
　｜　　　　　｜　　　　　｜
な｜代名詞　　｜　　　　　｜
し｜名詞＿＿＿⬇︎＿＿＿＿＿｜
　　　　　指示表出性

／／／／／／／／ 

repeat youtube online ③ルイスキャロルの論理g convert to mp3.

http://www.hmongreplay.com/?w=BSrEDflr0qyk

③ルイスキャロルの論理G

http://youtu.be/qyBSrEDflr0

『数の国のルイス・キャロル』64頁によれば、三記号ダイヤグラムの組み合わせは全32通り。4×4×2=32？

三段論法 - Wikipedia

http://ja.wikipedia.org/wiki/%E4%B8%89%E6%AE%B5%E8%AB%96%E6%B3%95

詩による表現

「定言三段論法」における上記の19式を覚えるため、中世（スコラ学）ではsyllogismusと呼ばれるラテン語の詩が作られた。

Barbara celarent darii ferioque prioris.

Cesare camestres festino baroco secundoe.

Tertia darapti disamis datisi felapton, bocardo ferison habet.

Quarta insuper addit bramantip camenes dimaris fesapo fresison.

この詩から子音を取り除くことによって三段論法の式が得られ（上記の詩の強調文字の部分が式である）、それぞれの式を呼ぶのには詩のおのおのの単語を用いる。

また、詩の1行目が第一格、2行目が第二格、3行目が第三格、4行目が第四格に対応している。

また、第一格以外の格は、第一格に還元され得るが、式の名称に含まれる子音のうちs, m, p および c は還元の際の手引きとなるもので、s および p はそれぞれ直前の母音で表される式を「単純換位」あるいは「限量換位」せよという意味であり、m は「前提の変換」を命じ、c は「三段論法の換位」すなわち帰謬法によって証明せよという意味である。

冒頭で示した三段論法の例は第一格の Barbaraに対応している。

大前提：全ての人間は死すべきものである。（A, M-P：全てのMはPである）

小前提：ソクラテスは人間である。（A, S-M：全てのSはMである）

結論：ゆえにソクラテスは死すべきものである。（A, S-P：全てのSはPである）

おまけ：

一筆書き問題：

　＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿
｜　　　　　　　　　　　　　　　　　｜　　　　
｜　　　　　　　　　　　　　　　　　｜　　　　
｜　　　　　　　　　　　　　　　　　｜　　　　　
｜　　　　　　＿＿＿＿＿＿＿＿＿＿＿｜＿＿＿＿＿
｜　　　　　｜　　　　　　　　　　　｜　　　　　｜　　　　　
｜　　　　　｜　　　　　　　　　　　｜　　　　　｜　　　　　
｜　　　　　｜　　　　　　　　　　　｜　　　　　｜　　　　
｜　　　　　｜　　　　　　＿＿＿＿＿｜＿＿＿＿＿｜＿＿＿＿＿
｜　　　　　｜　　　　　｜　　　　　｜　　　　　｜　　　　　｜
｜　　　　　｜　　　　　｜　　　　　｜　　　　　｜　　　　　｜
｜　　　　　｜　　　　　｜　　　　　｜　　　　　｜　　　　　｜
｜＿＿＿＿＿｜＿＿＿＿＿｜＿＿＿＿＿｜　　　　　｜　　　　　｜
　　　　　　｜　　　　　｜　　　　　　　　　　　｜　　　　　｜
　　　　　　｜　　　　　｜　　　　　　　　　　　｜　　　　　｜　　　　
　　　　　　｜　　　　　｜　　　　　　　　　　　｜　　　　　｜
　　　　　　｜＿＿＿＿＿｜＿＿＿＿＿＿＿＿＿＿＿｜　　　　　｜
　　　　　　　　　　　　｜　　　　　　　　　　　　　　　　　｜
　　　　　　　　　　　　｜　　　　　　　　　　　　　　　　　｜　　　　
　　　　　　　　　　　　｜　　　　　　　　　　　　　　　　　｜
　　　　　　　　　　　　｜＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿｜

（『数の国のルイス・キャロル』188頁より）

答え：
　　＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿
⬇︎　　　　　　　　　　　　　　　　　｜　　　　
｜　　　　　　　　　　　　　　　　　｜　　　　
｜　　　　　　　　　　　　　　　　　｜　　　　　
｜　　　　　　＿＿＿＿＿＿＿＿＿＿＿　＼＿＿＿＿
｜　　　　　｜　　　　　　　　　　　｜　　　　　｜　　　　　
｜　　　　　｜　　　　　　　　　　　｜　　　　　｜　　　　　
｜　　　　　｜　　　　　　　　　　　｜　　　　　｜　　　　
｜　　　　　｜　　　　　　＿＿＿＿＿｜　＿＿＿＿　＼＿＿＿＿
｜　　　　　｜　　　　　｜　　　　　　／　　　　｜　　　　　｜
｜　　　　　｜　　　　　｜　　　　　｜　　　　　｜　　　　　｜
｜　　　　　｜　　　　　｜　　　　　｜　　　　　｜　　　　　｜
｜＿＿＿＿＿｜　＿＿＿＿｜　＿＿＿＿｜　　　　　｜　　　　　｜
　　　　　　　／　　　　　／　　　　　　　　　　｜　　　　　｜
　　　　　　｜　　　　　｜　　　　　　　　　　　｜　　　　　｜　　　　
　　　　　　｜　　　　　｜　　　　　　　　　　　｜　　　　　｜
　　　　　　｜＿＿＿＿＿｜　＿＿＿＿＿＿＿＿＿＿｜　　　　　｜
　　　　　　　　　　　　　／　　　　　　　　　　　　　　　　｜
　　　　　　　　　　　　｜　　　　　　　　　　　　　　　　　｜　　　　
　　　　　　　　　　　　｜　　　　　　　　　　　　　　　　　｜
　　　　　　　　　　　　｜＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿｜

（『数の国のルイス・キャロル』273頁より）

＿＿＿＿

おまけ：

一筆書き問題

　＿＿＿＿＿＿＿＿＿＿＿＿＿＿
｜　　　　　　　　　　　　　　｜　　　　
｜　　　　　　　　　　　　　　｜　　　　　
｜　　　　　＿＿＿＿＿＿＿＿＿｜＿＿＿＿
｜　　　　｜　　　　　　　　　｜　　　　｜　　　　　
｜　　　　｜　　　　　　　　　｜　　　　｜　　　　
｜　　　　｜　　　　　＿＿＿＿｜＿＿＿＿｜＿＿＿＿
｜　　　　｜　　　　｜　　　　｜　　　　｜　　　　｜
｜　　　　｜　　　　｜　　　　｜　　　　｜　　　　｜
｜＿＿＿＿｜＿＿＿＿｜＿＿＿＿｜　　　　｜　　　　｜
　　　　　｜　　　　｜　　　　　　　　　｜　　　　｜
　　　　　｜　　　　｜　　　　　　　　　｜　　　　｜
　　　　　｜＿＿＿＿｜＿＿＿＿＿＿＿＿＿｜　　　　｜
　　　　　　　　　　｜　　　　　　　　　　　　　　｜
　　　　　　　　　　｜　　　　　　　　　　　　　　｜
　　　　　　　　　　｜＿＿＿＿＿＿＿＿＿＿＿＿＿＿｜

（『数の国のルイス・キャロル』188頁より）


答えの一例：
　＿＿＿＿＿＿＿＿＿＿＿＿＿＿
⬇︎　　　　　　　　　　　　　　｜　　　　
｜　　　　　　　　　　　　　　｜　　　　　
｜　　　　　＿＿＿＿＿＿＿＿＿　＼＿＿＿
｜　　　　｜　　　　　　　　　｜　　　　｜　　　　　
｜　　　　｜　　　　　　　　　｜　　　　｜　　　　
｜　　　　｜　　　　　＿＿＿＿｜　＿＿＿　＼＿＿＿
｜　　　　｜　　　　｜　　　　　／　　　｜　　　　｜
｜　　　　｜　　　　｜　　　　｜　　　　｜　　　　｜
｜＿＿＿＿｜　＿＿＿｜　＿＿＿｜　　　　｜　　　　｜
　　　　　　／　　　　／　　　　　　　　｜　　　　｜
　　　　　｜　　　　｜　　　　　　　　　｜　　　　｜
　　　　　｜＿＿＿＿｜　＿＿＿＿＿＿＿＿｜　　　　｜
　　　　　　　　　　　／　　　　　　　　　　　　　｜
　　　　　　　　　　｜　　　　　　　　　　　　　　｜
　　　　　　　　　　｜＿＿＿＿＿＿＿＿＿＿＿＿＿＿｜

（『数の国のルイス・キャロル』273頁より）

この解答例は、線が十字に交わらないのでわかりやすい。

＿＿＿＿＿

ルイス・キャロル　Lewis Carroll 石波杏訳 亀がアキレスに言ったこと What the Tortoise said to Achilles

https://www.aozora.gr.jp/cards/001393/files/59966_68329.html

What the Tortoise said to Achilles

アキレスは、亀に追いついて、甲羅の上に座ってくつろいでいました。
「じゃあ貴方は競走コースのゴールに到着したというんですか？」亀は言いました。「コースは無限に連なる距離からなるというのに。ゴールなんてできないって、誰だったか頭のいい人が証明したんじゃありませんでしたっけ。」
「できるんだよ」アキレスは言いました。「やってやった！　案ずるより歩くが易し。分かるだろ、距離はだんだん減っていくんだ。だから……」
「でも、だんだん増えていくとしたら？」亀は遮って言いました。「そしたらどうですか？」
「そしたら俺はここにいないだろうね」アキレスは謙遜して答えました。「それで君は今ごろ世界を何周もしてるだろう！」
「褒めすぎ……、いえ、重すぎです」亀が言いました。「なにしろ貴方はとても重々しい。間違いようもありません。ところで、ある競走コースの話をお聞かせしましょうか。二歩か三歩のステップでゴールに着きそうだとみんなが思うのに、実際には無限の距離からなるコースで、しかもどんどん長くなっていくんです。」
「ぜひとも！」ギリシアの戦士はそう言って、巨大なノートと鉛筆を兜かぶとから（ポケットなんて当時の戦士には無かったのです）引っ張り出しました。「続けてくれ！　ただし話はゆっくりと頼むよ。速記術なんてまだ発明されていないんだから！」
「かの美しき、ユークリッドの第一命題！」亀は夢見るようにささやきました。「ユークリッド幾何学を愛していますか？」
「情熱的に！　少なくとも、今から何世紀も経たないと書かれない文献を愛する、なんてことができるならね！」
「それでは、第一命題にまつわるちょっとした議論を取り上げましょう。二つのステップと、そこから引き出される帰結、それだけです。どうぞ、ノートに書き込んでください。話がしやすいように、それらをＡ、Ｂ、Ｚと呼ぶことにしましょう。
（Ａ）同一のものに等しいものは、互いに等しい。
（Ｂ）この三角形の二つの辺は、同一のものに等しい。
（Ｚ）この三角形の二つの辺は、互いに等しい。
　ユークリッドの読者は、ＡとＢからＺを論理的に導けると考えていますよね。つまり、ＡとＢを真だと認める人は誰でも、Ｚが真だと認めなければならない、と。」
「間違いない！　高校に入ったばかりの子供でも分かるだろう。高校が発明されればすぐだよ、それまであと二千年くらいかかるかもしれないが。」
「もしも、ＡとＢを真だと認めない読者がいたとして、それでもこの一連の流れ自体は妥当なものだと認める、ということはありえますよね？」
「そういう読者も間違いなくいるだろう。彼はこう言うんだ、『もしＡとＢが真であるとしたらＺは真でなければならない、という仮言命題（仮定を含んだ命題）が真であることは認めるよ。でもＡやＢが真だとは認められない』。そんな読者は、ユークリッドを捨ててフットボールをやるのが賢明だろうな。」
「他に、こんなことを言う読者はいないでしょうかね、『私はＡとＢを真だと認めるけど、その仮言命題は認めないよ』なんて。」
「確実にいるだろう。やはりフットボールをやったほうがいいな。」
「どちらの読者も」亀は続けました。「Ｚを真だと認めることに論理的必然性があるとは、まだ思えないんじゃないでしょうか。」
「全くその通りだ」アキレスは同意しました。
「では、私を、いま言った二番目の読者と見なして下さい。そして論理的に、Ｚを真であると私に認めさせてください。」
「フットボールをやる亀なんて……」アキレスは言いかけました。
「珍妙です、もちろん」亀はあわてて遮りました。「話をそらさないで下さい。まずはＺのことです、フットボールは後で！」
「Ｚを認めさせればいいんだな、俺は。」アキレスは考えながら言いました。「今の君の立場は、ＡとＢは認めるが、仮言命題は認めない。そうだな？」
「その仮言命題をＣと呼びましょう」亀は言いました。
「…では、
（Ｃ）もしＡとＢが真ならば、Ｚは真でなければならない。
　しかし君はＣを認めない。」
「そう、それが今の私の立場です」亀は言いました。
「じゃあ、Ｃを認めるように君にお願いしなければいけない。」
「認めますよ」亀は言いました。「貴方がそのノートに書き加えてくれればすぐにね。他に何が書いてあるんですか？」
「ちょっとしたメモだけだ」アキレスは、神経質そうにページをパラパラめくりながら言いました。「ちょっとした…、自分が活躍した戦いのメモだ！」
「白いページがたくさんありますね！」亀は明るい声で言いました。「それ全部必要になりますよ！」（アキレスは震えました。）「では私の言うとおり書いて下さい。
（Ａ）同一のものに等しいものは、互いに等しい。
（Ｂ）この三角形の二つの辺は、同一のものに等しい。
（Ｃ）もしＡとＢが真ならば、Ｚは真でなければならない。
（Ｚ）この三角形の二つの辺は、互いに等しい。」
「Ｄと呼ぶべきじゃないか、Ｚじゃなくて。」アキレスは言いました。「他の三つの次なんだからな。もし君がＡとＢとＣを認めるなら、Ｚを認めなければならない。」
「どうして、認めなければならないんですか？」
「論理的に導かれるからだ。もしＡとＢとＣが真なら、Ｚは真でなければならない。君だって反論しようがないだろう。」
「もしＡとＢとＣが真なら、Ｚは真でなければならない」亀は考え込むように繰り返しました。「それはまた別の仮言命題ではないですか。それが真だということが分からなければ、私は、ＡとＢとＣを認めても、まだＺを認めないかもしれませんよ？」
「そうだな」誠実にも英雄は認めました。「全く驚異的な鈍感さだが、そういうこともありうる。では、君にもう一つ仮言命題を受け入れるようお願いしなければならない。」
「よろしい。喜んで受け入れましょう、貴方が書き留めたらすぐにね。それをＤと呼びましょう、
（Ｄ）もしＡとＢとＣが真ならば、Ｚは真でなければならない。
　ノートに記入しましたか？」
「したとも！」アキレスは楽しそうに叫んで、鉛筆をケースにしまいました。「ついにこの観念的な競走コースのゴールに着いた！　いまや君はＡとＢとＣとＤを認めたのだ、当然、Ｚを認めるだろう。」
「私が？」亀は無邪気に言いました。「きっぱりはっきりさせましょう。私はＡとＢとＣとＤを認めた。それでも、私がＺを認めることを拒否するとしたら？」
「その時は、論理が君ののどにつかみかかって、無理にでも認めさせるだろう！」アキレスは勝ち誇って答えました。「論理は君に告げる。『お前に自由は無いぞ。ＡとＢとＣとＤを認めたからには、Ｚを認めねばならない！』だから君に選択の余地は無いんだ。」
「論理が私に教えてくれるような素晴らしいことなら、書き留めておく価値があります」亀は言いました。「どうぞ、ノートに記入してください。それをこう呼びましょう。
（Ｅ）もしＡとＢとＣとＤが真なら、Ｚは真でなければならない。
　私がそれを受け入れるまでは、当然ながら、Ｚを受け入れる必要はありません。これはやむを得ないステップです、そうですよね？」
「そうだ」アキレスは言いました。その声は悲しげでした。
　ここで語り手は、銀行に行く急ぎの用事がありましたので、幸せな二人組のもとをやむなく立ち去りました。そしてその場所を再び通ったのは、数ヶ月後のことでした。アキレスは、まだ我慢強い亀の背中に座っており、書き込みを続けていて、ノートはもういっぱいになりそうでした。亀が言っていました。「最後のステップを書き込みましたか？　数え間違いがなければ、千一番目です。これからまだ数百万はありますよ。ところで、もし良ければ、これは個人的な好意で申し上げるのですが、私たちの対話が十九世紀の論理学者たちにいかにたくさんの教訓を与えるかを踏まえて……、十九世紀に私のイトコの海亀モドキが言いそうな洒落なのですが、もし良ければ、トータス（亀）ならぬ『トート・アス（私たちに教えた）』と呼ばせて頂けないでしょうか」
「好きにしてくれ！」へとへとの戦士は、両手で顔を覆いながら、全てを諦めた様子で答えました。「君のほうこそ、海亀モドキが決して言わなそうな洒落で、アキレスならぬ『呆れす』に改名するといい！」
［＃改ページ］

訳者解説

　どう見ても妥当な推論なのに、必要な前提が無限に増えていき、いつまで経っても結論にたどりつけない、というパラドクスを示した対話篇です。原著の初出は英国の哲学雑誌『マインド』の一八九五年四月号。キャロルらしいユーモラスな文章ではありますが、発表から百年以上経った現在も哲学分野でしばしば言及される重要文献です。
　議論自体はシンプルですが、推論の例がユークリッドから取られているせいで分かりづらいという方もいるようです。もし必要なら、本文中の推論を
（Ａ）雨が降ったら、遠足は中止だ。
（Ｂ）雨が降った。
（Ｚ）遠足は中止だ。
と読み替えても問題自体は変わりません。ちなみにキャロルはこの無限後退（正当化の無限の連鎖）について、マザーグースを愛する彼らしく、「“ジャックの建てた家”のように進む」と書簡でコメントしています。
　この対話篇をどう解釈し、問題にどう対処するか、哲学者たちの意見は現在でも一致していないようです。しばしば提案される対処法として、ＡとＢからＺを導くための規則を、ＡやＢと並ぶ前提Ｃとしてでなく、ＡやＢとはカテゴリーの異なる「推論規則」として書けばよい、というものがありますが、その場合も亀は「ＡとＢとその推論規則からＺを導けるということをちゃんと書いて下さい」と言うでしょうから、相変わらず無限後退は生じるでしょう。
　私としては、亀に対して、「本当に大事なことは言葉にできないんだよ」と言ってあげたいところです。もっと丁寧に言うなら、「論理的な正しさの根拠は、明示的な取り決めとして言葉にすることは（し尽くすことは）できず、むしろ、私たちがＡとＢからＺを導く推論を現実に行うとき、その実践の中にただ示されているのだ」、と。
　もしかすると亀は「ただ示されている」という神秘的な言い回しの内実を問うかもしれませんが、それはまた別の話です。あるいはまた、どうしても亀が「書いてくれないなら受け入れません」と言うのなら、対話を諦めて本当にフットボールをするしかありません。しかしその場合、試合中に亀が「そのルールをこのプレーに適用できるというルールは、ルールブックのどこに書いてありますか？」と言い出す可能性があります。そうなればもう、残念ですが、亀とはフットボールすらできないことになるでしょう。
　プロの哲学者がこのパラドクスをどう扱っているかを（日本語で）知りたい方は、伊佐敷隆弘「ルイス・キャロルのパラドックスから何を学びうるか」（『宮崎大学教育学部紀要人文科学』第86号所収）、野矢茂樹『哲学・航海日誌１』（中公文庫）、入不二基義『相対主義の極北』（ちくま学芸文庫）、飯田隆『規則と意味のパラドックス』（ちくま学芸文庫）、永井均『世界の独在論的存在構造』（春秋社）などを参照して下さい。それぞれの個性的で真摯な思索の中でこの対話が検討されており、キャロルの示した問題が論理学の哲学にとどまらない広範な意義を持ちうることが分かります。また、細井勉『ルイス・キャロル解読』（日本評論社）は数学者の視点からこの対話（をはじめとした多くの作品）を翻訳・解説しており、拙訳の推敲の際にも参考にさせて頂きました。
　最後に翻訳上の余談を一つだけ。本文末尾の「呆れす」は、原文では「A Kill-Ease（安らぎをぶち壊す者）」です。「Achilles（アキレス）」は英語では「アキリーズ」と読まれるため、「ア・キル・イーズ」と同じ発音になっているわけです。
　お読みいただき、ありがとうございました。

二〇一九年三月