Le problème difficile de la conscience se demande comment la syntaxe ou le calcul seul pourraient générer une expérience qualitative. Les articles 51 à 54 ont établi qu'il n'existe pas de théorie interne finale sur le soi, aucune structure syntaxique ne peut épuiser la sémantique, et aucun observateur ne peut s'épuiser lui-même. Le présent article prouve que tout contenu qualitatif connu par un sujet doit être représenté dans le registre sémantique ; une fois représenté, il ne peut pas être réduit à un contenu purement syntaxique (Article 53). Ainsi, tout compte viable des qualia doit les traiter comme un contenu irréductible du registre sémantique. Le problème difficile traditionnel, considéré comme exigeant seulement de la syntaxe pour générer des qualia depuis l'extérieur du registre, est une erreur de catégorie. Nous n'expliquons pas de manière réductrice "ce que ressent le rouge"—nous prouvons où les qualia doivent se situer dans tout compte adéquat. Le développement est lié à la bibliothèque dans -closure-lean. Points d'ancrage principaux : qualiaₒnₗedger ; ₗedgerqualiaₙotₚurelyₛyntactic ; qualiaᵢrreducibleₛemantic (). Limite de confiance. Le registre et les prédicats d'accès sont aussi formalisés ; "ce que ressent le rouge" n'est explicitement pas dérivé de manière réductrice. Le corollaire du problème difficile est le formel ₚroblemcategoryₑrror qui emballe les éléments présents.
Nova Spivack (Sun,) a étudié cette question.