Стандартные формулы отрицания
|
|
Дизъюнкции: а b
|
|||||||||||||||||||||||||
|
( |
a |
|
b |
|
|
|
a |
|
|
b |
; |
|
|
|
a |
|
b |
|
|
|
a |
|
|
b |
|
|
Конъюнкции:
а
b
Отрицание сложных суждений представляет собой комплекс формальных операций: выделение элементарных высказываний, логических связей между ними, главного логического союза, относительно которого производится отрицание. В практике общения непосредственное отрицание сложного суждения может привести к нежелательным результатам.
Пример. В ходе судебного процесса обвинитель в отношении подсудимого высказал следующее утверждение: «Если он виновен, то имел сообщников». Адвокат реагировал утверждением: «Неверно». Каков результат его непосредственного действия?
Адвокат отрицал сложное суждение: «Если он виновен (а), то имел сообщников (в)».
Формальное отрицание: ( a b) ( a b) a b
Результат отрицания: “Он виновен (a) и сообщников не имел ( b) ”, - противоположен задачам защиты, поскольку поддерживает обвинение.
3.4 Модальные суждения
Практикум «Простое суждение»
Выделить стандартную логическую форму простого суждения.
Данное суждение |
Стандартная форма |
Лень никогда не приводит к добру |
Алгоритм выполнения задания.
|
Некоторые рыбы не летают
|
|
Хорошее начало – половина дела
|
|
Только уроженцы Африки могут переносить климат Африки.
|
|
Ни один из римских рабов не обладал гражданскими правами.
|
|
Не все ответы были ложны.
|
|
Пример:
Для данных суждений сформулировать, опираясь на логический квадрат, противоречащие, противоположные и субконтрарные суждения.
Алгоритм выполнения задания
|
Пример. Не каждый решится на подобный поступок. 1. S – Человек, P – Человек, который решится на подобный поступок. 2. Не каждый человек суть человек, который решится на подобный поступок. Словосочетание “не каждый” указывает на квантор “некоторые” и отрицательную связку “не суть” (Некоторые люди не суть люди, которые решаются на подобный поступок). Суждение типа О: Некоторые S не суть P. |
||
|
3. Противоречащее Суждение типа А: Все S суть P. 4. Каждый чело-век решится на по-добный поступок |
Противо-положное
нет |
Субконтрарное Суждение типа I: Некоторые S суть P Некоторые люди решатся на подоб-ный поступок |
Данное суждение |
Противоречащее |
Противоположное |
Субконтрарное |
Не все студенты изучают логику
|
|
|
|
Только один металл жидкий.
|
|
|
|
Все хорошо, что хорошо кончается
|
|
|
|
Некоторые лекарства опаснее болезней
|
|
|
|
Растения лишены способности движения. |
|
|
|