Obserwatorium Occult Research
OBSERWACJA CIĄGŁA · ZAŁ. MMXXVI · WSZYSTKIE DANE PUBLICZNE

Okultystyczne źródła technologii · 2/7 · c. 1274 – 1950 CE

Koła Llulla → logika kombinatoryczna

Maszyna, która była argumentem. Trzynastowieczny misjonarz zbudował papierowe tarcze, by wygenerować wszystkie kombinacje przymiotów Boga, i dowodził, że samo rozumowanie da się obracać korbą. Mylił się co do tego, czego jego maszyna dowodzi. Miał rację, że maszyna może to robić.

AKTUALIZACJA 2026-07-24 · 10 TWIERDZENIA WRAZ Z ETYKIETAMI

Jak czytać etykiety

Wpływ udokumentowanyLinia dająca się prześledzić — teksty, aparatura lub ludzie dowodnie przenieśli praktykę dalej.
Wspólna technikaTa sama metoda po obu stronach podziału; przekaz prawdopodobny, ale nie w pełni udokumentowany.
Współistnienie historyczneTe same pomieszczenia, te same dekady; wpływ nieudowodniony.
Późniejsza reinterpretacjaWspółczesne znaczenie rzutowane wstecz na dawną praktykę.
SpornePoważni badacze się nie zgadzają. Pokazujemy obie interpretacje.
Mit popularnyPowszechnie powtarzane; sprzeczne ze źródłami.
Tablica I — Konstelacja pochodzenia11 WĘZŁÓW
I · MAJORKAII · CZYTELNICYIII · RACHUNEKIV · MASZYNA1232–13161500–16801666–18541879 →nikogo nie nawróciło? nie jest udokumentowanym pochodzeniemjego nazwisko na księgach, których nie napisałLlull, Ars generalis ultimaOBROTOWE TARCZE · DZIEWIĘĆ GODNOŚCI · NOTACJA LITEROWACel nawróceniowyDOWÓD PRZEKONUJĄCY NIECHRZEŚCIJANGiordano BrunoKOŁA LULLIAŃSKIE JAKO SZTUKA PAMIĘCIKircher, Ars Magna Sciendi (1669)KOMBINATORYCZNE ODRODZENIE W DRUKULlull okultystycznyDZIEŁA ALCHEMICZNE FAŁSZYWIE PRZYPISANELeibniz, De arte combinatoria (1666)NAPISAŁ O LLULLU W WIEKU 19 LATCharacteristica universalisNOTACJA, W KTÓREJ SPORY SIĘ OBLICZABoole, Laws of Thought (1854)ROZUMOWANIE JAKO ALGEBRAFrege, Begriffsschrift (1879)NARESZCIE PRAWDZIWY JĘZYK FORMALNYZmechanizowane wnioskowaniePRZESZUKIWANIE · WYLICZANIE · DOWODZENIE AUTOMATYCZNEMaszyna uniwersalnaBRAK BEZPOŚREDNIEJ LINII OD LLULLA
udokumentowane wspólna technika współwystępowanie sporne reinterpretacja wygaszone
Każda gwiazda to węzeł linii rozwojowej; styl linii mówi, jak mocne jest powiązanie.

Zatrzymane przez logikę

  • Wyczerpujące wyliczaniewygeneruj każdą kombinację ustalonego zbioru, potem je odrzucaj — kształt współczesnego przeszukiwania
  • Litery zastępujące pojęciaB jako dobroć, C jako wielkość — symbole przekształcane bez oglądania się na znaczenie
  • Twierdzenie, że wnioskowanie da się zmechanizowaćzałożenie każdej późniejszej logiki formalnej, postawione przez Llulla jako pierwsze
  • Urządzenie, które się obsługuje, nie czytavolvelle to interfejs: obróć tarczę, odczytaj wynik
  • Kombinatoryka jako przedmiotDe arte combinatoria Leibniza bierze Llulla za wskazany punkt wyjścia

Zostawione w ciemności

  • Że wyliczenie stanowi dowód
  • Dziewięć boskich godności jako terminy pierwotne
  • Nawracanie niewierzących argumentem
  • Figury żywiołowe i astrologiczne Sztuki
  • Llull jako autor korpusu alchemicznego

