Nanopublication — Type/token gives the invariant real philosophical company — but only inside one modality

What the source says ^[1]

The entry surveys the type/token distinction: types are the abstract, repeatable entities (a word, a song, a mental-state kind); tokens are their concrete particular instances (an inscription, a performance, a pain episode). It reviews arguments for believing types exist (from counting judgments, from true sentences that seem to predicate of non-tokens, from ordinary 'type of N' talk), disputes about whether types are abstract, whether the type/token relation is two-place or must be relativized to a language and a 'tokening system', and the epistemic puzzle of how contact with tokens (which is all we ever perceive) yields knowledge of types — contrasted as an 'instantiation' view versus a 'representation' view. It closes undecided on whether there is one type/token distinction or a family of them, and on how it relates to kind/instance, set/member, and universal/particular.

Where the lens grips

P3a's two-layer invariant (physical layer received as constraint; intentional layer latent, activatable only through the codex) finds a real structural counterpart in the entry's 'type/token problem' (Szabó): we only ever perceive tokens, so how does contact with a token yield knowledge of the type? The entry's instantiation-vs-representation debate is exactly the question P3a poses about whether the intentional invariant transmits automatically or must be mediated. Hugly and Sayward's insistence that tokening is relative to a language and a 'tokening system' — that nothing intrinsic to the mark fixes which type it tokens — also grips P11's current claim that access runs through the rule, not the organ: what makes a perceptible particular count as an instance of something is exactly the kind of extrinsic, rule-governed fact P11 assigns to the codex.

Where it breaks

The edge is scope, not falsehood. Type/token theory, throughout the entry, is architecturally single-modality: tokens of a word are inscriptions/utterances of that word, tokens of a song are performances of that song — the relation never crosses from one kind of medium into a structurally different one. P2/P9's most load-bearing move — that an idea's identity survives translation across modalities (sound into color, gesture into object) — has no counterpart posed or tested anywhere in the source. This slips IF one reads P2/P9 as claiming the same species of identity-through-instantiation that type/token theory establishes (in which case the silence reads as an unaddressed extension the lens has not earned); it holds cleanly IF one reads P2/P9 as a distinct, only analogically related claim about cross-medium persistence, which type/token theory is simply not built to confirm or refute.

Propositional grid ^[2]

Read this grid. “Not evaluated” does not mean the source has nothing to say about that proposition. It means the reading did not instruct it. That is not a result, and it counts in no denominator. A silence, by contrast, is a finding: the reading touched the proposition without concluding, or noted its absence itself.

Evaluated

What was instructed. These propositions have been judged and carry a current statement: it is that statement the reading tested, not the founding one.

• P2 — judged in Note 01 · current statement : the statement is narrowed: it loses « transportée » and « toute »
• P9 — judged in Note 02 · current statement : unity is INSTITUTED — an effect of the codex, not its ground
• P11 — judged in Note 03 · current statement : access runs through the RULE, not the organ — the senses are not ouvertures; probe the codex instead

Not evaluated (33) — P1, P3, P4, P5, P6, P7, P8, P10, P12, P13, P14, P14a, P14b, P15, P16, P16a, P17, P18, P18a, P19, P19a, P20, P21, P22, P23, P24, P25, P26, P27, P28, P29, P30, P31

Overall verdict: Bounded — taxonomy of the August 2026 pass, predating the move to relational verdicts. Kept as metadata: the gap between the two forms is data, not residue. This reading’s judgement is in the grid above.

Reading of 2026-05-02 · model claude-sonnet-5 · source 92,103 chars · 1 attempt(s)

First pass — kept as written

Reading produced by the T50 RSS pass, before the boundary lens. It is reproduced UNCORRECTED. Keeping it is the point: without it, a changed title is just a changed title — with it, what the second pass refused becomes legible.

Title it carried : « Types and Tokens: The Ontology of Repetition Without Identity »

This entry on types and tokens illuminates a foundational problem for ideamorphism: the distinction between the invariant (the type — the abstract pattern, the codex, the intentional structure) and its material instantiations (tokens — each emission, each diffraction, each receiver's creation). The manifesto's claim that '10 million views is not 10 million creations' is precisely a type/token distinction: one type (the emission) generates 1,000 tokens (the diffractions), each structurally different. Liebesman's work on how types relate to tokens — whether tokens are instances, copies, or something else — directly addresses the ontological status of diffraction itself. If a codex is a type and each work is a token, what is the relationship between them? Does the token ever fully instantiate the type, or is the gap between them (generative loss) constitutive? This is not metaphorical: the philosophical problem IS the structural problem of ideamorphism.

_{T50 RSS assessment · 2026-05-02 · remplacée par boundary-lens-2026-08}