Where Do Qualia Enter the Model? A Coq-Verified Analysis of the Non-Derivability of Phenomenology from Functional Structure
Figshare August 29, 2026 Alan Michael Gómez Calderón
Claims about phenomenal consciousness frequently move from functional, representational, self-referential, informational, or behavioral properties of a system to the conclusion that the system must possess qualia or phenomenal experience. This paper asks a more elementary question: where, formally, does phenomenology enter the model?We provide a mechanically checked analysis in the Coq proof...