論理における三段論法とは何か、その構造、前提間の関係、タイプ、規則、および例について説明します。また、誤謬とは何ですか。
三段論法とは何ですか？
の 論理、三段論法は 推論、 そんなに 帰納的 何 演繹的。その名前はギリシャ語に由来します 三段論法 とによって研究されました 哲学 ギリシャの古代、特にそれを最初に考案したアリストテレス（紀元前384年から322年）によるもの。
これは論理的推論の固定された方法であり、2つの前提と1つの部分の3つの部分で構成されています。 結論、後者は最初の2つの結果として得られます。
すべての三段論法は、判断、つまりそれらの比較を通じて2つの部分を関連付けます。最初に、アリストテレスは 大前提、2番目に マイナーな前提 そして結論として 結果として。これらの部分は通常、次のように理解されます 命題、真（V）または偽（F）の値を持つ傾向があります。
三段論法または三段論法の論理は、命題論理、数学またはコンピューターの研究、および哲学の研究で豊富に実践されています。
三段論法の構造
前に述べたように、三段論法の構造は、それらが取り組む問題やその前提の性質に関係なく固定されており、3つの要素で構成されています。
- 結論（P）の述語に相当する大前提。
- マイナーな前提、同等 主題 結論の（S）。
- PとSを比較する中期。
- PとSの関係を肯定または否定することによって到達する後件または結論。
これらの用語は、判断によって相互に関連しています。判断は、それらが行う肯定または拒否のタイプに応じて、特定の性質を持つ可能性があります。
- 普遍的：彼らは、プロパティがすべての要素に関係している、つまり、すべてのSがPであると考えています。
- 特に：それどころか、それらはより大きな全体のいくつかの要素にプロパティを拡張します。つまり、いくつかのSはPです。
- 肯定的：ユニオンとも呼ばれ、用語間の同値関係を提案します：SはPです。
- ネガティブ：分離とも呼ばれ、前のものの反対を提案します：SはPではありません。
したがって、4つのタイプがあります 引数 三段論法から可能：
- （A）肯定的な普遍性：すべてのSはPです（ここで、Sは普遍的であり、Pは特定のものです）。例：「すべての人間は呼吸しなければなりません。」
- （E）負の普遍性：SはPではありません（Sは普遍的でPは普遍的です）。 「人間は水中で呼吸しません。」
- （I）肯定的な詳細：一部のSはPです（Sは特定で、Pは特定です）。 「何人かの人間はエジプトで生まれます。」
- （O）否定的な詳細：一部のSはPではありません（Sは特定であり、Pは普遍的です）。 「一部の人間はエジプトで生まれていません。」
三段論法の種類
三段論法の前提がどのように関連しているかに応じて、次のようないくつかのクラスを区別できます。
カテゴリまたは古典的な三段論法。これは通常の単純なタイプの三段論法であり、前提と結論は単純な命題です。例えば：
- 毎週月曜日から始まります。
- 今日は月曜日です。
- それで、今日は一週間始まります。
条件付き三段論法。このタイプでは、大前提は2つのカテゴリー命題に関して依存関係を確立します。したがって、小前提はいくつかの用語を肯定または否定し、結論は反対の用語を肯定または否定します。例えば：
- 昼間なら太陽が輝いています。
- 今は日光ではありません。
- だから太陽は輝かない。
選言三段論法。その中で、大前提は論理和、つまり2つの相反する用語の間の選択を提案しているので、それらが同時に真または偽になることはありません。例えば：
- 動物はオスまたはメスで生まれます。
- 動物はオスとして生まれます。
- だから女性ではありません。
三段論法の規則
三段論法は、次のような一連の破られない規則によって管理されます。
- 三段論法は3つ以上の用語で構成されていません。
- 結論は、前提よりも広範囲に及ぶことはできません。
- 結論に中立することはできません。
一方、施設には次のルールもあります。
- 2つの否定的な前提から結論を引き出すことはできません。
- 2つの肯定的な前提から否定的な結論を引き出すことはできません。
- 2つの特定の前提から有効な結論を引き出すことはできません。
三段論法の例
三段論法の簡単な例を次に示します。
- スペインで生まれた人はスペイン人です。私の母はスペインで生まれました。それから私の母はスペイン語です。
- 雨が降ったときだけ遅れます。今日は雨は降らなかった。その後、私は時間通りになります。
- 泳げない人もいます。自分を救うには泳ぐ必要があります。そうすると、何人かの人々は救われません。
- 私の友達はみんなスペイン語を話します。ロドリゴはスペイン語を話しません。したがって、ロドリゴは私の友達ではありません。
誤謬
誤謬は、正式には有効であるように見えるが、そうではない議論です。これは、その前提と結論が虚偽または真であることを意味するのではなく、それらの間に確立された関係が無効であることを意味します。
彼らの中で 洗練された反論アリストテレスは最大13種類の誤謬を特定しましたが、現代の分類では数百種類あります。誤謬の簡単な例は、次の三段論法です。
- 私のクラスメートは全員英語です。ボリスは英語です。それからボリスは私のパートナーです。
後でわかるように、英語であることがパートナーであることを条件としないので、必ずしも敷地から引き出されるとは限らないという結論に達しますが、その逆です。この最初の前提から、ボリスがパートナーであると言われた場合にのみ、ボリスは英語であると結論付けることができました。