論理学の歴史
主な論理主義者にはフレーゲ、ラッセル、初期のヴィトゲンシュタインがいる。この時代の頂点となるのは、初期の発展の障害となっていた二律背反の徹底的な考察が行われ、解決が試みられた『プリンキピア・マテマティカ』である。
1910年代から1930年代までのメタ数学の時代、ヒルベルトの有限主義(英語版)体系やレーヴェンハイム(英語版)およびスコーレムの非有限主義的体系においてメタ論理学の発展がみられ、さらにゲーデルおよびタルスキの著作の中で論理学とメタ論理学が組み合わされた。1931年に発表されたゲーデルの不完全性定理は論理学の歴史における最大の業績の一つである。1930年代後半にはゲーデルは集合論的構成可能性の理論を発展させた。
戦後論理学の時代、数理論理学が相互に関係するが離れている4つの研究領域、モデル理論、証明論、計算可能性理論、そして集合論に分かれ、その概念・方法が哲学に影響し始めた。
彼の目的は―真に理性自体の―「絶対」の理性的構造を示すことにある。一つの概念からその対義的概念へと、そしてさらに別の概念へと思考が流れていく方法はヘーゲルの弁証法として知られている。
ヘーゲルの『論理学』は主流派の論理学研究にほとんど影響を及ぼさなかったが、そこからの影響をみることができる作品としてカール・フォン・プラントルの『西洋論理学史』(独: Geschichte der Logik in Abendland、1855年-1867年)やイギリス観念論者の作品-例えばフランシス・ハーバート・ブラッドリーの『論理学の諸原理』(英:Principles of Logic、1883年)-、そしてカール・マルクスおよびマルクス主義諸学派の経済学、政治学、哲学等の研究といったものがある。
様相。アリストテレスによると、当時のメガラ学派は可能態と現実態の区別など存在しないと主張した。ディオドロス・クロノスは可能なものとは現在存在するもの又は未来に存在するだろうものだと定義し、不可能なものとは未来に真でないだろうものだと定義し、不定のものとはすでにそうであるものか又は未来に偽であるだろうものだと定義した。ディオドロスは、「過去に存在したものの全ては真かつ必然である」、「不可能なものは可能なものから生まれえない」、「現在存在しないし未来も存在しないだろうものは可能である」の三命題は定立しえない、といういわゆるマスター・アーギュメントでも有名である。ディオドロスはこの三命題のうち前二者に尤もらしさを用いて、現在存在しないし未来も存在しないだろうものは不可能であると証明した。対照的にクリュシッポスは第二の前提を否定して、不可能なものは可能なものから生まれうると述べた。
論理包含。条件文について議論した最初の論理学者はディオドロスと彼の弟子メガラのフィロンである。セクストス・エンペイリコスはディオソロスとフィロンの議論に三度言及している。真なる条件文とは真で始まって偽で終わることのないものであるとフィロンは主張した。例えば「今が日中ならば私は話をしている」といったように。
これは、シュレーダーの『講義集』(独:Vorlesungen、1890年–1905年)のなかでparallel columnに定理を適用する際に便利に利用された。パース(1880年)は、全てのブール選択関数を一つの原始的な二項演算「否定論理和」と、同頻度で「否定論理積」を利用して表す方法を示したが、他の多くのパースの業績と同様に、1913年にシェファーが再発見するまでは知られないままでいた。ブールの初期の著作も、パース(1867年)、シュレーダー(1877年)、ジェヴォンズ(1890年)に源を発する論理和の知識や、ジェルゴンヌ(1816年)が最初に提案しパース(1870年)が明確に表現した内含 (Inclusion (logic)) という概念を欠いていた。
ブール代数系の成功により、あらゆる論理は代数的に表せると主張されるようになり、そういった形式で関係の論理を表そうという試みが生まれたが、その中でも最も野心的なものはシュレーダーの記念碑的作品『論理代数講義』(独:Vorlesungen über die Algebra der Logik、vol iii 1895)である。しかし基本的な考えはやはりパースによって予期されていた。