Безпосередні умозаключення

Сторінка 1 із 3

Судження, що містить нове знання, може бути отримано за допомогою перетворення судження. Так як вихідне (преобразуемое) судження розглядається як посилка, а судження, отримане в результаті перетворення, - як висновок, умозаключення, побудовані за допомогою перетворення суджень, називаються безпосередніми. До них відносяться: 1) перетворення, 2) звернення, 3) протиставлення предикату.

Висновки в кожному з цих умовиводів виходять відповідно до логічними правилами, які обумовлені видом судження - його кількісними і якісними характеристиками.

1. Перетворення

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

Перетворення спирається на правило: подвійне заперечення рівносильне твердженню: ~ ¬¬р≡р, де р - будь-яке судження, ¬ - символ заперечення, ≡ - символ еквівалентності (рівнозначності).

Перетворювати можна обшеугвердітельние, общеотріцательное, частноутвердітельное і частіоотріцательние судження.

Общеутвердітельное судження (А) перетворюється на общеотріцательное (Е).

Схема перетворення судження А:

Всі S є Р.

------------------------------

Жодне S не є не-Р.

Приклад:

Всі співробітники нашого колективу (S) - кваліфіковані фахівці (Р).

------------------------------------------------------------------------------------------------------------------------

Жоден співробітник нашого колективу (S) не є некваліфікованим фахівцем (не-Р).

Общеотріцательное судження (Е) перетворюється на общеутвердітельное (А).

Схема перетворення судження Е:

Жодне S не є Р.

-----------------------------

Всі S є не-Р.

Приклад:

Жодна незаконна угода (S) не є дійсною (Р).

-----------------------------------------------------------------------

Всі незаконні операції (S) є недійсними (не-Р).

Частноутвердітельное судження (I) перетворюється на частноотріцательное (О).

Схема перетворення судження I:

Деякі S є Р.

-------------------------------

Деякі S не є не-Р.

Приклад:

Деякі держави (S) є європейськими (Р).

-------------------------------------------------------------------------

Деякі держави (S) не є неєвропейськими (не-Р).

Частноотріцательное судження (О) перетворюється на частноутвердітельное (I).

Схема перетворення судження О:

Деякі S не є Р.

------------------------------

Деякі S є не-Р.

Приклад:

Деякі злочини (в) не є навмисними (Р).

---------------------------------------------------------------

Деякі злочини (Б) є ненавмисними (не-Р).

Международное транспортное право