論理は、ステートメント（命題）の正式な構造とそのルールを研究することを目的とした哲学の分野です。 要するに、論理は正しく考えるのに役立ち、したがって正しい思考のためのツールになります。
論理はギリシャ語から来ています ロゴ、これは理由、議論、またはスピーチを意味します。 話したり議論したりするという考えは、言われていることが聞き手にとって意味があることを前提としています。
この意味は論理構造に基づいており、「論理を持っている」とはそれが理にかなっていることを意味する場合、それは合理的な議論です。
哲学における論理
それはギリシャの哲学者アリストテレス（384a。 C.-322a。 C.）論理学の研究を作成した人は、それを分析的と呼んだ。
彼にとって、真実で普遍的な知識のふりをする知識は、いくつかの原則、論理的原則を尊重する必要があります。
論理（または分析）は、正しい思考の手段および真の知識の根底にある論理要素の定義として理解されるようになりました。
論理的原則
アリストテレスが開発 3つの基本原則 それは古典論理を導きます。
1. アイデンティティの原則
存在は常にそれ自体と同一です： THE é THE. 交換すれば THE たとえば、マリアの場合、次のようになります。マリアはマリアです。
2. 無矛盾律の原則
同時に存在することと存在しないこと、または単一のエンティティがその反対になることは不可能です。 それは不可能です THE あります THE そして ない-A、 同時に。 または、前の例に従うと、メアリーがメアリーであり、メアリーではないことは不可能です。
3. 除外された第三者、または除外された第三者の原則
命題（主語と述語）には、肯定的または否定的な2つのオプションしかありません。 THE é バツ または THE é no-x. マリアは教師であるか、マリアは教師ではありません。 3番目の可能性はありません。
も参照してください：アリストテレスロジック.
提案
議論では、主語、動詞、述語の形で言われていることを命題と呼びます。 命題は陳述、肯定または否定であり、それらの有効性または虚偽は論理的に分析されます。
命題の分析から、論理の研究は正しい思考のためのツールになります。 正しく考えるには、その有効性と真実を保証する（論理的な）原則が必要です。
議論の中で述べられていることはすべて、いくつかの可能な既存の関係を評価および判断する精神的プロセス（思考）の結論です。
三段論法
これらの原則から、演繹的な論理的推論があります。つまり、以前の2つの確実性（仮定）から、前提内で直接参照されていない新しい結論に到達します。 これは三段論法と呼ばれます。
例：
すべての人は死ぬ。 （前提1）
ソクラテスは男です。 （前提2）
したがって、ソクラテスは致命的です。 （結論）
これが三段論法の基本構造であり、論理の基礎です。
三段論法の3つの用語は、その量（普遍的、特定的、または単数）と質（肯定的または否定的）に従って分類できます。
提案は、品質に関して次の点で異なる場合があります。
- 断言： SはPです. すべての人間は人間であり、メアリーは労働者です。
- ネガ： SはPではありません。ソクラテスはエジプト人ではありません。
また、次の点で数量が異なる場合があります。
- ユニバーサル： すべてのSはPです。すべての男性は致命的です.
- 民間： 一部のSはPです。 一部の男性はギリシャ人です。
- シングル： このSはPです。ソクラテスはギリシャ語です。
これがアリストテレスの論理とその派生の基礎です。
も参照してください: 三段論法とは何ですか？
正式な論理
シンボリックロジックとも呼ばれる形式論理では、命題は明確に定義された概念に還元されます。 このように、言われていることは最も重要なことではなく、その形です。
ステートメントの論理形式は、文字による命題の（記号）表現によって機能します。 P, 何そして r. また、論理演算子を使用して命題間の関係を調査します。 接続詞, 論理和 そして コンディショニング.
命題論理
このようにして、提案はさまざまな方法で処理でき、ステートメントの正式な検証の基礎として機能します。
論理演算子は、命題間の関係を確立し、それらの構造の論理チェーンを可能にします。 いくつかの例：
拒否
これは、記号〜または¬（の否定）で表される用語または命題の反対です。 P 〜pまたは¬です P）。 表では、p trueの場合、〜pfalseがあります。 （晴れです= P、晴れていません=〜 P または¬ P).
接続詞
それは命題間の結合であり、記号∧は「and」という単語を表します（今日は晴れています） そして 私はビーチに行きます、 P ∧ 何). 接続詞が真であるためには、両方が真でなければなりません。
論理和
これは命題間の分離であり、記号vは「または" （私は、ビーチに行きますよ または 家にいる、 P v 何). 有効性のために、少なくとも1つ（または 別の）真でなければなりません。
条件付き
それは因果関係または条件性の確立であり、記号⇒は「もし... その後..." (もし 雨が降る、 その後 私は家にいます、 P ⇒ 何).
双条件
それは双方向の条件関係の確立であり、二重の意味があり、記号⇔は「もし、そしてその場合に限り、". （私は休暇中でない場合にのみクラスに行きます、 P ⇔ 何).
真理値表に適用すると、次のようになります。
| P | 何 | 〜p | 〜何 | P ∧ 何 | P v 何 | P ⇒ 何 | P ⇔ 何 |
|---|---|---|---|---|---|---|---|
| V | V | F | F | V | V | V | V |
| V | F | F | V | F | V | F | F |
| F | V | V | F | F | V | V | F |
| F | F | V | V | F | F | V | V |
文字FとVは、0と1に置き換えることができます。 この形式は、計算ロジックで広く使用されています（F = 0およびV = 1）。
も参照してください: 真理値表.
他のタイプのロジック
ロジックには他にもいくつかの種類があります。 これらのタイプは、一般に、古典的な形式論理の派生物であり、従来のモデルに対する批評または問題解決への新しいアプローチを提示します。 いくつかの例は次のとおりです。
1. 数理論理学
数理論理学は、アリストテレスの形式論理学から派生し、命題の価値関係から発展します。
19世紀には、数学者のジョージブール（1825-1864）とオーガスタスデモーガン（1806-1871）が アリストテレスの原則を数学に適応させ、新しいものを生み出す責任があります 理科。
その中で、真実と虚偽の可能性はそれらの論理形式を通して評価されます。 文は数学的要素に変換され、論理値間の関係に基づいて分析されます。
も参照してください: 数理論理学.
2. 計算論理
計算論理は数理論理から派生していますが、それを超えてコンピュータープログラミングに適用されます。 それがなければ、人工知能などのいくつかの技術的進歩は不可能です。
このタイプのロジックは、値間の関係を分析し、それらをアルゴリズムに変換します。 このために、アリストテレスによって最初に提案されたモデルとは異なる論理モデルも使用します。
これらのアルゴリズムは、メッセージのエンコードとデコードから、顔認識や自動運転車の可能性などのタスクまで、さまざまな可能性を担っています。
とにかく、今日のコンピューターとの関係全体は、この種の論理を通過します。 これは、伝統的なアリストテレス論理の基礎を、いわゆる非古典論理の要素と融合させます。
3. 非古典論理
非古典的または反古典的によって、論理は、従来の（古典的）論理によって開発された1つまたは複数の原則を放棄する一連の論理手順として認識されます。
たとえば、ファジー論理（ファジー）は、人工知能の開発に広く使用されており、除外の第3の原則を使用していません。 0（false）から1（true）までの実数値を想定しています。
非古典論理の例は次のとおりです。
- 論理 ファジー;
- 直観主義論理;
- 矛盾許容論理;
- 様相論理。
好奇心
あらゆる種類の計算論理のずっと前に、論理はすべての既存の科学の基礎として機能しました。 接尾辞 "を使用して自分の名前で表現されたこの推論をもたらす人もいます学"、ギリシャ起源。
生物学、社会学、心理学は、 ロゴ ギリシャ語、論理的かつ体系的な研究のアイデアから理解されました。
分類学、生物の分類（王国、門、綱、目、科、属、種）は、今日でも、アリストテレスによって提案されたカテゴリーへの分類の論理モデルに従います。
も参照してください：
- 論理的推論-演習
- 哲学演習
