Spaces:
Runtime error
Runtime error
File size: 2,565 Bytes
27905ae |
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 |
# MTL Builder Operations
## Wittgenstein's Language Game Applied to LOGOS
Wittgenstein's "builder's language" (from Philosophical Investigations §2) consists of:
- **Slab!** (request object)
- **Block!** (request object)
- **Beam!** (request object)
- **Column!** (request object)
The builder calls, the assistant brings. This is **pure action through naming**.
---
## MTL Mapping
| Builder Language | MTL Operation | Effect |
|:-----------------|:--------------|:-------|
| "Slab!" | `(hold 'slab [6])` | Store value 6 under 'slab |
| "Block!" | `(grab 'slab)` | Retrieve stored value |
| "Beam those!" | `(connect [A] [B])` | Combine A × B |
| "That slab!" | `(route [6] [42])` | Move value to domain |
---
## HOLD - The Register
```lisp
(hold 'x [6]) ; Store 6 as 'x
(hold 'y [7]) ; Store 7 as 'y
```
HOLD creates a **named register**. The value persists in `memory`.
---
## GRAB - The Retrieval
```lisp
(grab 'x) ; Returns 6
```
GRAB retrieves from the register. In builder terms: "Give me that slab!"
---
## CASCADE Operations
### Example 1: Store then Retrieve
```lisp
(hold 'a [2]) ; a = 2
(hold 'b [3]) ; b = 3
(mult (grab 'a) (grab 'b)) ; 2 × 3 = 6
```
### Example 2: Chain Connections
```lisp
(hold 'image [17])
(hold 'text [19])
(hold 'relation (connect (grab 'image) (grab 'text)))
; relation = 17 × 19 = 323
```
### Example 3: Builder Workflow
```lisp
; "Hold the slab, hold the beam, connect them"
(hold 'slab [5])
(hold 'beam [7])
(hold 'structure (mult (grab 'slab) (grab 'beam)))
; structure = 35
; "Now persist the structure"
(mult (grab 'structure) [7]) ; 35 × 7 = 245 (with PERSIST flag)
```
---
## Domain Operations
HOLD/GRAB work within the **active domain**:
```lisp
(domain [1700]) ; Enter VISUAL domain
(hold 'frame [17]) ; Store in VISUAL context
(domain [1900]) ; Switch to TEXT domain
(hold 'word [19]) ; Store in TEXT context
```
---
## The Builder Axiom
> **Calling a value IS moving it.**
In Wittgenstein's game, "Slab!" doesn't describe a slab—it **commands one to appear**.
In MTL, `(grab 'x)` doesn't describe x—it **retrieves x to the current context**.
The act of naming is the act of manifesting.
---
## Cascade Patterns
| Pattern | Operations | Result |
|:--------|:-----------|:-------|
| Store-Compute-Store | hold→op→hold | Accumulator |
| Gather-Combine | grab,grab→connect | Composition |
| Build-Persist | hold→mult [7] | Permanent record |
| Route-Chain | route→route | Pipeline |
|