Raimundas Lulijus
Lùlijus Raimundas (lot. Raimundus Lullius, katalonų k. Ramon Llull) apie 1232Palma de Mallorca 1315 06 29Palma de Mallorca, katalonų filosofas, logikas, teologas, rašytojas. Pranciškonas (1265).
Gyvenimo faktai
1288–1311 su pertraukomis dėstė Paryžiaus universitete.
Filosofijos bruožai
Filosofijoje sekė augustiniškąja tradicija, buvo averoizmo priešininkas.
Loginė mašina
Veikale Didysis menas (Ars magna 1305) išdėstė pirmosios loginės mašinos (arba jos prototipo) teorinius principus, vadinamąjį kombinatorinį meną. Loginę mašiną sudaro 6 koncentriniai skrituliai, kuriuose tam tikra tvarka išdėstytas jos alfabetas – subjektai, predikatai, klausiamieji žodžiai kas, kada, kur, kodėl ir kita. Kiekviename skritulyje yra 9 įrašai.
Mašinos veikimo principai
Mašina veikia silogistikos principais – mechaniškai pagal taisykles sukant skritulius terminai sudaro įvairius santykius, kombinacijas. Jos įvertinamos pagal taisykles, netaisyklingos kombinacijos pašalinamos, pripažįstami taisyklingi silogizmai. Mašina teikia visas galimas išvadas, kai kurios jų priimamos kaip taisyklingai išvestos.
Reikšmingumas
Mąstymo mašinizavimas yra vienas svarbiausių vidurinių amžių logikos laimėjimų.
314