В отношения данного типа вступают общеутвердительные ( Все S есть P) простые суждения, подчиняющие частноутвердительные ( Некоторые S есть P), а также общеотрицательные ( Ни одно S не есть P) простые суждения, подчиняющие частноотрицательные (Некоторые S не есть P). Графически данный тип отношений отображается на боковых гранях логического квадрата
А Е
Для отношения подчинения характерны следующие п п
условия истинности. Если общее суждение истинно, о о
то частное суждение тем более истинно. Если общее д д
суждение ложно, то частное суждение может быть ч. ч.
как истинным, так и ложным. I O
Напротив, если частное суждение ложно, то общее суждение тем более ложно, если частное суждение истинно, то общее суждение может быть как истинным так и ложным.
Схематически это можно представить следующим образом:
А (и) → I (и) Е (и) → О (и)
А (л) → I (л, и) Е (л) → О (и, л)
I (л) → А (л) О (л) → Е (л)
I (и) → А (и, л) О (и) → Е (и, л)
Рассмотрим на примерах
1. Пусть имеются следующие суждения "Все люди – разумные существа" и "Этот человек – разумное существо". В данном случае из истинности общего суждения следует истинность частного суждения.
|
|
2. Пусть имеются суждения "Все люди – мужчины" и "Некоторые люди – мужчины". В данном случае ложность общего суждения не свидетельствует о ложности частного суждения, оно, в зависимости от ситуации, может быть как истинным, так и ложным.
3. Пусть имеются суждения "Некоторые млекопитающие – птицы" и "Все млекопитающие – это птицы". В данном случае ложность частного суждения предопределяет ложность общего суждения.
1. Пусть имеются суждения "Этот человек – мужчина" и "Все люди – мужчины". В данном случае истинность частного суждения не является гарантом истинности общего суждения и, в зависимости от ситуации общее суждение может быть как истинным, так и ложным.