В логике , модус не являющееся excipiens [1] [2] является действительным правилом вывода , который тесно связан с модус поненс . Эта форма аргумента была создана Бартом Верхейем для обращения к определенным аргументам, которые являются типами аргументов modus ponens , но должны считаться недопустимыми. Примером конкретного аргумента типа modus ponens является
- Подавляющее большинство принимают А за истину. Следовательно, существует презумпция в пользу А.
Тем не менее, это аргумент в пользу народа и не является дедуктивным. Проблему можно решить, проведя различие между двумя типами вывода, идентифицированными Верхей:
Modus ponens :
- Предпосылки:
- Как правило, если P, то Q
- п
- Заключение:
- Q
а также
Modus non excipiens
- Предпосылки:
- Как правило, если P, то Q
- п
- Это не тот случай, когда существует исключение из правила, что если P, то Q
- Заключение:
- Q
- ^ Барт Верхей, «Логика, контекст и действительный вывод или: может ли быть логика закона», 2000. Доступно на [email protected], [1]
- ^ Уолтон, Дуглас; Являются ли некоторые аргументы Modus Ponens дедуктивно недействительными? , Университет Виннипега