Заперечення суджень - студопедія

Тут стрілка показує, яке судження виходить при запереченні вихідного. Припустимо, що ми заперечуємо судження "Деякі люди дихають зябрами". Це судження приватне. Стрілка показує, що запереченням приватного судження є загальне. Заперечується судження - стверджувальне. Результатом заперечення позитивної думки є негативне. Отже, результатом заперечення вихідного судження є общеотріцательное судження. Його структура "Жодне S не має Р". Підставляючи замість S "люди", а замість Р "дихаючий зябрами", отримаємо судження "Жодна людина не дихає зябрами".

При запереченні суджень про відносини їх якість і кількість, так само як і при запереченні атрибутивних суджень, змінюються на протилежні.

Припустимо, що потрібно здійснити заперечення судження "Кожен юрист знає деякого математика". Це судження за якістю - стверджувальне, а за кількістю - загально-приватне. Отже, в результаті заперечення вихідного судження ми повинні отримати судження за якістю - негативне, а за кількістю - приватно-загальне. Таким є судження "Деякі юристи не знають жодного математика".

Результатом заперечення (невизначено) кон'юнктивний судження є диз'юнктивне судження, в якому складові судження є запереченнями складових суджень вихідного кон'юнктивний судження. Припустимо, що заперечується судження "Всі юристи вивчають логіку, і все філософи вивчають логіку". Результатом заперечення є судження "Деякі юристи не вивчають логіку або деякі філософи не вивчають логіку".

Таким чином, заперечуючи судження форми А Ù В, отримуємо судження форми Ø A ÚØ В. Інакше: Ø (А Ù В) Û (Ø А ÙØ В).

Послідовно-кон'юнктивний судження заперечується за наступною схемою: Ø (A # 8868; B) ÛØ A ÚØ B Ú (A ^ B) Ú (B # 8868; A).

Наприклад, запереченням судження "Доцільно ліквідувати монополію виробників, а потім доцільно звільнити ціни" є судження "Недоцільно ліквідувати монополію виробників або недоцільно звільняти ціни, або доцільно ліквідувати монополію виробників і (одночасно) звільнити ціни, або потрібно звільнити ціни, а потім ліквідувати монополію виробників ".

Одночасно-кон'юнктивний судження заперечується так:

Результатом заперечення (нестрого) диз'юнктивного судження є кон'юнктивний судження, в якому складові судження є запереченнями складових суджень диз'юнктивного судження. Результатом заперечення судження "Йде дощ або падає сніг" є судження "Ні дощу, і немає снігу".

Заперечуючи судження форми А Ú В, отримуємо судження форми Ø A ÙØ В. Інакше: Ø (А Ú В) Û (Ø A ÙØ В).

Строго-диз'юнктивні судження заперечуються відповідно до наступних схем:

Ú (Ø A ÙØ В ÙØ C); і т.д.

Наприклад, результатом заперечення судження "Або Петров скоїв цей злочин, або Сидоров" є судження "Це злочин скоїли Петров і Сидоров або ні той, ні інший не робили цього злочину".

Результатом заперечення импликативного судження є кон'юнктивний судження, в якому одним зі складових суджень є антецедент вихідного судження, а другим - заперечення консеквента вихідного судження. Заперечуючи судження "Якщо Іванов має вищу освіту, то він знає якусь іноземну мову", отримаємо кон'юнктивний судження "Іванов має вищу освіту і не знає жодної іноземної мови", тобто заперечуючи судження форми А É В, отримуємо судження форми А ÙØ В. Інакше: Ø (А É В) Û (А ÙØ В).

Умовне судження заперечується за наступною схемою: Ø (А → В) Û

◊ (А ÙØВ). Тут → - знак умовного союзу "якщо. то. ". Наприклад, запереченням судження "Якщо людина загартовується, то він здоровий" є судження "Можливо, що людина загартовується, але не є здоровим".

Модальні судження заперечуються за такими схемами:

Ø # 9633; А Û ◊Ø A; Ø◊ A Û # 9633; Ø А; Ø # 8711; А Û # 9633; А Ú# 9633; Ø A.