{"_self":{"principle":"Self-explaining payload — no external context required. This _self block describes what you are reading and where to look next.","widget":"article_topology","feature":"topology","name":"Article topology","what":"Claims, sources, anecdotes, user reports, related embeds, question graph slice — for ask/ROUTER.","contains":"claims, sources, anecdotes, question_graph slice","slug":"thinker-ramon-llull","urls":{"read":"https://miscsubjects.com/api/articles/thinker-ramon-llull/topology"},"how_to_use":"Claims, sources, anecdotes, user reports, related embeds, question graph slice — for ask/ROUTER.","write":null,"imessage":null,"router_tag":null,"proof_chain":[{"step":1,"claim":"Articles are voxel graphs of tiered claims, not prose blobs.","verify":"https://miscsubjects.com/api/articles/constitution"},{"step":2,"claim":"Claims link to hash-chained sources via source_ids.","verify":"https://miscsubjects.com/api/articles/thinker-ramon-llull/sources"},{"step":3,"claim":"Ask reads topology; ingest/claim append to ledger.","verify":"https://miscsubjects.com/api/protocol"},{"step":4,"claim":"Models queue growth: populate → collaborate → repair → reflex.","verify":"https://miscsubjects.com/api/protocol/grow"},{"step":5,"claim":"Graph proves its own shape (reflex) and $/claim (yield).","verify":"https://miscsubjects.com/graph.html?layer=reflex"},{"step":6,"claim":"Full feature index + _explain on every API response.","verify":"https://miscsubjects.com/api/articles/system-map"}],"related_features":[{"id":"ask","name":"Ask protocol","what":"Answer only from topology; creates question_node with gaps and ingest_hint.","urls":{"read":"https://miscsubjects.com/api/articles/thinker-ramon-llull/prompts","write":"https://miscsubjects.com/api/protocol/ask"}},{"id":"graph_topology","name":"Cross-article graph","what":"Merged claims/sources across condition+stack slugs for one question.","urls":{"read":"https://miscsubjects.com/api/articles/thinker-ramon-llull/graph-topology?question=..."}},{"id":"question_graph","name":"Question graph","what":"Ask nodes (questions + gaps) and evidence_ingest nodes (pasted model output).","urls":{"read":"https://miscsubjects.com/api/articles/thinker-ramon-llull/question-graph","write":"https://miscsubjects.com/api/protocol/ask"}},{"id":"voxels","name":"Voxel graph","what":"Claims as atoms, sources as edges (supported_by, posted_by). Per-claim provenance.","urls":{"read":"https://miscsubjects.com/api/articles/thinker-ramon-llull/voxels","write":"https://miscsubjects.com/api/protocol/claim"}}],"system_map":"https://miscsubjects.com/api/articles/system-map","system_map_markdown":"https://miscsubjects.com/api/articles/system-map?format=markdown","not_medical_advice":true},"_explain":{"feature":"topology","name":"Article topology","what":"Claims, sources, anecdotes, user reports, related embeds, question graph slice — for ask/ROUTER.","why":"Every feature is auditable collective intelligence","how":"Claims, sources, anecdotes, user reports, related embeds, question graph slice — for ask/ROUTER.","model":null,"verifies":null,"urls":{"read":"https://miscsubjects.com/api/articles/thinker-ramon-llull/topology"},"imessage":null,"router":null,"related":[{"id":"ask","what":"Answer only from topology; creates question_node with gaps and ingest_hint."},{"id":"graph_topology","what":"Merged claims/sources across condition+stack slugs for one question."},{"id":"question_graph","what":"Ask nodes (questions + gaps) and evidence_ingest nodes (pasted model output)."},{"id":"voxels","what":"Claims as atoms, sources as edges (supported_by, posted_by). Per-claim provenance."}],"not_medical_advice":true},"slug":"thinker-ramon-llull","title":"Ramon Llull — The First Machine for Reasoning","register":"standard","tags":["oip","kimi-import","self-explaining","voxel","thinkers","thinker-ramon-llull"],"updated_at":"2026-07-15T04:20:44.442Z","body_excerpt":"<!-- hierarchy:nav -->\n> **Path:** [OIP](https://miscsubjects.com/a/oip) › [Thinker Reference](https://miscsubjects.com/a/oip-thinker-reference) › [Thinkers](https://miscsubjects.com/a/oip-thinkers) › **Ramon Llull — The First Machine for Reasoning**\n>\n> **Shelf:** Thinkers · **Traversal:** self-explaining · hierarchical · voxel-ready\n> **Machine root:** [OIP tree](https://miscsubjects.com/api/dispatch?map=1&format=markdown) · [Registry](https://miscsubjects.com/api/dispatch?registry=1)\n\n# Ramon Llull — The First Machine for Reasoning\n\n## §SELF — thinker-ramon-llull\n\n**What this page is:** A profile of Ramon Llull and his mechanical system for generating knowledge.\n**What it explains:** The Ars Magna, a combinatorial machine using rotating disks to generate combinations of concepts.\n**Why read it:** To understand the 13th-century origin of mechanical reasoning and its connection to modern computing and AI.\n\n### What Ramon Llull Is\n\nRamon Llull (c. 1232–1315) was a Majorcan philosopher, logician, and mystic. He created the *Ars Magna* (Great Art) — a mechanical system for generating combinations of concepts to discover truth. The system uses concentric disks with concepts written on them. Rotating the disks produces all possible combinations of the concepts. Llull built this to convert non-Christians through reason, but the machine outlived its purpose: it is the first known physical device designed to generate new knowledge by combining symbols mechanically.\n\n### Why It Matters\n\nLlull demonstrated that reasoning could be mechanized seven centuries before electronic computers. His rotating disks are the ancestor of combination locks, punched-card tabulators, and algorithmic search. Every system that generates output by combining predefined elements — from Babbage's engines to large language models — follows the pattern Llull established: primitives + combination rules = new outputs. The *Ars Magna* is the first hardware implementation of \"generate and test\" — the core pattern of automated reasoning.\n\n### The Key Idea\n\nKnowledge can be generated mechanically by combining primitive concepts. Llull identified fundamental attributes (goodness, greatness, eternity, power, wisdom, will, virtue, truth, glory) and subjects (God, angel, man, and others). By rotating disks to pair each attribute with each subject, the machine generates propositions like \"God is good\" or \"Man is eternal\" — some true, some false, some requiring examination. The operator then evaluates each combination. Truth emerges from systematic combination plus human judgment.\n\n### What They Got Right\n\n- **Mechanical reasoning:** Llull built physical devices — paper disks, sometimes mounted for rotation — that implemented his system. This was not a metaphor. It was a machine.\n- **Combinatorial completeness:** The *Ars Magna* generates all combinations of its primitives. Llull understood that exhaustiveness matters: if you miss a combination, you might miss a truth.\n- **Primitives as foundation:** Llull's system rests on a fixed set of basic concepts. All complex propositions derive from these. This anticipates the modern idea of a formal vocabulary or token set.\n- **Universal application:** Llull believed his method applied to all domains — theology, law, medicine, philosophy. The same combinatorial engine, fed different primitives, produces domain-specific knowledge.\n- **Anticipation of later systems:** Leibniz's *universal characteristic* (1666 onward) aimed to assign numbers to concepts so reasoning becomes calculation. Babbage's Difference Engine (1822) and Analytical Engine (1837) mechanized calculation. Modern combinatorial algorithms search permutations systematically. Large language models combine learned token patterns to produce new text. All descend from Llull's insight.\n\n### What They Got Wrong or Left Unfinished\n\n- **The system does not verify truth:** Llull's machine generates propositions but provides no method to check them. \"Man is eternal\" is generate","ranking":"safety-first (interaction_risk/limitations), then quote-gated effective_weight","claims":[],"sources":[],"anecdotal_sources":[],"scientific_sources":[],"user_reports":[],"related_articles":[],"question_graph":{"slug":"thinker-ramon-llull","questions":[],"evidence":[],"edges":[],"counts":{"questions":0,"evidence":0,"edges":0}},"honesty":{"active_claims":0,"retracted_claims":0,"cut_claims":0,"challenges":0,"scrub_events":0,"note":"Retracted/cut claims stay on ledger but are excluded from ask unless ?include_inactive=1"},"counts":{"claims":0,"claims_total":0,"sources":0,"anecdotal":0,"scientific":0,"user_reports":0,"questions":0,"evidence_ingests":0}}