Вступ до дисципліни “логіка” предмет і мова формальної логіки
“Всі природні квіти – рослини” та “Всі річки впадають у море”.
Неважко побачити, що судження ці різні за змістом, але одне (перше) істинне, а друге – ні. Проте їх об’єднує те, що вони побудовані за логічною формою: “Всі S є (суть) P” (всі предмети даного роду мають певну ознаку). Судження можуть мати, наприклад, ще й таку логічну форму: “Якщо А, то Б” – “Якщо історія – наука, то вона має свої закони”.Згодом читач зможе більш детально ознайомитися з структурою логічної форми, способом зв’язку частин, їх конкретного змісту.
3. Загальна характеристика формальної логіки як науки
Таким чином формальна логіка може бути визначена як наука про закони і форми правильного мислення або наука про закони і форми теоретичного пізнання на рівні абстрактного мислення. Головним предметом її є аналіз правильності розмірковування і мовлення, формулювання законів і принципів, дотримання яких є необхідною умовою істинності висновків.
Особливість правильного теоретичного пізнання полягає в тому, що істинні, вірні міркування і посилки завжди ведуть до істинного висновку і вірного способу пізнання. Вірним буде, скажімо, таке розмірковування: “Якщо є причина, відповідно є наслідок”, “Має місце певне явище, відповідно, повинна бути і його конкретна причина”.
Тобто формальну логіку також можна назвати наукою, яка вивчає форми мислення з точки зору їх структури, закони і правил досягнення похідного знання. Ця наука вивчає загальні прийоми, що використовує людина у процесі теоретичного пізнання дійсності.
Усвідомлення надбань логіки надасть нам можливість інтеріоризувати закони, правила та прийоми мислення, які є об’єктивними і не залежать від нашого ставлення до них. Ці закони, правила, інструментарії дозволять нам свідомо ставитися до процесу власного мислення, підвищувати загальну та розумову культуру, дисципліну інтелекту і мови. Знання і використання законів логіки дозволить також кваліфіковано спростовувати помилкові положення як у сфері науки, так і у сфері повсякденної практичної діяльності – під час проведення ділових бесід, полеміки, переговорів, при редагуванні текстів тощо. Заняття з логіки допоможуть виробити навички використання окремих слів, речень, що надасть нашій мові лаконічну і точну понятійну форму. Підтвердженням цьому є те що помилкові наукові результати, помилкові дії людини завжди є наслідками помилкового мислення, невірного планування своїх чи чужих дій.
4. Структура сучасної логіки
Логіка у своєму розвитку пройшла два головних етапи. Перший етап (рис. 1.1.) пов’язаний з роботами Аристотеля, стоїків і мислителів доби Середньовіччя. Цей етап розвитку науки отримав назву традиційного, на ньому логіка існувала майже виключно як логіка формальна. Традиційна вона включала і включає досі такі розділи як: поняття, судження, умовивід, доведення, спростування, гіпотеза. Другий етап пов’язаний з творчістю німецького філософа Г.В.Лейбніца, який є основоположником математичної (символічної) логіки. Лейбніц намагався вибудувати універсальну мову, за допомогою якої суперечки між людьми можна було б вирішувати шляхом обчислення. Цей напрямок логіки досліджує логічні зв’язки і відношення, які лежать в основі дедуктивного умовиводу. Можна сказати, що математична логіка розробляє застосування математичних методів до аналізу форм і законів доведення.
Рис. 1.1. Схема розвитку логіки як науки
Традиційна логіка Сучасна логіка
Аристотель Стоїки Схоластика Лейбніц Діалектична логіка
(Кант, Гегель)
Математична логіка
(Фреге, Пріс)