Логическая машина Раймонда Луллия
Логическая машина Раймонда Луллия (Ars Magna) — мощная и благородная машина, как бы предвестник компуктера. Была создана в начале XIV века каталонским философом Раймондом Луллием. Интересна в первую очередь тем, что предвосхитила многие идеи современной логики, информатики и искусственного интеллекта, опередила эти идеи на несколько столетий.
Описание[править]
В эпоху Луллия Европа только начинала знакомиться с полной версией Органона Аристотеля через арабские и еврейские переводы. Схоластическая логика была ещё достаточно примитивной, а споры между христианами, мусульманами и иудеями велись в основном авторитарно. Луллий поставил перед собой амбициозную цель, он желал создать универсальный язык и метод, который позволил бы любому человеку, независимо от веры, прийти к истине чисто рациональным путём.
Луллиева система основана на идее, что все фундаментальные истины можно свести к небольшому числу первичных понятий (принципов), а все возможные утверждения можно получить путём их комбинирования. В окончательной версии Великого искусства используется девять абсолютных предикатов (принципов Бога): Доброта (Bonitas), Величие (Magnitudo), Вечность (Duratio), Власть (Potestas), Мудрость (Sapientia), Воля (Voluntas), Добродетель (Virtus), Истина (Veritas), Слава (Gloria).
Эти девять принципов обозначаются буквами B, C, D, E, F, G, H, I, K.
Кроме них существуют относительные принципы (отличие, согласие, противоречие и т. д.), вопросы (есть ли? что? из чего? почему? и т. д.), субъект и предикат, добродетели и пороки.
Луллий предложил представлять эти понятия в виде концентрических кругов на бумаге, которые можно вращать независимо друг от друга. При повороте кругов буквы-принципы совмещались, образуя пары и тройки вида BC, BCD и т. д. Каждое такое сочетание порождает истинное утверждение. Например BC = «Доброта велика» → «Божественная доброта бесконечно велика», DE = «Вечность и власть» → «Бог вечен и всемогущ».
Всего в системе с 9 принципами можно насчитать 36 парных комбинаций, 84 троек, 126 четвёрок… Таким образом, уже на первых уровнях получались тысячи возможных комбинаций.
Луллий стал невероятно популярен. К XVI веку было издано более 300 печатных трудов. Его последователи, луллисты, существовали во всех крупных университетах Европы. Лейбниц в юности мощно изучал Луллия и прямо называл его предшественником своей Characteristica universalis и Ars combinatoria.
Логическая машина Луллия — первый известный проект искусственного интеллекта, предшественник комбинаторной логики и формальных систем, прототип гипертекста и интерактивных энциклопедий (вращающиеся круги выступали как аналог ссылок), а также источник вдохновения для современных систем онтологий и семантических сетей.
