Заперечення суджень

Інший приклад: «Чоловік і жінка рівні перед законом». Це істинне судження. Його запереченням буде помилкове судження: «Невірно, що чоловік і жінка рівні перед законом» (або: «Чоловік і жінка не рівні перед законом»).

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

Як уже підкреслювалося, в результаті заперечення вихідного простого судження утворюється хоча і нове, але теж просте судження. Що ж до вислову «невірно, що ...», то окремо взяте воно не становить самостійного судження. У підсумку ж заперечення вихідного складного судження виходить теж складне судження.

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

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

Заперечення імплікації. В результаті заперечення імплікації можна отримати кон'юнктивний судження. Наприклад: «Якщо закон вступив в силу, то він повинен виконуватися» - «Закон вступив в силу, але він не виконується». Запис: (А→В)≡(АΛ¬В).

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

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

Щоб правильно користуватися цією логічною операцією, необхідно знати не тільки умови і межі її приложимости, але і логічний зміст отрицаемого судження. Як, наприклад, спростувати вислів: «Суд відбудеться завтра»? Адже вже підкреслювалося, що в залежності від логічного наголосу в ньому можуть міститися три судження. А це означає, що і заперечення його може прийняти три різні форми: «Не суд (а нарада суддів) відбудеться завтра»; «Суд не відбудеться (а буде відкладений) завтра»; «Суд відбудеться не завтра (а післязавтра)». Аналогічно йде справа і з запереченням складних суджень.

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

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

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

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