Vagueness, Sorites, and Boundary Indeterminacy
M-E3-17
structural canonical
knowledge truth logic language
External: philosophical foundational debate
τ response: structurally constrained
How can a framework handle vague predicates, blurred boundaries, and gradual transitions without arbitrary cutoffs or explosion?
Current τ response
See the paired Vagueness, Sorites, and Boundary Indeterminacy — Challenge Response on the Results lane for the program's current response status, registry evidence, verification route, and external-review boundary.
Current status: structurally constrained.
Challenge statement
How can a framework handle vague predicates, blurred boundaries, and gradual transitions without arbitrary cutoffs or explosion?
Why this challenge is in the ledger
Tests whether τ treats vagueness as linguistic, epistemic, ontic, or register-relative.
Tests whether τ treats vagueness as linguistic, epistemic, ontic, or register-relative.
τ-facing burden
Route through boundary logic, paraconsistent/many-valued or Belnap-style fragments if applicable, ontic underdetermination, identity and individuation.
First reviewer questions
- Does τ produce extensional results for vagueness, sorites, and boundary indeterminacy?
- Are the τ register routings genuinely informative or merely renaming?
- What external philosophical review would settle the open questions?
Source anchors
Source anchors are background references, not endorsements of Panta Rhei claims.