2.3. Третий период (период «логики современных»)
Логические теории этого периода вырастают на фоне весьма глубоких сдвигов в схоластическом сознании. Одна из характерных черт – это склонность к математизации философских концепций и доказательств. Занимавшиеся этим учением получили название «калькуляторы».
Значительное внимание уделялось логическим исследованиям и прежде всего анализу функций терминов и высказываний («новая логика»). Таким образом, происходит смещение интереса в университетской философии к логическим и аналитическим исследованиям (логические парадоксы, природа импликаций или пропорциональных функций терминов).
Самой яркой фигурой данного периода был Уильям Оккам (1285-1349). Корпус его логических трудов достаточно велик. Он включает толкование «Isagoge» Порфирия, сочинений Аристотеля «Категории», «Об истолковании», «О софистических опровержениях». Ему принадлежит большой труд «Сумма всей логики» и 2 других более кратких тракта.
Логика, по убеждению Оккама, принадлежит к наукам не «реальным», а «рациональным», и, и подобно риторике и грамматике, трактует о понятиях. Логика, риторика и грамматика, замечает Оккам, суть подлинно познавательные руководства, а не спекулятивные дисциплины, так как они действительно управляют интеллектом в его деятельности. Она должна заниматься анализом знаков и терминов.
В «Сумме всей логики» Оккам выделяет и анализирует следующие термины: ментальные, оральные, письменные, «категорематические» и «синкатегорематические». В «терминизме» Оккама очевидно намерение придать логике автономный статус и строгие очертания, чего не было у предшественников. Он постоянно подчеркивает, что никакой объективной реальности за терминами нет. В лице Оккама мы имеем дело с радикальным различением логики и реальности, имен и вещей, а в нутрии логики терминов находим гениальную идею о том, что в современной символистической логике получило название «синтаксиса» и «семантики».
Среди известных логиков третьего периода следует назвать Жана Буридана (1300-1358). Его логический тракт о следованиях «Consequentiac» был провозглашен первой в средние века попыткой осуществить дедуктивное выведение законов дедуктивного вывода. Он писал и на другие логические темы, в частности, о софизмах. В этом тракте, в частности, анализируется большое число головоломок, парадоксов и их логическое решение.
В логических произведениях Буридана имеется обстоятельный анализ непосредственных модальных умозаключений, для чего он построил соответствующую мнемоническую фигуру. Интерес представляет и развитая им теория элиминации семантических антиномий.
2.4. Выводы
Таким образом, предпринятый обзор средневековой западноевропейской логики характеризуется следующими общими моментами:
Три века, что протекли от Абеляра, были блистательной эпохой в истории логики. Тематика античной традиции, углубленная и продвинутая, обогатилась новыми исследованиями в области синтаксиса, семантики, чего не знала античная логика. Глубокое изучение модальной логики далеко увело от того уровня, который был задан Аристотелем.
Средневековая логика со временем все больше становилась логикой терминов, высказываний и отношений между ними. Проблема «семантических антиномий» была снабжена дюжиной формулировок и решений, проработана во всех аспектах. Несомненной была связь логики с языком.
Большую часть своих исследований средневековые логики подняли на металогический уровень, не просто конструируя формулы, но и описывая их, что древние детали чрезвычайно редко. В средневековой логике наблюдалось движение в направлении все большей формализации, хотя, разумеется, работа логиков затруднялась отсутствием адекватной системы записи.