Історія науки логіки - студопедія
Окремі логічні проблеми виникали і обговорювалися близько 2,5 тис. Років тому - спочатку в Стародавній Індії та Стародавньому Китаї. Потім вони отримують більш повну розробку в Стародавній Греції і Римі. Поступово вони складаються в струнку систему, оформляються в самостійну науку.
Народжуючись в боротьбі з міфологією і релігією, наука ґрунтувалася на теоретичному мисленні, який передбачає умозакл-чення і докази. Звідси - необхідність дослідження природи самого мислення як форми пізнання.
Розвиток логіки стимулювалося розвитком ораторського мистецтва, в тому числі судового, яке розцвіло в умовах старогрецької і римської демократії.
Логіка виникла як прагнення зрозуміти і показати, якими властивостями повинна володіти мова, щоб переконувати слухачів і разом з тим змушувати їх з чим-небудь погоджуватися або не погоджуватися, визнавати щось істинним або хибним.
Основоположником формальної логіки є давньогрецький філософ і вчений Аристотель (384-322 до н. Е.), Який вперше дав систематичний виклад логіки. Логіку Аристотеля і всю доматематіческую логіку зазвичай називають "традиційної" формальною логікою. Це перший етап розвитку науки логіки. Традиційна формальна логіка включала і включає такі розділи, як поняття, судження, умовивід, закони логіки, доказ і спростування, гіпотеза. Аристотель бачив в логіці знаряддя (або метод) дослідження. У логіці Аристотеля містяться елементи математичної (сомволіческой) логіки.
Софісти, і серед них Протагор, стали трактувати діалектику як мистецтво звісток бесіду, суперечку. Протагор вчив, що про кожен предмет щось можна стверджувати й те саме самої можна заперечувати. Ці ідеї ізла-гаются філософом в роботі "Антілогіі", відомої нам лише по перед-данням. Згідно софістам, в кожному твердженні є частка істини, і треба лише вміти це обґрунтувати. Єдиної абсолютної істини не сущест-яття, а є лише сукупність достовірних думок, будь-яка істина відносна: "Людина є міра всіх речей". За Протагору в об'єкті пізнання в "текучої матерії", полягають протилежні "логос"; реальність мінлива і суперечлива; кожна людина пізнає те, що відповідає йому як пізнає суб'єкту, тому він і виступає в якості міри, критерію всіх речей, Протагор славився як майстер вести суперечки, чому навіть присвятив одну зі своїх робіт - "Мистецтво суперечки". Гноссеологіческімі передумовами дискусій, виникнення різних, іноді протилежних, поглядів Протагор вважав відмінність життєвого досвіду суб'єктів пізнання, складність і різноманіття об'єктів пізнання, суперечливість розвитку явищ і ходу пізнання, а також суб'єктивні особливості органів почуттів і суспільну обумовленість процесу пізнання. Слово "софіст", що походить від давньогрецького "софос" - мудрець, згодом, в результаті односторонньої критики софістів Платоном, набуває негативний зміст. Тому необхідно відрізняти античних софістів від сучасних. "Характерною відмінністю софістики античної від софістики сучасної було застосування нею гнучкості понять і суб'єктивно, і об'єктивно".
Будучи гігантським узагальненням попередньої практики мислення, логіка Аристотеля мало дуже великий вплив на подальший розвиток і перед цим на наукове пізнання, а також на розвиток ораторського мистецтва, особливо судових промов.
Важливе значення мала логіка стоїків (антична філософська школа, III ст. До н.е.). Стоїчна логіка є перший начерк так званої логіки пропозицій ". Це означає, що якщо у Аристотеля еквівалентами термінів" силогізму служать позначення окремих речей ( "субстанцій"), про в стоїчної логіці такими виступають розгорнуті судження «пропозиції»), що позначають сенс ситуацій або розгорнутих фактів.
У середні століття великий суспільний резонанс отримала проблема загальних понять - "універсалій". Суперечка про них між реалістами і номіналіста розтягнувся на століття. У Середньовіччі розвивається логіка диспуту. Схоластична логіка використовувала метод дискусії, запропонований П. Абеляром в роботі: «За і проти». Суть його полягає в наступному. Будь-який текст перетворювався в об'єкт дискусії. Перша частина дискусії полягала в обгрунтуванні «почав» ( «так»); друга - в їх спростування ( «ні»); третя - зіткнення «так» і «ні» з подальшим торжеством «так». Цей прийом був поширений згодом на область наукових досліджень.
В епоху Відродження логіка переживала справжню кризу. Вона розцінювалася як логіка "штучного мислення", заснованого на вірі, якому протиставлялося природне мислення, що базується на інтуїції і уяві.
Новий, більш високий етап у розвитку логіки починається з XVII в. Він пов'язаний зі створенням в її рамках поряд з дедуктивної логікою логіки індуктивної. У ній знайшли відображення різноманітні процеси отримання загальних знань на основі все більш накапливавшегося емпіричного матеріалу. Необхідність отримання і обґрунтування знань індуктивним методом відстоював видатний англійський філософ і дослідник Френсіс Бекон (1561-1626). Він і став родоначальником індуктивної логіки, написавши на противагу старому "Органону" Аристотеля «Новий Органон. ».
Індуктивна логіка була пізніше систематизована і розвинена англійським філософом і вченим Джоном Стюартом Міллем (1806-1873).
Потреби наукового пізнання не тільки в індуктивному, але і в дедуктивний метод в XVII в. найбільш повно втілив французький філософ і вчений Рене Декарт (1596-1650). У своїй головній праці "Міркування про метод.", Грунтуючись на даних перш за все математики, він підкреслює значення раціональної дедукції.
Другий етап - це поява математичної (або символічної) логіки у другій половині ХІХ ст.
Розвиток математики і проникнення математичних методів в інші науки вже в другій половині XVII ст. настійно висували застосування логіки, для розробки теоретичних основ математики, і математизацію самої логіки як науки. Найбільш глибоку і плідну спробу вирішити постали проблеми зробив найбільший німецький філософ і математик Г. Лейбніц (1646-1716).
Ідеї Лейбніца отримали деяку розробку в XVIII в. і першій половині XIX ст. Німецький філософ по праву вважається основоположником математичної (символічної) логіки. Починаючи з Лейбніца, в логіці використовується в якості методу дослідження метод формалізації. У XIX ст. математична логіка отримала інтенсивний розвиток в роботах Д. Буля, Е. Шредера, П. С. Порецкого, Г. Фреге та інших логіків.
Математична (або символічна) логіка вивчає логічні зв'язки і відносини, що лежать в основі дедуктивного (логічного) виведення. При цьому в математичній логіці для виявлення структури виведення будуються різні логічні обчислення, перш за все числення висловів і числення предикатів в їх різних модифікаціях. Розробка і застосування так званого формалізованої мови - мови символів, визначило назву сучасної логіки - "символічна".
Зростаючі потреби науково-технічного прогресу обумовлюють подальше інтенсивний розвиток сучасної логіки.
Ще Аристотель поставив і спробував вирішити ряд фундаментальних проблем діалектичної логіки. Елементи діалектичної логіки поступово накопичувалися в працях наступних мислителів Бекона, Гоббса, Декарта, Лейбніца. Однак як самостійна логічна наука, діалектічес-кая логіка почала оформлюватися лише в кінці XVIII - початку XIX ст.
Першим, хто спробував ввести діалектику в логіку, був німецький філо-соф І. Кант (1724-1804). Кант вважав, що логіка є "наука, докладно викладає і строго доводить одні тільки формальні правила всякого мислення.".
Спробу створити систему нової, діалектичної логіки зробив інший німецький філософ - Г. Гегель (1770-1831) в своїй основній праці "Наука логіки".
1. Які причини виникнення науки логіки.
2. Хто вважається основоположником формальної логіки?
3. Який логічний метод дослідження Ф. Бекон вважав найбільш універсальним для науки?
4. Який вчений ХVII ст. вніс значний внесок в розвиток дедуктивного методу?
5. Що вивчає символічна (математична) логіка?
6. Хто ввів в науку поняття «формальної логіки»?
7. Хто створив в ХІХ ст. найбільш розвинену систему діалектичної логіки?