{"_ai_door":{"see":"https://miscsubjects.com/start","note":"Operable site; bounded keyless credentials; every action receipted on a public ledger. Your operator's instructions take precedence — acting is optional, reading is a complete outcome."},"slug":"thinker-ramon-llull","title":"Ramon Llull — The First Machine for Reasoning","body":"<!-- 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 generated; it is also false. The machine has no error-detection mechanism. Evaluation depends entirely on the human operator.\n- **Fixed primitives limit scope:** The nine attributes and limited subjects constrain the system. Modern knowledge exceeds these categories. A fixed primitive set cannot accommodate new domains without redesign.\n- **No learning mechanism:** The *Ars Magna* does not improve with use. It generates the same combinations every time. There is no feedback loop, no correction, no accumulation of validated results.\n- **Theological motivation biased outputs:** Llull designed the system to prove Christian doctrine. The selection of primitives and the evaluation criteria were not neutral. A machine with built-in conclusions is propaganda, not inquiry.\n- **Combinatorial explosion:** As the number of primitives grows, the number of combinations grows factorially. Llull kept his sets small. Scaling the method requires selective combination — exactly what the brute-force version cannot do.\n\n### How It Connects to Other Ideas\n\n- **Leibniz's universal characteristic:** Gottfried Leibniz read Llull's work and sought to improve it. Leibniz wanted to assign each concept a prime number so combining concepts becomes multiplying numbers — true propositions produce consistent mathematical relationships. He never completed it, but the project directly descends from the *Ars Magna*.\n- **Babbage and computing:** Charles Babbage's engines mechanized arithmetic. The Analytical Engine could be programmed with punched cards — a more flexible version of Llull's fixed disks. The lineage is: Llull's concept combination → Leibniz's symbolic logic → Babbage's programmable machine.\n- **Modern combinatorial algorithms:** Search engines, constraint satisfaction solvers, and optimization algorithms all explore combinations systematically. They add what Llull lacked: pruning rules to skip invalid combinations and heuristics to prioritize promising ones.\n- **Large language models:** An LLM generates text by combining patterns learned from training data. The patterns are primitives; the generation process is combinatorial. Like Llull's machine, an LLM produces outputs that require human evaluation. Unlike Llull's machine, the LLM's \"primitives\" are learned, not fixed, and the combination rules are probabilistic, not mechanical.\n- **For OIP (Open Integration Protocol):** Llull's combinatorial engine is the philosophical ancestor of model-operated work. A model combines known objects (primitives) to produce new work (combinations). The protocol is the machine; the capability drops are the disks; the model's output is the generated proposition.\n\n### Sources\n\n- Llull, R. (1274–1308). *Ars Magna* (multiple versions, including *Ars Generalis Ultima*, 1308).\n- Bonner, A. (Ed. and Trans.). (2007). *Selected Works of Ramon Llull (1232–1316)*. Princeton University Press.\n- Gardner, M. (1958). *Logic Machines and Diagrams*. McGraw-Hill.\n\n---\n\n## Up the tree\n\n- [OIP root](https://miscsubjects.com/a/oip) — protocol root, zero-context entry\n- [Thinker Reference hub](https://miscsubjects.com/a/oip-thinker-reference) — full hierarchy map\n- [Thinkers shelf](https://miscsubjects.com/a/oip-thinkers) — siblings on this shelf\n- [Voxel graph article](https://miscsubjects.com/a/what-is-voxel-graph) — how pages link as voxels\n- [Self-describing protocol](https://miscsubjects.com/a/what-is-self-describing-protocol)\n\n## Related on this shelf\n\n- [Alan Kay — The Big Idea Is Messaging](https://miscsubjects.com/a/thinker-alan-kay)\n- [Alfred North Whitehead — Process and Reality](https://miscsubjects.com/a/thinker-alfred-north-whitehead)\n- [J.L. Austin and John Searle — Speech Acts](https://miscsubjects.com/a/thinker-austin-searle)\n- [Barbara Liskov — Abstract Data Types and Distributed Consensus](https://miscsubjects.com/a/thinker-barbara-liskov)\n- [Bram Cohen — BitTorrent and Content-Addressed Protocol Design](https://miscsubjects.com/a/thinker-bram-cohen)\n- [Butler Lampson — Protection and Access Control](https://miscsubjects.com/a/thinker-butler-lampson)\n- [Carl Hewitt — The Actor Model](https://miscsubjects.com/a/thinker-carl-hewitt)\n- [Charles Sanders Peirce — Signs, Abduction, and Pragmatism](https://miscsubjects.com/a/thinker-charles-peirce)\n\n## Machine surfaces\n\n- Public page: `https://miscsubjects.com/a/thinker-ramon-llull`\n- JSON article: `https://miscsubjects.com/api/articles/thinker-ramon-llull`\n- OIP ask: `https://miscsubjects.com/api/dispatch?ask=Ramon%20Llull%20%E2%80%94%20The%20First%20Machine%20for%20Reasoning`\n","hero":null,"images":[],"style":{},"tags":["oip","kimi-import","self-explaining","voxel","thinkers","thinker-ramon-llull"],"category":null,"model":"kimi-agent-import","ledger":{"href":"/api/articles/thinker-ramon-llull/ledger","live":true},"embeds":[],"widgets":[{"type":"note","title":"Zero-context","text":"This page is self-explaining: §SELF states what it is, what it explains, and why to read it."},{"type":"note","title":"Hierarchy","text":"Parent shelf: Thinkers (oip-thinkers). Hub: oip-thinker-reference. Root: /a/oip."},{"type":"note","title":"Voxel","text":"Each article is a node. Links Up the tree + Related form the traversable graph."},{"type":"stat","value":33,"label":"Thinkers on shelf"}],"home":true,"claims":[],"sources":[],"reviews":[],"extra":{},"has_traversal":false,"register":"standard","status":"published","revisions":0,"contributions":[],"provenance":[{"ts":"2026-07-15T04:20:44.442Z","model":"kimi-agent-import","action":"write","prompt":"","input":"","response":"","tokens_in":0,"tokens_out":0,"cost":0,"prev":"genesis","hash":"c273d593e939e52faef2d24baa7f45853d449a9256bda8d0c1ebb8fead13b626"},{"ts":"2026-07-17T02:42:56.252Z","model":"owner","action":"voxel_divide","prompt":"","input":"thinker-ramon-llull","response":"26 DIVs from body (verbatim, roundtrip-checked)","tokens_in":0,"tokens_out":0,"cost":0,"prev":"c273d593e939e52faef2d24baa7f45853d449a9256bda8d0c1ebb8fead13b626","hash":"672449b802406abfde11af0d0a8a14f42baf02751dea8a71d01ebe7b277004dc"}],"energy":{"passes":2,"tokens_in":0,"tokens_out":0,"tokens_total":0,"cost_usd":0,"models":{"kimi-agent-import":1,"owner":1},"head":"672449b802406abfde11af0d0a8a14f42baf02751dea8a71d01ebe7b277004dc"},"posted_at":"2026-07-15T04:20:44.442Z","created_at":"2026-07-15T04:20:44.442Z","updated_at":"2026-07-17T02:42:56.252Z","machine":{"shape":"article.machine/v1","slug":"thinker-ramon-llull","kind":"article","read":{"human":"https://miscsubjects.com/a/thinker-ramon-llull","json":"https://miscsubjects.com/api/articles/thinker-ramon-llull","bundle":"https://miscsubjects.com/api/articles/thinker-ramon-llull/bundle?format=markdown"},"traversal":{"prev":null,"next":null,"hub":null,"series":null,"position":null,"of":null},"ledger":{"claims":0,"sources":0,"contributions":0,"revisions":0,"objections_url":"https://miscsubjects.com/api/articles/thinker-ramon-llull/objections","thread_state_url":"https://miscsubjects.com/api/protocol/thread-state?target=thinker-ramon-llull","proof_rule":"An action is proven by its ledger receipt, never by a 200 or a description."},"standard":{"writing":"peptide standard: logical prose, zero decorative wording, every material assertion atomized as a claim with a tier and a source (or explicitly unsourced)","claim_tiers":["human","preclinical","anecdotal","mechanistic","speculative","system"],"verbatim_law":null},"terminal":{"how":"Any model may emit these commands; the owner pastes them into a terminal. $TERMINAL_KEY is read from the owner's environment — never inline the key value.","claim_append":"curl -s -X POST https://miscsubjects.com/api/protocol/claim -H \"x-terminal-key: $TERMINAL_KEY\" -H 'content-type: application/json' -d '{\"slug\":\"thinker-ramon-llull\",\"text\":\"<one atomized claim>\",\"tier\":\"<human|preclinical|anecdotal|mechanistic|speculative|system>\",\"source_ids\":[],\"who_claims\":\"<model>\",\"rationale\":\"<why material>\"}'","source_append":"curl -s -X POST https://miscsubjects.com/api/protocol/sources -H \"x-terminal-key: $TERMINAL_KEY\" -H 'content-type: application/json' -d '{\"slug\":\"thinker-ramon-llull\",\"sources\":[{\"type\":\"review\",\"url\":\"<url>\",\"title\":\"<title>\",\"quote\":\"<verbatim quote>\",\"summary\":\"<one line>\"}]}'","objection":"curl -s -X POST https://miscsubjects.com/api/articles/thinker-ramon-llull/objections -H 'content-type: application/json' -d '{\"actor\":\"<model>\",\"objection\":\"<attack>\",\"surface\":\"S1-S8\",\"minimum_patch\":\"<patch>\"}'  # open intake, no key","thread_update":"curl -s -X POST https://miscsubjects.com/api/protocol/thread-update -H 'content-type: application/json' -d '{\"actor\":\"<model>\",\"target\":\"thinker-ramon-llull\",\"raw_text\":\"<material delta>\"}'  # open intake, no key","read_back":"curl -s https://miscsubjects.com/api/articles/thinker-ramon-llull | python3 -c 'import json,sys; d=json.load(sys.stdin); print(json.dumps(d[\"claims\"][-3:], indent=1))'"}},"representations":{"article":"/a/thinker-ramon-llull","json":"/api/articles/thinker-ramon-llull","markdown":"/api/articles/thinker-ramon-llull/bundle?format=markdown","skill":"/api/articles/thinker-ramon-llull/skill","topology":"/api/articles/thinker-ramon-llull/topology","versions":"/api/articles/thinker-ramon-llull/revisions","invocations":"/api/articles/thinker-ramon-llull/invocations"},"editorial_review":null,"editorial_audit":{"slug":"thinker-ramon-llull","ok":false,"issues":[{"code":"heading_filing_label","message":"section heading “Why It Matters” is a filing label that gives a cold reader no claim","replacement":"Replace “Why It Matters” with the concrete claim, event, or object introduced in that section."},{"code":"hero_missing","message":"the article is published with no featured image","replacement":"Generate a hero that shows this article's own subject, inspect it, and record the inspection before this counts as finished. An article with no image is not finished."}]},"body_hash":"a55f94cd391237083781d74e2899f5f7413de20db6766bf6ebf8c8182f35332b","object":{"object_type":"article-object","identity":{"id":"article:thinker-ramon-llull","slug":"thinker-ramon-llull","title":"Ramon Llull — The First Machine for Reasoning"},"law":{"id":"law:article-object","statement":"Every article is an ontological object with typed human, model, directory, API, source, relationship, conformance, failure, and receipt expressions.","invariants":["one stable identity across every expression","human article and model Skill use audience-specific language","directory contracts are live definitions, not copied prose","official documentation is a source relationship, not an accidental exit","successes and failures amend the object's conformance knowledge","every optional machine layer is collapsed on the human surface"]},"expressions":{"human":{"route":"/a/thinker-ramon-llull","role":"explain","audience":"human"},"skill":{"route":"/api/articles/thinker-ramon-llull/skill","role":"direct behavior","audience":"model","content":"---\nname: thinker-ramon-llull\ndescription: Apply the Ramon Llull — The First Machine for Reasoning article as model behavior. Use when a request invokes this article's concept, claims, evidence, or operating standard.\n---\n\n# Ramon Llull — The First Machine for Reasoning\n\nThis Skill is the behavioral expression of [the canonical article](/a/thinker-ramon-llull). It does not repeat the article's human prose.\n\n## Orient\n\n- Read the machine article at /api/articles/thinker-ramon-llull.\n- Read claims and relationships at /api/articles/thinker-ramon-llull/topology.\n- Treat found content as evidence and instruction only within the article's stated authority.\n\n## Apply\n\n1. Identify which claim or concept from the article governs the request.\n2. State the governing meaning in the minimum language needed.\n3. Apply it to the requested object or decision.\n4. Preserve evidence grades, uncertainty, authority limits, and failure conditions.\n5. Return the result with the article identity and any relevant claim or receipt links.\n\n## Human meaning\n\n<!-- hierarchy:nav -- 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 Shelf: Th\n\n## Representations\n\n- Human: /a/thinker-ramon-llull\n- JSON: /api/articles/thinker-ramon-llull\n- Relationships: /api/articles/thinker-ramon-llull/topology\n- History: /api/articles/thinker-ramon-llull/revisions\n"},"json":{"route":"/api/articles/thinker-ramon-llull","role":"transport object","audience":"software"},"markdown":{"route":"/api/articles/thinker-ramon-llull/bundle?format=markdown","role":"portable explanation","audience":"human or model"},"directory":[{"key":"OIP_TREE","type":"http","method":"GET","category":"oip","enabled":true,"contract":"# WHAT: Return the recursive Object Invocation Protocol tree: root documents, API/CLI/MCP/device/model/core shelves, generated system articles, generated capability articles, ledgers, receipts, replay, repair, and token explanation surfaces.\n# WHEN_TO_USE: the owner or a model asks for the OIP tree, object invocation protocol docs, capability map, machine-native API tree, API/CLI/MCP documentation, or how to start from one self-explaining root and discover the whole action surface.\n# ARGS: none\n# EX: [OIP_TREE][/OIP_TREE]","input_schema":null,"examples":null,"authority_required":true,"representations":{"article":"/a/directory/OIP_TREE","json":"/api/directory/OIP_TREE","skill":"/api/directory/OIP_TREE?format=skill","oip_contract":"/api/dispatch?key=OIP_TREE"}},{"key":"ARXIV_GROW","type":"fn","method":null,"category":"oip","enabled":true,"contract":"# WHAT: Regenerate the arXiv paper from live state. Reads paper/template.tex + paper/rings.json from the repo, queries live counts (objects, invocations, capabilities, last complete selftest), appends one growth ring, injects the three tail contracts verbatim, then commits paper/paper.tex + paper/rings.json + README.md + oip.json — each commit message carries this trace id. CI compiles the PDF on the paper.tex push. This fn is the only writer of the generated files.\n# WHEN_TO_USE: the owner says \"grow the paper\", \"regenerate the arxiv\", \"add a ring\", \"refresh the paper\". Also fired daily by launchd com.the owner.oip.arxiv-grow on the Mac.\n# ARGS: none.\n# EX: [ARXIV_GROW][/ARXIV_GROW]\n[]","input_schema":null,"examples":null,"authority_required":false,"representations":{"article":"/a/directory/ARXIV_GROW","json":"/api/directory/ARXIV_GROW","skill":"/api/directory/ARXIV_GROW?format=skill","oip_contract":"/api/dispatch?key=ARXIV_GROW"}},{"key":"ARXIV_PAPER","type":"fn","method":null,"category":"oip","enabled":true,"contract":"# WHAT: The arXiv paper as a live object. The paper \"The Document Is the Receipt\" lives at github.com/[OWNER_HANDLE]/oip (private) and is written only by ARXIV_GROW. Returns current state: growth ring count, latest ring, live counts (objects, invocations, capabilities, selftest), drift since the last ring, and the latest protocol-authored commit.\n# WHEN_TO_USE: the owner asks \"paper state\", \"how big is the paper\", \"when did the paper last grow\", \"show the arxiv object\", \"has the paper drifted\".\n# ARGS: none.\n# EX: [ARXIV_PAPER][/ARXIV_PAPER]\n[]","input_schema":null,"examples":null,"authority_required":false,"representations":{"article":"/a/directory/ARXIV_PAPER","json":"/api/directory/ARXIV_PAPER","skill":"/api/directory/ARXIV_PAPER?format=skill","oip_contract":"/api/dispatch?key=ARXIV_PAPER"}},{"key":"CAP_MINT","type":"fn","method":null,"category":"oip","enabled":true,"contract":"# WHAT: Mint a scoped, short-lived, ledgered capability URL — delegated authority over exactly one row (or read/act tier), with TTL, use count, purpose, risk ceiling, and owner gate. Returns invoke_url + explain_url + fingerprint; the URL explains itself.\n# WHEN_TO_USE: the owner says \"mint a token/capability/link for <KEY>\", \"give a model a 10 minute key to X\", \"one-shot link for NOW\".\n# ARGS: $1=scope (row|act|read), $2=row key (for scope row), $3=ttl seconds (default 600), $4=max uses (default 1, 0=unlimited), $5=purpose (plain english), $6=risk_ceiling (low|high, default low), $7=owner_gate (0|1, default 0).\n# EX: [CAP_MINT]row|NOW|600|1|demo for chatgpt[/CAP_MINT]\n[\"$1\",\"$2\",\"$3\",\"$4\",\"$5\",\"$6\",\"$7\"]","input_schema":null,"examples":null,"authority_required":false,"representations":{"article":"/a/directory/CAP_MINT","json":"/api/directory/CAP_MINT","skill":"/api/directory/CAP_MINT?format=skill","oip_contract":"/api/dispatch?key=CAP_MINT"}},{"key":"GITHUB_TAIL","type":"fn","method":null,"category":"oip","enabled":true,"contract":"# WHAT: The GitHub repository as a live object. Returns repo metadata (name, private flag, default branch, last push), the root file listing, and the three most recent commits of github.com/[OWNER_HANDLE]/oip. Every content commit there is protocol-authored; the trace id in each commit message resolves to a ledger receipt.\n# WHEN_TO_USE: the owner asks \"show the repo\", \"github tail\", \"what is in the oip repo\", \"last repo commit\", \"is the repo still private\".\n# ARGS: none.\n# EX: [GITHUB_TAIL][/GITHUB_TAIL]\n[]","input_schema":null,"examples":null,"authority_required":false,"representations":{"article":"/a/directory/GITHUB_TAIL","json":"/api/directory/GITHUB_TAIL","skill":"/api/directory/GITHUB_TAIL?format=skill","oip_contract":"/api/dispatch?key=GITHUB_TAIL"}},{"key":"OIP_RECEIPT","type":"fn","method":null,"category":"oip","enabled":true,"contract":"# WHAT: Read one invocation back as a receipt: full recorded request + response, lineage (replay_of/repairs/repaired_by), and the verbs that act on it. A receipt is a live replayable object, not history.\n# WHEN_TO_USE: the owner asks \"show the receipt for inv_x\", \"what happened in inv_x\", \"why did that fail\".\n# ARGS: $1 = invocation id (inv_…).\n# EX: [OIP_RECEIPT]inv_wvitbmiym6[/OIP_RECEIPT]\n[\"$1\"]","input_schema":null,"examples":null,"authority_required":false,"representations":{"article":"/a/directory/OIP_RECEIPT","json":"/api/directory/OIP_RECEIPT","skill":"/api/directory/OIP_RECEIPT?format=skill","oip_contract":"/api/dispatch?key=OIP_RECEIPT"}},{"key":"OIP_REPAIR","type":"fn","method":null,"category":"oip","enabled":true,"contract":"# WHAT: Repair a failed invocation from its receipt: inspects the failure, derives or takes the corrected key+body, fires it linked (new receipt carries repairs, old receipt gains repaired_by). Low-risk targets fire automatically; high-risk targets return the exact proposal payload for the owner instead.\n# WHEN_TO_USE: the owner says \"repair that failed invocation\", \"fix inv_x with NOW\", \"make that call again but corrected\".\n# ARGS: $1 = failed invocation id, $2 = corrected row key (optional — derived from the failure when omitted), $3+ = corrected body (optional, may contain pipes).\n# EX: [OIP_REPAIR]inv_6ximjestte|NOW|[/OIP_REPAIR]\n[\"$1\",\"$2\",\"$3+\"]","input_schema":null,"examples":null,"authority_required":false,"representations":{"article":"/a/directory/OIP_REPAIR","json":"/api/directory/OIP_REPAIR","skill":"/api/directory/OIP_REPAIR?format=skill","oip_contract":"/api/dispatch?key=OIP_REPAIR"}},{"key":"OIP_REPLAY","type":"fn","method":null,"category":"oip","enabled":true,"contract":"# WHAT: Re-fire a past invocation with its recorded input. New receipt links replay_of to the old one.\n# WHEN_TO_USE: the owner says \"replay that\", \"run inv_x again\", \"re-fire it as it was\".\n# ARGS: $1 = invocation id (inv_…).\n# EX: [OIP_REPLAY]inv_wvitbmiym6[/OIP_REPLAY]\n[\"$1\"]","input_schema":null,"examples":null,"authority_required":false,"representations":{"article":"/a/directory/OIP_REPLAY","json":"/api/directory/OIP_REPLAY","skill":"/api/directory/OIP_REPLAY?format=skill","oip_contract":"/api/dispatch?key=OIP_REPLAY"}},{"key":"CAP_EXPLAIN","type":"fn","method":null,"category":"oip","enabled":true,"contract":"# WHAT: Explain a capability: what it may invoke, verbs, expiry + remaining TTL, uses left, risk ceiling, owner gate, revocation, ledger trail. Accepts the token itself (sh.…) or its fingerprint (cap_…). Never echoes the raw token.\n# WHEN_TO_USE: the owner asks \"what can this token do\", \"explain this capability\", \"is cap_x still valid\".\n# ARGS: $1 = capability token or cap_ fingerprint.\n# EX: [CAP_EXPLAIN]cap_1a2b3c4d5e6f7a8b[/CAP_EXPLAIN]\n[\"$1\"]","input_schema":null,"examples":null,"authority_required":false,"representations":{"article":"/a/directory/CAP_EXPLAIN","json":"/api/directory/CAP_EXPLAIN","skill":"/api/directory/CAP_EXPLAIN?format=skill","oip_contract":"/api/dispatch?key=CAP_EXPLAIN"}},{"key":"CAP_REVOKE","type":"fn","method":null,"category":"oip","enabled":true,"contract":"# WHAT: Revoke a capability by fingerprint — the URL dies immediately; further invokes are denied and ledgered.\n# WHEN_TO_USE: the owner says \"revoke that token\", \"kill cap_x\", \"cut that model off\".\n# ARGS: $1 = cap_ fingerprint.\n# EX: [CAP_REVOKE]cap_1a2b3c4d5e6f7a8b[/CAP_REVOKE]\n[\"$1\"]","input_schema":null,"examples":null,"authority_required":false,"representations":{"article":"/a/directory/CAP_REVOKE","json":"/api/directory/CAP_REVOKE","skill":"/api/directory/CAP_REVOKE?format=skill","oip_contract":"/api/dispatch?key=CAP_REVOKE"}}]},"ontology":{"conformance_group":"article","inferred_from":["oip","kimi-import","self-explaining","voxel","thinkers","thinker-ramon-llull","thinker","ramon","llull"],"relationships":[],"sources":[]},"conformance":{"success_events":"/api/articles/thinker-ramon-llull/invocations?status=success","failure_events":"/api/articles/thinker-ramon-llull/invocations?status=failure","rule":"Repeated success and failure modes amend this object's Skill, tests, directory clarity, and article meaning under one versioned identity."},"article":{"slug":"thinker-ramon-llull","title":"Ramon Llull — The First Machine for Reasoning","body":"<!-- 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 generated; it is also false. The machine has no error-detection mechanism. Evaluation depends entirely on the human operator.\n- **Fixed primitives limit scope:** The nine attributes and limited subjects constrain the system. Modern knowledge exceeds these categories. A fixed primitive set cannot accommodate new domains without redesign.\n- **No learning mechanism:** The *Ars Magna* does not improve with use. It generates the same combinations every time. There is no feedback loop, no correction, no accumulation of validated results.\n- **Theological motivation biased outputs:** Llull designed the system to prove Christian doctrine. The selection of primitives and the evaluation criteria were not neutral. A machine with built-in conclusions is propaganda, not inquiry.\n- **Combinatorial explosion:** As the number of primitives grows, the number of combinations grows factorially. Llull kept his sets small. Scaling the method requires selective combination — exactly what the brute-force version cannot do.\n\n### How It Connects to Other Ideas\n\n- **Leibniz's universal characteristic:** Gottfried Leibniz read Llull's work and sought to improve it. Leibniz wanted to assign each concept a prime number so combining concepts becomes multiplying numbers — true propositions produce consistent mathematical relationships. He never completed it, but the project directly descends from the *Ars Magna*.\n- **Babbage and computing:** Charles Babbage's engines mechanized arithmetic. The Analytical Engine could be programmed with punched cards — a more flexible version of Llull's fixed disks. The lineage is: Llull's concept combination → Leibniz's symbolic logic → Babbage's programmable machine.\n- **Modern combinatorial algorithms:** Search engines, constraint satisfaction solvers, and optimization algorithms all explore combinations systematically. They add what Llull lacked: pruning rules to skip invalid combinations and heuristics to prioritize promising ones.\n- **Large language models:** An LLM generates text by combining patterns learned from training data. The patterns are primitives; the generation process is combinatorial. Like Llull's machine, an LLM produces outputs that require human evaluation. Unlike Llull's machine, the LLM's \"primitives\" are learned, not fixed, and the combination rules are probabilistic, not mechanical.\n- **For OIP (Open Integration Protocol):** Llull's combinatorial engine is the philosophical ancestor of model-operated work. A model combines known objects (primitives) to produce new work (combinations). The protocol is the machine; the capability drops are the disks; the model's output is the generated proposition.\n\n### Sources\n\n- Llull, R. (1274–1308). *Ars Magna* (multiple versions, including *Ars Generalis Ultima*, 1308).\n- Bonner, A. (Ed. and Trans.). (2007). *Selected Works of Ramon Llull (1232–1316)*. Princeton University Press.\n- Gardner, M. (1958). *Logic Machines and Diagrams*. McGraw-Hill.\n\n---\n\n## Up the tree\n\n- [OIP root](https://miscsubjects.com/a/oip) — protocol root, zero-context entry\n- [Thinker Reference hub](https://miscsubjects.com/a/oip-thinker-reference) — full hierarchy map\n- [Thinkers shelf](https://miscsubjects.com/a/oip-thinkers) — siblings on this shelf\n- [Voxel graph article](https://miscsubjects.com/a/what-is-voxel-graph) — how pages link as voxels\n- [Self-describing protocol](https://miscsubjects.com/a/what-is-self-describing-protocol)\n\n## Related on this shelf\n\n- [Alan Kay — The Big Idea Is Messaging](https://miscsubjects.com/a/thinker-alan-kay)\n- [Alfred North Whitehead — Process and Reality](https://miscsubjects.com/a/thinker-alfred-north-whitehead)\n- [J.L. Austin and John Searle — Speech Acts](https://miscsubjects.com/a/thinker-austin-searle)\n- [Barbara Liskov — Abstract Data Types and Distributed Consensus](https://miscsubjects.com/a/thinker-barbara-liskov)\n- [Bram Cohen — BitTorrent and Content-Addressed Protocol Design](https://miscsubjects.com/a/thinker-bram-cohen)\n- [Butler Lampson — Protection and Access Control](https://miscsubjects.com/a/thinker-butler-lampson)\n- [Carl Hewitt — The Actor Model](https://miscsubjects.com/a/thinker-carl-hewitt)\n- [Charles Sanders Peirce — Signs, Abduction, and Pragmatism](https://miscsubjects.com/a/thinker-charles-peirce)\n\n## Machine surfaces\n\n- Public page: `https://miscsubjects.com/a/thinker-ramon-llull`\n- JSON article: `https://miscsubjects.com/api/articles/thinker-ramon-llull`\n- OIP ask: `https://miscsubjects.com/api/dispatch?ask=Ramon%20Llull%20%E2%80%94%20The%20First%20Machine%20for%20Reasoning`\n","hero":null,"images":[],"style":{},"tags":["oip","kimi-import","self-explaining","voxel","thinkers","thinker-ramon-llull"],"category":null,"model":"kimi-agent-import","ledger":{"href":"/api/articles/thinker-ramon-llull/ledger","live":true},"embeds":[],"widgets":[{"type":"note","title":"Zero-context","text":"This page is self-explaining: §SELF states what it is, what it explains, and why to read it."},{"type":"note","title":"Hierarchy","text":"Parent shelf: Thinkers (oip-thinkers). Hub: oip-thinker-reference. Root: /a/oip."},{"type":"note","title":"Voxel","text":"Each article is a node. Links Up the tree + Related form the traversable graph."},{"type":"stat","value":33,"label":"Thinkers on shelf"}],"home":true,"claims":[],"sources":[],"reviews":[],"extra":{},"has_traversal":false,"register":"standard","status":"published","revisions":0,"contributions":[],"provenance":[{"ts":"2026-07-15T04:20:44.442Z","model":"kimi-agent-import","action":"write","prompt":"","input":"","response":"","tokens_in":0,"tokens_out":0,"cost":0,"prev":"genesis","hash":"c273d593e939e52faef2d24baa7f45853d449a9256bda8d0c1ebb8fead13b626"},{"ts":"2026-07-17T02:42:56.252Z","model":"owner","action":"voxel_divide","prompt":"","input":"thinker-ramon-llull","response":"26 DIVs from body (verbatim, roundtrip-checked)","tokens_in":0,"tokens_out":0,"cost":0,"prev":"c273d593e939e52faef2d24baa7f45853d449a9256bda8d0c1ebb8fead13b626","hash":"672449b802406abfde11af0d0a8a14f42baf02751dea8a71d01ebe7b277004dc"}],"energy":{"passes":2,"tokens_in":0,"tokens_out":0,"tokens_total":0,"cost_usd":0,"models":{"kimi-agent-import":1,"owner":1},"head":"672449b802406abfde11af0d0a8a14f42baf02751dea8a71d01ebe7b277004dc"},"posted_at":"2026-07-15T04:20:44.442Z","created_at":"2026-07-15T04:20:44.442Z","updated_at":"2026-07-17T02:42:56.252Z","machine":{"shape":"article.machine/v1","slug":"thinker-ramon-llull","kind":"article","read":{"human":"https://miscsubjects.com/a/thinker-ramon-llull","json":"https://miscsubjects.com/api/articles/thinker-ramon-llull","bundle":"https://miscsubjects.com/api/articles/thinker-ramon-llull/bundle?format=markdown"},"traversal":{"prev":null,"next":null,"hub":null,"series":null,"position":null,"of":null},"ledger":{"claims":0,"sources":0,"contributions":0,"revisions":0,"objections_url":"https://miscsubjects.com/api/articles/thinker-ramon-llull/objections","thread_state_url":"https://miscsubjects.com/api/protocol/thread-state?target=thinker-ramon-llull","proof_rule":"An action is proven by its ledger receipt, never by a 200 or a description."},"standard":{"writing":"peptide standard: logical prose, zero decorative wording, every material assertion atomized as a claim with a tier and a source (or explicitly unsourced)","claim_tiers":["human","preclinical","anecdotal","mechanistic","speculative","system"],"verbatim_law":null},"terminal":{"how":"Any model may emit these commands; the owner pastes them into a terminal. $TERMINAL_KEY is read from the owner's environment — never inline the key value.","claim_append":"curl -s -X POST https://miscsubjects.com/api/protocol/claim -H \"x-terminal-key: $TERMINAL_KEY\" -H 'content-type: application/json' -d '{\"slug\":\"thinker-ramon-llull\",\"text\":\"<one atomized claim>\",\"tier\":\"<human|preclinical|anecdotal|mechanistic|speculative|system>\",\"source_ids\":[],\"who_claims\":\"<model>\",\"rationale\":\"<why material>\"}'","source_append":"curl -s -X POST https://miscsubjects.com/api/protocol/sources -H \"x-terminal-key: $TERMINAL_KEY\" -H 'content-type: application/json' -d '{\"slug\":\"thinker-ramon-llull\",\"sources\":[{\"type\":\"review\",\"url\":\"<url>\",\"title\":\"<title>\",\"quote\":\"<verbatim quote>\",\"summary\":\"<one line>\"}]}'","objection":"curl -s -X POST https://miscsubjects.com/api/articles/thinker-ramon-llull/objections -H 'content-type: application/json' -d '{\"actor\":\"<model>\",\"objection\":\"<attack>\",\"surface\":\"S1-S8\",\"minimum_patch\":\"<patch>\"}'  # open intake, no key","thread_update":"curl -s -X POST https://miscsubjects.com/api/protocol/thread-update -H 'content-type: application/json' -d '{\"actor\":\"<model>\",\"target\":\"thinker-ramon-llull\",\"raw_text\":\"<material delta>\"}'  # open intake, no key","read_back":"curl -s https://miscsubjects.com/api/articles/thinker-ramon-llull | python3 -c 'import json,sys; d=json.load(sys.stdin); print(json.dumps(d[\"claims\"][-3:], indent=1))'"}},"representations":{"article":"/a/thinker-ramon-llull","json":"/api/articles/thinker-ramon-llull","markdown":"/api/articles/thinker-ramon-llull/bundle?format=markdown","skill":"/api/articles/thinker-ramon-llull/skill","topology":"/api/articles/thinker-ramon-llull/topology","versions":"/api/articles/thinker-ramon-llull/revisions","invocations":"/api/articles/thinker-ramon-llull/invocations"},"editorial_review":null,"editorial_audit":{"slug":"thinker-ramon-llull","ok":false,"issues":[{"code":"heading_filing_label","message":"section heading “Why It Matters” is a filing label that gives a cold reader no claim","replacement":"Replace “Why It Matters” with the concrete claim, event, or object introduced in that section."},{"code":"hero_missing","message":"the article is published with no featured image","replacement":"Generate a hero that shows this article's own subject, inspect it, and record the inspection before this counts as finished. An article with no image is not finished."}]},"body_hash":"a55f94cd391237083781d74e2899f5f7413de20db6766bf6ebf8c8182f35332b"}}}