論理学の歴史
13世紀初めまでにはアリストテレスの『オルガノン』の残りの作品(『分析論前書』、『分析論後書』、『詭弁論駁論』)が西欧で復活した。それまでの論理学書はその大部分がアリストテレスの著作の言い換えや註釈であった。13世紀中ごろから14世紀中ごろまでは論理学の顕著な発展がみられた時代の一つであり、特にそれまでのアリストテレス主義にあまり基づいていない独創的な三つの分野での発展がみられた。その三分野とは:
代示(羅:Suppositio)の理論。代示理論では述語(例えば「人間」)が個々のもの(例えば全ての人間)の領域にどう及んでいるのかといった問題を扱う。「全ての人間は動物である」という命題において、「人間」という言葉は今現在存在している全ての人間に及んでいる、つまり全ての人間を「代示」しているのか? あるいは過去・未来にわたる全ての人間をその範囲としているのか? 言葉は存在していない個々のものを代示しうるのか? この概念は現代の一階述語論理の先駆者だと主張する中世学者もいる。「『コプラティオ』(形容詞の指示可能性)や『アンプリアティオ』(指示領域の拡張)、『ディストリブティオ』といった関連する理論とともに代示理論は西欧中世論理学のもっとも独創的な業績の一つを成す。」
共義語 (羅: Syncategoremata) の理論。
計算可能性理論から別れた分野である計算複雑性理論もまた記述計算量の研究の結果として論理学的な術語を使用するという特徴を持つ。
モデル理論は数理論理学の手法を利用して特定の数学理論のモデルを研究する分野である。アルフレト・タルスキはこの分野の先駆的な著作を多く発表しており、この分野の名前も彼が発表した一連の著作の題名『モデル理論への貢献』に因んでいる。1960年代に、アブラハム・ロビンソンはモデル理論の技法を用いて無限小、つまり最初にライプニッツが提議した問題に基づいた計算・解析を発展させた。
証明論では、古典数学と直観的数学との関係がゲオルク・クライゼルの発明した実現可能性の手法やゲーデルの弁証法解釈といった道具を用いて解明される。この研究によってproof miningという同時代の領域が励起された。カリー=ハワード同型対応が、自然演繹と計算機科学で用いられる型付きラムダ計算論理との一致を含む、論理と計算との深い類似として起こった。結果として、この形式的体系のクラスが論理学的な面と計算機的な面との両方を説明するようになった; この研究領域は現代型理論として知られるようになった。順序解析や、パリス・ハリントンの定理のような算術における独立した結果の研究によっても進展が起きた。
しかし、真なる条件文とは真で始まって偽で終わることの決してないものである―それゆえ今述べた条件文はもし今が日中でありなおかつ私が黙り込むと偽になるとディオドロスは主張した。フィロンの真偽の基準は「if ... then」の今日真理函数の定義とされているものと同じである。セクストスは二度目に言及した際に「彼によれば条件文が真になる方法は三通りあり、偽になる方法は一つだけある」と述べている。
意味と真理。メガラ-ストア論理学とアリストテレス論理学の最も重要で著しい違いは前者が名辞ではなく命題を考慮し、そのため近代的な命題論理に近いことである。ストア派は、おそらく雑音である発話(phone)、明瞭に発音しているが無意味な演説(lexis)、意味のある発話である談話(logos)を区別した。彼らの理論のうちもっとも独創的な部分は「レクトン」と呼ばれている、文で表現されるものは実在するものだという説である。これは今日「命題」と呼ばれるものに一致する。ストア派によれば意味するもの、意味されるもの、対象の三者は互いに結びついているとセクストスは述べている。例えば意味するものは「ディオン」という言葉、意味される者はギリシア人が理解するが外人は理解しないもの、対象はディオン自体である。