論理 ギリシャ語の女性名詞です ロゴ、に関連する ロゴ, 理由, 語 または スピーチ、つまり 推論科学.
比喩的な意味で、論理という言葉は 推論の特定の方法、当然です。 例えば： これは決して機能しません！ あなたの計画には論理がありません！
君は 問題や論理ゲーム 個人が使用しなければならない活動です 論理的推論 問題を解決するため。
アリストテレスの論理
アリストテレスによると、論理はその研究の目的として 思想、そしてそれを管理する法律や規則は、その考えが正しいと考えられています。 ギリシャの哲学者にとって、論理の構成要素は 概念, 判定 そして 推論. 論理の法則は、これらの要素間に存在する接続と関係に対応しています。
アリストテレスの後継者の何人かは、13世紀まで続いた中世の論理の基礎に責任がありました。 Galen、Porphyry、Alexander of Aphrodisiaなどの中世の思想家は、論理を正しく判断する科学として分類しました。これにより、正しく正式に有効な推論に到達することができます。
プログラミングロジック
プログラミングロジックは、コンピュータプログラムの作成に使用される言語です。 プログラミングロジックは、その開発の論理チェーンを定義するため、コンピュータプログラムおよびシステムの開発に不可欠です。 この開発のステップはアルゴリズムとして知られており、実行される関数の命令の論理シーケンスで構成されています。
引数ロジック
引数ロジックを使用すると、有効性をチェックしたり、ステートメントが真であるかどうかをチェックしたりできます。 それは相対的または主観的な概念で作られていません。 それらは、有効性を検証できる具体的な提案です。 この場合、ロジックは、内容ではなく、命題の形式を評価することを目的としています。 三段論法（2つの前提と結論で構成される）は、議論論理の例です。 例えば：
コーンミールは犬です。
すべての犬は哺乳類です。
したがって、コーンミールは哺乳類です。
数理論理学
数理論理学（または形式論理学）は、その構造または形式に従って論理を研究します。 数理論理学は、 演繹システム 推論の有効性を判断するための法律と規則のグループを作成することを目的としたステートメントの。 したがって、真の前提から真の結論に達することが可能である場合、推論は有効であると見なされます。
数理論理学は、他の推論を通じて有効な推論を構築するためにも使用されます。 推論はすることができます 演繹的 （結論は前提の真実から義務的に得られます）そして 帰納的 （確率的）。
形式論理は、命題論理と述語論理の2つのグループに分けることができます。
ライプニッツは、数学の核となる問題に取り組む形式論理学または数学の概念を開始した精神として多くの人に見られています。 しかし、公理の一貫性の疑問が始まったのは、ペアノと共に1890年以降になってからでした。 正式な論理のいくつかの重要な原則は、George Boole（Booleの論理または代数の著者）によるThe Mathematical Analysis ofLogicにあります。
命題論理
命題論理は、節（命題）間の関係、つまり真または偽の談話の最小単位に従って推論を調べる論理の領域です。
