§ 4. Логические отношения между простыми категорическими суждениями

Логические отношения между категорическими суждениями устанавливаются с учетом их внутренней структуры (сходство по смыслу) и на основе их логических значений (истинности и ложности). Отношения устанавливаются только между сравнимыми суждениями, которые имеют одинаковые термины, субъект и предикат, но различаются качественной или количественной характеристикой (например, «Некоторые студенты изучают логику» и «Ни один студент не изучает логику»).

Если два суж - дения имеют различные субъект или предикат, то они называются несравнимыми, и установить между ними логические отношения не представляется возможным (например, «Все студенты сдают экзамены» и «Все студенты посещают учебные занятия»). Отношения между сравнимыми суждениями изображается посредством мнемонической схемы, называемой логическим квадратом , вершины которого символизируют простые категорические суждения - А, Е, I, O, а стороны и диагонали - отношения между суждениями. Сравнимые суждения могут находиться в отношениях совместимости и несовместимости. Отношение совместимости устанавливается между суждениями, которые могут быть одновременно истинными. Совместимыми являются отношения эквивалентности (полная совместимость), частичная совместимость (субконтрарность) и подчине - ние (субординация). Отношение эквивалентности устанавливается между суждениями, которые имеют одинаковые логические характеристики (качество и количество), но различаются только словесно (использованы синонимы, или сформулированы на разных национальных языках и т. д.) Поэтому это отношение в логическом квадрате не иллюстрируется. Например, суждения «Некоторые философы являются агностиками» и «Не все философы агностики». Отношение частичной совместимости (субконтрарность) устанавливается между частными суждениями - I и O, которые могут быть одновременно истинными, но не могут быть одновремен но лож ными.

Так, если од но сужде ние лож но, то из него следует истинное другое суждение, а если одно будет истинным, то значение другого определенно вывести нельзя, т. е. оно может быть как истинным, так и ложным. Отношение подчинения (субординация) устанавливается между парами суждений с одинаковым качеством, но различным количеством - A и I, E и O, где общие суждения являются подчиняющими, а частные - подчиненные. Из истинности общего суждения следует истинность частного, но не наоборот, а из ложности част - ного определенно выводится ложность общего, но не наоборот. Отношение несовместимости устанавливается между суждениями, которые не могут быть одновременно истинными. Несовместимыми являются отношения противоположности (контрарности) и противоречия (контрадикторности). Отношение противоположности (контрарность) устанавливается общими суждениями - A и E, которые не могут быть одновременно истинными, но могут быть одновременно ложными. Так, если одно суждение истинно, то из него следует ложное другое суждение, а если одно будет ложным, то значение другого неопределенно, т. е. может быть как истинным, так и ложным. Отношение противоречия (контрадикторность) устанавливается между парами суждений, различающимися качеством и количеством, - A и O, E и I, которые одновременно не могут быть ни истинными, ни ложными. Следует отметить, что из единичного суждения по логическому квадрату можно вывести только совместимое эквивалентное суждение и несовместимое противоположное суждение, так как каждому отдельному предмету может быть присущ либо не присущ определенный признак.

<< | >>

↑

Источник: под ред. проф. В. Д. Бакулова, проф. А. Н. Ерыгина. Основы философии: учебник для бакалавров философских. 2009

Еще по теме § 4. Логические отношения между простыми категорическими суждениями: