Перетворення суджень

В юридичних дискусіях, суперечках і т.д. подібний прийом використовується нерідко. Про нього свідчать, зокрема, висловлювання на кшталт: «не їсти ні ...», «не є« не ... »та ін.

Звернення і перетворення виступають основними, вихідними логічними операціями з судженнями. Їх різне поєднання породжує ще дві операції: протиставлення суб'єкту і протиставлення предикату, які вважаються похідними або змішаними.

Протиставлення суб'єкту. Так називається перетворення судження шляхом звернення і подальшого перетворення. Наведемо для стислості лише один приклад. Якщо судження: «Всі адвокати - юристи» спочатку звернемо в судження: «Деякі юристи - адвокати», а це останнє, в свою чергу, перетворимо в судження: «Деякі юристи не є неадвокати» (хоча є і прокурори, і судді, і ін.), то отримаємо протиставлення суб'єкту. Предикат заключного судження - «неадвокати» протиставляється суб'єкту вихідного судження - «адвокати». Звідси назва самої операції.

Протиставлення предикату. Це перетворення судження шляхом перетворення і подальшого поводження. Приклад. Судження: «Все адвокати - юристи» спочатку перетворимо в судження: «Жоден адвокат не є неюристом», а це останнє звернемо в судження: «Жоден неюристу не є адвокатом» (попросту кажучи, серед не-юристів адвокатів шукати не слід). Виходить, що предикату вихідного судження «юристи» ми протиставили поняття «неюрісти» і зробили його суб'єктом нового судження. Цим пояснюється назва операції.

Значення двох останніх операцій, оскільки вони носять похідний, змішаний характер, складається з значення вихідних, основних, тобто вони дозволяють отримати додаткову інформацію, закладену в Перетворювані судженні, розкрити нові його грані і відтінки.

Перетворення простих реляційних суджень. Як і судження про властивості чого-небудь, реляційні судження (або судження про відносини між предметами) можуть піддаватися тим же основним перетворенням - поводженню чи перетворенню і з тією ж метою уточнення їх логічного сенсу. Однак тут неминучі деякі особливості, зумовлені особливостями самих суджень про відносини. Для перетворення такого роду судження перш за все необхідно знати властивості виражається ним стосунки - чи є воно симетричним або несиметричним, рефлексивним або нерефлексівним, транзитивним або нетранзитивність.

Звернення. Якщо відношення симетрично, звернення реляційного судження буде зводитися до простої перестановки місцями членів відносини хі у. Причому саме ставлення залишається тим же.

Наприклад: «В. Маяковський - сучасник М.Горького» - «М. Горький - сучасник В.Маяковського ». Інші приклади: «СНД не дорівнює СРСР» - «СРСР не дорівнює СНД»; «Норми права подібні нормам моралі» - «Норми моралі подібні нормам права». Якщо ж відношення несиметрично, то звернення передбачає не тільки перестановку місцями хі у, а й заміну самого відношення Л на зворотне. Приклади: «М.Горький народився раніше Л.Леонова» - «Л. Леонов народився пізніше М.Горького »; «Рязань на схід від Москви» - «Москва на захід від Рязані»; «Земля більше Місяця» - «Місяць менше Землі». Важливо при цьому звертати увагу на те, щоб сенс судження залишався одним і тим же: змінюватися повинна лише його логічна форма. Природно, що в такому випадку судження виявляються синонімічні, тому в процесі міркування їх можна замінювати одне на інше. Так, якщо «Мораль виникла раніше права», то рівноцінним буде судження «Право виникло пізніше моралі».

Якщо відношення транзитивно або нетранзитивно, то звернення приймає відповідно дещо інший вигляд. У разі транзитивності звернення судження передбачає заміну відносини на зворотне. Так, якщо «Сонце більше Землі, а Земля більше Місяця», то «Сонце більше Місяця». Звідси «Місяць менше Сонця». У разі ж нетранзитивність звернення вимагає не тільки заміни відносини на зворотне, але і попереднього підбору відповідного ставлення. Так, якщо «Батько мого батька мені не батько, а дід», то «Я не син йому, а внук».

Перетворення. Стосовно до реляційних суджень воно теж має своєрідністю. Так, у разі симетричності відносини стверджувальне судження перетворюється в негативне (зрозуміло, з подвійним запереченням, інакше сенс судження зміниться на прямо протилежний, і, отже, це буде вже інше судження). Наприклад, в. Маяковський - сучасник М. Горького »-« В. Маяковський не може бути не сучасником М. Горького ». У разі ж несиметричності відносини стверджувальне судження непросто стає негативним, а передбачає заміну відносини на зворотне. Наприклад: «М. Горький народився раніше Л. Леонова »-« М. Горький народився (в усякому разі) не пізніш Л. Леонова ». Природно, що такі судження теж синонімічні, а отже, в практиці мислення можуть змінюватися одне на інше.

Слід лише враховувати відносний характер цієї синонимичности. Так, в результаті перетворення може змінюватися модальність судження, воно може набувати додатковий зміст, не закладений у вихідному судженні і т. д.

Неважко зрозуміти, що якщо можливі звернення і перетворення реляційних суджень, то на цій основі можливі і інші, похідні і змішані форми перетворення подібних суджень.

Перетворення складних суджень. Складні судження, утворені з простих або інших складних суджень за допомогою логічних спілок, можуть теж піддаватися перетворенням. Вище зазначалося, що одне і те ж за змістом складне судження може бути виражене в різному логічної формі - кон'юнкції, диз'юнкції, імплікації і т.д. Це означає, що еквівалентність (еквівалентність, рівнозначність) подібних суджень робить можливим виробляти над ними різні логічні операції - перетворювати їх один в одного, висловлювати одне через інше. Ось лише деякі з таких перетворень:

а) кон'юнкція може бути виражена через диз'юнкцію, а саме: заперечення кон'юнкції еквівалентно диз'юнкції заперечень. Формула такого перетворення: ˥(А˄В)≡˥A˅˥В. Наприклад: «Невірно, що Петров адвокат і в той же час суддя». Це рівнозначно думці: «Петров не адвокат чи він не суддя». Звернемо увагу, що диз'юнкція тут не вичерпна. Тому може бути так, що Петров і не адвокат, і не суддя, а наприклад, прокурор;

б) диз'юнкція може бути виражена через кон'юнкцію: заперечення диз'юнкції еквівалентно кон'юнкції заперечень. Формула ˥(А˅В)≡˥A˄˥В. Наприклад: «Невірно, що Петров вивчав логіку в вузі або що він вивчав її самостійно». Це рівносильно судження: «Петров не вивчав логіки в вузі, і він не вивчав її самостійно»;

в) імплікація може бути виражена через кон'юнкцію: імплікація еквівалентна заперечення кон'юнкції антецедента (підстави) і помилкового консеквента (слідства). Формула: А→В≡˥(A˄˥В). Приклад: «Якщо Петров юрист, то він знає логіку». Це рівноцінно судження: «Невірно, що Петров юрист і він не знає логіки»;

г) імплікація може бути виражена через диз'юнкцію, імплікація еквівалентна диз'юнкції помилкового антецедента і консеквента. Формула: А→В≡˥A˅В. Приклад: «Якщо Петров адвокат, то він має спеціальне, юридичну освіту» - «Або Петров не адвокат, або він має спеціальне, юридичну освіту».

Кон'юнкція і диз'юнкція, в свою чергу, можуть бути виражені через імплікації. Можливі й інші, найрізноманітніші перетворення складних суджень в інші. Важливо при цьому враховувати, що в процесі перетворення може змінюватися лише логічна форма складного судження, його логічний союз. Що ж стосується змісту самого судження, то він повинен залишатися тим же самим. В іншому випадку це буде вже нове судження з іншим змістом.

Як же встановлюється еквівалентність суджень? Це досягається за допомогою таблиць істинності. Так, якщо ми порівняємо таблиці істинності кон'юнкції і (слабкою) диз'юнкції, то зауважимо, що складне судження кон'юнкції А˄В істинно тільки тоді, коли істинні обидва вихідних судження А і В; а судження диз'юнкції А˅В помилково тільки в тому випадку, коли помилкові як А, так і В. Отже, логічні союзи кон'юнкції ˄ і диз'юнкції ˅ знаходяться, можна сказати, в зворотній залежності. З огляду на це, кон'юнкцію можна виразити через диз'юнкцію, а диз'юнкцію через кон'юнкцію. При цьому виходять саме еквівалентні форми, т. Е. Такі, які істинні та хибні при тих же значеннях складових їх суджень.

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

Для чого це потрібно? Завдяки заміні одних суджень іншими, еквівалентними їм, можна спрощувати складні міркування, використовуючи одні логічні сполучники замість інших. Так, в будь-якому, найскладнішому судженні можна, користуючись правилом заміни одних логічних спілок іншими, усунути всі знаки, крім тільки знаків кон'юнкції і заперечення, або лише диз'юнкції і заперечення, або ж імплікації і заперечення. Цією обставиною широко користуються в символічній логіці - перш за все в логіці висловлювань.