Упражнение 8. Вставьте вместо пропущенных слов в приведенные выражения словосочетания “необходимо, но недостаточно”

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

1. Предварительный сговор группы лиц является... условием для того, чтобы считать разбой квалифицированным.

2. Наличие атмосферы вокруг Земли является... условием для возникновения существующих на Земле видов живых существ.

3. Делимость числа N на 2 и на 3 есть... условие для его делимости на 6.

4. Устранение причин и условий, способствующих порождению преступности, является... условием для ликвидации преступности.

5. Наличие случаев проявления преступности есть... условие для того, чтобы применять строгие меры наказания к лицам, совершившим опасные для общества преступления, не желающим приобщаться к честной трудовой жизни.

6. Применение уголовной репрессии есть... условие для ликвидации преступности.

7. Обвинительный приговор суда есть... условие для применения уголовного наказания.

Модальные суждения. В § 1 рассматривались атрибутивные суждения и суждения об отношениях. Эти суждения, а также образованные из них сложные суждения называются ассерторическими. Они являются (просто) утверждениями или отрицаниями. Наряду с этими утверждениями и отрицаниями выделяют так называемые сильные и слабые утверждения и отрицания. Например, усилением ассерторических суждений “Человеку присуще свойство общения с себе подобными”, “Человек не живет вечно”, “Человек имеет мягкие мочки ушей” и “Человек не имеет твердых мочек ушей” являются соответственно суждения “Человеку по необходимости присуще свойство общения с себе подобными”, “Человек не может жить вечно”, “Человек случайно имеет мягкие мочки ушей”, “Человек случайно не имеет твердых мочек ушей”. Ослаблением суждения “Петров изучил английский язык” является суждение “Возможно, что Петров изучил английский язык”. Сильные и слабые утверждения и отрицания являются модальными суждениями.

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

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

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

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

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

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

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

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

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

1) LA ÛØ M Ø A; 4) □ A ÛØ◊Ø A

2) MA ÛØ L Ø A; 5) ◊ A ÛØ□Ø A

3) СА Û МА Ù М Ø А; 6) ∇ A Û◊ A Ù◊Ø A

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