Famous Quote Operator Tests
Theme: Foundations · 8 sentences.
FMQ-001 · Famous Quote Operator Tests
Purpose: Stress-tests the three identity/equivalence operators — helm (G011, functional equivalence), helms (G012, strict definitional identity), and ven (G010, approximation hedge) — against famous philosophical, theological, and scientific quotes. Sources: Bacon, Franklin, Nietzsche, 1 John 4:8, Aristotle, Descartes, G. E. P. Box. Grouped: S439–S441 (helm), S442–S443 (helms), S444 (causal go contrast), S445–S446 (ven).
S439
to-su helm ra
Written: tosu helm ra
"Knowledge is power." (Francis Bacon, attributed)
Notes
to-su (W030) = knowledge-system / organized knowledge. ra = force/energy/power (primitive). helm (G011) = functional equivalence predicate: X is functionally understood as Y. Bacon's claim is pragmatic — organized knowledge functions as power, not that it metaphysically is power (helms) or merely has the property of power (ne to-su ra). The helm reading is precise: in the domain of human affairs, knowledge behaves as force.
S440
ti helm nu-vo
Written: ti helm nuvo
"Time is money." (Benjamin Franklin, attributed)
Notes
ti = time (primitive). nu-vo = quantity-value = measurable worth / counted resource (compositional; unregistered; nu = quantity + vo = value). helm = is functionally understood as. The claim is economic: time, in productive contexts, functions as a countable valuable resource. Not a definitional identity (helms) nor a property attribution (ne). Contrast with S439: both S439–S440 are helm pragmatic/cultural assertions.
S441
go-no-fe helm de
Written: gonofe helm de
"God is dead." (Friedrich Nietzsche, Die fröhliche Wissenschaft §125, 1882)
Notes
go-no-fe = necessary being (God; go + no-fe = origin without limiting boundary). de = decay/dissolution (primitive). helm = is culturally/functionally understood as. Nietzsche's claim is a cultural observation, not a metaphysical fact: the concept of God has functionally decayed in the modern imagination. helm is precisely right — go-no-fe helms de would be a logical contradiction (a necessary being is by definition incapable of dissolution). helm admits the tension: in the cultural-functional register, the necessary being is understood as dissolved. The force of the provocation is in the gap between helm and helms. Contrast immediately with S442.
S442
go-no-fe helms vo
Written: gonofe helms vo
"God is love." (1 John 4:8)
Notes
vo = value/quality/worth (primitive; broadest reading = unconditional positive regard / agape). helms (G012) = is by definition. This is a theological essence claim: what the necessary being is, not merely what it does or how it functions. Contrast with S441: same subject (go-no-fe), different operator, different predicate — helm de vs helms vo — encodes Nietzsche vs John at the level of the identity predicate itself. Resolves the identity-copula ambiguity raised in GAP-LSP-001 (see LSP-001 Batch Summary, and S431/S436): ne would attribute love as a property; helms asserts it as constitutive essence. The three-way scale illustrated across S441–S442: ne (property) < helm (functional) < helms (definitional).
S443
zo-li helms to-zo
Written: zoli helms tozo
"Man is a rational animal." (Aristotle, Nicomachean Ethics / Politics)
Notes
zo-li (W148) = living-agent = human person. to-zo = knowledge-living-being = a living thing defined by its knowledge-capacity = rational animal (compositional; unregistered: to modifier + zo head). helms = is by definition. Aristotle's core definition: being human is being a knowledge-structured living thing. Note compound polarity: zo-to (W068) = soul (living → knowledge: the knowledge-aspect of a living being); to-zo = rational animal (knowledge → living: a life-form categorized by its knowledge-capacity). The reversal encodes a different emphasis: soul is the knowledge-side of life; rational animal is the knowledge-categorized kind of creature.
S444
la-mi to go la-mi pa
Written: lami to go lami pa
"I think, therefore I am." (René Descartes, Discours de la méthode, 1637)
Notes
la-mi = I (first-person agent). to = model/think (primitive, intransitive). go = cause/origin particle (here: causal connective = "therefore"). pa = place/existence (place-occupation as proxy for existence). Structure: [premise: la-mi to] go [conclusion: la-mi pa] = "I think, therefore I exist." Deliberately uses go (causal deduction) rather than helm/helms; the Cogito is not an identity claim but a logical inference from a premise to a conclusion. Descartes does not say "thinking is existing" but "from the fact that I think, existence follows." Structural contrast with S442–S443: helms asserts identity; go deduces consequence.
S445
pu-to-su ne ven du-to
Written: putosu ne ven duto
"All models are approximately correct." (George E. P. Box, paraphrase)
Notes
pu-to-su = all knowledge-systems / all models (plural prefix pu- + to-su W030). ne = property copula. ven (G010) = approximately (spoken/written form of ~; pre-positional hedge). du-to = result-of-knowledge = the successful outcome of a modelling process = correct/accurate (compositional; unregistered: du = result/effect + to = pattern/knowledge). ven du-to = approximately correct. Forms a linked pair with S446: see that entry for the epistemological point.
S446
pu-to-su ne ven no-du-to
Written: putosu ne ven noduto
"All models are approximately wrong." (George E. P. Box, complementary reading)
Notes
Complement of S445. no-du-to = not-result-of-knowledge = incorrect (negated form; no- prefix + du-to). ven no-du-to = approximately wrong. S445 and S446 are both true of the same referent (pu-to-su), and this is not a contradiction: ven X and ven no-X co-hold when the subject is near the precision boundary — which is the condition of every finite model. ven is symmetric: a model that is ven du-to is the same model that is ven no-du-to. Tonesu's approximation system encodes this more faithfully than natural language: English "roughly correct" and "roughly wrong" feel contradictory; ven du-to and ven no-du-to are formally symmetric hedges. Box's full aphorism: "All models are wrong, but some are useful." A third sentence completing the aphorism — ta pu-to-su-va ne vo (and some models have value/utility) — is deferred.
Batch Summary
| Batch | Count | Core test |
|---|---|---|
| FMQ-001 | 8 sentences | helm functional equivalence · helms strict identity · ven approximation · causal go contrast |
Operators exercised: G010 (ven) · G011 (helm) · G012 (helms)
Structural insights documented:
- S439–S441: helm encodes pragmatic/cultural identity — knowledge-as-power, time-as-money, God-as-culturally-dead
- S441/S442: same subject (go-no-fe), different operators (helm vs helms) encodes Nietzsche vs John precisely at the operator level
- S443: helms for Aristotle's definitional claim; to-zo/zo-to polarity documents the rational-animal/soul distinction
- S444: go-causal deduction vs helm/helms identity — the Cogito is an inference, not an equation
- S445/S446: ven is symmetric — ven du-to and ven no-du-to both hold near the approximation boundary; Box's epistemic point encoded formally
Unregistered compositional forms used (candidates for future intake):
- nu-vo (quantity-value = money-as-countable-resource) — S440
- du-to (result-of-knowledge = correct/accurate) — S445–S446
- to-zo (knowledge-living-being = rational animal) — S443; polarity contrast with zo-to W068
Generated from registry/entries.yaml.