4. Історичні етапи розвитку логічних знань. …
Формальна логіка є наука про закони й форми правильної побудови думки.
Формальна логіка вивчає закони і правила, яким підлягає мислення людини в процесі пізнання нею істини. До завдань формальної логіки не входять дослідження того, чому наше мислення набуває форми понять, суджень, умовиводів, як складалися ці логічні форми у процесі становлення людини і її мислення, що являли вони собою на ранньому ступені розвитку мислення, яку пізнавальну роль виконує кожна логічна форма, взаємозв'язок форми мислення і т. д. Ці й інші питання, що відносяться до логічної природи і сутності форми мислення, з'ясовує діалектична логіка. Формальна ж логіка досліджує лише одну сторону мислення — його структуру. Цим вона відрізняється від будь-якої іншої науки, що вивчає мислення людини.
Формальна логіка досліджує форми мислення як форми відтворення відносно постійних, якісно визначених предметів і явищ, стійких зв'язків і відносин. Вона вивчає структуру готових, що склалися, форм мислення, відхиляючись від процесу їх формування і розвитку.
Формальна логіка, вивчаючи мислення з боку його логічної структури, відхиляється від конкретного змісту думки. Але формальна логіка не байдужа до змісту думки взагалі; вона вивчає логічні форми як змістовні, а не чисті форми Формальна логіка відокремлюється від конкретного змісту, щоб виявити структуру логічних форм, розкрити закони будови і зв'язків думки. У самому ж процесі мислення закони і правила формальної логіки настільки тісно пов'язані з конкретним змістом, що ми не можемо перевірити їхню дію, не звернувшись до конкретного змісту думки. Так, щоб перевірити, чи дотримано у процесі того чи іншого міркування вимоги закону тотожності, ми маємо зіставити думки (поняття) за їхнім змістом.
Логіка ніколи не була нейтральною до філософської боротьби. У логіці завжди було (і є) багато різноманітних шкіл і течій.
За своїми завданнями, за своїм відношенням до інших наук формальна логіка є наукою філософською.
Як самостійна наука логіка склалася в IV ст. до н. е. її засновником був давньогрецький філософ Аристотель (384— 322 рр. до н. е.), котрий першим змістовно дослідив і описав основні форми умовиводів (особливо дедукцію) і доказів, розкрив сутність законів тотожності, суперечності і виключеного третього, дав класифікацію суджень. В історії античної філософії Аристотель першим робить думку людини предметом спеціального дослідження. Його логіка — наука про доказовість до засобів обґрунтування істини.
В античну епоху аристотелева силогістика далі була розвинута стоїками. У логіці стоїків багато уваги приділялося теорії умовних і розподільних умовиводів.
У середні віки сформувалась схоластична логіка. Середньовічні мислителі продовжували тенденції у формалізації силогістики Аристотеля. У схоластичній логіці набули подальшого розвитку ідеї логіки висловлювань, висунутих стоїчною логікою. Але схоластична логіка в певному відношенні була й кроком назад стосовно античної логіки. В Аристотеля логіка була зброєю пізнання навколишнього світу. Середньовічні ж схоласти логіку підпорядкували завданням богослов'я і релігії. Основне призначення логіки вбачалося не в пізнанні світу, а в захисті офіційної церковної ідеології завдяки штучним, формально-логічним хитрощам.
Подальший розвиток логіки пов'язаний з виникненням у надрах феодалізму капіталістичних суспільних відносин, розвитком дослідних наук, техніки наукового експерименту і наукового знання взагалі. Особлива роль у розробці логіки цього періоду належить таким видатним мислителям, як англійський філософ Ф. Бекон (1561—1626), французький учений Р. Декарт (1596—1650), німецький математик Г. Лейбніц (1646—1716) та ін.
Родоначальник англійського матеріалізму Ф. Бекон непримиренно виступав проти середньовічної схоластики як головної перешкоди на шляху пізнання природи. Він твердив, що схоластика плідна в словах, але безплідна у справах і не дала світу нічого" окрім чортополоху суперечок. У своїй головній праці "Новий Органон" Ф. Бекон заклав основи індуктивної логіки. Вважаючи, що безпосереднім завданням пізнання е розкриття причинних зв'язків предметів і явищ навколишньої дійсності, він розробив методи визначення причинних зв'язків між явищами. Розробка цих методів наукової індукції була запропонована пізніше Гершелем, Уевеллем і Дж. Ст. Міллем.
Рене Декарт, визнаючи середньовічну схоластику і схоластичну логіку, слідом за Ф. Беконом оголосив створення такої філософії і логіки, яка слугувала б практиці, посилюючи панування людини над природою. Як і Ф. Бекон, Р. Декарт вбачав головне завдання у створенні наукового методу. Але якщо Бекон як метод експериментального пізнання висував на перший план індукцію, то Декарт, виходячи з даних математики, віддавав перевагу дедукції. Послідовниками Декарта А. Арно і П. Ніколь у 1662 р. було написано підручник з логіки — "Логіка, або Мистецтво мислити", відомий під назвою "Логіка Пор-Рояля", в якому ставилося завдання звільнити логіку Аристотеля від схоластичних перекручень. "Логіка Пор-Рояля" тривалий час вважалася основним керівництвом із формальної логіки.
Важливий крок у розвитку ідей математичної (символічної) логіки зробив Г. Лейбніц. Застосувавши до логіки математичний метод, він намагався побудувати логіку як математичне обчислення ("універсальна характеристика"). Лейбніц першим використав символи для позначення логічних постійних (символи для позначення змінних були введені Аристотелем), започаткувавши розробку принципів побудови дедуктивних теорій, першим дав чітке формулювання закону достатньої підстави.
Подальший етап розвитку логіки пов'язаний з іменем видатного німецького філософа І. Канта (1724—1804). Кант надав логіці чітко вираженого формалістичого характеру. Вона розглядається ним як наука про голі форми мислення, не тільки не пов'язані зі змістом мислення, а й не залежні від нього. Лексичні форми і закони мислення Кант оголосив апріорними (додослідними) нормами, які ніколи не виникали і не розвивалися, а просто дані людському розуму в готовому вигляді. На думку Канта, логіка з часу Аристотеля не зробила жодного кроку вперед і має абсолютно замкнений, викінчений характер.
Важлива роль в обґрунтуванні матеріалістичного погляду на логіку належить М. В. Ломоносову, О. М. Радищеву, О.І. Герцену, І. М. Сєченову, К. А. Тимірязєву та ін. Логічні проблеми розроблялися й такими відомими логіками, як М. Коринський, Л. Рутковський.
У середині XIX ст. виникла математична (символічна) логіка. Як уже зазначалося, основи математичної логіки були закладені Лейбніцем, а ряд ідей математичної логіки виник ще в середньовічній схоластиці і навіть у логіці давніх стоїків. Але Лейбніц не залишив по собі школи, і його ідеї невдовзі були забуті2. Тому виникнення математичної логіки як науки пов'язують із працями англійського математика Дж. Буля (1815—1854), німецького математика і логіка Е. Шредера (1841—1902), астронома і логіка П. С. Порецького (1846— 1907) та ін. учених.
В історії математичної логіки виділяють такі періоди. Історично першою формою математичної логіки був період алгебри логіки (Дж. Буль, Е. Шредер, П. С. Порецький). Цей період характеризується пристосуванням методів математики до логіки. Другий період розпочинається із появою праці Г. Фреге (1848—1925) "Обчислення понять" (1870) і характеризується використанням логіки з метою обґрунтування самої математики. Третій період — це сучасний період розвитку математичної логіки. Він пов'язаний з появою тритомника Б. Рассела та А. Уайтхеда "Принципи математики" (1910—1913), німецького математика Д. Гільберта (1862— 1943) "Основні риси теоретичної логіки" (1928), працями К. Геделя, А. Тюрінга, Е. Поста, Р. Петер, А. М. Колмогорова, П. С. Новикова, А. А. Маркова, С. М. Яновської та ін.
Математична логіка виникла як гілка традиційної формальної логіки, що розвивалася відповідно до потреб математики. Порівняно з традиційною (аристотелівською) логікою математична логіка досягла вищого ступеня наукової абстракції і формалізації, унаслідок чого вона відображає досліджувану нею галузь точніше й адекватніше. На основі досягнень математичної логіки відкриваються ширші можливості для механізації окремих сторін розглянутої діяльності людини.
3. Логіка і мова. Мова логіки
Логіка, вивчаючи структуру форм мислення (понять, суджень, умовиводів), використовує символи (знаки) для позначення структурних елементів думки. Уже Аристотель увів символи (S, Р) для позначення таких структурних елементів судження, як суб'єкт (S) і предикат (Р).
Структура судження записується у цій логіці так:
Усі S є Р (загальностверджуюче). Жодне S не є Р (загальнозаперечне). Деякі S є Р (окремо стверджуюче). Деякі S не є Р (окремо негативне).
Традиційна аристотелева логіка використовує символи дедуктивних умовиводів. Так були уведені знаки (S, М, Р) для позначення таких структурних елементів простого категоричного силогізму, як менший (S), середній (М) і більший (Р) терміни. Структура силогізму, в якому більший і менший засновки та висновки є судженнями загальностверджуваль-ними, записуються так:
Модулі першої фігури силогізму записуються літерами: ААА,ЄАЄ,ЄІО,АІІ.
В аристотелевій логіці були введені символи для запису структури і деяких інших логічних форм. Але в цілому традиційна логіка залишилася логікою, в основі котрої перебуває природна жива мова. Аристотелева логіка — це наука про мислення, а не наука про мову (природну чи штучну). Математична ж логіка як математична наука створила свою штучну мову, за допомогою якої з'явилася можливість у межах математики однозначно й чітко записувати структуру дедуктивних умовиводів.
Зі створенням штучної мови математичної логіки змінилася по суті й структура цієї логіки.
Для аналізу дедуктивних умовиводів математична логіка розробила логічні системи, одна з яких називається пропозиційною логікою, а друга — логікою предикатів.
Логіка висловлювання — це перша складова математичної логіки, котра досліджує операції із висловлюваннями. Під висловлюванням у цій логіці розуміється будь-яка пропозиція, стосовно якої можна сказати, що вона або істинна, або хибна. Висловлювання в логіці висловлювання не членується на суб'єкт і предикат, а приймається як ціле. Структурні елементи розглядаються як прості, які становлять частини, що висловлюються. Суб'єкт (S) і предикат (Р) у цих частинах не виділяються. Складові частини висловлювання називаються у логіці висловлюваннями атомарними, а висловлювання в цілому — складним (складовим). Будь-яке висловлювання в математичній логіці розглядається лише з точки зору того, якими є його складові атомарні частини — істинними чи хибними. Істинність чи хибність атомарних частин висловлювання є єдиною основою для висновку про те, яким буде складне висловлювання: істинним чи хибним.
Виклад логіки висловлювання розпочинають з опису мови цієї логіки, його складають:
Логіка предикатів — розділ математичної логіки, який досліджує операції про висловлювання, розчленовані на суб'єкт і предикат. Логіка предикатів (обчислення предикатів) спирається на логіку висловлювань (обчислення висловлювань), включає її до складу і, таким чином, є розширенням логіки висловлювань.
