Translation Test: Wittgenstein, Tractatus Logico-Philosophicus §1

Source: Ludwig Wittgenstein, Tractatus Logico-Philosophicus (1921/1922), Proposition 1

Original German: "Die Welt ist alles, was der Fall ist."

Reference translation: Ogden (1922): "The world is everything that is the case."

Status: Draft — first pass

Purpose

Wittgenstein's Proposition 1 is the metaphysical stress test. It is deceptively short but ontologically precise:

The world is not a collection of objects — it is a collection of facts
A fact = something that is the case = a state of affairs that obtains
This is a strict definitional identity: helms is the right operator

Tests: - Whether Tonesu can distinguish facts (obtaining states) from objects (substances/things) - Whether pu-du-to captures Wittgenstein's Tatsachen (facts that obtain) - Whether pa-no-fe is the right compound for "the world"

Corpus sentences from this batch: S461 (one sentence).

Vocabulary Framework

Form	Reading	Construction	Notes
`pu-du-to`	all facts / everything that is the case	`pu-` (plural/universal) + `du` (result/effect) + `to` (conceptual pattern) = the totality of all obtained conceptual results = all propositions that have been actualized = all facts that hold. Head: `to` (pattern/concept); modifier: `du` (result/actualized); quantified by `pu-`.	Unregistered compositional; first attested S461
`pa-no-fe`	the world / unbounded space	established (THO-001 = omnipresence of God). Reused here for Wittgenstein's "world" = the totality of logical space. The literal reading `pa` (place/space) + `no-fe` (without limit) = unbounded space = the total manifold of what-there-is.	Re-attested; theological vs philosophical register

`pu-du-to` for "facts that obtain"

German Tatsachen (facts) = what is the case. Wittgenstein distinguishes Tatsachen from Gegenstände (objects/things). The world is constituted by facts, not things: facts are states-of-affairs that actually hold, not merely potential configurations.

In Tonesu: - A thing/object = ma (matter), mu (artifact), fe-ma (bounded material body) — the things that exist - A fact = a proposition or state that obtains = a result of conceptual-pattern actualization = du-to

du = result/effect/outcome. to = conceptual pattern / proposition. du-to = a realized conceptual result = a pattern that has obtained = a fact. The compound is: the outcome (du) that belongs to the domain of conceptual patterns (to) = the realized proposition = the fact-in-the-world.

pu-du-to = the totality of all such realized facts = everything that is the case.

Comparison with du-to (correct/accurate) from FMQ-001 (S445/S446): In the Box corpus, du-to = result-of-knowledge = the successful epistemic outcome = correct. In Wittgenstein's context, du-to = actualized conceptual result = a fact that obtains. Same compound, two registers: - Epistemic register: du-to = the successful outcome of knowing = correct/accurate - Ontological register: du-to = the actualized proposition = a obtaining fact

This dual-register reading is not a collision — it is a natural extension: an epistemic success outcome and an ontological obtaining fact are both "conceptual results that hold." The compound is general enough to cover both.

`pa-no-fe` for "the world"

pa-no-fe was introduced in THO-001 as an attribute of God = omnipresence = space-without-limit = being everywhere. Re-used here for Wittgenstein's "world" = the totality of what-there-is = the unbounded space of logical reality. Both readings are compositionally correct: - pa-no-fe as divine attribute = God is not bounded by any spatial limit - pa-no-fe as "the world" = the totality of logical/physical space = the world

The re-use across theological and philosophical registers is intended. It does not create a collision because the compound's meaning is the same in both cases: unbounded spatial totality. The difference is only in what fills that totality: - Theologically: God fills all of pa-no-fe - Ontologically (Wittgenstein): pa-no-fe = the world, which is filled by facts

`helms` for Wittgenstein's definitional claim

Wittgenstein writes this as an analytic/definitional statement. It is not: - A property (ne): "The world has the property of being all facts" — too weak, fails to capture the definitional force - A functional reading (helm): "The world is functionally understood as all facts" — partially right but suggests it could be otherwise

Wittgenstein intends: what the world IS, by definition, is the totality of facts. This is a helms claim — strict definitional identity. It is precisely the kind of analytical proposition that helms was designed for.

Source Text

1. Die Welt ist alles, was der Fall ist. The world is everything that is the case.

Translation

S461 — "The world is everything that is the case." (WIT-001)

pa-no-fe  helms  pu-du-to

Written: panofe helms puduto

Parse: - pa-no-fe = the world / the unbounded spatial totality - helms = is by strict definition (G012) - pu-du-to = the totality of all realized-conceptual-results = all facts that obtain

Reading: The world IS, definitionally, every fact that holds.

What the sentence establishes

Wittgenstein's opening proposition makes an ontological claim about what kinds of entities constitute the world: - NOT: "The world contains all objects" (pa-no-fe helms pu-ma = the world is all matter — wrong per Wittgenstein) - NOT: "The world is everything that exists" (pa-no-fe helms pu-pa = the world is all space — spatial, wrong) - YES: "The world is everything that is the case" (pa-no-fe helms pu-du-to = the world is all obtaining facts)

The pu-du-to vs pu-ma distinction maps precisely onto Wittgenstein's Tatsachen vs Gegenstände:

German	Tonesu	Reading
Tatsachen (facts)	`pu-du-to`	all realized conceptual results = all obtaining states
Gegenstände (objects)	`pu-ma`	all matter/things = all substances
die Welt (the world)	`pa-no-fe`	the unbounded totality = the world

The translation pa-no-fe helms pu-du-to captures Wittgenstein's claim: the world is not a container for objects but the collection of all obtaining facts. If it turns out the world contains more objects than facts or vice versa, this definition decides: worlds go where the facts are.

Structural Observations

Facts vs objects: a Tonesu ontological distinction

Wittgenstein's insight that the world is constituted by facts rather than objects maps onto the Tonesu distinction between: - du-to (result-of-conceptual-pattern = a fact) — an event/state in the epistemic/logical space - ma/mu/fe-ma — substances/artifacts/objects — things that exist

This is not a distinction explicitly theorized in the Tonesu spec, but the compound system implicitly encodes it: du-to belongs to the relational/result layer of the language; ma belongs to the material layer. The Tractatus translation makes this implicit distinction explicit and suggests it should be documented in the ontological notes.

Comparison with prior `helms` uses

Sentence	Form	Claim
S442 (FMQ-001)	`go-no-fe helms vo`	God IS by definition love (theological essence)
S443 (FMQ-001)	`zo-li helms to-zo`	The human IS by definition a rational animal (biological essence)
S461 (WIT-001)	`pa-no-fe helms pu-du-to`	The world IS by definition all facts (ontological definition)

All three use helms for strict definitional identity: a definition of what something fundamentally is, not merely what it resembles or what properties it has. S461 is the most abstract: instead of defining a type of thing (God, human), it defines the world itself as a totality.

WIT-001 Batch Summary

Entry	Form	Key test
WIT-001 (S461)	`panofe helms puduto`	`helms` for ontological definition; facts vs objects; `pa-no-fe` in philosophical register

Key finding: Tonesu can make the facts/objects distinction that Wittgenstein requires. The compound pu-du-to (all realized conceptual outcomes = all facts that hold) is structurally distinct from pu-ma (all matter = all objects). The helms operator delivers the definitional force. This is a genuine philosophical achievement: the language can articulate what makes ontological analysis possible.

New composites introduced: pu-du-to (totality of facts; first attested S461; du-to in ontological register)