ロジックの定義

論理は形式科学です。つまり、他の形式科学と同様に、独自の研究と推論の対象を作成し、心によるアイデアの作成は、仕事と知識の方法論ですが、論理もその1つです。哲学の最も重要で人気のある分野であり、その研究の目的は、証明と有効な推論の原則であり、これは最終的に正しい推論と誤った推論を区別することを可能にする方法です

論理の起源は古典ギリシアの黄金時代にまでさかのぼり、ギリシャの哲学者アリストテレスは、この概念を最初に使用し、今日まで維持している実体を与えたため、その作成者および父と見なされています。科学における真実の現れとしての議論の研究。

私たちが上で説明し、アリストテレスが創設者として立っているこの論理は、形式論理とも呼ばれますが、哲学に基づいてそれらの可能性のある議論の系統的な研究に注意を集中する非形式論理もあります。これらを扱う他の科学。

基本的に、非形式論理学は、誤謬とパラドックスの特定と談話の正しい構造化にすべての努力を費やしています。

しかし、形式的および非形式的論理では、形式科学に頼ることなく、実行時に自然思考によって提案される自然論理など、まったく異なる方法論を提案する他のタイプの論理も見つかるため、質問は尽きません。サポートの基盤。

次に、ファジーまたはファジーロジックも呼ばれ、他のライセンスに関して特定のライセンスを取得し、その命題の真偽の間の特定のあいまいさを、人間の理由との密接な一致と関係で認めます。

別の順序では、人工的で象徴的な言語を使用して処理され、内容を抽象化する数理論理学を見つけることができます。そして最後に、2つの離散値のみを許可する変数で機能するバイナリロジック