Логические отношения между категорическими судженнями. основные законы логики

Краткое содержание раздела

Суждения отражают связи и отношения между предметами объективной действительности. Если суждение верно отражают предметы действительности и связи между ними, то отношение между суждениями являются отражением отношений между предметами. В свою очередь знания отношений между суждениями способствует познанию отношений между реальными вещами.

Понятие о логические отношения между простыми суждениями

В основе логических отношений между простыми суждениями лежит их сходство по содержанию, выражаемое через их смысл и значение истинности суждений. С этой точки зрения все суждения делятся на сравнимые и несравнимые.

Сравнимыми являются суждения, имеющие одинаковые термины (Б, Г) и отличаются по качеству и количеству (А, Е, И, О). Иногда их называют суждениями одной материи. Например, "Некоторые люди являются вегетарианцами", "Некоторые люди не являются вегетарианцами". Эти суждения можно сравнивать по значению их истинности, поскольку они имеют одинаковые сроки: Б - "люди", "вегетарианцы". Два суждения (А и В) могут иметь следующие значения истинности: 1) оба быть истинными; 2) первое - истинное, а второе ложное; 3) первое - ложно, а второе истинно; 4) оба неверны. Обозначив: "истина" -1, "ложь" - 0, представим возможные варианты их значений истинности в виде таблицы:

Случай №

А

В

1

1

1

2

1

0

3

0

1

4

0

0

А и В могут быть суждениями типа А(SР), Е(SР), И(SР), 0(SP).

Несравнимыми являются суждения, имеющие различные сроки (Б, Г). Например, "Все студенты-филологи (8) изучают логику (Р)", "Некоторые военные (8) не являются морскими офицерами (Г)". Понятно, что такие суждения нельзя сравнивать, потому что они состоят из разных понятий, между которыми не существует непосредственной связи.

В логических отношениях находятся только сравнению суждения. Среди сравнимых суждений различают совместимые и несовместимые суждения.

Совместимыми являются суждения, которые могут быть одновременно истинными. Различают три вида совместимости: 1) эквивалентность (полная совместимость), 2) субконтрарність (частичная совместимость) и 3) субординация (подчинение).

Несовместимыми являются суждения, которые не могут быть одновременно истинными. Различают два вида несовместимости: 1) противоположность (контрарність) и 2) противоречие (контрадикторність).

Рассмотрим все эти отношения подробнее.

Отношение эквивалентности

Эквивалентными являются такие суждения, значения истинности которых совпадает, т.е. они являются одновременно истинными или одновременно ложными. Эквивалентность между суждениями записывается формулой: А = В (А эквивалентно В).

А

1

1

0

0

Среди категорических суждений (А, Е, 1, О) можно выделить такие эквивалентные отношения:

1) ~ А(SР) = O(SР).

Возражения загальностверджувального суждение эквивалентное частковозаперечному. Например, суждение "Неверно, что все студенты являются членами научных кружков" эквивалентно суждению "Некоторые студенты не являются членами научных кружков".

2) - Е(SP) = (SP).

Возражения загальнозаперечного суждение эквивалентное частично-положительном. Например, суждение "Неправильно, что ни один студент не является отличником" эквивалентно суждению "Некоторые студенты являются отличниками".

3) ~ И(SР) = Е(SР).

Возражения частковостверджувального суждение эквивалентное загальнозаперечному. Например, "Неправильно, что некоторые кентавры живут в Греции" эквивалентно "ни Один кентавр не живет в Греции".

4) ~ O(SР) есть А(SР).

Возражения частковозаперечного суждение эквивалентное обще-положительном суждению. Например, "Неправильно, что некоторые люди не употребляют лекарств" эквивалентно "Все люди употребляют лекарства".

 
< Пред   СОДЕРЖАНИЕ   След >