非処方薬
| 変換ルール |
|---|
| 命題計算 |
| 推論規則（リスト） |
| 交換のルール |
| 述語論理 |
| 推論の規則 |
論理学において、modus non excipiens [ 1 ] [ 2 ] は、modus ponensと密接に関連する有効な推論規則です。この議論形式は、 modus ponens型議論の一種でありながら無効とみなされるべき特定の議論に対処するために、Bart Verheijによって考案されました。特定のmodus ponens型議論 の例は、
- 大多数がAを真実であると認めている。したがって、Aを支持する推定が存在する。
しかし、これは民衆への論証であり、演繹的に妥当ではありません。この問題は、Verheijが特定した2種類の推論を区別することで解決できます。
モーダスポネンス：
- 敷地内：
- 原則として、PならばQ
- P
- 結論：
- 質問
そして
非処方薬
- 敷地内：
- 原則として、PならばQ
- P
- PならばQという規則に例外があるわけではない。
- 結論：
- 質問
参考文献
