Nanopublication — Beyond true and false: matrix semantics and designated truth-values
This is a technical survey of many-valued logic (matrix semantics, designated values, bivalence, algebraic characterizations) with no emitter, receiver, codex, or act of creation in view — the framework has no vocabulary for formal truth-value systems and nothing here concerns transmission, reception, or diffraction of an idea.
Declined — no-purchase [1]
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.
Not evaluated (37) — P1, P2, P3, P3a, P4, P5, P6, P7, P8, P9, P10, P11, 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: DECLINED:no-purchase — 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-09-30 · model claude-sonnet-5 · source 238,040 chars · 1 attempt(s)
References
- [1] Many-Valued Logic. Stanford Encyclopedia of Philosophy, 2026-09-30. https://plato.stanford.edu/entries/logic-manyvalued/
- [2] Quercy, A. (2026). The 31 Propositions of Ideamorphism. https://ideamorphism.org/en/publications/2026/03/the-31-propositions-of-ideamorphism.html
Epistemic profile
| Claim type | boundary reading |
|---|---|
| Voice | third person analysis |
| Epistemic status | no purchase |
| Methodology | Boundary-finding lens applied to one source, model claude-sonnet-5, 1 attempt(s), traceability check passed. |
Checksum (SHA-256)
f96f9d25fe37a158b463d414ddb770ec43175dee24046f830709f7f22d449444