Логіка - наука про прийоми, законах і формахмислення. Формальна логіка була розроблена древніми греками задовго до нашої ери. Саме греки першими побудували демократичне суспільство, де рішення і закони приймалися на народних зборів. Вони на примітивному рівні створили науку ведення судових процесів. А улюбленим заняттям аристократичної молоді були дискусії з філософами. Звідси загальна любов до розробки теоретичних наук. Грекам просто необхідно було вчення про те, як коштувати наукові докази.
Перший курс основ логіки розробив Аристотель.Він звернув увагу на те, що будь-які міркування будуються за загальними законами, порушення які призводить до помилкових висновків. Формальна логіка Аристотеля базувалася на таких законах:
Звідси виходить, що формальна логіка - цезнання про принципи і законах ефективного, правильного побудови міркувань, з урахуванням форми їх побудови (способів з'єднання окремих частин загального міркування).
Всі явища і предмети мають взаємозв'язок.Зв'язки можуть бути об'єктивними чи суб'єктивними, загальними або приватними, необхідними або випадковими. Найсуттєвіші з цих зв'язків називають законами. Всі вони відображають одну і ту ж реальність, отже, ніяк не можуть суперечити один одному. Всі закони людського мислення пов'язані з законами розвитку природи.
Закони мислення є стійку внутрішню зв'язок між думками. Якщо людина не може зв'язати свої думки, то він не прийде до правильного висновку і не зможе донести його до інших.
Основні закони формальної логіки - це закони несуперечності, тотожності,виключення третього і закон достатньої підстави. Розробка перших трьох належить Аристотеля і Платона, останнього - Лейбніца. Порушення цих законів (особливо перших трьох) призводить до протиріч, унеможливлюючи відрізняти правду від брехні. Останній закон менш нормативний і застосовується більш обмежено.
Неосновні закони логіки - це правилаоперування судженнями і поняттями, отримання істинного висновку в силогізм, щоб збільшити шанси на висновків умовиводах індуктивного і традуктивного характеру.
Закон несуперечності означає, що мислення не повинно бути суперечливим, а має відображати якісну визначеність речей.
Закон виключеного третього наказували нешукати між двома такими, що суперечать один одному, але істинними висловлювань щось третє, а визнавати істинність лише одного з них. Одне зі складових протиріччя - неодмінно істинне.
Закон тотожності формальна логіка трактує яквимога від мислення точності, тобто під будь-яким терміном потрібно точно розуміти його визначення і сенс. Суть понять і судження не можна спотворювати за власним бажанням.
Закон достатньої підстави полягає в тому,що будь-яку справжню думку потрібно доводити іншими істинними думками, а помилкові думки обґрунтовувати не можна. У розвитку суджень повинна відображатися причинно-наслідковий зв'язок. Тільки в цьому випадку може бути доведена його достовірність.
Логічна форма думки і способи визначення формбудь-яких думок виражаються за допомогою логічних термінів, до яких відносяться союзи "і", "або", "якщо ..., то ...", заперечення "невірно, що" ( "не"), слова "деякі", " все "(" жоден "), зв'язка" суть "(в значенні" є ") і т.д. Виявити логічну форму судження можна, відвернувшись від сенсу термінів нелогічних, які входять в словесне вираження цього судження. Іншими словами, формальна логіка висловлює структуру думки. Логічна форма завжди інформативна і змістовна.
Залежно від їх форм думки поділяються на класи:поняття, умовиводи і судження. Поняття - думка, яка узагальнює предмети на основі їх базових ознак. Судження - думка, яка стверджує наявність (відсутність) положень справ. Умовивід - думка, що відображає отримання знань, виражених в судженнях, з інших знань.
