ロジックにはいくつかのタイプがあり、それらはすべて、推論の理解と、それらが正しいか正しくないかを識別することに焦点を当てています。論理学の研究は、ギリシャの哲学者アリストテレスの時代から現在に至るまで発展してきました。
倫理は、より具体的であると同時に、人間の日常生活によりよく適応することを目的として調整されてきました。これにより、さまざまな分野でより具体的なアプリケーションが可能になります。
論理の父として認められたアリストテレス。
ロジックは議論と命題の体系的な調査を求めており、さまざまなタイプのロジックにより、これらのステートメントの単なる正式な構造だけでなく、コンテンツと何が関係しているか、およびコンテンツの力の両方を調査することが可能になります。
ロジックはステートメントの研究に基づいていますが、自然言語（私たちが知っている言語）に明確に焦点を合わせていませんが、その有用性は、数学やコンピューティング。
最も適切なタイプのロジック
正式な論理
形式的論理は、古典的論理またはアリストテレス論理とも呼ばれ、命題、引数、ステートメント、または文を構造的な観点から研究します。これは、思考を構造化し、特定のアプローチの正しい形式または間違った形式を決定する方法です。
形式的論理は、特定の議論の内容の真実性または虚偽性に焦点を合わせるのではなく、その形式の構成の妥当性に焦点を当てています。
つまり、論理学の研究の目的は経験的ではありません。論理学者にとって、提示された議論が現実的で証明されているかどうかを判断することは重要ではありません。むしろ、彼の研究は明らかにその議論の構造に焦点を当てています。
形式的論理には、演繹的論理と誘導的論理という2つの非常に重要な分類があります。
演繹ロジックとは、一般的な概念から生成される特定のステートメントを指します。このタイプのロジックを通じて、既存の概念または理論から推論を行うことができます。
たとえば、演繹論理では、人間に脚があり、クララが人間である場合、クララには脚があると言えます。
帰納論理の場合、引数の構成は逆の方法で行われます。つまり、一般的な概念は特定の引数から作成されます。
たとえば、帰納論理では、1匹の猫が魚が好きで、別の猫も好きで、別の猫も魚が好きなら、すべての猫が魚が好きです。
非公式の論理
インフォーマルロジックは、セマンティックの構成と引数から発せられる言語とメッセージに焦点を当てた研究分野です。
この論理は、正式な論理とは異なり、その正式な論理は文と命題の構造を研究します。非公式のロジックは、伝えられたメッセージの内容に焦点を当てています。
その研究の目的は、望ましい結果を得るために主張する方法です。非公式な論理は、より弱い議論構造を持つ他のものの間でより首尾一貫した論理的議論に妥当性を与えます。
非古典的な論理
非古典的な論理、または現代の論理は、19世紀に始まり、古典的な論理の記述に対抗して生じます。ロジックへの従来のアプローチでカバーできるものよりも多くの側面をカバーできる他の形式の分析を確立します。
これは、数学的および記号的な要素が含まれる方法であり、正式な論理システムの欠陥を補うようになった新しいステートメントまたは定理です。
非古典的なロジックの中には、モーダル、数学、3価など、さまざまなロジックのサブタイプがあります。
これらすべてのタイプのロジックは、正式なロジックとある程度異なるか、補完的な新しい要素を組み込んでおり、特定のステートメントの論理的研究をより正確にして日常生活での実用性に適合させることができます。
シンボリックロジック
シンボリックロジックは、1次ロジックまたは数学ロジックとも呼ばれ、引数が「変換」される新しい言語を構成するシンボルを使用することを特徴とします。
シンボリックロジックの目的は、抽象的な思考をより正式な構造に変換することです。実際、それは自然言語（イディオム）を使用していませんが、自然言語で適用できるよりも正確な規則の適用の影響を受けやすい要素に文章を変換する技術言語を使用しています。
したがって、シンボリックロジックでは、混乱や不正確さを回避するために、微積分の法則を通じて命題を扱うことができます。
それは形式的な論理の構造の分析に数学的な要素を組み込むことを目指しています。数学的領域では、定理を証明するためにロジックが使用されます。
つまり、シンボリックまたは数学的ロジックは、数学的言語を通じて人間の思考を表現しようとするものです。
このロジックの数学的アプリケーションにより、引数と構文がより正確になります。
モーダルロジック
モーダルロジックは引数の研究に焦点を当てていますが、問題のステートメントが真または偽である可能性に関連する要素を追加しています。
モーダルロジックは人間の思考とより調和することを目的としているため、「可能性がある」、「可能性がある」、「時々」、「おそらく」、「おそらく」、「可能性がある」、「たぶん」などの構造の使用を包含します。 "、とりわけ。
モーダルロジックでは、可能性のあるシナリオを検討することであり、論理的な観点から、存在する可能性のあるすべての可能性を検討する傾向があります。
計算論理
計算ロジックは、記号的または数学的ロジックから派生したタイプのロジックであり、コンピューティングの分野でのみ適用されます。
コンピュータプログラムは開発にプログラミング言語を使用し、ロジックを通じて、それらの言語システムで作業し、特定のタスクを割り当て、検証アクションを実行することが可能です。
参考文献
- 百科事典ブリタニカの「論理」。2017年8月4日に百科事典Britannicaから取得：britannica.com
- 百科事典ブリタニカの「形式論理」。2017年8月4日に百科事典Britannicaから取得：britannica.com
- エルナンデス、F。メキシコ国立自治大学の「計算論理」。2017年8月4日にメキシコ国立自治大学から取得：unam.mx
- ムニョス、C。マドリードのコンプルテンセ大学の「非古典的論理」。2017年8月4日にマドリッドのコンプルテンセ大学から取得：ucm.es
- ジュリア、J「シンボリックロジックとは」スペイン語のeHowで。2017年8月4日にスペイン語のeHowから取得：ehowenespanol.com
- オラー、C。「正式な論理と議論」（2006）、ラプラタ国立大学。2017年8月4日にラプラタ国立大学から取得：rfytp.fahce.unlp.edu.ar
- Junta de Extremaduraの「演繹的および帰納的推論」。2017年8月4日、Junta de Extremaduraで取得：educarex.es。