Dictum de omni et nullo - Dictum de omni et nullo

В Аристотелевская логика, dictum de omni et nullo (латинский: "максима всех и ничего") - это принцип, согласно которому все, что утверждается или отрицается в отношении целого типа K, может быть подтверждено или отклонено (соответственно) любым подвидом K. Этот принцип является основополагающим для силлогистическая логика в том смысле, что все допустимые силлогистические формы аргументации сводятся к применению двух составляющих принципов 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) заключает, что то, что отрицается от вида «млекопитающее», отрицается от подвида «собака».

Каждый из этих двух принципов является примером действительной формы аргумента, известной как универсальный гипотетический силлогизм в логика предикатов первого порядка. В Аристотелевская силлогистика, они соответствуют двум формам аргумента, Barbara и Celarent.

Смотрите также

использованная литература

Заметки

  1. ^ Джон Стюарт Милль (15 января 2001 г.). Логическая рациональная и индуктивная система: взаимосвязанный взгляд на принципы доказательства и методы научного исследования. Elibron.com. п. 114. ISBN  978-1-4021-8157-3. Получено 6 марта 2011.

внешние ссылки