{"id":"b5f0110a-11b0-4200-b8f9-330d407d4ada","arxiv_id":"2608.12030","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Structuralist theories of consciousness would not solve the problem of other minds, but would support graded, category-theoretic levels of inference that range from an imperfect dictionary to a bare grammar of another's experience.","lead":"This philosophy chapter argues that structural theories of consciousness, Qstr and IIT, would not let us directly know another mind's experience, but would provide graded levels of inference based on how well the mathematical structures of two minds align. It offers a category-theoretic ladder from isomorphism to adjunction to no-relation as a principled way to say what we can and cannot infer about other minds.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The ladder from isomorphism to 'no relations' is not actually derived from category theory: strong/weak adjunction is explicitly informal, and the category hypothesis is unproven.","rationale":"The reader's verdict is CONDITIONAL, and I agree with that. The paper is honest about its conditionality: the abstract and §2 frame the category hypothesis as a hypothesis, and §6 says the claims presuppose a valid Rosetta Stone. The strongest part is the careful distinction between necessary (Qstr) and sufficient (IIT) conditions and the acknowledgment that acquaintance is not transmitted. The weakest point, which I think is the single load-bearing one, is that the central contribution—the gradient of inference levels—is not formally anchored. The paper relies on category theory for its vocabulary but explicitly disclaims the formal content of strong versus weak adjunction. A reader cannot verify, compute, or falsify the ordering of the levels without a quantitative measure. The category hypothesis itself is also asserted, not proved. This does not make the paper wrong; it makes it a compelling conceptual proposal that needs formal development before it can ground empirical comparisons. Therefore my read does not change the reader's verdict: CONDITIONAL/UNCHANGED. The concrete test above is the step that would move it from a conditional to a formally grounded framework.","tokens_in":16874,"tokens_out":5433,"duration_ms":48925,"concrete_test":"Formalize the ladder by defining a quantitative measure of adjunction strength (e.g., the size of the largest subcategory on which the unit/co-unit are isomorphisms, or the maximum round-trip distance over objects/arrows) and compute it for the Russian-English, sommelier-novice, and human-bat examples to check they order as claimed. Separately, test the category hypothesis by (1) constructing an enriched category from a published dissimilarity matrix and verifying the composition/inequality axioms, and (2) constructing a category from an IIT 4.0 cause-effect structure and verifying identity, associativity, and composition. If either fails, the categorical ladder is not formally grounded.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The most load-bearing weakness is that the paper's central ladder is not actually derived from category theory. In §5.2, 'strong' and 'weak' adjunction are introduced, but footnote 4 concedes they are used 'in an informal, non-category-theoretical sense,' with no formal measure of how far unit/co-unit depart from isomorphisms. Without such a measure, the gradient from isomorphism through strong/weak adjunction to 'no relations' is an illustrated taxonomy, not a principled hierarchy; 'no relations' is also not a category-theoretic correspondence at all. This is compounded by the §2 hypothesis that qualia structures and IIT cause-effect structures are themselves categories, which is asserted rather than established. If that hypothesis fails, or if no formal measure of adjunction strength is supplied, the promised 'levels of principled inference' reduce to a metaphor.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper addresses the classical problem of other minds in the context of structural approaches to consciousness. It examines two frameworks—the Qualia Structure paradigm (Qstr) and Integrated Information Theory (IIT)—and asks what can be inferred about another subject's experience if either framework succeeds in providing a 'Rosetta Stone' that translates experience into a mathematical structure. The central proposal is that the strength of warranted inference across minds is graded by levels of category-theoretic correspondence between the structures associated with each experience: isomorphism, strong adjunction, weak adjunction, and finally a 'no relations' limit where inference runs out. The paper argues that even though neither framework crosses the acquaintance gap, these levels provide principled constraints on phenomenal attribution. The argument is explicitly conditional on the existence of a valid Rosetta Stone and on the hypothesis that qualia structures and IIT cause-effect structures are themselves categories.","tokens_in":17001,"tokens_out":3973,"duration_ms":38036,"significance":"If the proposed hierarchy can be made precise, this would be a valuable contribution to both philosophy of mind and consciousness science, offering a middle ground between the all-or-nothing skepticism of the other-minds problem and the strong claim that the problem is fully solved. The paper is honest about its conditionality, uses apt and vivid examples (Russian blues, the sommelier and novice, the bat, Meroitic grammar), and connects the conceptual framework to ongoing empirical work such as Gromov-Wasserstein alignment of qualia structures and PCI-based validation of IIT. Its strengths include a clear separation of acquaintance from structural alignment, an explicit acknowledgment that structural correspondence does not transmit acquaintance, and a careful treatment of the epistemic limits of each level. At the same time, the central identification of inference strength with category-theoretic correspondence is asserted rather than derived, and the key formal notion of 'adjunction strength' is explicitly conceded to be informal. The paper is best read as a conceptual taxonomy and a research program rather than as a finished formal derivation.","major_comments":[{"comment":"The central ladder from isomorphism through strong and weak adjunction to 'no relations' is not derived from category theory. Footnote 4 concedes that 'strong' and 'weak' adjunction are used 'in an informal, non-category-theoretical sense,' and no formal measure is given for how far the unit and co-unit of an adjunction depart from being isomorphisms. Without such a measure, the gradient from isomorphism to adjunction to 'no relations' is an illustrated taxonomy rather than a principled hierarchy, which undercuts the Abstract's claim that 'we identify the strength of inference with the levels of structural correspondence in Category Theory.' The authors should either supply a formal definition of adjunction strength (for example, via a metric on unit/co-unit components or a categoricity measure) or explicitly reframe the proposal as a heuristic taxonomy whose hierarchy is motivated by examples rather than derived from category theory.","section":"§5.2, especially footnote 4"},{"comment":"This hypothesis is load-bearing but is asserted rather than established. For dissimilarity-based qualia structures, the paper itself notes in footnote 13 that similarity does not compose in an ordinary category and that enriched categories are required, so the category structure of Qstr is not immediate. For IIT cause-effect structures, no explicit construction of objects, arrows, and composition is provided. If this hypothesis fails, then isomorphism, adjunction, and 'no relations' are not a principled ladder of epistemic warrant but only a metaphor. The paper should either provide the categorical constructions for both Qstr and IIT structures, or state clearly that the entire argument is conditional on an open mathematical hypothesis and specify what empirical or theoretical evidence would support it.","section":"§2, hypothesis 'that both qualia structures and cause-effect structures (from IIT) are themselves categories'"},{"comment":"The claim that the structures themselves 'tell me that no inference is licensed' is not category-theoretically well-defined because between any two categories there is always at least a constant functor. Without a criterion for what counts as a relevant or non-trivial structure-preserving correspondence, the 'no relations' level is indistinguishable from a failure of the analyst to find a correspondence, and therefore does not constitute a principled limit. The authors should define 'no alignment' in a way that excludes trivial or degenerate functors, or explicitly present this level as an epistemic limit relative to the available Rosetta Stone rather than a categorical relation.","section":"§5.3, 'No relations'"}],"minor_comments":[{"comment":"The text says 'likely share very few relations in our experience of a tree (Figure 3C)', but Figure 3 shows the sommelier/novice wine example; the bat example is illustrated in Figure 2C. The cross-reference should be corrected.","section":"§5.2.2, paragraph on the bat"},{"comment":"The phrase 'each language (English and Russian) must be construed as one' is confusing; it should say 'as one enriched category' rather than 'as one', since the point is that the language is formalized as a single enriched category.","section":"Footnote 13"},{"comment":"The acronym 'Qstr' is spelled inconsistently as both 'Qstr' and 'QStr' (e.g., in the Abstract and Section 3); the authors should standardize the capitalization.","section":"Throughout"},{"comment":"The caption is extremely dense and relies on color conventions that may not be fully legible in print or for color-blind readers; a separate legend or a simplified caption would improve accessibility.","section":"Figure 2 caption"},{"comment":"The sentence 'such a solution to Other Minds would deliver a complete dictionary of experience between us' is later qualified in §5.1 as applying only to the isomorphism case; the earlier wording should be explicitly flagged as the idealized upper bound to avoid overstatement.","section":"§2, sentence beginning 'With a Rosetta stone'"},{"comment":"This sentence contains a typographical error: 'the sommeliers' should be 'the sommelier's structure' or similar, and the sentence should be rephrased for clarity.","section":"§5.2.1, sentence 'the sommeliers should map down onto the novice'"}],"recommendation":"major_revision","confidential_remarks":"This is a conceptually rich paper that is likely to generate discussion, but its central claim is more a suggestive taxonomy than a formal result. The authors should be encouraged to either formalize the adjunction-strength gradient or explicitly reposition the paper as a conceptual framework that does not depend on a precise category-theoretic derivation. I also note the heavy reliance on the authors' own prior work (IIT and Qstr) as the grounding for both Rosetta Stones; this is not itself a flaw, but it means the paper's audience may need additional independent justification that the category-theoretic framing applies to both frameworks. The in-text citations to many in-preparation and unpublished works are a concern for reproducibility but are common in this field."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: this is a thoughtful, clearly-written chapter that gives structural theories of consciousness a usable vocabulary for talking about how much we can infer about other minds. The new bit is the strong-versus-weak adjunction distinction and the 'grammar vs dictionary' framing. It does not, as the authors know, give a formal derivation of those levels. The ladder is asserted, and footnote 4 admits that strong and weak adjunction are informal. That is a real limitation, not a fatal one, because the paper is honest about it and the examples carry the weight.\n\nWhat it does well: it takes the adjunction hypothesis from Tsuchiya et al. and applies it systematically across cases (isomorphism, strong adjunction with sommelier/novice, weak adjunction with bat echolocation, no-relations with an alien). The Meroitic example for grammar is apt. The paper is careful to say that none of this closes the acquaintance gap, and it doesn't pretend IIT or Qstr have already been validated. The section on validation is a reasonable summary, not a stretch.\n\nSoft spots: as the stress-test note says, the levels are not derived from category theory. 'Strong' and 'weak' adjunction are used loosely, with no measure of how far unit/co-unit depart from isomorphisms. 'No relations' isn't a category-theoretic notion at all; it's just the absence of a correspondence. So the promised 'levels of principled inference' are a plausible taxonomy, not a theorem. The category hypothesis (qualia structures and cause-effect structures are categories) is load-bearing and asserted with references, not established. If that fails, the whole ladder is metaphorical. The paper flags both issues, which counts for something, but it doesn't solve them. Also, the step from 'shared relations constrain experience differences' to 'strength of inference = level of structural correspondence' is argued by intuition, not derived. For a chapter, that's acceptable; for a formal framework, it's a gap.\n\nWho it's for: philosophers and consciousness researchers working on structural approaches, especially anyone using Qstr, IIT, or category theory in cognitive science. It's a good conceptual backdrop for empirical work on Gromov-Wasserstein alignment of qualia structures, and it gives that work a principled-sounding interpretation. It would benefit from a formal treatment of adjunction strength, but the paper is worth engaging with as is.\n\nRecommendation: send it to peer review. A serious referee could push the authors to either formalize the adjunction strength measure or more carefully limit the claims to a conceptual scaffold. The paper is honest, relevant, and unlikely to mislead if read carefully.","headline":"A useful and honest conceptual framework for graded inference about other minds, whose central ladder is informally specified rather than derived — worth engaging, not yet a formal result.","tokens_in":17524,"tokens_out":2678,"would_cite":true,"duration_ms":23594,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper argues that how much of another mind we can know is graded by how well its experience structure maps onto ours, from exact dictionary to nothing.","keywords":["Other Minds","Rosetta Stone","Qualia Structure Paradigm","Integrated Information Theory","Category Theory","adjunction","acquaintance gap","consciousness"],"falsifier":"Compute structural alignment of color dissimilarity structures between two subjects: the paper predicts that an isomorphic alignment can only occur when the subjects' color experience is identical, so finding a near-isomorphic alignment between subjects known to differ in color experience, such as a dichromat and a trichromat, would falsify the isomorphism-to-identity step; alternatively, if two systems whose cause-effect structures do not align at all could still predict one another's similarity judgments perfectly, the claimed no-alignment limit would be broken.","tokens_in":16672,"feed_emoji":"🧠","tokens_out":9755,"duration_ms":91869,"temperature":0.7,"pith_summary":"This paper argues that two structural theories of consciousness — Qualia Structure (Qstr), which characterizes a quale by its relations to all other possible experiences, and Integrated Information Theory (IIT), which conjectures that a single experience is its cause-effect structure — can, if their Rosetta Stones are valid, license principled inferences about another mind's experience. The strength of inference is graded by the level of category-theoretic correspondence between experiential structures: isomorphism gives a complete dictionary, strong adjunction gives an imperfect dictionary, weak adjunction gives only a grammar of experience, and no alignment terminates inference. Neither approach crosses the acquaintance gap, but alignment does shrink it by constraining which phenomenal attributions are warranted. The upshot is that structural approaches do not solve the problem of other minds; they convert it from an intractable skepticism into a graded system of constraints.","feed_headline":"Structural alignment grades how much of another mind we can know","feed_subtitle":"The paper maps two structural theories of consciousness onto a four-level categorical ladder from complete dictionary to no inference.","key_machinery":"The central object is the experiential category: a category whose objects are experiences (or points of a qualia structure) and whose arrows are graded relations such as similarity, inclusion, and association, with composition laws relaxed to inequalities in enriched categories. The mechanism that carries the argument is the functor between two such experiential categories, which acts as a dictionary; the round-trip behavior of the functor determines the level of inference — an isomorphism returns every object and arrow exactly, a strong adjunction returns a bounded near-approximation, a weak adjunction returns only the grammar of the other structure, and a failure of functorial alignment terminates inference. IIT contributes the cause-effect structure as the same kind of category, and its explanatory identity makes isomorphism of cause-effect structures sufficient for sameness of experience, while Qstr's relational web provides the necessary condition from the phenomenal side.","core_discovery":"The paper's central claim is that the acquaintance gap between minds is not an all-or-nothing epistemic wall: if a Rosetta Stone exists, the amount of inference about another mind's experience that is epistemically warranted is indexed by the category-theoretic strength of the correspondence between the two structures. Isomorphism, an exact round-trip mapping, would constitute a complete dictionary of experience and, under IIT, would certify identical experience. Strong adjunction delivers an imperfect dictionary that bounds the other's experience within a narrow domain, while weak adjunction returns only a grammar, telling us the kind of experience without its specific content. When no alignment exists, inference runs out, but it does so on principled grounds that are themselves informative. Qstr alignment is presented as a necessary condition for sameness of experience, while IIT's explanatory identity supplies sufficiency; together they determine what structural comparisons can and cannot support.","pith_inferences":["A testable extension the paper leaves implicit: the same four-level ladder could apply within a single subject across time, treating memory as a strong or weak adjunction between my current experiential structure and my past self's, which would bound how much we can know of our own past qualia.","The division of labor between Qstr's necessary condition and IIT's sufficient condition predicts that full cross-mind inference requires both behavioral qualia-structure alignment and substrate-based cause-effect alignment; a future study could check whether combining the two alignments improves cross-prediction of another's similarity judgments beyond either alone.","Applied to AI systems, the paper implies that a large language model whose dissimilarity structure aligns with a human's does not thereby warrant phenomenal attribution, because the model lacks a cause-effect structure in IIT's sense; the testable consequence is that behavioral alignment without substrate structure should not raise phenomenal confidence."],"forward_implications":["Under the paper's account, a validated Rosetta Stone turns 'what is it like to be you?' into a computable comparison: the more relations two experiential structures share, the narrower the class of experiences one can attribute to the other.","In the realistic cases of strong adjunction, we can infer the domain of another's experience, such as that the novice is tasting wine rather than coffee, without inferring the exact quale of that taste.","At the weak adjunction level, the paper licenses only kind-level attributions: we may say a bat's echolocation experience is space-like or time-like, but not what that space-like experience feels like.","If IIT's explanatory identity is correct, meaning in communication is the triggering of structurally similar cause-effect folds, making successful human communication an instance of strong adjunction between minds.","When no structural alignment exists, the principled conclusion is that no principled inference is available, which is itself a substantive epistemic result rather than a failure of the method."],"supporting_citations":[{"why":"Formulates IIT 4.0's postulates and the explanatory identity between experience and cause-effect structure, which supplies sufficiency for sameness of experience.","marker":"(Albantakis et al., 2023)"},{"why":"Introduces Qstr's relational category approach to qualia, the inter-phenomenal Rosetta Stone the paper builds on.","marker":"(Tsuchiya and Saigo, 2021)"},{"why":"Proposes the adjunction hypothesis between qualia and reports, the mapping notion that the paper grades into levels.","marker":"(Tsuchiya et al., 2023)"},{"why":"First applies category theory to the relation between consciousness and IIT, supporting the hypothesis that cause-effect structures are categories.","marker":"(Tsuchiya et al., 2016)"},{"why":"Defines the Rosetta Stone idea, a principled translation between experience and mathematical structure, which the argument presupposes.","marker":"(Chalmers, 2012, 2023)"},{"why":"Provides the IIT account of meaning as intrinsic cause-effect structure, load-bearing for the claim that communication requires structurally similar folds.","marker":"(Zaeemzadeh and Tononi, 2024)"},{"why":"Identifies undirected 2D grids as the cause-effect structure for spatial experience, serving as the main example at the strong and weak adjunction levels.","marker":"(Haun and Tononi, 2019)"},{"why":"Identifies directed 1D grids as the cause-effect structure for temporal experience, used in the graded inference examples.","marker":"(Comolatti et al., 2025)"},{"why":"Supplies the Russian-blues color discrimination data that illustrate a strong adjunction between two languages' color categories.","marker":"(Winawer et al., 2007)"},{"why":"Demonstrates unsupervised alignment of color qualia structures between groups, the Qstr method the paper uses to compare structures.","marker":"(Kawakita et al., 2025)"}],"fun_headline_variants":["Categorical ladder rates inference to another mind","Rosetta Stone yields degrees of other-mind inference","Structural alignment sets how much of another mind we know","From isomorphism to none: grading other-mind inference","Category theory measures the acquaintance gap"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The whole ladder of inference rests on the untested hypothesis that experiences genuinely form mathematical categories, with relations as arrows, and that IIT's cause-effect structures are categories too; if that hypothesis fails, the four levels are only a metaphor rather than a principled epistemic ranking.","fun_headline_variants_meta":{"raw":{"variants":["Categorical ladder rates inference to another mind","Rosetta Stone yields degrees of other-mind inference","Structural alignment sets how much of another mind we know","From isomorphism to none: grading other-mind inference","Category theory measures the acquaintance gap"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000206,"raw_usage":{"total_tokens":1451,"prompt_tokens":1055,"completion_tokens":396,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":671,"completion_tokens_details":{"reasoning_tokens":326}},"tokens_in":671,"tokens_out":396,"duration_ms":3816,"temperature":1.0,"reasoning_tokens":326,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-16T00:18:13.675845+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute structural alignment of color dissimilarity structures between two subjects: the paper predicts that an isomorphic alignment can only occur when the subjects' color experience is identical, so finding a near-isomorphic alignment between subjects known to differ in color experience, such as a dichromat and a trichromat, would falsify the isomorphism-to-identity step; alternatively, if two systems whose cause-effect structures do not align at all could still predict one another's similarity judgments perfectly, the claimed no-alignment limit would be broken.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Introduces Qstr's relational category approach to qualia, the inter-phenomenal Rosetta Stone the paper builds on."}],"review_version":1}