ドナルド・カリッシュ

ドナルド・カリッシュ
生まれる	( 1919-12-04 )1919年12月4日 シカゴ、イリノイ州、米国
死亡	2000年6月8日(2000-06-08)（享年80歳） カリフォルニア州ロサンゼルス
教育	カリフォルニア大学バークレー校(1940–1948)
機関	カリフォルニア大学ロサンゼルス校(1949–1990)
主な関心事	論理、意味論

ドナルド・カリッシュ（1919年12月4日 - 2000年6月8日）は、アメリカの論理学者、教育者、反戦活動家であった。

イリノイ州シカゴ生まれのカリッシュは、カリフォルニア大学バークレー校で心理学の学士号と修士号、哲学の博士号を取得した。スワースモア大学とカリフォルニア大学バークレー校で教鞭を執った後、 1949年にカリフォルニア大学ロサンゼルス校の教員となった。^{[1] [2]}

カリッシュは、ベトナム戦争への反対、そして後にはニカラグアとグレナダへの米軍の介入に反対したことで最もよく知られている。カリフォルニア大学ロサンゼルス校（UCLA）哲学科長として、カリッシュはマルクス主義の 政治活動家 アンジェラ・デイヴィスを雇用したが、これは当時かなりの論争を呼んだ。2001年、同大学の哲学科は、学部で最も将来有望な学部生に与えられる知的優秀賞ドナルド・カリッシュ賞を創設した。

カリッシュは、UCLA の Concerned Faculty の創設者の一人です。彼は、大学ベトナム委員会のメンバー、およびロサンゼルスの Peace Action Council の副議長を務めました。彼は、1967 年にロサンゼルスのセンチュリー プラザ ホテルで 10,000 人が参加したリンドン ジョンソン大統領のベトナム政策に対する抗議活動で、Peace Action Council のリーダーとして活躍したことで知られています。彼はまた、ベトナム戦争に抗議する 1967 年のペンタゴン大行進の主催者でもあり、彼の活動はノーマン メイラーのThe Armies of the Night (1968) で詳しく記録されています。

1967年、カリッシュはアメリカのベトナム戦争に抗議して税金の支払いを拒否する意向を表明し、他の人々にも同様の立場を取るよう促す書簡に署名した。 ^[3]

カリッシュは論理学、集合論、そして両分野の歴史の専門家でした。リチャード・モンタギューとともに、自然演繹による形式的な論理的証明を行う革新的で洗練された方法を開発しました。

カリッシュは、一流で献身的な教師であり、正確さと思いやりと熱意を持って教えました。彼は、ことわざにあるように「教師の教師」であり、最も複雑で難解な概念でさえ、生徒に容易に理解できるようにする稀有な能力を持っていました。彼の生徒のほとんどは彼の授業を気に入っていました。彼の論理学と集合論の授業では、生徒は彼の政治的意見をまったく知りませんでした。彼は、宿題について話し合いたいときは、昼夜を問わずいつでも電話するようにと、定期的に生徒に自宅の電話番号を教えていました。^[要出典]

カリッシュとモンタギューの方法で証明を行うと、行は「証明の中に証明」というインデント構造になります。最も外側の証明の最初の行は常に「Show」という単語で始まり、その後に証明する文が続きます。追加の「Show」行は証明内のどこにでも出現でき、それによってサブ証明が始まります。「Show」行の直後に、後続の行は 1 レベルインデントされます。どのレベルの証明も完了すると、そのインデント内の行の周りにボックスが描かれ、それ以降はアクセスできなくなります。また、「Show」という単語は取り消されます。すると、取り消された「Show」の後の文がアクティブ行になり、次のレベルからアクセスできるようになります。最初の行を除くすべての行が 1 つ以上のボックスで囲まれ、最初の行の「Show」という単語が取り消されると、証明は完了します。この方法は非常に洗練されており、論理の理解と指導に大いに役立ちます。

この証明体系は、1964年に出版されたリチャード・モンタギューとドナルド・カリッシュの共著『Logic: Techniques of Formal Reasoning』で詳細に説明されている。モンタギューは1971年に死去。カリッシュは1980年にゲイリー・マーと共著でこの本の第2版を出版した。1960年代後半から、これらの本はUCLAを含む多くの大学で教科書として使用されている。

• 論理学：形式的推論の技法、ドナルド・カリッシュ、リチャード・モンタギュー著、1964年
• 論理学：形式的推論の技法、ドナルド・カリッシュ、リチャード・モンタギュー、ゲイリー・マール著、1980年