Логіка - Жеребкін В.Є. - 1.7. Логіка формальна й діалектична

Математична логіка

Розрізняють логіку формальну й діалектичну. Засновником традиційної формальної логіки є, як відомо, Аристотель. Термін "діалектична логіка" був уведений в науку німецьким філософом, об'єктивним ідеалістом Г. Гегелем (1770— 1831), який уперше на ідеалістичній основі виклав основні закони і принципи діалектичної логіки як учення про загальний розвиток абсолютного духу.

Діалектична логіка — вищий ступінь у розвитку логічної науки, але вона не відміняє і не поглинає формальну логіку, останню не слід розглядати як пройдений етап.

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

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

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

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

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

Деякі вчені відносять математичну логіку до математики і вважають її логікою у власному розумінні.

Більшість сучасних логіків визнають першу точку зору, вважають, що формальною логікою на сучасному етапі розвитку логічної науки є математична (символічна) логіка. Наведемо висловлювання з цього питання окремих авторів. Б. Рассел, наприклад, зазначає: "Основне положення... полягає в тому, що математика і логіка тотожні, і я ніколи не бачив жодного приводу до зміни цієї точки зору"3.

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

Дж. Шенфільд, навпаки, вважає, що "логіка вивчає ті типи умовиводів, котрими користується математика"6. Такої ж точки зору дотримується і Б. Мендельсон: "Глибокі й спустошливі результати Гегеля, Тарського, Рассела, Кліні та багатьох інших були багатою нагородою за вкладену працю і завоювали для математичної логіки положення незалежної гілки математики". Подібного погляду на математичну логіку дотримується і Р. Л. Гудстеїн: "Математична логіка має за свою мету вияв і систематизацію логічних процесів, що вживаються в математичному міркуванні, а також роз'яснення математичних понять. Сама вона є гілкою математики, яка використовує математичну символіку й техніку..."7. "Предметом логіки як філософської науки, — зазначає Б. Фогараші, — є не тільки математичне, а все людське мислення. Але логіка має математичні основи, а математика — логічні"8.

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

1.8. Значення логіки для судового пізнання

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

Предметом судового пізнання є, як правило, подія, що мала місце в минулому і недоступна безпосередньому сприйманню. Судове пізнання — це в основному пізнання опосередковане, вивідне. Головна роль тут належить логічним засобам пізнання, і насамперед — умовиводу. Так, судове дослідження, спрямоване на установлення об'єктивної істини за карною справою, відбувається у формі висування і доказу судових версій. Щоб установити істину за справою, необхідно зібрати факти (докази), що відносяться до злочинної події, логічно їх опрацювати, висунути версії, розвинути їх, перевірити і довести істинність однієї версії і хибність останніх.

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

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

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