Формальна логіка і її основні закони

Логіка - наука про прийоми, закони і форми мислення. Формальна логіка була розроблена древніми греками задовго до нашої ери. Саме греки першими побудували демократичне суспільство, де рішення і закони приймалися на народних зібрань. Вони на примітивному рівні створили науку ведення судових процесів. А улюбленим заняттям аристократичної молоді були дискусії з філософами. Звідси загальна любов до розробки теоретичних наук. Грекам просто необхідно було вчення про те, як коштувати наукові докази.

Перший курс основ логіки розробив Аристотель. Він звернув увагу на те, що будь-які міркування будуються за загальними законами, порушення які призводить до помилкових висновків. Формальна логіка Аристотеля базувалася на таких законах:

1. Якщо судження є ствердними, що зроблений з них висновок не може бути негативним.
2. Якщо одне з тверджень негативне, то і загальний висновок завжди буде негативним.

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

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

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

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

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

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

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

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

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

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

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