§ 3. Отрицание простых и сложных суждений1

Отрицание суждений (от лат. inversio – переворачивание) – это операция, заключающаяся в таком преобразовании его логического содержания, в результате которого получают суждение, противоречащее исходному.

В отношении отрицания находятся противоречащие (контрдикторные) суждения: А  О; Е  I.

Иногда отрицание представляют в виде логического квазишестиугольника, но его схема довольно запутана и сложна для понимания².

4. Преобразуйте суждение в противоречащее исходному через отрицание.

Пример. Не было дня в этом месяце, когда бы не шел дождь. Это частноотрицательное суждение. Его отрицание равнозначно общеутвердительному: «Каждый день в этом месяце шел дождь».

4.1. неверно, что всем студентам приходится пересдавать экзамен по административному праву. 4.2. Все юридические вузы г. Хабаровска имеют государственную аккредитацию. 4.3. В некоторых юридических вузах студенты изучают практически все европейские языки. 4.4. «Опыт не ошибается» (Леонардо да Винче). 4.5. «Некоторые женщины эмоциональнее некоторых мужчин» (Р. Чандлер). 4.6. «Любовь одна, но подделок под нее – тысячи» (ларошфуко). 4.7. Если люди будут жить сами по себе и не служить друг другу, наступит бедность» (др. китайская мудрость). 4.8. Всякий христианин не может не быть оптимистом. 4.9. Правосудие по уголовным делам осуществляется только судом. 4.10. «Если душу вылюбить до дна, сердце станет глыбой золотою» (С. Есенин). 4.11. «Человек лишь потому имеет историю, что его поступки не могут быть заранее определены какой-либо теорией» (Шеллинг). 4.12. Неверно, что студент сдал экзамен по логике, не имея зачета по иностранному языку. 4.13. Все дороги ведут в Рим. 4.14. «лишь самые умные и самые глупые не могут измениться» (Конфуций). 4.15. «где есть мысль, там есть сила» (В. Гюго).

§ 4. Модальные суждения

Модальные суждения (от лат. modus– мера, способ) явно или неявно выраженная оценка высказывания либо дополнительная информация о логическом и фактическом статусе высказывания.

Модальная оценка выражается с помощью операторов «необходимо», «возможно», «доказуемо», «разрешено», «запрещено», «хорошо», «плохо» и др. Обычно модальные операторы обозначаются символом М. Например, логическая формула М(S-P) показывает, что в простое (атрибутивные) суждение добавлен модальный оператор, но какой именно – неясно. Это значит, символ М выступает обозначением всех модальностей.

Для уяснения сути предлагаемых далее упражнений, надо понять: о предмете S можно просто сказать, что он имеет или не имеет свойство P в категорической форме: S есть (не есть) P. Например: «Закон, устанавливающий или отягчающий ответственность (S) не имеет обратной силы» (P); «Грабеж (S) – открытое хищение чужого имущества» (P); «Реки Сибири (S) текут на север» (P).

Но можно, сверх того, в высказывание добавить дополнительную информацию в проблематической или иной форме. Например: «Доказано, что закон устанавливающий или отягчающий ответственность (S), не имеет обратной силы» (P); «Я убежден, что грабеж (S) – открытое хищение чужого имущества» (P); «Всех сибиряков радует мысль, что реки Сибири (S) текут на север» (P). Иногда модальные операторы («действительно», «необходимо», «должен», «я люблю» и другие) в явной форме в предложениях не выражены, а только подразумеваются.

Данные модальные суждения могут быть как простыми (М(S-P), так и сложными: М (a  b); М (a  b); М (а→ b); М (а↔b).