4つの最も重要なタイプのロジック（および特性）

論理は推論と推論の研究です. これは、有効な議論が誤謬とどのように異なり、どのようにそれらに到達するかを理解することを可能にした一連の質問と分析です。

このためには、さまざまなシステムと研究形式の開発が不可欠であり、その結果、4つの主要なタイプの論理が生まれました。 それぞれが何であるかを以下に示します。

• おすすめ記事： 「10種類の論理的および論議的誤謬」

ロジックとは何ですか？

「論理」という言葉はギリシャ語の「ロゴ」に由来し、さまざまな方法で翻訳できます。言葉、思考、議論、原則、理由などが主なものです。 この意味で、論理は原理と推論の研究です。

この研究は、推論のさまざまな基準と、無効な証明とは対照的に、有効な証明に到達する方法を理解することを目的としています。 では、論理の基本的な問題は、正しい考え方とは何か、そして有効な議論と誤謬をどのように区別できるかということです。

この質問に答えるために、ロジックは、ステートメントと引数を形式システムで発生するか自然言語で発生するかにかかわらず、それらを分類するさまざまな方法を提案します。 具体的には、真または偽の命題（宣言文）、および 誤謬、パラドックス、因果関係を含む議論、そして一般的には 議論。

一般的に、システムを論理的と見なすには、次の3つの基準を満たす必要があります。

• 一貫性 （システムを構成する定理の間に矛盾はありません）
• 堅牢性 （テストシステムには誤った推論は含まれていません）
• 完全 （すべての真の文はテスト可能でなければなりません）

4種類のロジック

これまで見てきたように、ロジックはさまざまなツールを使用して、何かを正当化するために使用する理由を理解します。 従来、4つの主要なタイプのロジックが認識されており、それぞれにいくつかのサブタイプと特異性があります。 それぞれが何であるかを以下に示します。

1. 正式な論理

伝統的な論理または哲学的論理としても知られています。 それは純粋に形式的で明示的な内容による推論の研究です. それは、その意味が本質的ではなく、むしろその記号が与えられた有用なアプリケーションのために意味をなす正式なステートメント（論理的または数学的）を分析することについてです。 後者が由来する哲学的伝統は、正確には「形式主義」と呼ばれています。

同様に、正式なシステムは、1つ以上の前提から結論を引き出すために使用されるシステムです。 後者は、公理（自明の命題）または定理（推論規則と公理の固定セットからの結論）である可能性があります。

正式な論理を通じて到達した結論は、 それらが有効な前提に基づいており、論理演算に障害がない場合、それらはそれ自体が真実です。. 実際、これは形式論理が科学の世界に属するかどうかについてのオープンな議論につながります。 または、現実を説明するのではなく、独自のルールを説明しているため、別の知識分野に属しています。 機能しています。

2. 非形式論理

その一部として、非形式論理はより最近の分野であり、 自然言語または日常言語で展開された議論を研究、評価、分析します. したがって、「非公式」のカテゴリを受け取ります。 それは話し言葉と書き言葉の両方、または何かを伝えるために使用されるあらゆるタイプのメカニズムと相互作用である可能性があります。 たとえば、コンピュータ言語の研究と開発に適用される形式論理とは異なります。 形式言語とは、言語と言語を指します。

したがって、非形式論理学は、個人的な推論や議論から政治的議論まで、すべてを分析することができます。 新聞、テレビ、インターネットなどのメディアによって広められた法的​​議論または前提 等

3. シンボリックロジック

名前が示すように、シンボリックロジックはシンボル間の関係を分析します。 従来の形式論理が複雑または取り組むのが難しいと感じる問題の研究を担当しているため、複雑な数理言語を使用することがあります。 通常、次の2つのサブタイプに分けられます。

• 述語論理または一階述語論理：数式と定量化可能な変数で構成される正式なシステムです
• 命題：それは命題で構成される正式なシステムであり、「論理接続詞」と呼ばれるコネクタを介して他の命題を作成することができます。 これには、定量化可能な変数はほとんどありません。

4. 数理論理学

それを説明する作者によっては、数理論理学は一種の形式論理学と見なすことができます。 他の人は、数理論理学には、数学への数理論理学の適用と、数理論理学への数理論理学の適用の両方が含まれると考えています。

大まかに言えば、それは人間の精神を再現することを可能にする論理システムの構築における数学的言語の適用についてです。 たとえば、これは人工知能の開発や認知研究の計算パラダイムに非常に存在しています。

通常、次の2つのサブタイプに分けられます。

• 論理主義：それは数学における論理の応用についてです。 このタイプの例は、証明論、モデル理論、集合論、および再帰理論です。
• 直観主義：論理学と数学の両方が、複雑な精神的構築を実行するために一貫して適用される方法であると主張します。 しかし、彼は、論理と数学だけでは、分析する元素の深い特性を説明することはできないと言います。

帰納的、演繹的、およびモーダル推論

一方、 論理システムと見なすこともできる3つのタイプの推論があります. これらは、私たちが前提から結論を引き出すことを可能にするメカニズムです。 演繹的推論は、この抽出を一般的な前提から特定の前提へと導きます。 古典的な例は、アリストテレスによって提案されたものです。すべての人間は人間です（これが一般的な前提です）。 ソクラテスは人間であり（それが大前提です）、そして最後に、ソクラテスは人間です（これが結論です）。

その一部として、帰納的推論は、結論が反対方向に引き出されるプロセスです：特定のものから一般的なものへ。 この例は、「私が見ることができるすべてのカラスは黒い」（特定の前提）です。 したがって、すべてのカラスは黒です（結論）。

最後に、推論または様相論理は確率論的議論に基づいています。つまり、それらは可能性（モダリティ）を表現します。 これは、「可能性がある」、「かもしれない」、「しなければならない」、「最終的に」などの用語を含む正式な論理システムです。

書誌参照：

• Groarke、L。 (2017). 非形式論理。 スタンフォード哲学百科事典。 2018年10月2日取得。 で利用可能 https://plato.stanford.edu/entries/logic-informal/
• ロジック（2018）。 哲学の基本。 2018年10月2日取得。 で利用可能 https://www.philosophybasics.com/branch_logic.html
• マグナニ、L。 (2001). 誘拐、理由、および科学：発見と説明のプロセス。 ニューヨーク：Kluwer Academic PlenumPublishers。
• マッギン、C。 (2000). 論理的特性：アイデンティティ、存在、予測、必要性、真実。 オックスフォード：クラレンドンプレス。
• クイン、W.V.O。 （1986）（1970）。 論理学の哲学。 ケンブリッジ、マサチューセッツ州：ハーバード大学出版局。
• シャピロ、S。 とコウリ、S。 (2018). 古典論理。 2018年10月2日取得。 Logic（2018）で利用できます。 哲学の基本。 2018年10月2日取得。 で利用可能 https://www.philosophybasics.com/branch_logic.html
• ガーソン、J。 (2018). 様相論理。 スタンフォード哲学百科事典。 2018年10月2日取得。 で利用可能 https://plato.stanford.edu/entries/logic-modal/