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

四月 24, 2024

論理は推論と推論の研究である 。これは一連の質問と分析であり、正当な主張がどのように間違っているのか、またどのように到着したのかを理解することができました。

このために、さまざまなシステムや研究形態の開発が不可欠であり、4つの主要なタイプの論理につながっています。彼らのそれぞれが何であるかを以下に見ていきます。

推奨される記事：[論理的および議論的な誤謬の10種類]（論理的および議論的な誤謬の10種類）

論理とは何ですか？

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

この調査は、無効なデモンストレーションとは対照的に、異なる推論基準と有効なデモンストレーションにどのように到達するのかを理解するという目的を持っています。だから、論理の基本的な問題は、正しい考え方とは何か、そしてどのようにして正当な議論と誤解を区別できるのでしょうか？

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

一般的には、システムを論理的なものと見なすには、3つの基準を満たさなければなりません。

一貫性 （システムを構成する定理の間に矛盾はない）
固まり （テストシステムは誤った推論を含まない）
完了（すべての真の文が証明されなければならない）

4種類のロジック

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

1.正式論理

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

次に、正式なシステムとは、1つまたは複数の施設から結論を抽出するために使用されるシステムです。後者は、公理（自己明示命題）または定理（推論と公理の固定された一連の集合の結論）であってもよい。

2.非公式の論理

その部分については、非公式の論理がより最近の規律であり、 自然言語または日常的な言語で表示された議論を調査、評価、分析する 。したがって、それは "非公式"のカテゴリーを受け取る。それは、口頭または文章の言語、または何かを伝達するために使用される任意のタイプのメカニズムおよび相互作用のいずれかとすることができる。たとえば、コンピュータ言語の研究と開発に適用される正式な論理とは異なり、正式な言語は言語と言語を指します。

したがって、非公式の論理は、個人的な推論や議論、政治的議論、法的主張や新聞、テレビ、インターネットなどのメディアによって広められた施設への議論から分析することができる。

3.記号論理

名前が意味するように、記号論理は記号間の関係を分析します。時には複雑な数学的言語を使用することもあります。伝統的な正式論理が扱うのが複雑で困難な問題を研究する責任があるからです。通常、2つのサブタイプに分かれています。

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

4.数学的論理

それを記述する著者に応じて、数学的論理は正式な論理の一種と考えることができる。他の人は、数学的論理には正式論理の数学への適用と、数学的推論の正式論理への適用の両方が含まれると考えている。

概して言えば、論理システムの構築における数学的言語の適用は、人間の心を再現することを可能にする。例えば、これは人工知能の開発および認知研究の計算パラダイムに非常に存在している。

通常、2つのサブタイプに分かれています。

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

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

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

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

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

書誌事項：

Groarke、L.（2017）。非公式論理。スタンフォード哲学百科事典。 2018年10月2日に取得されました。//plato.stanford.edu/entries/logic-informal/で入手できます。
ロジック（2018）。哲学の基礎。 2018年10月2日に取得されました。//www.philosophybasics.com/branch_logic.htmlから入手できます。
Shapiro、S. and Kouri、S.（2018）。古典論理。 2018年10月2日に取得されました。ロジック（2018）で利用可能です。哲学の基礎。 2018年10月2日に取得されました。//www.philosophybasics.com/branch_logic.htmlから入手できます。
Garson、J。（2018）。モーダルロジック。スタンフォード哲学百科事典。 2018年10月2日に取得されました。//plato.stanford.edu/entries/logic-modal/から入手できます。