Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
ЛЕКЦИИ ПО ЛОГИКЕ.doc
Скачиваний:
20
Добавлен:
21.08.2019
Размер:
310.78 Кб
Скачать

8. Релевантная логика

Непосредственным результатом революции, произо-| шедшей в логике в конце 1ХХ-начале XX вв., было ' возникновение логической теории, получившей со I временем название «классическая логика».

Классическая логика по-прежнему остается ядром I современной логики, сохраняющим как теоретическую, I так и практическую значимость. Основной задачей ло-' гики считается систематизация правил, которые позво-I ляют из принятых утверждений выводить новые. Клас-

сическая логика подвергалась критике долгое время за I то, что она не дает корректного описания логического I следования, которое представляет собой отношение, 1 существующее между утверждениями и обоснованно | выводимыми из них заключениями. Для логики важно

уточнить интуитивное представление о следовании, I а также сформулировать на этой основе однозначно I определенное понятие следования. Основная задача . логики - систематизация правил, позволяющих из при-I нятых утверждений выводить новые.

Логическое следствие - это отношение, существую-' щее между утверждениями и обоснованно выводи-I мыми из них заключениями. Логика должна уточнить

■ интуитивное представление о следовании и сформу- I пировать на этой основе однозначно определенное I понятие следованиия. Логическое следование ведет

от истинных положений только к истинным. Класси-| ческая логика удовлетворяет этим требованиям, но I многие ее положения плохо согласуются с привыч-I ными представлениями.

Так, классическая логика говорит, что из противоре-. чивого суждения «Студент Иванов - отличник» и «Сту-| дент Иванов не является отличником» следует утверж-V дение «Студенты не хотят учиться». Но при этом между исходным утверждением и этими вытекающими из него утверждениями нет никакой содержательной связи. Здесь видно уклонение от обычного представления о следовании, выводимое следствие должно быть ка­ким-либо образом связано с тем, из чего оно выводит­ся. Но классическая логика пренебрегает этим обстоя­тельством.

Американский логик К. И. Льюис в 1912 г. обратил внимание на эти так называемые «парадоксы импли­кации». Он разработал неклассическую теорию логи­ческого следования,основанную на понятии строгой импликации.

Американскими логиками А. Р. Андерсоном и Н. Д. Бел-напом эта концепция получила наиболее полное разви­тие в релевантной логике, которая была в суммирован­ном образе представлена в их работе «Выведение следствий» (1975). Они считали, что для высказываний характерно существование некой связи между их содер­жанием, так как для релевантной логики не считается постыдным быть интенсиональной и допускать свободные рассуждения о значениях.

Это учение об импликации, об обусловливании (в бо­лее широком смысле) получило развитие в довольно неортодоксальных направлениях в Австралии и Южной Америке, положив начало «паранепротиворечивым» логикам. Требования релевантной логики исключали парадоксы как строгой, так и материальной имплика­ции. Существовало множество дискуссий о том, что является ли «релевантность» формальным понятием, отличным от понятий риторики, или нет.