випадковості і інші діалектичні категорії, застосування яких нібито не підкоряється вимогам законів тотожності і протиріччя. Кант вперше оголив дійсно суперечливий, глибоко діалектичний характер людського мислення. У цьому зв'язку він прагнув виработатьсоответствующіе рекомендації ученим. Заклавши, таким чином, принципи нової логіки, центральною проблемою якої ставала проблема діалектичної суперечності, Кант, проте, не дав її систематичного викладу. Він не розкрив також її дійсного співвідношення з формальною логікою, більше того, спробував протиставити одну інший.
Грандіозну спробу виробити цілісну систему нової, діалектичної логіки зробив інший німецький філософ - Г. Гегель (1770-1831). У своєму основному праці В«Наука логікиВ» він, перш за все, розкрив фундаментальне протиріччя між готівкою логічними теоріями і дійсної практикою мислення, яке до того часу досягло значних висот. Засобом вирішення цієї суперечності і стало створення ним - правда, в своєрідною, релігійно-містичній формі - системи нової логіки. У фокусі її - Діалектика мислення у всій його складності і суперечливості. Гегель заново піддав дослідженню природу мислення, його закони і форми. У цьому зв'язку він дійшов висновку, що В«діалектика складає природу самого мислення, що в, якості розуму воно повинне впадати в заперечення самого себе, в суперечність В». Своє завдання мислитель бачив у тому, щоб знайти спосіб вирішення цих протиріч. Гегель піддав жорстокій критиці колишню, звичайну логіку за її зв'язок з метафізичним методом пізнання. Але в цій своїй критиці зайшов так далеко, що відкинув її принципи, засновані на законі тотожності і законі протиріччя. Перекрутивши дійсне співвідношення формальної логіки і логіки діалектичної, він тим самим завдав першої важкий удар, істотно загальмував її подальший розвиток.
3. Особливості сучасного етапу розвитку формальної логіки
Сучасна епоха вже давно і багатьма вченими характеризується як епоха діалогу. Люди, якщо вони хочуть жити в світі, повинні навчитися домовлятися. Уміння публічно виступати, вести переговори, вирішувати виникаючі конфлікти - все це вкрай рідко дається людині від народження. Всі ми в даний час болісно відчуваємо брак культури спору, полеміки, спілкування взагалі.
Логіка, з її традиційним увагою до аргументації, допомагає людині стати грамотним і культурним в цій області. Безсумнівно, слід відзначити і роль логіки в сильнішому процесі комп'ютеризації практично всіх областей пізнання і практичної діяльності людини, і пов'язаним з цим зростанням потоку інформації, що вимагає відповідного програмного, теоретичного і логіко-лінгвістичного забезпечення комп'ютерної науки і техніки. Відомо, що саме виникнення кібернетики та інформатики було б неможливо без логіки.
Позитивізм, а потім і логічний неопозитивізм ХХ сторіччя усвідомив проблеми і завдання логіки в контексті вирішення проблем обгрунтування наукового знання. Саме в цьому плані, власне кажучи, логіка виглядає "Корисною". Неопозитивісти зуміли досить детально проаналізувати питання про структурі наукового знання, проблему пояснення та передбачення в науці, питання про гіпотетичності наукового знання, т.д.
Іншими словами, склалися в науці прийоми і способи дослідження отримували опису в логіці як деякі регулятивні процедури, і назад, з точки зору цих нормативних процедур піддавалися аналізу та оцінці конкретні наукові теорії.
В даний час логіка являє собою вельми широку область знання, багату змістом, різноманітністю напрямків і методів дослідження, результати яких активно використовуються в багатьох областях теоретичного пізнання та практичної діяльності. Вона знаходить застосування у філософії, математики, психології, кібернетиці, лінгвістиці та ін
Логіка має велике значення для формування культури мислення, вміння ефективно використовувати набутий людством арсенал логічних пізнавальних засобів. Логіка справедливо трактується як деяка граматика мислення.
Сучасна логіка - одне з імен для позначення нинішнього етапу в розвитку (формальної) логіки, що почався в другій половині XIX в. - Початку XX в. В якості інших імен цього етапу в розвитку логіки використовуються також терміни математична логіка або символічної логіки.
Її суть полягає в тому, що для виявлення істінностного значення виразів природної мови можна застосовувати математичні методи. Саме використання символічної логіки відрізняє сучасну логічну науку від традиційної. Символічна логіка вивчає символічні абстракції, які фіксують формальну структуру логічного виводу.
Величезний внесок у розвиток символічної логіки внесли такі вчені, як Дж. Буль, О. де Морган, Г. Фреге, Ч. Пірс та ін У XX столітті математична логіка оформилася в якості самостійної дисципліни в рамках логічної науки.
Визначення В«математичнаВ» підкреслює схожість сучасної логіки по використовуваних методів з математикою. Визначення...