Twierdzenia wraz z etykietami

  1. CL-01
    Llull zbudował działające instrumenty papierowe — koncentryczne tarcze obrotowe, czyli volvelle — które mechanicznie generują każde zestawienie ustalonego zbioru terminów.Ars generalis ultima (1305–1308); zachowane figury rękopiśmienne reprodukuje Bonner (red.), Selected Works of Ramon Llull (1985).
    Udokumentowane
  2. CL-02
    Sztuka przypisuje pojęciom litery — B dla dobroci, C dla wielkości i tak dalej — i operuje na literach, a nie na słowach.Bonner, The Art and Logic of Ramon Llull: A User's Guide (2007), rozdz. 2.
    Udokumentowane
  3. CL-03
    Leibniz czytał Llulla i o nim pisał: De arte combinatoria (1666) wymienia Sztukę i bierze ją za punkt wyjścia, krytykując zarazem jej ograniczenia.Leibniz, Dissertatio de arte combinatoria (1666), paragrafy o ars magna Lulliana.
    Udokumentowane
  4. CL-04
    Cel Llulla był misyjny: demonstracja tak przekonująca, że muzułmanie i żydzi musieliby przyjąć doktrynę chrześcijańską. Pojechał do Afryki Północnej, by spróbować osobiście.Vita coaetanea, współczesna relacja podyktowana przez Llulla ok. 1311.
    Udokumentowane
  5. CL-05
    Ars Magna Sciendi Kirchera (1669) wprowadziła lulliańskie diagramy kombinatoryczne do szerokiego obiegu drukowanego — i tak zetknęła się z nimi większość późniejszych czytelników.Kircher, Ars Magna Sciendi sive Combinatoria (Amsterdam, 1669).
    Udokumentowane
  6. CL-06
    Wyczerpujące wyliczenie przestrzeni kombinacji, a potem eliminacja niemożliwych — to metoda, którą wykonują tarcze Llulla, i kształt współczesnego przeszukiwania kombinatorycznego.Podobieństwo jest strukturalne i bezsporne; bezpośredniej linii przekazu do informatyki tutaj nie twierdzimy — zob. CL-09.
    Technika
  7. CL-07
    Llull wynalazł komputer albo zbudował pierwszy komputer.Tarcze nie mają pamięci, rozgałęzień warunkowych ani pojęcia programu. Wyliczają; nie obliczają. Twierdzenie pojawia się w popularnych opowieściach, nie w literaturze naukowej.
    Mit
  8. CL-08
    Llull był alchemikiem, a dzieła alchemiczne pod jego nazwiskiem są jego autorstwa.Pseudo-lulliański korpus alchemiczny powstał po jego śmierci, spod innych rąk. Autentyczne pisma Llulla odrzucają alchemię. Pereira, The Alchemical Corpus Attributed to Raymond Lull (1989).
    Mit
  9. CL-09
    Sztuka Llulla jest prawdziwym przodkiem współczesnej informatyki, a nie strukturalnym podobieństwem dostrzeżonym po fakcie.Bonner (2007) oraz Fidora i Sierra (red.), Ramon Llull: From the Ars Magna to Artificial Intelligence (2011) bronią realnego wpływu przez Leibniza; inni odczytują podobieństwo jako retrospektywne. Udokumentowany łańcuch biegnie Llull → Leibniz; od Leibniza dalej jest jednoznaczny, a to właśnie pierwsze ogniwo bywa wyolbrzymiane.
    Sporne
  10. CL-10
    Sztuka była systemem pamięciowym, w tradycji pałacu pamięci.Ta interpretacja pochodzi głównie z renesansowego użycia kół lulliańskich przez Bruna i z The Art of Memory Yates (1966). Własne teksty Llulla przedstawiają Sztukę jako metodę dowodzenia, nie zapamiętywania.
    Reinterpretacja
Tablica II — Figura ADZIEWIĘĆ GODNOŚCI
BdobroćCwielkośćDwiecznośćEmocFmądrośćGwolaHcnotaIprawdaKchwała36 PAR
Przerysowane z figur Ars generalis ultima. Każda cięciwa to jedna para, którą urządzenie wylicza — trzydzieści sześć dla dziewięciu terminów. Wyliczanie było łatwe; trudne było twierdzenie, że wyliczenie coś dowodzi.

Źródła

  • Bonner, The Art and Logic of Ramon Llull: A User's Guide (2007)
  • Bonner, ed., Selected Works of Ramon Llull (1985)
  • Pereira, The Alchemical Corpus Attributed to Raymond Lull (1989)
  • Fidora & Sierra, eds., Ramon Llull: From the Ars Magna to Artificial Intelligence (2011)
  • Leibniz, Dissertatio de arte combinatoria (1666)
  • Kircher, Ars Magna Sciendi sive Combinatoria (1669)
  • Yates, The Art of Memory (1966)
  • Imagery: Public Domain Review · Internet Archive · Biblioteca Digital Hispánica

Następne w serii: Latarnie magiczne → kino i projekcja