сам Арістотель називав створену ним науку не логікою, а перш за все аналітикою, хоча і вживав термін В«логічнеВ». Сам же термін В«логікаВ» увійшов в науковий обіг дещо пізніше, в III ст. до н. е.. Причому відповідно до двоєдиним сенсом давньогрецького слова В«logosВ» (і В«словоВ», і В«думкаВ») він об'єднав і мистецтво мислити - діалектику, і мистецтво міркувати - риторику. Лише з прогресом наукових знань цим терміном стала позначатися власне логічна проблематика, а діалектика і риторика виділилися в самостійні галузі знання.
Логіка отримала подальший розвиток, як в Греції, так і в інших країнах, причому і на Заході і на Сході. Це розвиток викликалося, з одного боку, безперервним вдосконаленням і збагаченням практики мислення (У якому все більшу питому вагу займало наукове пізнання), а з іншого - все більш глибоким проникненням в сутність розумових процесів. А виявлялося воно не тільки у все більш повному і точному тлумаченні сформованого кола проблем, але і в послідовному розширенні предмету логіки за рахунок висунення та аналізу все нових її проблем. Спочатку це виразилося, наприклад, в деталізації та узагальненні арістотелівської теорії дедукції. Поряд з посиленою розробкою теорії висновків з простих суджень досліджувалися і нові форми дедуктивного виводу - зі складних суджень.
Новий, більш високий етап у розвитку логіки починається з XVII в. Цей етап органічно пов'язаний із створенням в її рамках поряд з дедуктивної логікою логіки індуктивної. У ній знайшли відображення різноманітні процеси отримання загальних знань на основі все більш накапливавшегося емпіричного матеріалу. Потреба в отриманні таких знань найбільш повно усвідомив і висловив у своїх працях видатний англійський філософ і натураліст Ф. Бекон (1561-1626). Він і став родоначальником індуктивної логіки. В«... Логіка, яка тепер є, марна для відкриття знань В», - виніс він свій суворий вирок. Тому як би на противагу старому В«ОрганонуВ» Аристотеля Бекон написав В«Новий Органон ...В», де і виклав індуктивну логіку. Головна увага в ній він звернув на розробку індуктивних методів визначення причинного залежності явищ. У цьому величезна заслуга Бекона. Однак створене їм вчення про індукцію за іронією долі виявилося не запереченням попередньої логіки, а її подальшим збагаченням і розвитком. Воно сприяло створенню узагальненої теорії висновків. І це природно, бо, як буде показано нижче, індукція і дедукція не виключають, а припускають один одного і знаходяться в органічній єдності.
Индуктивная логіка була пізніше систематизована і розвинена англійським філософом і вченим Дж. Ст. Міллем (1806-1873) в його двотомній праці В«Система логіки силогістичної і індуктивноїВ». Вона істотно вплинула на подальший розвиток наукового пізнання, сприяла досягненню ним нових висот.
Потреби наукового пізнання не тільки в індуктивному, але і в дедуктивному методі в XVII ст. найбільш повно втілив французький філософ і вчений Рене Декарт (1596-1650). У своїй головній праці В«Міркування про методі ... В», грунтуючись на даних, насамперед математики, він підкреслював значення раціональної дедукції як основного методу наукового пізнання. Послідовники Декарта з монастиря в Пор-Роялі А. Арно і П. Ніколь створили працю В«Логіка, або Мистецтво мислитиВ». Він здобув популярність як В«Логіка Пор-РояляВ» і довгий час використовувався як підручник з цієї науці. У ньому автори вийшли далеко за межі традиційної логіки і приділили головну увагу методології наукового пізнання, логіці відкриттів. Логіка розглядалася ними як пізнавальне знаряддя всіх наук. Створення подібних В«розширених логікВ» стало характерним у XIX-XX ст.
2. Основні історичні етапи розвитку логіки
2.1 Становлення символічної (математичної) логіки
Справжню революцію в логічних дослідженнях викликало створення в другій половині XIX в. математичної логіки, яка отримала ще назва символічної і позначила новий, сучасний етап у розвитку логіки
Зачатки цієї логіки простежуються вже у Арістотеля, а також у його послідовників, у вигляді елементів логіки предикатів і теорії модальних висновків, а також логіки висловлювань. Однак систематична розробка її проблем відноситься до набагато більш пізнього часу.
Зростаючі успіхи у розвитку математики і проникнення математичних методів в інші науки вже в другій половині XVII в. настійно висували дві фундаментальні проблеми. З одного боку, це застосування логіки для розробки теоретичних основ математики, а з іншого - Математизація самої логіки як науки. Найбільш глибоку і плідну спробу вирішити котрі стали проблеми зробив найбільший німецький філософ і математик Г. Лейбніц (1646-1416) Тим самим він став, по суті, зачинателем математичної (символічної) логіки. Лейбніц мріяв про той час, коли вчені будуть займатися не емпіричними дослідженнями, а обчисленням з олівцем у руках. Він прагнув винайти для цього універсальний символічну мову, за допо...
