Логика: конспект лекций.
2. Истинность суждений.
Переходя к вопросу об истинности суждений, сразу следует сказать, что зачастую определение этого фактора становится нелегкой задачей. Это может быть связано с неоднозначностью слов, применяемых в высказываниях, или с некорректным с точки зрения логики построением суждения. Причиной может быть сложность структуры самого суждения или невозможность определения ложности либо истинности в данный момент в силу неизвестности или недоступности необходимой информации.
Определение истинности суждений непосредственно связано со сравнимостью и несравнимостью. Сравнимые суждения делятся на совместимые и несовместимые.
Несовместимые суждения могут находиться в отношениях противоречия и противоположности. Понятия, входящие в отношение противоречия, характеризуются тем, что не могут быть одновременно истинными или ложными. Если одно из противоречащих суждений истинно, то другое ложно, и наоборот.
Если одно из противоположных суждений истинно, другое обязательно ложно, так как они исключают друг друга полностью. При этом ложность одного из противоположных суждений не означает ложности или истинности другого. И действительно, противоположность суждений еще не означает, что одно из них всегда истинно, а другое — ложно. Например: «На Марсе нет жизни» и «На Марсе есть жизнь». Эти понятия неопределенны, т. е. неизвестно, истинны они или ложны. Оба они могут быть ложными. Но истинным может быть только одно из них.
Совместимые суждения входят в отношения логического подчинения, равнозначности и частичного совпадения (пересечения).
Подчиненные совместимые суждения. Носят такое название в силу того, что одно из этих суждений входит в объем другого, подчинено ему. Такие суждения имеют общий предикат. Определение истинности суждений, находящихся в отношении подчинения, связано с определенной спецификой, так как одно из суждений входит в объем второго. В связи с этим истинность общего суждения влечет истинность частного, истинность же частного не определяет с достоверностью истинности общего. Ложность общего оставляет частное суждение неопределенным, а ложность частного не означает, что ложно и общее.
Приведем пример: «Феррари — хороший автомобиль» и «Все автомобили хорошие». Второе суждение ложно. Оно является подчиняющим. При этом подчиненное ему частное суждение является истинным.
Условно говоря, совместимые равнозначные суждения отражают одно и то же явление или предмет окружающего мира, но делают это по-разному. Так, если мы возьмем для рассмотрения два разных суждения об одном предмете или явлении, т. е. два совместимых суждения, то заметим закономерность: в одном случае у обоих этих высказываний будет один субъект, но различно выраженные (хотя и имеющие одинаковый смысл) предикаты. В другом возникает обратная ситуация. Однако в данном случае мы говорим только об эквивалентных, но ни в коем случае не обо всех совместимых суждениях. Само собой разумеется, что когда два суждения эквивалентны, одинаковы по своему значению, в случае ложности одного из них ложно и второе, и наоборот.
Примером эквивалентных совместимых суждений являются следующие высказывания: «Луна является естественным спутником Земли» и «Луна — это спутник Земли, возникший в результате естественных причин».
При определении истинности совместимых суждений, не являющихся эквивалентными, необходимо каждый раз исходить из реального положения вещей: так как зачастую совместимые понятия отражают один и тот же предмет лишь частично, каждое из них в этом случае может быть как истинным, так и ложным.
Отношение пересечения характеризуется тем, что при ложности одного такого суждения другое обязательно истинно. Это связано с тем, что такие суждения имеют одинаковые субъект и предикат, которые тем не менее разнятся по качеству. При этом если одно из таких суждений истинно, то относительно другого не ясно, истинно оно или ложно.
- 1.
- 2.
- 3.
- 4.
- 5.
- 6.
- 7.
- 8.
- 9.
- 10.
- 11.
- 12.
- 13.
- 14.
- 15.
- 16.
- 17.
- 18.
- 19.
- 20.
- 21.
- 22.
- 23.
- 24.
- 25.
- 26.
- 27.
- 28.
- 29.
- 30.
- 31.
- 32.
- 33.
- 34.
- 35.
- 36.
- 37.
- 38.
- 39.
- 40.
- 41.
- 42.
- 43.
- 44.
- 45.
- 46.
- 47.
- 48.
- 49.
- 50.
- 51.
- 52.
- 53.
- 54.
- 55.
- 56.
- 57.
- 58.
- 59.
- 60.
- 61.
- 62.
- 63.
- 64.
- 65.
- 66.
- 67.
- 68.
- 69.
- 70.
- 71.
- 72.
- 73.
- 74.
- 75.
- 76.
- 77.
- 78.
- 79.
- 80.
- 81.
- 82.
- 83.
- 84.