7.1. "Ars vetus", "Ars nova", "Logica modernorum"

Лишь несколько десятилетий назад ученые смогли по достоинству оценить средневековую логику. С одной стороны, она представляет собой дидактическую систематизацию античной логики, с другой стороны, в ней можно усмотреть оригинальные рефлексии в виде логических идей.

Напомним, что в средневековых университетах логику изучали на факультетах искусств, логика давала право на вход в теологию, юриспруденцию, медицину. На факультетах искусств логикой завершался "тривиум" (после грамматики и риторики), открывая собой "квадривиум" арифметики, геометрии, астрономии и музыки. Великим вызовом времени было обновление теологии средствами диалектики и логики, которая была чем-то вроде боевого арсенала и инструментарием аргументации. Логику преподавали как науку на факультетах искусств, но ее же как искусство на факультетах теологии. То, что принято называть научной, формальной логикой, было среди искусств и одновременно инструментом на службе догмы и метафизики, как это можно было видеть из спора об универсалиях. Первым Оккам поставил вопрос о разведении логики и метафизики именно потому, что его логика становилась формальной, а значит, могла использоваться схоластами независимо от метафизических споров. Отсюда парадокс, что все крупные логики XVI века были оккамистами. По сути между концом XIII века и началом XIV века мы наблюдаем некий раскол между приверженцами Аристотеля, приспособленного к догмам веры, и "модернистами, ортодоксия которых была связана с логическими исследованиями, отдельно от метафизических. Модернисты-номиналисты разрабатывали тончайшие логические переходы, томисты-консерваторы представляли собой партию "ars vetus", старого искусства, полагая логические изыски первых бесплодными.

Наконец, характерной чертой средневековой логики была связь между латинским языком и логическими теориями и выражениями. Язык современной логики и ее символы представляют собой искусственную конструкцию, свободную от связей с естественным языком. Язык средневековой логики базировался на анализе научного латинского языка, понимаемого не просто как идиом (т.е. язык), но как наиболее высокий уровень рациональности. Понятно поэтому, почему средневековые логики помимо формулировки логических законов, еще и описывали эти законы. Например, Аристотель формулировал силлогизм "Барбара" (закон тавтологии): "Если А принадлежит любому В, а В любому С, то А принадлежит и С". Средневековые логики описывают эту схему интерференции и правила, которые необходимо соблюдать для получения корректного вывода. "Всякий силлогизм типа «каждое А есть В, каждое С есть А, следовательно, каждое С есть В» имеет смысл". Другой закон, используемый и сегодня как закон Де Моргана, описан следующим образом. "Отрицание конъюнктивной пропозиции это дизъюнктивная пропозиция, образованная из отрицания элементов соединения". Например, "ложно, что Иван в Падуе и в Милане" равнозначно выражению: "ложно, что Иван в Падуе, либо ложно, что Иван в Милане".

T(pVq) = (TpVTq)

Что касается периодизации средневековой логики, то в ней можно выделить три периода: "ars vetus" ("старое искусство"), "ars nova" ("новое искусство"), "logica modernorum" ("логика современных"). Период "старого искусства" связан с Абеляром, логика концентрируется вокруг "Исагога" Порфирия, "Категорий" и "Об истолковании" Аристотеля. Период "нового искусства" связан с расцветом великих схоластических систем, в рамках которых философы скорее, чем логики, использовали логический органон для теологических целей. Напротив, так называемые "модернисты", среди коих безусловный лидер номиналист Оккам, культивировали логику не как органон, инструмент, но как scientia sermocinalis (речевая наука), т.е. в аналитической функции структуры языка науки с формальной точки зрения. "Сциенция" как наука о духовной реальности в ее структуре и связях их уже мало занимала.