Історія логіки

Логіка, яка вивчає пізнає мислення і застосовується як засіб пізнання, виникла і розвивалася як філософська наука. Вона сформувалася більше двох тисяч років тому, в IV ст. до н. е.. Її засновником є давньогрецький філософ Арістотель (384-322 рр.. до н. е.). У своїх логічних працях, які отримали загальну назву «Органон» (грец. «знаряддя, інструмент пізнання»), Аристотель сформулював основні закони мислення: тотожності, протиріччя і виключеного третього, описав найважливіші логічні операції, розробив теорію поняття і судження, докладно дослідив дедуктивний (силлогистическое) умовивід. Арістотелівський вчення про силогізм склало основу одного з напрямків сучасної математичної логіки - логіки предикатів.

Важливим етапом у розвитку вчення Аристотеля з'явилася логіка античних стоїків (Зенон, Хрісіпп тощо), дополнившая аристотелевську теорію силогізму описом складних умовиводів. Логіка стоїків - основа іншого напрямку математичної логіки: логіки висловлювань.

Серед інших античних мислителів, що розвивають і коментують вчення Арістотеля, слід назвати Галена, Порфирія, Боеція, твори якого тривалий час служили основними логічними посібниками.

Логіка розвивалася і в середні віки, однак схоластика спотворила вчення Аристотеля, пристосувавши його для обгрунтування релігійної догматики.

Значні успіхи логічної науки в Новий час. Найважливішим етапом в її розвитку з'явилася теорія індукції, розроблена англійським філософом Ф. Беконом (1561-1626). Бекон розробив методи наукової індукції, систематизовані згодом англійським філософом і логіком Дж. С. Міллем (1806-1873).

Дедуктивна логіка Арістотеля і індуктивна логіка Бекона - Мілля склали основу загальноосвітньої дисципліни, яка протягом тривалого часу була обов'язковим елементом європейської системи освіти і складає основу логічного освіти в даний час.

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

Подальший розвиток логіки пов'язаний з іменами французького філософа Р. Декарта (1596-1650), який вніс істотний внесок в дедуктивну логіку; німецького філософа Г. Лейбніца (1646-1716), який сформулював закон достатньої підстави, який висунув ідею математичної логіки, яка отримала розвиток значно пізніше; німецького філософа І. Канта (1724 - 1804) та багатьох інших європейських філософів і вчених.

Ряд оригінальних логічних ідей висунули і розвинули мислителі країн Сходу: Ібн Сіна (Авіценна), Ібн Рушд (Аверроес) і ін.

Значні заслуги у розвитку логіки російських філософів і вчених. Ряд оригінальних ідей висунули М. В. Ломоносов (1711-1765), А. Н. Радищев (1749-1802), Н. Г. Чернишевський (1828-1889). Відомі своїми новаторськими ідеями в теорії умовиводів російські логіки М. І. Каринский (1840-1917) і Л. В. Рутковський (1859-1920). Одним з перших почав розвивати логіку відносин філософ і логік С. І. Поварнин (1870-1952).

У другій половині XIX ст. в логіці починають широко застосовувати розроблені в математиці методи обчислення. Цей напрямок розроблялося в працях Д. Буля, У. С. Джевонса, П. С. Порецького, Г. Фреге, Ч. Пірса, Б. Рассела, Я. Лукасевича та інших математиків і логіків. Теоретичний аналіз дедуктивних міркувань методами обчислення з використанням формальних мов отримав назву математичної, чи символічної, логіки.

Символічна логіка - інтенсивно розвивається область логічних досліджень, що включає безліч розділів, або, як їх прийнято називати, «логік» (наприклад, логіка висловлювань, логіка предикатів, імовірнісна логіка і т. д.). Велика увага приділяється розробці багатозначної логіки, в якій, крім прийнятих у традиційній логіці двох значенні істинності - «істинно» і «хибно», - допускається багато значенні істинності. Так, у розробленій польським логіком Я. Лукасевичем (1878-1956) тризначної логіці вводиться третє значення - «можливо» («нейтрально»). Їм же побудована система модальної логіки зі значеннями «можливо», «неможливо», «необхідно» і т. п., а також чотиризначна і нескінченна логіки.

Перспективними є такі розділи, як імовірнісна логіка, що досліджує висловлювання, що приймають безліч ступенів правдоподібності - від 0 до 1, тимчасова логіка і багато інших.

Особливе значення для правознавства має розділ модальної логіки, який отримав назву деонтическая логіка, що досліджує структури мови приписів, тобто висловлювань зі значенням «обов'язково», «дозволено», «заборонено», які широко використовуються в правотворчій діяльності.

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

Особливість формальної логіки полягає в тому, що вона розглядає форми мислення, відволікаючись від їх виникнення, зміни, розвитку. Цю сторону мислення вивчає діалектична логіка, вперше в розгорнутому вигляді представлена в об'єктивно-ідеалістичної філософської системи Гегеля (1770 - 1831) і з матеріалістичних позицій перероблена у філософії марксизму.

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

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

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

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