请输入您要查询的百科知识:

 

词条 Modus non excipiens
释义 {{Orphan|date=May 2016}}

In logic, modus non excipiens[1][2] is a valid rule of inference that is closely related to modus ponens. This argument form was created by Bart Verheij to address certain arguments which are types of modus ponens arguments, but must be considered to be invalid. An instance of a particular modus ponens type argument is

A large majority accept A as true. Therefore, there exists a presumption in favor of A.

However, this is an argumentum ad populum, and is not deductively valid. The problem can be addressed by drawing a distinction between two types of inference identified by Verheij:

Modus ponens:

Premises:

  • As a rule, if P then Q
  • P

Conclusion:

  • Q

and

Modus non excipiens

Premises:

  • As a rule, if P then Q
  • P
  • It is not the case that there is an exception to the rule that if P then Q

Conclusion:

  • Q
1. ^Bart Verheij, ’Logic, Context and Valid InferenceOr: Can There be a Logic of Law’, 2000. Availableon bart.verheij@metajur.unimaas.nl, 
2. ^Walton, Douglas; Are Some Modus Ponens Arguments Deductively Invalid?, University of Winnipeg

2 : Rules of inference|Theorems in propositional logic

随便看

 

开放百科全书收录14589846条英语、德语、日语等多语种百科知识,基本涵盖了大多数领域的百科知识,是一部内容自由、开放的电子版国际百科全书。

 

Copyright © 2023 OENC.NET All Rights Reserved
京ICP备2021023879号 更新时间:2024/11/12 14:36:13