ウィラード・ヴァン・オーマン・クワイン
クワインは学部生向けの古典的な論理学の教科書を三冊執筆した。
『初等論理(Elementary Logic)』 1940年の入門課程で授業している間、クワインは現存の教科書には哲学の学生向けの量化理論または一階述語論理を十分に記述したものがないということに気づいた。クワインはこの本を、授業に導入するためのアドホックな解決策として六週間で書き上げた。
『論理学の方法(Methods of Logic)』 クワインが第二次世界大戦の終わりから彼が1978年に退職するまで教えていた学部上級生向けの論理学のコースで、この本は四つの版が出された。技術的にはむしろ時代遅れ(即ち、分析的タブローが欠けていて、メタ論理学の処理は何か不十分な点がある)で、それはまだ大いに哲学的かつ言語学的な洞察を含んでいる。
Philosophy of Logic. A concise and witty undergraduate treatment of a number of Quinian themes, such as the prevalence of use-mention confusions, the dubiousness of quantified modality, and of the non-logical character of higher-order logics.
それは理論よりもはるかに不思議なものである。
自然についての知識を考えるときにも類似の問題が発生する。ヒュームは、身体に関わるある変わった言明を知覚の観点から導くことに成功したが、未来に関する全称ないし単称の言明を構築することはできなかった。そのため認知論者は集合論と文脈定義にたよるようになった。ドイツの哲学者カルナップは、ヒュームが諦めたところ、つまり、世界についての文を論理、集合論、そして感覚経験の言語に翻訳するということから始めることにした。この、カルナップが合理的再構成と呼んだものは、科学を本当に正当化することはできないとしても、科学的な概念を論理と集合論の言葉に翻訳することで正当なものにしようだけの力は少なくとも有しているはずだった。しかしクワインによればこの翻訳は失敗した。カルナップの翻訳が失敗したのは、クワインに言わせれば、理論を構成する文の翻訳の不確定性のためであった。個々の言明を適切に翻訳することは不可能である。何故ならそれらは、属する理論の文脈においてしか固定された意味を持てないからだ。もし例えば、第一運動者は天球の上にいるのだと言ったなら、これはプトレマイオスの宇宙観の枠組みで語るときに限り、特定の意味を持つ。
Thus, the quest to justify natural knowledge by reducing bodies to sensory terms was abandoned.
オハイオ州アクロン出身。父は工場経営者、母は教師。1930年、オーバリン大学卒業、数学と哲学で学士号を取得。1932年、ハーバード大学よりPh.D.取得。指導教官はホワイトヘッド。ハーバードでは後にジュニア・フェローに選出され、4年間教育を行う義務を免除される。1932年から1933年までフェローシップを利用して、ヨーロッパを遊学し、タルスキなどの優れた論理学者やカルナップのようなウィーン学派の学者たちと交流する機会を得た。
タルスキが1939年の秋にケンブリッジで開かれた科学統一会議に招かれたのは、クワインの紹介を通じてであった。会議に出席するため、タルスキは独軍がポーランドを侵攻する前にポーランド北方のグダニスクを離れ、渡米。結果的にタルスキーは第二次大戦を生き延び、その後44年間アメリカで仕事を続けた。
第二次大戦中、ブラジルやポルトガルで論理学の講義を受け持った。