Войти
В логике Аристотеля, dictum de omni et nullo (Латинский : «максима всех и ни одного») - это принцип, согласно которому все, что утверждается или отрицается в отношении целого типа K, может быть подтверждено или отклонено (соответственно) любым подвидом K. Этот принцип является основополагающим для силлогистическая логика в том смысле, что все действительные силлогистические формы аргументов сводятся к применению двух составляющих принципов dictum de omni и dictum de nullo.
Dictum de omni (иногда ошибочно интерпретируется как универсальный экземпляр ) - это принцип, согласно которому все, что универсально утверждается в том или ином виде, также подтверждается и для любого подобного рода.. Пример:
(1) Собаки - это млекопитающие.. (2) У млекопитающих есть печень.. Следовательно (3) у собак есть печень.
Предпосылка (1) гласит, что «собака» является разновидностью вида «млекопитающее».. Предпосылка (2) представляет собой (универсальное утвердительное ) утверждение о виде «млекопитающее».. Утверждение (3) заключает, что то, что верно в отношении вида «млекопитающее», верно и в отношении подвида «собаки».
Dictum de nullo - это связанный принцип, согласно которому все, что отрицается в том или ином виде, также отвергается и в любом подобном роде.. Пример:
(1) Собаки - млекопитающие.. (4) У млекопитающих нет жабр.. Следовательно (5) у собак нет жабр.
Предпосылка (1) гласит, что «собака» является разновидностью вида «млекопитающее».. Предпосылка (4) является (универсальным отрицательным ) утверждением о виде «млекопитающего».. Утверждение (5) заключает, что то, что отрицается от вида «млекопитающее», отрицается от подвида «собака».
Каждый из этих двух принципов является примером допустимой формы аргумента, известной как универсальный гипотетический силлогизм в логике предикатов первого порядка. В аристотелевской силлогистике они соответствуют, соответственно, двум формам аргумента, Барбара и Селарент.
