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