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

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

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

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

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

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

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

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

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


Яндекс.Метрика