Логика для юристов - [22]

С простыми модальными высказываниями (правда, не совсем адекватным образом) можно сопоставить сложные модальные высказывания. Например, с высказыванием “Петров мог изучить английский язык” — высказывание “Возможно, что Петров изучил английский язык”; с высказыванием “Человек случайно имеет мягкие мочки ушей” — высказывание “Случайно, что человек имеет мягкие мочки ушей”. В связи с такой возможностью сопоставления мы, для краткости изложения, будем рассматривать только сложные модальные суждения.

Алетические модальные суждения. Суждения, образованные из других суждений путем характеристики описываемых в них положений дел в качестве необходимых, случайных, возможных, называются алетическими модальными суждениями. Алетическими модальными суждениями являются также сложные суждения, какие-то составные части которых являются алетическими модальными суждениями.

Понятия “необходимо”, “случайно”, “возможно” называются алетическими модальными понятиями, или модальностями.

Алетические модальные понятия делятся на логические и фактические (физические). Положение дел может быть логически возможно или фактически возможно, логически необходимо или фактически необходимо, логически случайно или фактически случайно.

Логически возможно-то, что не противоречит законам логики. Естественно утверждать, что не все то, что логически возможно, возможно фактически. Мы знаем, что жизнь на Луне невозможна (фактически), но утверждение “На Луне есть жизнь” не противоречит законам логики, следовательно, логически возможно, что на Луне есть жизнь.

Фактически возможно то, что не противоречит законам природы и общественной жизни.

Логически необходимо то, что является законом логики.

Фактически необходимы законы природы и общественной жизни и логические следствия из них.

Введем обозначения для логических модальных понятий: L — необходимо, М — возможно, С — случайно; для фактических модальных понятий: □ — необходимо, ◊ — возможно, ∇ — случайно. Используя эти символы, можно следующим образом выразить связь между алетическими модальными понятиями:

1) LA  M  A; 4) □ A ◊ A

2) MA  L  A; 5) ◊ A □ A

3) СА  МА  М  А; 6) ∇ A ◊ A ◊ A

Здесь  — символ отношения эквивалентности между высказываниями[15]. Например, шестая эквивалентность читается так: высказывание “случайно А” эквивалентно высказыванию “возможно А и возможно не-А”.

Упражнение 9

Какими (логическими или фактическими) являются алетические модальные понятия в следующих суждениях, если суждения принимаются за истинные?

1. Возможно, что на Марсе есть жизнь.

2. Необходимо, что на Луне нет жизни.

3. Необходимо, что сейчас идет дождь или не идет дождь.

4. Необходимо, что треугольник является остроугольным, прямоугольным или тупоугольным.

5. Необходимо, что все планеты Солнечной системы вращаются вокруг своей оси.

6. Возможно, что все студенты нашего факультета являются спортсменами.

§ 3. ОТНОШЕНИЯ МЕЖДУ СУЖДЕНИЯМИ

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

Основными видами отношений между суждениями по логическим формам являются отношения: совместимости по истинности, совместимости по ложности, логического следования, логической эквивалентности, подчинения, контрадикторности, контрарности, субконтрарности и логической независимости.

Отношение логической совместимости по истинности имеет место между суждениями А и В, если и только если логические формы этих суждений таковы, что существуют суждения этих логических форм (но, возможно, других нелогических содержаний) такие, которые оба являются истинными. Если такие суждения не существуют, то между исходными суждениями имеет место отношение логической несовместимости по истинности.

В этих отношениях могут находиться более двух суждений. Суждения А₁, A₂, ..., A_n совместимы по истинности, если и только если логические формы этих суждений таковы, что существуют суждения этих логических форм, но, возможно, других нелогических содержании, все являющиеся истинными. Если такие суждения не существуют, то суждения А₁, A₂, ..., A_n несовместимы по истинности .

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

Суждения А₁, A₂, ..., A_n совместимы по ложности, если и только если существуют суждения А'₁, A'₂, ..., A'_n возможно отличающиеся от исходных суждений только нелогическими содержаниями, все являющиеся ложными. В противном случае исходные суждения несовместимы по ложности.

Отношение логического следования имеет место между суждениями А и В (факт наличия этого отношения обозначается так: А |= В или А  В), если и только если не существуют суждения А' и В' тех же логических форм, что А и В, и, возможно, других нелогических содержаний, такие, что