Вступ до дисципліни “логіка” предмет і мова формальної логіки

Аристотель виводив логіку від грецького “логос” – слово, поняття, розмірковування, розум і визначав формальну логіку як науку про закони і форми вірного мислення. Головний принцип логіки з тих пір стверджує, що правильність розмірковування визначається тільки його логічною формою або структурою і не залежить від конкретного змісту суджень. Логічна форма – це спосіб зв’язку змістовних суджень. Найкраще ця думка ілюструється у такому прикладі - розглянемо різні за своїм конкретним змістом судження:

“Всі природні квіти – рослини” та “Всі річки впадають у море”.

Неважко побачити, що судження ці різні за змістом, але одне (перше) істинне, а друге – ні. Проте їх об’єднує те, що вони побудовані за логічною формою: “Всі S є (суть) P” (всі предмети даного роду мають певну ознаку). Судження можуть мати, наприклад, ще й таку логічну форму: “Якщо А, то Б” – “Якщо історія – наука, то вона має свої закони”.Згодом читач зможе більш детально ознайомитися з структурою логічної форми, способом зв’язку частин, їх конкретного змісту.

3. Загальна характеристика формальної логіки як науки

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

Особливість правильного теоретичного пізнання полягає в тому, що істинні, вірні міркування і посилки завжди ведуть до істинного висновку і вірного способу пізнання. Вірним буде, скажімо, таке розмірковування: “Якщо є причина, відповідно є наслідок”, “Має місце певне явище, відповідно, повинна бути і його конкретна причина”.

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

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

4. Структура сучасної логіки

Логіка у своєму розвитку пройшла два головних етапи. Перший етап (рис. 1.1.) пов’язаний з роботами Аристотеля, стоїків і мислителів доби Середньовіччя. Цей етап розвитку науки отримав назву традиційного, на ньому логіка існувала майже виключно як логіка формальна. Традиційна вона включала і включає досі такі розділи як: поняття, судження, умовивід, доведення, спростування, гіпотеза. Другий етап пов’язаний з творчістю німецького філософа Г.В.Лейбніца, який є основоположником математичної (символічної) логіки. Лейбніц намагався вибудувати універсальну мову, за допомогою якої суперечки між людьми можна було б вирішувати шляхом обчислення. Цей напрямок логіки досліджує логічні зв’язки і відношення, які лежать в основі дедуктивного умовиводу. Можна сказати, що математична логіка розробляє застосування математичних методів до аналізу форм і законів доведення.

Рис. 1.1. Схема розвитку логіки як науки

Традиційна логіка Сучасна логіка

Аристотель Стоїки Схоластика Лейбніц Діалектична логіка

(Кант, Гегель)