シェア:
Modus Ponendo Ponens説明と例
の modus ponendo ponens それは、よく知られている命題論理の推論規則の形式的システムに属する、推論の一種の論理的な議論です。この議論構造は命題論理で伝達される初期パターンであり、条件付き議論に直接関係しています.
議論 modus ponendo ponens それは二本足の三角法として見ることができ、それはリンクとして役立つために第三の用語を使う代わりに、それが先行する要素を結果的な要素に関連付ける条件付き文を使う.
慣習を去ると、 modus ponendo ponens 手続きとして（様相これは、アサーションによって入れて）先行詞または参照（前の要素）のポネンス）結論または結論へ（後の要素）.
この合理的な定式化は、2つの命題または前提から始まります。それはこれらの結論を通して、議論の中で暗黙的かつ条件付きであるにもかかわらず、それに先行する用語の両方の二重の肯定を必要とするという結論を推論しようとしている。.
索引
- 1起源
- 1.1語源
- 2説明
- 3例
- 3.1最初の例
- 3.2 2番目の例
- 3.3 3番目の例
- 4変形と例
- 4.1バリアント1
- 4.2バリアント2
- 4.3バリアント3
- 4.4バリアント4
- 5 Modus ponens、論理への道
- 6参考文献
起源
演繹的論理の適用の一部としてのこの肯定モードは、古代にその起源を持っています。紀元前4世紀、エスタギラのギリシャ人哲学者アリストテレスの手によって登場しました。 C.
アリストテレス modus ponens -それがまた呼ばれるように - 前提の前例と結果の両方の検証を通して合理的な結論を得るため。このプロセスでは、先行詞は削除され、結果として得られるものだけが残ります。.
ギリシャの思想家は、人間の存在、環境との相互作用の産物に近いすべての現象を説明し概念化するために、論理的な説明的推論の基礎を築きたかったのです。.
語源
の modus ponendo ponens その起源はラテン語です。スペイン語では、その意味は、「肯定（肯定）、肯定（肯定）する方法」です。これは、前述のように、構造化において肯定的な2つの要素（先行詞と結果）から成り立っているためです.
説明
一般的には、 modus ponendo ponens 2つの命題を相互に関連づける：「P」と呼ばれる条件付き先行条件と「Q」の名前を受け取る条件付き結果.
前提1が常に「if-then」の条件式を提示することが重要です。 "if"は先行詞の前に行き、 "then"はその結果の前に行きます.
その定式化は次のとおりです。
前提1： "P"ならば "Q".
前提2： "P".
結論： "Q".
例
最初の例
前提1：「明日試験に合格したい場合は、たくさん勉強する必要があります」.
前提2：「明日試験に合格したい」.
結論：「だから、たくさん勉強しなければならない」.
2番目の例
前提1：「早く学校に行きたいのなら、その道を通らなければならない」.
前提2：「早く学校に行きたい」.
結論：「だから、その道を通らなければならない」.
3番目の例
前提1：「魚を食べたいなら、市場に買いに行かなければならない」.
前提2：「魚を食べたい」.
結論：「それゆえ、あなたは市場で買いに行かなければならない」
変形例
の modus ponendo ponens その製剤中に小さな変異体を提示してもよい。次に、それぞれの例とともに最も一般的な4つのバリエーションを紹介します。.
バリアント1
前提1： "P"の場合 "¬Q"
前提2： "P"
結論： "¬Q"
この場合、記号 "¬"は "Q"の否定に似ています。
最初の例
前提1：「そのように食べ続けると、理想の体重に達しません」.
前提2：「あなたはそのまま食べ続けます」.
結論：「したがって、あなたはあなたの理想的な体重を達成することはできません」.
2番目の例
前提1：「あなたがそんなに塩を食べ続けるなら、あなたは高血圧をコントロールすることができないでしょう」.
前提2： "あなたはまだそんなに塩を食べます".
結論：「したがって、あなたは高血圧をコントロールすることはできません」.
3番目の例
前提1：「あなたが道路にいるなら、あなたは負けない」.
前提2：「あなたは道を見ています」.
結論：「だから、負けない」.
バリアント2
前提1： "P" ^ "R"そして "Q"の場合
前提2： "P" ^
結論： "Q"
この場合、記号 "^"は交尾論理積 "and"を表し、 "R"は "Q"を検証するために追加される別の先行詞を表すようになります。つまり、私たちは二重の条件の存在下にあります.
最初の例
前提1：「家に帰ってポップコーンを持ってきたら、映画が見られる」.
前提2：「家に帰ってポップコーンを持ってくる」.
結論：「それゆえ、私たちは映画を見るでしょう」.
2番目の例
前提1：「酔っ払って携帯電話を見ると、クラッシュする」.
前提2：「酔っ払って携帯電話を見る」.
結論：「したがって、あなたはクラッシュするでしょう」.
3番目の例
前提1：「あなたがコーヒーを飲んでチョコレートを食べるなら、あなたはあなたの心の世話をしています」.
前提2：「コーヒーを飲み、チョコレートを食べる」.
結論：「それゆえ、あなたはあなたの心の世話をしています」.
バリアント3
前提1： "¬P"の場合 "Q"
前提2： "¬P"
結論： "Q"
この場合、記号 "¬"は "P"の否定に似ています。.
最初の例
前提1：「母音の一致を勉強しなかった場合、言語学試験に不合格になります」.
前提2：「母音の一致については調べていない」.
結論：「したがって、あなたは言語学試験に失敗するでしょう」.
2番目の例
前提1：「あなたがオウムに食べ物を与えなければ、それは死ぬでしょう」.
前提2：「あなたはあなたのオウムに食べ物を与えない」.
結論：「それゆえ、彼は死ぬ」.
3番目の例
前提1：「あなたが水を飲まないなら、あなたは脱水状態になるでしょう」.
前提2：「水を飲まない」.
結論：「したがって、あなたは脱水状態になるでしょう」.
バリアント4
前提1： "P"の場合 "Q" ^ "R"
前提2： "P"
結論： "Q" ^ "R"
この場合、記号 "^"は論理積の論理積 "and"を暗示しますが、 "R"は命題における2番目の結果を表します。したがって、先行詞は同時に2つの結果を肯定します。.
最初の例
前提1：「もしあなたがあなたの母親に親切だったら、それからあなたの父親はあなたにギターと彼の弦を持ってくるでしょう」.
前提2：「あなたはお母さんに親切でした」.
結論：「それゆえ、あなたの父はあなたにギターとその弦を持ってくるでしょう」.
2番目の例
前提1：「あなたが水泳を練習しているなら、あなたはあなたの身体的持久力を改善し、体重を減らすでしょう」.
前提2：「あなたは水泳を練習しています」.
結論：「したがって、あなたはあなたの身体的持久力を改善し、体重を減らすでしょう」.
3番目の例
前提1：「Lifederでこの記事を読むと、あなたは学んだことになり、あなたはもっと準備ができています」.
前提2：「Lifederでこの記事を読んだことがあります」.
結論：「それゆえ、あなたは学んでおり、より準備ができている」.
Modus ponens, ロジックへのパス
の modus ponens 命題論理の最初の規則を表します。単純な建物から理解することから始めて、理解をより深く推論することが概念です。.
論理の世界で最も使用されているリソースの1つであるにもかかわらず、それは論理法則と混同することはできません。それは単なる演繹的証拠の作成のための方法です.
結論から判断を削除することによって、 modus ponens 控除をするときに要素の凝集と広範囲の連結を避けます。その品質のためにそれは "分離規則"とも呼ばれます.
の modus ponendo ponens それはアリストテレスの論理の完全な知識にとって不可欠なリソースです。.
参考文献
- Ferrater Mora、J.（1969）。哲学の辞書。ブエノスアイレス：Hispanoteca。取得元：hispanoteca.eu.
- Modusはポニーを入れます。 （Ｓ．ｆ。）。スペイン：Webnode。取得元：ley-de-inferencia5.webnode.es.
- Modusはポニーを入れます。 （Ｓ．ｆ。）。 （n / a）：ウィキペディア。取得元：wikipedia.org.
- 推論および等価の規則（Ｓ．ｆ。）。メキシコ：UPAV。取得元：universidadupav.edu.mx.
- Mazón、R.（2015）。ポネツを入れる。メキシコ：スーパーミレット。から回復した：supermileto.blogspot.com.