4つの最も重要な種類のロジック（および機能）

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

そのためには、4つの主要なタイプのロジックを導いてきたさまざまなシステムや研究形態の開発が不可欠でした。それぞれの意味を以下に示します。.

• おすすめ記事：[「10種類の論理的および論争的誤謬」]（10種類の論理的および論争的誤謬）

ロジックとは?

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

この研究は、無効なデモンストレーションとは対照的に、推論のさまざまな基準と、有効なデモンストレーションにどのように到達するかを理解することを目的としています。それで、論理の基本的な問題は正しい思考が何であり、そして私たちが有効な議論と虚偽を区別することができるかということです。?

この質問に答えるために、論理は文と引数が正式なシステムであろうと自然言語であろうと、文と引数を分類するさまざまな方法を提案します。具体的には、虚偽、パラドックス、因果関係を含む議論、そして一般的に論議の理論と同様に、真または偽である可能性がある命題（宣言文）を分析します。.

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

• 一貫性 （システムを構成する定理間に矛盾はありません）
• 強さ （テストシステムは誤った推論を含みません）
• コンプリートゥ （すべての真の文章が証明されなければなりません）

4種類のロジック

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

1.正式なロジック

伝統的論理または哲学的論理としても知られる, それは純粋に形式的で明示的な内容を持つ推論の研究についてです. その意味は本質的なものではありませんが、その記号は与えられた有用なアプリケーションによって意味を成します。後者が由来する哲学的伝統は、まさに「形式主義」と呼ばれます。.

言い換えると、正式なシステムは、1つ以上の施設から結論を引き出すために使用されるシステムです。後者は公理（自明の命題）または定理（推論および公理の固定セットの規則の結論）でありえる.

2.非公式ロジック

その部分については、インフォーマルロジックはより最近の分野です。 自然言語または日常の言語で表示された引数を研究、評価、および分析する. したがって、それは「非公式」のカテゴリを受け取ります。それは、話し言葉または書かれた言語、あるいは何かを伝達するために使用される任意の種類のメカニズムおよび相互作用であり得る。形式的論理とは異なり、これは例えばコンピュータ言語の研究と開発に適用されます。正式言語とは、言語と言語のことです。.

したがって、インフォーマルロジックは、個人的な推論や政治的な討論、法的な議論、あるいは新聞、テレビ、インターネットなどのメディアによって広められた施設への議論から分析することができます。.

記号論理

その名前が示すように、記号論理は記号間の関係を分析します。それは伝統的な形式的論理が対処するのが難しいか難しいと感じる問題を研究する責任があるので時々それは複雑な数学的言語を使う。通常2つのサブタイプに分けられます。

• 予測論理または1次：公式と定量化可能な変数からなる形式的システム
• 命題それは命題で構成された正式なシステムであり、「論理的結合」と呼ばれる結合子を通して他の命題を作成することができます。これには、定量化できる変数はほとんどありません。.

4.数学ロジック

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

大まかに言って、論理システムの構築における数学的言語の適用は、人間の心を再現することを可能にします。例えば、これは人工知能の開発や認知研究の計算パラダイムに非常に見られます。.

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

• 論理主義それは数学における論理の応用についてです。このタイプの例は、テストの理論、モデルの理論、集合の理論、および再帰の理論です。.
• 直感主義：論理と数学の両方がその応用が複雑な精神構造を実行するために一貫している方法であると主張する。しかし、彼はそれ自体では、論理と数学は彼らが分析する要素の深い性質を説明することができないと言います.

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

一方で, 論理システムとも考えられる3種類の推論があります. これらは、私たちが施設から結論を引き出すことを可能にするメカニズムです。演繹的推論は、一般的な前提から特定の前提へのそのような抽出を行います。典型的な例は、アリストテレスによって提案されたものです：すべての人間は人間です（これは一般的な前提です）。ソクラテスは人間です（それが主要な前提です）、そして最後に、ソクラテスは致命的です（これが結論です）.

一方、帰納推論とは反対の方向、具体的なものから一般的なものへと結論を導くプロセスです。この例としては、「私が見ることができるカラスはすべて黒です」（特定の前提）などがあります。それで、すべてのカラスは黒くなります（結論）.

最後に、推論または様相論理は確率論的な議論に基づいています、すなわち、それらは可能性（様相）を表現します。それは "可能"、 "可能"、 "必要"、 "最終的に"などの用語を含む正式な論理システムです。.

書誌参照：

• Groarke、L.（2017）。インフォーマルロジックスタンフォード百科事典哲学。 2018年10月2日に取得。https://plato.stanford.edu/entries/logic-informal/から入手可能
• ロジック（２０１８）。哲学の基本2018年10月2日に取得。https://www.philosophybasics.com/branch_logic.htmlで入手可能
• Ｓｈａｐｉｒｏ、Ｓ．およびＫｏｕｒｉ、Ｓ．（２０１８）。古典的な論理2018年10月2日に取得。論理（2018）で利用可能。哲学の基本2018年10月2日に取得。https://www.philosophybasics.com/branch_logic.htmlで入手可能
• Garson、J.（2018）。様相論理スタンフォード百科事典哲学。 2018年10月2日に取得。https://plato.stanford.edu/entries/logic-modal/から入手可能