論理学 - Wikipedia

論理学では、モーダスポネンスのような形式的に妥当な推論を研究する。 論理学 (ろんりがく、英語: logic) は、正しい推論の研究である。形式論理学および非形式論理学が含まれる。形式論理学は、演繹的に妥当な推論あるいは論理的真理の研究である。論証の議題や内容とは無関係に、論証の構造のみにより、前提からどのように結論が導かれるかを研究する。非形式論理学は、非形式的誤謬、批判的思考、議論学と関わりがある。非形式論理学は自然言語で記述される論証を研究する一方、形式論理学は形式言語を用いる。各形式論理体系は、証明系（英語版）を表現する。論理学は、哲学、数学、計算機科学、言語学を含む多くの分野で中核をなす。 論理学は、前提の集合および結論からなる論証を研究する。論証の例には、前提「今日は日曜日である」および「今日が日曜日であれば、私は働かなくて良い」から結論「私は働かなくて良い」を導くものがある[

[userhiro]

“現在では、数理論理学は数学と論理学のどちらであるとも（時にどちらでないとも）される”

[Humisawa]

“中国の墨子が墨弁において推論や証明の形式的な方法を考察したことや、インドのディグナーガなどが論証の基本的な条件について整理したこと、（…）アリストテレスが推論の規則として三段論法”

[caatsuman]

“ここでいう論理とは、思考の形式及び法則である。これに加えて、思考のつながり、推理の仕方や論証のつながりを指す。”

[iww]

『論理学は、伝統的には哲学の一分野である。』 知らなかった。

[fractalfractal]

思考の法則、思考のつながり、推理の仕方や論証のつながりのことである

[n-e]

"ここでいう論理とは思考の法則、思考のつながり、推理の仕方や論証のつながりのことである。 よく言われる「論理的に話す、書く」という言葉は、つながりを的確に、論証を的確にということである。"

[castle]

「古く論理学は、狭義の哲学の一分野であった。現在では数学的性格がより強い論理学（記号論理学、または数理論理学）と、記号論理学でない論理学とに分化している」「記号論理学は論理を単なる記号操作として扱う」

[mind]

論理学は記号を操作する。記号操作で表せないものは… ;帰納法 ――computerはコードを実行する。コードに表せないものは…――実体から記号への変換，記号を現実化する過程も、広義の論理学に含めて良さげ