logic)とは、「論理」を成り立たせる論証の構成やその体系を研究する学問である。概要[編集]ここでいう論理とは、思考の形式及び法則である。これに加えて、思考のつながり、推理の仕方や論証のつながりを指す。言われる「論理的に話す、書く」という言葉は、つながりを明確にし、論証を過不足なく行うということである。論理学は、伝統的には哲学の一分野である[1]。数学的演算の導入により、数理論理学(記号論理学)という分野ができた。現在では、数理論理学は数学と論理学のどちらであるとも(時にどちらでないとも)される。でない論理学に分化している。弁証法なども、「論理」なのであるが、論理学における論理とは異なる。(Theory)である。日本語の「論理学」という語は西周によるものとされている[2]。定式化したことが知られている[4]。これらの研究の中でもインドと中国での研究は個別に進められたが、ギリシアでの研究は中世においてアラビアやヨーロッパに伝わり、ルネサンス以後の研究者にも参照されていることから、歴史的な研究成果として位置づけることができる。今日の論理学の体系は19世紀における研究成果に基づいているため、ここではそれ以前の論理学である伝統的論理学について概説する。logica)を構想した。アリストテレスは『オルガノン』において論証に使われる文章を命題として捉え、それぞれの命題がどのように組み合わさることで正しい推論が可能になるかを考察している。アリストテレスの論理学での業績には三段論法の定式化が含まれており、これは二つの前提から一つの結論を導き出す推論の形式を指すものである。「すべてのAはBである。すべてのCはAである。したがって、すべてのCはBである」は三段論法に則った論証であると言うことが可能である。中世において西ヨーロッパにはアリストテレスの著作が完全には伝わらず、また6世紀初頭にボエティウスがアリストテレスの論理学書やそのポルピュリオスによる注解を翻訳した[5]ため、初期スコラ哲学まではアリストテレスはもっぱら論理学者として理解されていた[6]。このような伝統的論理学の研究はポルピュリオスによるアリストテレス注解によって紹介され、スコラ哲学における論理学書は多くポルピュリオス注解の形で書かれた。アリストテレスの論理学書やそのポルピュリオスによる注解は東方ではネストリウス派によってシリア語に翻訳されており[7]、これがアッバース朝期にアラビア語へと翻訳されて、イスラム教世界での論理学の発展を見た。学校が整備されるようになると、論理学は自由七科の一部門として[8]、専門諸学を学ぶ前の予備学として教えられた[9]。アベラルドゥス、オッカムのウィリアムなどがこの時代の論理学に寄与していた。後退もない、いわば完成された学問」と呼んだことからもわかるように、アリストテレスの研究成果は以後長い間、大きな変更を受けることなく受け継がれた。ヨーロッパ中世においては論理学に発展が見られたが、ルネサンス期以降の近世においては論理学はむしろ停滞ないしは衰退期となっていた[10]。近世においてはライプニッツが今日の数理論理学の先駆となる「普遍言語」を構想した。これは多種多様な自然言語に対して、命題の統一的記述を与える人工言語の構想である。現代の論理学[編集]詳細は「数理論理学」を参照19世紀後半にはジョージ・ブール、オーガスタス・ド・モルガン、ゴットロープ・フレーゲなどが言葉の代わりに数学の演算規則をあてはめ、「概念」や「観念」を記号に変換して現代の論理学を整備する。フレーゲの著作『概念文字』は述語論理の基本的な枠組みを提唱したことから、この研究の前後で伝統的論理学から現代の論理学へ移行したことが認められる。ゲオルク・カントールは集合論の研究として新しい集合の概念を導入し、またデデキントによって数が集合の概念によって定義できることを発表し、くわえてペアノが論理記号だけを使用することを示したことは現代の論理学における重要な所期の発展と位置づけられる。この一連の研究動向の中で1902年にラッセルのパラドックスと呼ばれる矛盾が指摘された。発表し、集合論に基づいて数学の研究成果を統合し、記号だけでそれらを証明した。ラッセルたちの仕事を引き継いだダフィット・ヒルベルトは集合論を証明論的に考察して矛盾が生じない適切な公理系を見出すことによって矛盾がない保証となると主張し、この主張を賛同者との協力の下でヒルベルト・プログラムとして推進した。1930年にクルト・ゲーデルによって不完全性定理が発見され、自然数論を含みかつ無矛盾である計算可能な公理系には、内容的には真であるが、証明できない命題が存在することが判明したために、ヒルベルトたちの研究計画は頓挫した。最近の論理学の研究はヒルベルトが採用したような証明論的方法に対して公理がどのような事態を表現しているかを考えてメタ証明を行なうモデル理論的方法を使用している。これはポーランドで進められていた研究成果が1930年代にアルフレト・タルスキによって紹介された。集合論の研究が進んだことで、素朴な定義の諸問題が明らかにされており、いくつかの公理の組が提案されてきている。そのことで集合という概念に一つだけの定義を与えることは困難であり、現代の論理学も集合の概念の広がりを許容するさまざまな公理を採用している。1920年代からルドルフ・カルナップは現代の論理学の知見を物理学の理論の分析のために利用し、1950年代からは本格的に研究が進められている。(日時は個人設定で未設定ならばUTC)。表示-継承ライセンスの下で利用可能です。追加の条件が適用される場合があります。詳細は利用規約を参照してください。Cookieに関する声明モバイルビュ。