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

Отрицание простых атрибутивных суждений – замена исходного суждения другим, противоречащим ему. Формула: «S есть Р» меняется на «Неверно, что S есть Р» или «S не есть Р».

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

В отношении взаимного отрицания находятся противоречащие суждения:

– общеутвердительные (А) и частноотрицательные (О);

– общеотрицательные (Е) и частноутвердительные (I).

Если истинно одно из них, то ложно другое, и наоборот.

Общеутвердительные (А) и общеотрицательные (Е) суждения – противоположны, но не находятся в отношении взаимного отрицания: они не могут быть вместе истинными, но могут быть вместе ложными.

Нет отношения взаимного отрицания между субконтрарными суждениями – они могут быть вместе истинными, но не могут быть вместе ложными.

Отрицание простых реляционных суждений – отрицание касается не свойства предмета, а отношения между предметами. Если формула исходного суждения: x R y, то его отрицание: (x R y).

Логическая операция отрицания будет сводится к следующему:

а) квантор общности () заменяется на квантор существования (), а квантор существования соответственно на квантор общности;

б) перед исходным суждением ставится знак отрицания ().

Например: «Мужчина и женщина равны перед законом». Его отрицанием будет суждение «Неверно, что мужчина и женщина равны перед законом» (или «Мужчина и женщина не равны перед законом»).

Дата добавления: 2015-09-06