本文へスキップ

論理学とは?

ろんりがく

論理学とは、正しい推論の形式と法則を研究する学問であり、哲学・数学・情報科学の基盤となる分野です。

論理学(Logic)とは、思考や推論が正しく行われるための規則・形式を研究する学問です。古代ギリシャアリストテレスが体系化した三段論法に始まり、現代では数学言語学・コンピューター科学など多くの分野の基礎として機能しています。

論理学は大きくいくつかの分野に分かれます。

  • 形式論理学:命題や述語の形式的な構造を扱う。命題論理・述語論理が代表的
  • 記号論理学(数理論理学):数学的記号を用いて論理を厳密に定式化する
  • 非古典論理:様相論理・直観主義論理など、古典論理を拡張した体系

論理学の中心的な概念は「妥当な推論」です。前提が真であれば結論も必ず真になる推論を「演繹」と呼び、これが論理学の主要な研究対象です。「AならばB」「AはCである」「ゆえにBはCである」という三段論法はその典型例です。

現代社会における論理学の応用範囲は広く、コンピューターのプログラミング言語設計・人工知能における推論機構・法律文書の解釈・哲学的議論の分析など、多様な領域で活用されています。批判的思考力や議論の明確化のためにも、論理学の基礎は重要な知的訓練とされています。

使い方・例文

「すべての人間は死ぬ、ソクラテスは人間だ、ゆえにソクラテスは死ぬ」という三段論法は、論理学の授業で最もよく引用される推論の例です。

この用語をシェア

𝕏 でポスト LINE

最終更新:

関連用語