Логические законы и модальность

Задание к теме  5. Логические законы и модальность

5.1. Логический квадрат. Выведите все возможные суждения в сопоставлении с данной посылкой (с приведенным ниже суждением). Определите вид отношения и истинностное значение посылки и заключений, основываясь на логическом квадрате:

1. Ни один король не может жениться по любви.

1. Данное суждение является общеотрицательным – Е.

2. Если Е – истинное, то – I (частноутвердительное), ложное.

Суждение EI – отношения контрадикторности, или противоречия.

I(л.) – Некоторые короли могут жениться по любви.

3. Чтобы определить суждение А (общеутвердительное), вспомним, что суждения АЕ – контрарные суждения, и никогда вместе не могут быть истинными. А также суждения AI – отношения подчиненности, где из истинности общего вытекает истинность частного, а из ложности частного вытекает ложность общего.

Таким образом, А – ложное: Все короли могут жениться по любви.

4. Определим суждение О, которое является частноотрицательным. Суждения IO – субконтрарные суждения, никогда вместе не могут быть ложными. Суждения EO, как и AI ранее, это отношения подчиненности. И здесь, из истинности общего (Е-истинное) вытекает истинность частного.

Таким образом, О(и.) – Некоторые короли не могут жениться по любви.

1. Приведений не существует.

1. Суждение общеотрицательное – Е.

2. Если Е – истинное, то I (частноутвердительное) – ложное, т.к. суждения EI – отношения противоречия.

I(л.) – Некоторые приведения существуют.

3. суждение А – общеутвердительное. Суждения АЕ – контрарные суждения, и никогда вместе не могут быть истинными; суждения AI – отношения подчиненности, где из истинности общего вытекает истинность частного, а из ложности частного вытекает ложность общего.

Таким образом, А – ложное: Приведения существуют.

4. Суждение О – частноотрицательное. IO – субконтрарные суждения, никогда вместе не могут быть ложными. EO – это отношения подчиненности, из истинности общего вытекает истинность частного.