About: 論理学の歴史

論理学の歴史では、妥当な推論を探求する学問の発展を取り扱う。 前近代の論理学については「伝統的論理学」を、近代以降の論理学については「現代論理学（数理論理学）」を参照 形式論理学は古代のギリシアやインドで発展した。ギリシア論理学、中でもは科学・数学に広く受容・応用されている。 アリストテレス論理学は中世のおよびキリスト教西方世界にさらに発展し、14世紀半ばに頂点をむかえた。14世紀から19世紀初めまでの時期は概して論理学が衰退し、軽視された時期であり、少なくとも一人の論理学史家によって論理学の不毛期とみなされている。 19世紀半ばになると論理学が復興し、革命期が始まって、数学において用いられる厳密な証明を手本とする厳格かつ形式的な規則へと主題が発展した。近現代において発展した現代論理学、いわゆる数理論理学あるいは記号論理学は二千年にわたる論理学の歴史において最も顕著なものであり、人類の知性の歴史において最も重要・顕著な事件の一つだと言える。 数理論理学の発展は20世紀の最初の数十年に、特にゲーデルおよびタルスキの著作によって起こり、分析哲学や哲学的論理学に、特に1950年代以降に様相論理や時相論理、義務論理、適切さの論理といった分野に影響を与えた。