論理学の歴史
論理学の歴史では、妥当な推論を探求する学問の発展を取り扱う。形式論理学は古代のギリシアやインドで発展した。ギリシア論理学、中でもアリストテレス論理学は科学・数学に広く受容・応用されている。

アリストテレス論理学は中世のイスラーム圏およびキリスト教西方世界にさらに発展し、14世紀半ばに頂点をむかえた。14世紀から19世紀初めまでの時期は概して論理学が衰退し、軽視された時期であり、少なくとも一人の論理学史家によって論理学の不毛期とみなされている。

19世紀半ばになると論理学が復興し、革命期が始まって、数学において用いられる厳密な証明を手本とする厳格かつ形式的な規則へと主題が発展した。近現代におけるこの時期の発展、いわゆる「記号」あるいは「数理」論理学は二千年にわたる論理学の歴史において最も顕著なものであり、人類の知性の歴史において最も重要・顕著な事件の一つだと言える。

数理論理学の発展は20世紀の最初の数十年に、特にゲーデルおよびタルスキの著作によって起こり、分析哲学や哲学的論理学に、特に1950年代以降に様相論理や時相論理、義務論理、適切さの論理といった分野に影響を与えた。
Q1003009
形式論理学
Concept
Q999259
ギリシア
Concept
Q1661527
インド
UNK
None
アリストテレス論理学
UNK
None
中世
UNK
None
イスラーム圏
UNK
Q854807
キリスト教西方世界
Concept
Q8078
論理学
Concept
Q1166618
数理論理学
Concept
Q41390
ゲーデル
PER
Q207534
タルスキ
PER
Q183216
分析哲学
Concept
Q491412
哲学的論理学
Concept
Q210841
様相論理
Concept
Q781833
時相論理
Concept
Q302542
義務論理
Concept
Q176630
適切さの論理
UNK
Q468620
論理学の歴史
Concept
Q468620
論理学の歴史
Concept
2014-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
14
DATE
2014-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
14
DATE
2019-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
19
DATE
2019-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
19
DATE
2020-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
20
DATE
70-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
1950年
DATE
+14^^http://www.w3.org/2001/XMLSchema#decimal
14
NUMBER
+14^^http://www.w3.org/2001/XMLSchema#decimal
14
NUMBER
+19^^http://www.w3.org/2001/XMLSchema#decimal
19
NUMBER
+19^^http://www.w3.org/2001/XMLSchema#decimal
19
NUMBER
+20^^http://www.w3.org/2001/XMLSchema#decimal
20
NUMBER
facet of
subclass of
field of work
field of work
subclass of
facet of