Истинно (или, как мы будем говорить, имеет значение «истинно»), а если эта ситуация отсутствует, то оно ложно
Отметим, что этой схемой иллюстрируются только отношения между сравнимыми суждениями, т.е. попарно взятыми суждениями, у которых одинаковые субъекты и предикаты
жүктеу/скачать 50.43 Kb.
|
| Отметим, что этой схемой иллюстрируются только отношения между сравнимыми суждениями, т.е. попарно взятыми суждениями, у которых одинаковые субъекты и предикаты. Символы a, e, i, o обозначают выделенные нами ранее логические типы суждений (соответственно: общеутвердительные, общеотрицательные, частноутвердительные и частноотрицательные). Верхняя горизонталь (а ↔ е) символизирует отношение контрарности (противоположности), нижняя (i ↔ o) – отношение субконтрарности, левая вертикаль (a → i) и правая вертикаль (е → о) – отношение логического подчинения, а диагонали (а ↔ о) и (е ↔ i) – отношения контрадикторности (логического противоречия). Двойные стрелки указывают, что отношение обратимое (например, а контрарно е, и е контрарно а), а стрелки → указывают однонаправленность отношения
(а подчиняет i, обратное неверно). Теперь охарактеризуем выделенные четыре типа логических отношений. Суждения X и Y находятся в отношении контрарности, когда они несовместимы по истине (т.е. не могут быть одновременно истинны), но совместимы по ложности (могут быть оба ложными). Возможен также вариант, когда одно из них – истинное суждение, а другое – ложное (или наоборот). Рассмотрим примеры контрарных суждений. Среди категорических суждений в этом отношении находятся суждения типа а и е. Так, контрарными являются суждения: - Все лебеди белые птицы (а) - Все лебеди не являются белыми птицами (т.е. ни один лебедь не является белым) (е) Как известно, оба эти суждения – ложные. Но контрарными являются и суждения: - Все металлы – электропроводны. - Все металлы не являются электропроводными. Здесь первое суждение (типа а) – истинно, а второе (е) – ложно. Таким образом, для контрарных суждений из четырех возможных вариантов распределения их истинностных значений исключен только первый: они не могут быть оба истинными, т.е. они несовместимы по истине: Суждения X и Y находятся в отношении контрадикторности, когда они несовместимы как по истине, так и по лжи:
В этом отношении, то есть отношении логического противоречия, находятся попарно взятые суждения а, о и е, i. Из таблицы видно, что для указанных суждений возможно только два варианта: одно – истинно, второе – ложно, и наоборот. Рассмотрим два примера: – Все преступники опасны для общества (а) – Некоторые преступники не опасны для общества (о) Как известно, истинным является первое суждение, а второе - ложно. Второй пример: – Некоторые металлы – жидкости (i) – Все металлы не являются жидкостями (е) В этом случае истинно частное суждение, а ложно общее. Суждения X и Y находятся в отношении субконтрарности, когда они не могут быть оба ложными (т.е. они несовместимы по ложности, но совместимы по истине). Это означает, что из четырех возможных вариантов распределения значений истинности исключен только один: Х – ложь и Y – ложь (они несовместимы по ложности): В сфере категорических суждений в этом отношении находятся суждения i и о. Суждение Х логически подчиняет суждение Y, когда при истинности Х истинно и Y, а при ложности Y ложно Х. В отношении логического подчинения находятся попарно взятые категорические суждения a, i и e, o: это означает, что истинность общего суждения гарантирует истинность частного, а ложность частного исключает истинность общего. Примеры: при истинности суждения Все рыбы дышат жабрами нет оснований сомневаться в истинности суждения Некоторые рыбы дышат жабрами, поскольку информация, содержащаяся во втором из этих суждений, составляет часть информации первого: раз все рыбы такие, то и некоторые таковы, то есть существует, по меньшей мере, одна рыба, которая дышит жабрами. Отношение логического подчинения необратимо: истинность частного суждения не гарантирует истинность общего. Так, истинность суждения Некоторые юристы – следователи никак не влияет на значение истинности общего суждения Все юристы – следователи (последнее ложно). Между тем, ложность частного суждения «Некоторые четные числа не делятся на 2» однозначно свидетельствует о ложности общего суждения Все четные числа не делятся на 2. В теме 1. уже речь шла о законе противоречия и законе исключенного третьего. Первый закон был сформулирован так: Неверно, что Х и не-Х Применительно к категорическим суждениям мы имеем следующие формулировки этого закона: Неверно, что Все S суть P и Некоторые S не суть P Неверно, что Все S не суть P и Некоторые S суть P Закон исключенного третьего формулировался нами так: Х или не-Х В области категорических суждений мы имеем такие его формулировки: Все S суть P или Некоторые S не суть P Все S не суть P или Некоторые S суть P * * * жүктеу/скачать 50.43 Kb. Достарыңызбен бөлісу:
|