Некласична логіка

Класичне і некласична в сучасній логіці

Безпосереднім результатом революції, що сталася в логіці в кінці XIX - початку XX ст., Було виникнення логічної теорії, що отримала згодом ім'я класичної логіки. Біля її витоків стоять поряд з багатьма іншими дослідниками ірландський логік Д. Буль, американський філософ і логік Ч. Пірс, німецький логік Г. Фреге. У їхніх роботах була поступово реалізована ідея перенесення в логіку тих методів, які звичайно застосовуються в математиці.

Класична логіка орієнтувалася головним чином на аналіз математичних міркувань. З цим пов'язані багато її особливості, нерідко розцінює тепер як її недоліки. У процесі розвитку вона виявилася однією з багатьох логічних теорій. Але це не означає, що вона представляє тепер тільки історичний інтерес. Класична логіка раніше залишається ядром сучасної логіки, що зберігає як теоретичну, так і практичну значимість.

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

З історії некласичної логіки

Критика класичної логіки почалася вже на початку XX ст. І велася з різних напрямків. Результатом її стало виникнення ряду нових розділів сучасної логіки. У ряді випадків виявилося, що реалізовані при цьому ідеї активно обговорювалися ще в античної та середньовічної логіки, але були грунтовно забуті в повое час.

У 1908 р Л. Брауер, голландський математик і логік, піддав сумніву необмежену приложимость в математичних міркуваннях класичних законів виключеного третього, (зняття) подвійного заперечення, непрямого докази. Одним з результатів аналізу таких міркувань з'явилося виникнення інтуіціоністской логіки, сформульованої в 1930 р А. гейтинг і не містить зазначених законів. Одночасно з Брауером ідею неуніверсальності закону виключеного третього відстоював Н. Л. Васильєв.

Ще в 1912 р американський логік і філософ К. І. Льюїс звернув увагу на так звані «парадокси імплікації», характерні для формального аналога умовного висловлювання в класичній логіці - матеріальної імплікації. Льюїс розробив першу некласичну теорію логічного слідування, в основі якої лежало поняття суворої імплікації, определявшееся в термінах логічної неможливості. До теперішнього часу запропоновано цілий ряд теорій, що претендують на більш адекватне, ніж здобута класичною логікою, опис логічного слідування і умовної зв'язку. Найбільшу популярність з них одержала релевантна логіка, розвинена американськими логіками А. Р. Андерсоном і Н. Д. Белнаном.

На рубежі 20-х рр. XX ст. К. І. Льюїсом і Я. Лукасевичем були побудовані перші в сучасній логіці модальні логіки, котрі розглядали поняття необхідності, можливості, випадковості і т.п. Тим самим була відроджена тема модальностей, якою активно займалися ще Аристотель і середньовічні логіки.

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

Надалі склалися і знайшли цікаві програми логіка часу, що описує логічні зв'язки висловлювань, у яких часовий параметр включається в логічну форму; паранепротіворечівая логіка, що не дозволяє виводити з протиріччя все що завгодно; епістеміческі логіка, що вивчає поняття «спростовно», «нерозв'язно», « доказово »,« переконаний »,« сумнівається »і т.п .; логіка переваг, що має справу з поняттями« краще »,« гірше »і« рівноцінно »; логіка зміни, що говорить про зміну і становленні; логіка причинності, що вивчає твердження про детермінізм і причинності, і ін. Екстенсивний зростання логіки не завершився і зараз.

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

 
< Попер   ЗМІСТ   Наст >