В аристотелевской логике , изречение де всенаправленный и др nullo ( Latin : «максима всех и ни») является принцип , что все , что утверждается или отрицается в целом виде К может быть подтвержден или отклонен (соответственно) любого подвид К. This Принцип является фундаментальным для силлогистической логики в том смысле, что все действительные силлогистические формы аргументации сводятся к приложениям двух составляющих принципов dictum de omni и dictum de nullo . [1]
Dictum de omni
Dictum de omni (иногда ошибочно интерпретируемый как универсальное воплощение ) - это принцип, согласно которому все, что универсально утверждается в некотором роде, также подтверждается для любого подобного рода.
Пример:
(1) Собаки - млекопитающие.
(2) У млекопитающих есть печень.
Следовательно (3) у собак есть печень.
Предпосылка (1) гласит, что «собака» является разновидностью вида «млекопитающее».
Предпосылка (2) - это ( универсальное утвердительное ) утверждение о виде «млекопитающих».
Утверждение (3) заключает, что то, что верно для вида «млекопитающее», верно и для подвида «собака».
Dictum de nullo
Dictum de nullo - это связанный с этим принцип, согласно которому все, что отрицается в каком-либо виде, также отвергается и в любом подобном роде.
Пример:
(1) Собаки - млекопитающие.
(4) У млекопитающих нет жабр.
Следовательно (5) у собак нет жабр.
Предпосылка (1) гласит, что «собака» является разновидностью вида «млекопитающее».
Предпосылка (4) - это ( универсальное отрицательное ) утверждение о виде «млекопитающих».
Утверждение (5) заключает, что то, что отрицается от вида «млекопитающее», отрицается от подвида «собака».
Каждый из этих двух принципов является примером допустимой формы аргумента, известной как универсальный гипотетический силлогизм в логике предикатов первого порядка . В силлогистике Аристотеля они соответствуют, соответственно, двум формам аргумента, Барбаре и Селаранту.
Смотрите также
Рекомендации
- Аристотель , Prior Analytics , 24b, 28-30.
Заметки
- ↑ Джон Стюарт Милль (15 января 2001 г.). Система логики, рационального и индуктивного: будучи взаимосвязанным взглядом на принципы доказательства и методы научного исследования . Elibron.com. п. 114. ISBN 978-1-4021-8157-3. Проверено 6 марта 2011 года .
Внешние ссылки
- Пьетроски, Пол. «Логическая форма» . В Залте, Эдвард Н. (ред.). Стэнфордская энциклопедия философии .