論理学の発展の歴史

Aristotle (紀元前4世紀)


自然言語の文章レベルにおける論証の形式的正しさの科学

Boole (1850)


記号的な論理(形式的演繹)の体系化 -> 記号論理学

Frege (1880)


述語概念の導入　-> 述語論理

Russell (1900)


論理学と集合論の結合 -> 数学の形式的扱い

Herbrand, Gentzen (1930)


公理と演繹規則から定理を機械的に証明する形式的な論理体系 -> 自然演繹法

Lewenheim, Skolem (1920)


論理式の真偽を個々の対象について調べる方法の体系化 -> モデル理論

Godel (1931)


数理システムの自己言及性の限界の提示 -> 完全性定理、不完全性定理

Tarski (1933)


現代的モデル理論の展開

命題の真偽について、ある文はそれが述べていることが事実ならば真で あり、そうでなければ偽であるとする立場．

「太郎は日本人である」という文は真である ≡太郎は日本人である(事実)

Robinson (1965)


モデル理論にもとづいた定理証明の効率的・機械的手法の提案 -> 融合原理(resolution principle)

...Return

• 講義の詳細