Добавлен: 09.01.2024
Просмотров: 65
Скачиваний: 1
ВНИМАНИЕ! Если данный файл нарушает Ваши авторские права, то обязательно сообщите нам.
Не случайно М. М. Бахтин, всегда считавший себя философом и тяготевший, по его собственному признанию, к Марбургской школе неокантианства, называл отечественную философию конца ХІХ - начала ХХ в. «мыслительством», которому еще предстояло подняться до уровня систематической и современной философии.
Судьба тех немногих русских ученых, которые стояли на уровне достижений логики своего времени, чаще всего была незавидной.
Сдержанное отношение к математической логике, разделявшееся даже многими русскими математиками, во многом осложнило творчество специалиста в области алгебры логики П. С. Порецкого. Он первым начал читать в России лекции по математической логике. Многие свои работы Порецкий вынужден был опубликовать за рубежом.
Физик П. Эренфест еще в 1910 г. высказал гипотезу о возможности применения современной логики в науке и технике. В дальнейшем его гипотеза нашла прекрасное воплощение в электронно-вычислительной технике.
Классическая логика подходит к противоречию несколько прямолинейно. Согласно одному из ее законов, из логически противоречивого высказывания следует все, что угодно. Это означает, что противоречие запрещается под угрозой разрушения теории. Однако никто реально не пользуется этим разрешением выводить из противоречий все, что попало. Практика научных рассуждений резко расходится в данном пункте с логической теорией. В качестве реакции на это рассогласование с конца 40-х гг. ХХ в. начали разрабатываться различные варианты паранепротиворечивой логики. Она исключает возможность выводить из противоречия любые утверждения, так что противоречие перестает быть смертельной угрозой, нависшей над теорией. Этим не устраняется, конечно, принципиальная необходимость избавляться от противоречий в процессе дальнейшего развития теории. Одним из первых, в 1909 г., сомнения в неограниченной приложимости закона противоречия высказал Н. А. Васильев, только что вернувшийся после обучения в Геттингене. Он считал нужным ограничить также действие закона исключенного третьего, и в этом смысле явился одним из идейных предшественников интуиционистской логики.
Новаторские идеи Васильева были восприняты в штыки, истолковывались неверно, а то и просто объявлялись безграмотными. Васильев тяжело переживал подобную «критику» и вскоре оставил занятия логикой.
В 20-е гг. коммунистический режим не наложил еще запрета на занятия современной логикой. Интересных результатов добился в этот период М. Шёйнфинкель. Он высказал идею о возможности сведения фундаментального понятия функции к более элементарным понятиям, что положило начало новому направлению логических исследований. Шёйнфинкель успешно занимался также другими проблемами логики.
В середине 70-х гг. немецкие логики, готовившие энциклопедический логический словарь, попытались собрать некоторые сведения о жизни Шёйнфинкеля. Удалось узнать только год его рождения, но время и обстоятельства прекращения его творчества и его смерти так и остались неизвестными.
Математик А. Н. Колмогоров предложил новую логическую систему, основанную на еще более решительном неприятии законов классической логики, содержащих отрицание, чем в интуиционистской логике. Он показал, что если в некоторой теореме классической логики, в которой нет связок, отличных от импликации и отрицания, заменить вхождения каждой переменной на ее двойное отрицание, то получающаяся формула будет теоремой нового минимального исчисления.
В. И. Гливенко доказал, что формулировка классической логики получается из формулировки интуиционистской логики добавлением в качестве дополнительной аксиомы только закона исключенного третьего.
В 40-50-е гг. А. А. Марков и его школа разработали новую, конструктивистскую интерпретацию интуиционистской логики.
Все это были интересные, но частные результаты, не оказавшие сколько-нибудь заметного влияния на развитие мировой логики. Систематические, получившие резонанс и за рубежом исследования в области современной логики начинаются у нас в стране только в 60-е гг.
В этот период вышли в свет книга А. А. Зиновьева, посвященная многозначной логике, и его книга, обосновывающая оригинальную теорию логического следования. В дальнейшем Зиновьев занялся систематической разработкой нового подхода к логике в целом, названного им «комплексной логикой».
Особенностью творчества Зиновьева является то, что его интересовали не отдельные, пусть интересные, но частные проблемы, а ключевые вопросы логики как самостоятельной науки. Науки, добившейся в первой половине ХХ в. принципиально важных результатов, но ко второй половине века заметно выдохшейся, потерявшей общие ориентиры и нуждающейся в серьезной реформе. Суть предстоящих преобразований Зиновьев видел в том, что логике следует заниматься не столько вопросами обоснования математики, сколько проблемами научного познания в целом, и прежде всего проблемами эмпирического знания, являющегося, в конечном счете, фундаментом всякого знания. Математическая логика значительно продвинулась вперед в сравнении с логикой прошлых веков в смысле техники логической работы, но одновременно она существенно ограничила сферу логических исследований. Последняя свелась к логике высказываний и логике предикатов, причем главным образом к их техническим проблемам. В решение чисто логических проблем были включены неявные внелогические предпосылки и допущения. Получилась деформированная конструкция, усложняющая и даже в принципе исключающая решение целого ряда логических задач. В комплексной логике три ветви старой философии - логика, теория познания и онтология - должны быть слиты в нечто единое.
Оценка концепции комплексной логики, охватывающей всю нынешнюю логику, остается делом будущего.