ロジックとは: 種類と例

ロジックは 、 ロゴス 、 理性 、 言葉 、または 談話 に関連するギリシャ語の ロジケ に由来する女性名詞であり、 推論の科学 を意味します。

比喩的な意味では、ロジックという言葉は、正確には、 特定の推論方法 に関連しています。例: これは決して機能しません。あなたの計画には何の論理もありません！

論理 問題 またはゲームは、個人が 論理的推論 を使用して問題を解決する必要があるアクティビティです。

アリストテレスによれば、論理学には研究の対象として 思考 と、それを制御する法則と規則があり、したがってこの思考は正しいとされています。ギリシャの哲学者にとって、論理の構成要素は 概念 、 判断 、 推論 です。論理の法則は、これらの要素間に存在する接続と関係に対応します。

アリストテレスの後継者の中には、13 世紀まで続いた中世論理学の基礎を担った人もいました。

ガレノス、ポルピュリ、アフロディシアのアレクサンダーなどの中世の思想家は、論理を正しく判断する科学として分類し、正しく形式的に有効な推論に到達することを可能にしました。

プログラミング ロジックは、コンピューター プログラムを作成するために使用される言語です。これは、開発の論理チェーンを定義するため、コンピューター プログラムやシステムの開発に不可欠です。

この開発のステップはアルゴリズムとして知られており、関数を実行するための論理的な命令シーケンスで構成されます。

議論の論理により、発言の真実性を評価することができます。相対的または主観的な概念では実行されません。それらは、その妥当性が検証できる具体的な命題です。この場合、論理は命題の内容ではなく、命題の形式を評価することを目的としています。三段論法 (2 つの前提と 1 つの結論で構成される) は議論の論理の一例です。例えば：

フバは犬です。
すべての犬は哺乳類です。
したがって、コーンミールは哺乳類です。

数理論理学 (または形式論理) は、論理をその構造または形式に従って研究します。これは 演繹的な記述システム で構成されており、その目的は、推論の正当性を判断するための法律と規則​​のグループを作成することです。したがって、真の前提から真の結論に到達することができれば、その推論は有効であると考えられます。

数学的論理は、他の推論を通じて有効な推論を構築するためにも使用されます。推論には、演繹 的 （結論は前提の真実から必然的に得られる）と 帰納的 （確率的）があります。

形式論理は、命題論理と述語論理の 2 つのグループに分類できます。

ライプニッツは、数学の中心的な問題に取り組む形式論理または数学の概念を始めた頭脳であると多くの人に見られています。しかし、公理の一貫性に関する疑問が生じ始めたのは、ペアノの 1890 年以降になってからでした。

形式論理のいくつかの重要な原則は、「ブールの論理または代数」の著者である ジョージ ブールによって書かれた著作 「論理の数学的分析」 に 記載されています。

命題論理とは、真か偽かの議論の最小単位である節（命題）間の関係に従って推論を検討する論理の分野です。

以下も参照してください。