Поговорка обо всем и ни о чем
В аристотелевской логике dictum de omni et nullo ( лат . «максима всего и ничего») — это принцип, согласно которому все, что утверждается или отрицается в отношении целого вида К, может быть подтверждено или отвергнуто (соответственно) в отношении любого подвида К. Это Принцип является фундаментальным для силлогистической логики в том смысле, что все действительные формы силлогистических аргументов сводятся к применению двух составляющих принципов dictum de omni и dictum de nullo . [1]
Сказал обо всем
[ редактировать ]Dictum de omni (иногда ошибочно интерпретируется как универсальная реализация ) [2] Это принцип, согласно которому все, что универсально утверждается в отношении какого-либо вида, может быть подтверждено также и для любого подвида этого вида.
Пример:
(1) Собаки — млекопитающие.
(2) У млекопитающих есть печень.
Поэтому(3) у собак есть печень.
Посылка (1) гласит, что «собака» — это подвид вида «млекопитающее».
Посылка (2) представляет собой ( универсальное утвердительное ) утверждение о виде «млекопитающее».
В утверждении (3) делается вывод, что то, что верно в отношении вида «млекопитающее», верно и в отношении подвида «собака».
Сказано ни о чем
[ редактировать ]Dictum de nullo — это связанный с ним принцип, согласно которому все, что отрицается в каком-либо виде, также отрицается и в любом подвиде этого вида.
Пример:
(1) Собаки — млекопитающие.
(4) У млекопитающих нет жабр.
Поэтому(5) у собак нет жабр.
Посылка (1) гласит, что «собака» — это подвид вида «млекопитающее».
Посылка (4) представляет собой ( универсальное отрицательное ) утверждение о виде «млекопитающее».
В утверждении (5) делается вывод, что то, что отрицается в отношении вида «млекопитающее», отрицается в отношении подвида «собака».
Обсуждение
[ редактировать ]В аристотелевской силлогистике эти два принципа соответствуют соответственно двум формам аргументации: Барбаре и Целаренту.
Эти принципы примерно соответствуют допустимой форме аргумента, известной как универсальный гипотетический силлогизм в логике предикатов первого порядка . Тем не менее аристотелевская силлогистика не использует формальный механизм количественной оценки первого порядка. Это само по себе объясняет, почему неверно идентифицировать Dictum de omni как универсальную реализацию. Последнюю ошибку легче объяснить тем фактом, что универсальная конкретизация представляет собой форму дедукции, основанную на одной предпосылке, которая даже не является силлогизмом.
См. также
[ редактировать ]- Аристотель
- Силлогизм
- Термин логика
- Класс (философия)
- Класс (теория множеств)
- Натуральный вид
- Тип (метафизика)
- Нисходящее влечение
- Монотонная функция
Ссылки
[ редактировать ]- Аристотель , Предварительная аналитика , 24б, 28–30.
Примечания
[ редактировать ]- ^ Джон Стюарт Милль (15 января 2001 г.). Система рациональной и индуктивной логики: связный взгляд на принципы доказывания и методы научного исследования . Элиброн.com. п. 114. ИСБН 978-1-4021-8157-3 . Проверено 6 марта 2011 г.
- ^ См. «Поговорка обо всем и ни о чем». Словарь Merriam-Webster.com, Merriam-Webster, https://www.merriam-webster.com/dictionary/dictum%20de%20omni%20et%20nullo . Доступ 18 июля. 2023 год
Внешние ссылки
[ редактировать ]- Пьетроски, Пол. «Логическая форма» . В Залте, Эдвард Н. (ред.). Стэнфордская энциклопедия философии .