定義ABCの概念

論理は形式科学です。つまり、他の形式科学と同様に、論理は独自の研究対象を作成し、 推論 そして心によるアイデアの創造はあなたのものです 方法論 仕事と知識だけでなく、論理も、 哲学、その研究の目的はデモンストレーションの原則であり、 推論 有効。これは、最終的に正しい推論と誤った推論を区別できるようにする方法です。.

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

上記で説明し、アリストテレスが創設者として立っているこのロジックは、次のようにも知られています。 正式な論理その間、 非形式論理 これは、哲学、修辞学、および 礼拝堂、これらを扱う他の科学の中でも。

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

しかし、公式および非公式の論理では、次のようなまったく異なる方法論を提案する他のタイプの論理もあるため、質問は尽きません。 自然な論理 それは 思想 たまたま、形式科学をサポートベースとして利用することなく、自然なことです。

そうして ファジー論理またはファジーとも呼ばれます 他のライセンスに関して特定のライセンスを取得し、特定のライセンスを認めていること あいまいさ 彼らの命題の真実または虚偽の間で、人間の理性との密接な合意と関係において。

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