6つの主な論理タイプ

いくつかあります ロジックの種類 そしてすべての人が自分たちの研究目的を推論の理解に集中し、それらがいつ正しいか間違っているかを見極める.

論理学の研究は、ギリシャの哲学者アリストテレスの時代から現在に至るまで発展してきました。これは、より具体的であると同時に人間の日常生活により適応することを意図して調整されています。さまざまな分野でのより具体的なアプリケーション.

論理は議論と命題の体系的な研究を求めています、そして論理の異なるタイプは内容と関係があるものとしてこれらのステートメントの純粋に形式的な構造とその内容の力の両方を研究することを可能にします.

論理は文の研究に基づいていますが、自然言語（私たちが知っているとおりの言語）にはっきりと焦点を当てていませんが、その有用性は数学や数学などのさまざまな分野やさまざまな構造に達しています。コンピューティング.

最も関連性の高い種類のロジック

形式的論理は、古典的論理またはアリストテレス論理としても知られており、構造的観点からの命題、議論、文または文の研究です。.

それは思考を構造化し、特定のアプローチの正しいまたは誤った形式を決定するための方法です。.

形式的論理は、特定の議論の内容の真実や虚偽に焦点を当てるのではなく、その形式の構成の妥当性やそうでなければ焦点を当てる.

つまり、形式論理の研究の目的は経験的ではない。論理学者にとって、提示された議論が真実で証明されているかどうかを判断することは意味がない。しかし彼の研究は明らかにこの議論の構造に焦点を当てている.

形式論理の中には、演繹論理と帰納論理の2つの非常に重要な分類があります。.

演繹論理は、一般的な概念から生成された特定のステートメントを指します。このような論理的推論を通して、すでに存在する概念や理論から推論を行うことができます。.

例えば、演繹論理の中では、人間が足を持っていてクララが人間であれば、クララは足を持っていると言うことができます。.

帰納的論理の場合、議論の構築は反対の方法で起こります。つまり、一般的な概念は特定の引数から作成されます。.

例えば、帰納的論理の中では、ある猫が魚を好み、別の猫もそれを好み、別の猫もまた魚を好きであると言うことができます。.

インフォーマルロジックは、言語と意味構造と引数から生じるメッセージに焦点を当てた研究の一分野です。.

この論理は形式論理とは異なります。形式論理は文と命題の構造を研究するからです。そして非公式論理は送信されたメッセージの背景に焦点を合わせる.

その研究の目的は、望ましい結果を得るために議論する方法です。非公式論理は、より弱い議論的構造を持つものの中でより首尾一貫した論理的議論を検証する.

非古典的論理、または現代論理は、19世紀に始まり、古典的論理の記述に反対して生まれます。.

それは論理の古典的なアプローチを通して包含することが可能であるよりもっと多くの局面をカバーすることができる分析の他の形を確立します.

これが、数学的および記号的な要素、形式的論理システムの欠点を補うために生まれた新しいステートメントまたは定理を含む方法です。.

非古典的論理の中には、とりわけ、様相、数学、三価など、論理のさまざまなサブタイプがあります。.

これらすべての種類の論理は、形式的論理とある程度異なるか、または補完的な新しい要素を組み込んでおり、特定のステートメントの論理的研究をより正確にし、日常生活の中での実用性に適応させることができます。.

記号論理は、一次論理、または数学論理とも呼ばれ、引数を「翻訳」するための新しい言語を構成する記号を使用することを特徴としています。.

記号論理の意図は、抽象的な考えをより形式的な構造に変換することです。.

実際、それは自然言語（language）を使用しませんが、自然言語で適用されることができるより正確な規則の適用に影響されやすい要素に文を変換する技術的な言語を使います。.

それから、記号論理は計算の法則を通して命題の取り扱いを可能にし、混乱や不正確さを避けます。.

形式的論理構造の分析に数学的要素を取り入れようとしています。数学の分野では、論理は定理を証明するために使われます.

要するに、象徴的または数学的論理は、数学的言語を通して人間の考えを表現しようとします。.

この数学的な論理の応用により、引数と構成をより正確にすることができます。.

様相論理は議論の研究に焦点を合わせるが、問題となっている声明が真か偽かの可能性に関連する要素を追加する.

様相論理は人間の思想とより一致するふりをするので、それは「可能」、「可能性」、「時に」、「おそらく」、「おそらく」、「可能性が高い」、「多分」などの構造の使用を含む"、とりわけ.

様相論理では、それは可能性があるシナリオを考慮することの問題であり、そして論理的な観点から、存在し得る全ての可能性を考慮する傾向がある。.

計算論理は、記号論理または数学論理から派生した一種の論理であり、計算の分野でのみ適用されます。.

コンピュータプログラムはその開発のためにプログラミング言語を使用し、そして論理を通して、それらの言語システム上で作業し、特定のタスクを割り当てそして検証動作を実行することが可能である。.

ブリタニカ百科事典の「論理」。 2017年8月4日の百科事典Britannicaからの取得：britannica.com
ブリタニカ百科事典の「形式的論理」。 2017年8月4日の百科事典Britannicaからの取得：britannica.com
Hernández、F.メキシコ国立自治大学の「計算論理」。 2017年8月4日、メキシコ国立自治大学からの取得：unam.mx
Muñoz、C。マドリードのComplutense大学の「非古典的な論理学」。 2017年8月4日、マドリード大学コンプルテンセデマドリッドからの引用：ucm.es
Julia、J.「記号論理とは何ですか？」eHow enEspañol。 2017年8月4日にeHow enEspañolから取得：ehowenespanol.com
Oller、C.ラプラタ国立大学にて "形式的論理と議論"（2006）。 2017年8月4日にラプラタ国立大学から取得：rfytp.fahce.unlp.edu.ar
Junta de Extremaduraにおける「演繹的帰納的推論」 2017年8月4日、Junta de Extremaduraでの検索結果：educarex.es.

« 主な伝説の6つのタイプ科学的観測の6つの主な種類 »