中国では孔子と同時代の墨子が墨家の祖とされているが、墨家の聖典は正しい結論を導く条件や妥当な推論といった問題を取り扱っている。中でも、墨家から別れた学派の名家は原始的な形式論理学を研究したものと何人かの研究者に考えられている。秦王朝成立に続く法家の苛烈な支配によって論理学の研究はいったん途絶え、仏教徒によってインド哲学が導入されるのを待つことになる。
中世論理学.
イスラーム哲学における論理学.
中世西欧の論理学.
伝統的論理学.
教科書の伝統.
ヘーゲル哲学における論理学.
論理学と心理学.
このような批判によっていわゆる「心理学主義」が即座に根絶されたわけではない。例えば、アメリカの哲学者ジョシア・ロイスはフッサールの批判の力は認めつつも、心理学の発展が論理学の発展を伴うものであり、逆もまた真であることを「疑いえない」と考え続けている。
現代論理学の興隆.
現代論理学の時代.
現代論理学の発展は大きく五つの時期に分けられる:
胎動期.
代数の時代.
ブールの体系はクラス論理学および命題論理学という二種類の解釈を許す。ブールは三段論法の理論で取り扱うような「一次命題」と命題論理学で取り扱う「二次命題」を区別し、異なる「解釈」の下で代数系が両者をどう表せるのかを示した。一次命題とは例えば「全住民がヨーロッパ系かアジア系である」である。二次命題とは例えば「全住民がヨーロッパ系であるか全住民がアジア系であるかのどちらかである」である。この二つは現代的な論理演算においては容易に区別でき、さらに後者は前者に包含されることも示せるが、ブールの体系ではこれを表すことができないのがブールの体系の大きな欠点である。
論理主義者の時代.
これはフレーゲの計算においては、ブールの「一次」命題が「二次」命題から異なった形で表せることを意味する。「全ての住民はヨーロッパ系かアジア系のどちらかである」は
と表せるのに対して「全ての住民がヨーロッパ系であるか全ての住民がアジア系であるかのどちらかである」は
フレーゲはブールの計算を否定して次のように述べている: