ロジック

ロジックとは

Logicは、ロゴ、理由、 単語、またはスピーチに関連するギリシャ語のlogikéに由来する女性名詞で、推論の科学を意味します。

比喩的な意味では、単語の論理は正しく推論する特定の方法に関連しています。例： これは動作しません！ あなたの計画はまったく論理を持っていません！

問題や論理ゲームは、個人が問題を解決するために論理的推論を使わなければならない活動です。

アリストテレス論理

アリストテレスによれば、論理は研究の対象として思考、それを支配する法則および規則を持っているので、この思想は正しい。ギリシャの哲学者にとって、論理の構成要素は概念、 判断、そして推論です。論理の法則は、これらの要素間に存在する接続と関係に対応しています。

アリストテレスの後継者の中には、13世紀まで続いた中世の論理の基礎を担当した人もいました。 Galenus、Porphyry、AphrodysiaのAlexanderなどの中世の思想家は論理を正しく判断する科学として分類しました。

プログラミングロジック

プログラミングロジックは、コンピュータプログラムを作成するために使用される言語です。プログラミングの論理は、それがこの開発のための論理的リンクを定義するので、プログラムおよびコンピュータシステムを開発するために不可欠です。この開発のためのステップはアルゴリズムとして知られており、それは実行されるべき機能に対する命令の論理的なシーケンスからなる。

引数ロジック

論証の論理は、私たちがその妥当性や言明が正しいか否かを検証することを可能にします。それは相対的または主観的な概念で行われるのではなく、その妥当性を検証できる具体的な命題です。この場合、ロジックは内容ではなく命題の形式を評価することを目的としています。音節論（2つの前提と結論からなる）は、議論の論理の例です。例えば、

フバは犬です。

すべての犬は哺乳類です。

したがって、フバは哺乳類です。

数学ロジック

数学的論理（または形式的論理）は、その構造または形式に従って論理を研究します。数学的論理は推論の妥当性を判断するための一連の法律や規則を作成することを目的とした演繹的な一連のステートメントで構成されています。したがって、真の前提から真の結論に達することが可能であれば、推論は有効であると見なされます。

数学的論理は他の推論を通して有効な推論を構築するためにも使用されます。推論は演繹的 （結論は必然的に建物の真実から得られる）および帰納的 （確率的）になることができます。

形式的論理は、命題論理と述語論理の2つのグループに分けることができます。

ライプニッツは、数学の中心的な問題に取り組む形式的または数学的論理の概念を開始した心と多くの人に見られています。しかし、公理の一貫性の問題が始まったのは、1890年以降、ピアノと共にでした。形式論理のいくつかの重要な原則は、George BooleによるThe Logicの数学的分析（LogicまたはBoolean代数の作者）にあります。