{"id":"e7a87301-cbd1-47f0-9b02-c5f4f36c83d7","arxiv_id":"2507.21173","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"high","formal_verification":"none","parameter_count":1,"one_line_summary":"The authors propose extending the BORO/IES ontology with Lewisian counterpart relations and two-dimensional indexicals to represent doxastic uncertainty in intelligence information, claiming this handles eight listed challenges.","lead":"This paper sketches an ontology-based format for storing uncertain statements such as 'possibly Anne was in Edinburgh', built on the BORO information-exchange standard and Lewisian possible-world semantics. It aims to make intelligence data with uncertainty queryable, but currently offers a conceptual design rather than a working system.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The central construction depends on well-defined 'individual possibilities' as sets of possible individuals, but §V.B.1.b supplies no membership criterion; without stable sets, compossibility, doxastic actualities, and credence ratios lack determinate truth conditions.","rationale":"The reader's weakest_assumption identifies the same load-bearing assumption, and the paper itself flags it in §V.B.1.b as an empirical test. I agree, and I would sharpen it: the issue is not only whether the sets are stable in practice but whether they are defined at all in the paper's own extensional terms. Every formal resolution in §V is stated in terms of membership and overlap of these sets; one cannot evaluate 'expressive enough to handle the challenges' until membership is specified. The paper provides no implementation, formal semantics, or proof, so the claim remains a conceptual sketch. That is exactly the CONDITIONAL verdict the reader gave. My stress-test does not move the verdict; it adds a concrete falsifiable check for the next revision. If the concrete test shows membership-dependence or unprovability, the verdict should move toward REJECT; absent such evidence, CONDITIONAL remains appropriate. The concern targets internal definability of the central construction, not the authors' integrity or external consensus.","tokens_in":13936,"tokens_out":7435,"duration_ms":100242,"concrete_test":"Implement the paper's use case as a minimal extensional model: a finite set of worlds, a mereological part-of relation, and a view defining 'Anne's possibility', 'Edinburgh's possibility', and 'my doxastic actualities'. Then run the query from §I ('Could Anne have been in Edinburgh?') under two equally natural membership definitions for 'Anne's possibility' (e.g., all individuals named 'Anne' vs. all individuals tied to the actual Anne by a stipulated counterpart relation), and again after adding one non-Anne possible individual to the universe. If the answer changes across these variants, the proposed digital form is not stable.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim—that BORO/IES plus Lewisian counterparts is expressive enough for all eight challenges—rests on the ability to define 'individual possibilities' as sets of possible individuals 'without identifying the individual members' (Sect. V.B.1.b). In standard extensional set theory, a set is determined by its members. Saying that 'Anne's possibility' is the set of all possible Annes does not specify which possible individuals belong to it. Without a membership criterion, the set is underdetermined, and every downstream construction inherits the indeterminacy: compossibility is defined by existence of a world containing members, comoverlapability by overlap of members, doxastic actualities by a compatibility filter over 'my actuality' members, and the proposed credence ratio by cardinalities of the doxastic memberships (Sect. V.B.4). If the extension of 'Annes' can shift with context, the same stored data can certify contradictory modal answers. Lewis's counterpart relation is a primitive similarity notion, so 'possible Anne' is not a natural kind with an obvious extensional criterion. The paper's own caveat that stability is 'an empirical matter and needs to be tested' is therefore not a minor limitation: it is the point at which the extensional reduction either becomes well-defined or loses its purely extensional character.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper presents a design sketch for extending the BORO/IES extensional foundational ontology with a Lewisian counterpart-theoretic framework to represent uncertain information, particularly in intelligence applications. It enumerates eight challenges (de re modality, actuality, inconsistent knowledge, ownership, currency, modal consistency, credence relations, testimony, flexible identity) and proposes resolutions in prose, claiming the framework is 'expressive enough to handle the challenges.' The paper does not provide formal syntax, semantics, or proofs; it reports planned use-case testing rather than results.","tokens_in":14298,"tokens_out":6478,"duration_ms":71923,"significance":"If the framework could be made formally precise, it would be a novel contribution at the intersection of ontology, modal semantics, and data engineering: an extensional, set- and mereology-based representation of uncertainty with an explicit indexical treatment of actuality and doxastic attitudes. The paper's use-case-driven approach and grounding in Lewis's work are strengths. However, in its current form the paper is a high-level sketch; the central concept of 'individual possibility' as a set without a membership criterion is not well-defined in an extensional setting, and none of the resolutions are formalized. The significance is therefore prospective rather than established.","major_comments":[{"comment":"The paper defines an individual possibility, e.g., 'Anne's possibility,' as a set of all possible individual Annes but states that the authors 'work with individual possibilities without identifying the individual members.' In the extensional set theory the paper otherwise adopts, a set is determined by its members, so this leaves the extension of 'Annes' undefined. No membership criterion (e.g., a formal specification of the counterpart relation) is provided. This indeterminacy propagates to the constructions in V.B.1.c (compossibility, comoverlapability), V.B.2 (actuality), V.B.3 (doxastic actualities), and V.B.4 (credence ratios), all of which quantify over members of these sets. The caveat that stability is 'an empirical matter' does not resolve the definitional problem; without a criterion, the stored data cannot determinately certify modal propositions. This undermines the central claim of expressive adequacy.","section":"V.B.1.b"},{"comment":"The construction of 'my doxastic actualities' is circular. The filter selects members of 'my actuality' that 'hold the same beliefs as me and whose beliefs are compatible with themselves.' To apply this filter one must already know the content of 'my beliefs' and the criterion for 'same beliefs,' but the paper does not specify how the system's beliefs are represented or how compatibility is determined. As a result, the resolutions of 'inconsistent' knowledge (V.B.3.a), currency (V.B.3.b), and modal consistency (V.B.3.c) do not have a well-defined semantics. The paper needs a formal account of the belief state and the compatibility relation before these challenges can be said to be resolved.","section":"V.B.3"},{"comment":"The resolution of flexible system identity is deferred rather than provided. The text says that once the semantic form is clear, splitting and merging 'should not be an insurmountable challenge' and that use-case tests 'should be able to show how branching and merging is handled.' This is one of the eight challenges listed in Section IV.I, so the claim that the framework is 'expressive enough to handle the challenges' is not supported for this challenge. The paper should either provide a concrete formal account of how the 'me' index behaves under fission and fusion, or acknowledge that this challenge remains open.","section":"V.B.6"},{"comment":"The proposed credence ratio is 'attempting to measure the ratio between the my doxastic actuality members of the Anne in Edinburgh possibility and the Anne met Effie in Edinburgh possibility.' This is not a well-defined quantity: the sets in question are underdetermined per V.B.1.b, and no definition is given of the ratio. Moreover, it is not explained how this ratio supports the dynamic credence relations discussed in Section IV.G (e.g., updating credences). A formal definition of the ratio and its connection to a probabilistic or ranking model is needed for the credence challenge to be resolved.","section":"V.B.4"},{"comment":"The paper offers no formal syntax or model-theoretic semantics for the proposed constructs. All resolutions are stated in prose, using terms like 'compossible,' 'comoverlapable,' and 'my doxastic actualities' without precise definitions. The abstract's claim that the approach is 'expressive enough to handle the challenges' cannot be verified without a formal statement of the representation language and its semantics. At minimum, the paper should specify the intended logic (e.g., first-order logic with sets and mereology) and give formal definitions of the key relations.","section":"V.A"}],"minor_comments":[{"comment":"The 'journey' framing of digital maturity is not used in the technical sections; it could be condensed to make room for substantive formal content.","section":"III.A"},{"comment":"The shorthand 'Annes' for 'Anne's possibility' is confusing and should be introduced with a clear notation to avoid clashing with the possessive.","section":"V.B.1.b"},{"comment":"Figure 1 is referenced but not discussed in the text; the caption should explain the space-time diagram and its relation to the use case.","section":"Fig. 1"},{"comment":"The paper should clearly state upfront that no implementation or use-case test has been performed yet; the current work is a design description, not a validated framework.","section":"V.A.3"},{"comment":"The challenges are presented as a list but not compared with existing uncertainty representation frameworks (e.g., probabilistic ontologies, fuzzy logic); situating the work relative to prior formalisms would help readers assess novelty.","section":"IV (general)"}],"recommendation":"major_revision","confidential_remarks":"This is a design sketch with no formal development. The authors acknowledge that implementation is a next stage. The central technical notion of an individual possibility as an unenumerated set is a fundamental difficulty for an extensional ontology. The paper might be more appropriate for a workshop on ontology design or a position paper; for a journal, significant formal development is required. The paper does not cite recent work on probabilistic or fuzzy ontologies, which would be relevant to the challenge of uncertainty."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"You should know this paper is what it says it is: a sketch. That is not a criticism given the venue, but it matters for how you read it. The genuinely new thing here is the combination of BORO/IES extensionalism (sets, mereology, possibilia plenitude) with Lewisian counterpart theory to represent de re modality, actuality, doxastic alternatives, and credence relations in one framework. I have not seen that particular package in the literature, and the paper does a real service by laying out eight concrete challenges for digitalizing intelligence uncertainty, illustrated with actual examples (the COVID origins review, Curveball). The authors are also honest: they repeatedly say what is assumed, what is deferred, and what needs testing.\n\nThe soft spot is the one the stress-test note hits. The load-bearing notion is \"individual possibility,\" defined as a set of counterpart individuals without identifying members. But a set in their extensional framework is determined by its members, so the construction is underdetermined. Compossibility, comoverlapability, my doxastic actualities, and the proposed credence ratio all inherit this indeterminacy. The paper itself flags it: \"Whether we can [devise stable individual possibilities] is an empirical matter and needs to be tested.\" I agree with the stress-test that this is not a minor caveat; it is the pivot point where the extensional reduction either becomes well-defined or collapses into context-dependent hand-waving. The \"my doxastic actualities\" filter is also vague—how a system determines which counterpart agents share its beliefs is left to intuition—and the testimony resolution is convoluted enough that I had to re-read it twice.\n\nThat said, the central philosophical direction is coherent, and the authors are not overselling. They call it \"initial results\" and \"a sketch\" in the abstract. The circularity worry about adding a \"me\" sign to resolve actuality is real but not fatal; it is standard Lewisian indexicality, and the paper could respond by formalizing the two-dimensional semantics.\n\nWho gets value from this: ontology engineers working on foundational ontologies, intelligence informatics people interested in provenance and belief update, and philosophers curious about applied Lewisian semantics. It deserves a serious referee, though the referee should push hard on the individual-possibility membership criterion and ask for either a formal specification or a clear statement that this is a research program, not a framework.\n\nMy recommendation: engage with it as a position paper, cite it (if at all) as a programmatic proposal, and do not treat any of the \"resolutions\" as established until the sets are actually defined. I would not bring it to reading group unless someone is working on applied counterpart theory.","headline":"A candid, well-motivated design sketch for representing intelligence uncertainty in an extensional BORO/IES ontology via Lewisian counterparts; the central construction's undefined 'individual possibilities' make it a program, not a result.","tokens_in":14747,"tokens_out":1946,"would_cite":false,"duration_ms":27845,"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 claims that an extensional ontology can be extended with Lewisian counterpart relations to give uncertain intelligence a purely set-theoretic and mereological digital form that resolves eight representation challenges.","keywords":["uncertain information","counterpart theory","extensional ontology","possible worlds","de re modality","doxastic actuality","two-dimensional semantics","informational intelligence"],"falsifier":"A concrete test would be to implement the Anne-in-Edinburgh use case, let the belief set change as the currency challenge requires, and check whether the 'Annes possibility' remains one stable set across updates and across different query contexts. If its membership or identity shifts with the question being asked, or if no stable counterpart set can be constructed for a realistic scenario, the machinery does not deliver the claimed expressivity.","tokens_in":13765,"feed_emoji":"🧩","tokens_out":7866,"duration_ms":88036,"temperature":0.7,"pith_summary":"The paper is trying to establish that uncertainty in informational intelligence—epitomized by the sentence 'It is possible that Anne was actually in Edinburgh on 30 March 2024'—can be given a digital form without stepping outside an extensional ontology. The proposed route extends the paper's BORO/IES foundation with a counterpart relation: for each individual, the set of its counterparts across possible worlds becomes an 'individual possibility,' and modal claims become statements about how these sets overlap and are contained in worlds. The paper claims this machinery is expressive enough to handle eight challenges: de re individual modality, actuality, inconsistent knowledge, ownership, currency, modal consistency, credence relations, testimony, and flexible system identity. A sympathetic reader would care because, if the claim holds, intelligence stores could represent uncertainty directly as set-theoretic and mereological structure, answerable with ordinary relational or object-oriented resources rather than specialized modal-logic machinery.","feed_headline":"Uncertain intelligence gets a purely extensional digital form","feed_subtitle":"Counterpart relations and part-whole structure let a store answer 'possibly' without modal operators or special machinery.","key_machinery":"The load-bearing object is the 'individual possibility': for an individual such as Anne, the set of all her counterparts in possible worlds linked by a counterpart relation. Modal properties are defined on these sets—compossible, comnecessary, comcontingent, incompossible, and comoverlapable—so that a modal claim about individuals reduces to whether members of these sets jointly appear in some world. The same machinery is indexed by the system's de se 'me' and de nunc 'now' signs to form 'my doxastic actualities,' and credence dependencies fall out as set-theoretic and mereological containment. In short, the framework cashes out uncertainty as combinations of set membership and part-whole relations.","core_discovery":"The central claim is that a Lewisian counterpart approach, adapted to computing, resolves all eight challenges within a purely extensional framework. Actuality is captured de se: the information system adds an indexical 'me' sign, so 'actually' is expressed by the compossibility of an individual possibility with the 'actually me' possibility. Doxastic uncertainty is captured by 'my doxastic actualities,' the set of possible individuals who might, for all the system believes, be itself; an inconsistent body of intelligence is stored by making different possibilities compossible with this set in different doxastically actual worlds. Credence becomes objective containment: if the specific possibility overlaps with all members of the general possibility, modal dependency is mereological dependency. Testimony is handled by recreating the same centered indexical pattern at each node of a testimony chain.","pith_inferences":["A testable extension: if stable individual possibilities exist, the same machinery could be applied to other conflicting-report domains, such as legal evidence or medical records, where provenance, currency, and flexible identity all matter.","The paper leaves open how 'my doxastic actuality' members are counted; its suggestion that relative credence measures a ratio of such members implies a path to quantitative probabilities that would need set sizes to be well-defined and stable.","The metaphysical guarantee from possibilia plenitude says the needed individual possibilities exist, but a digital implementation will still need a construction rule for generating those sets, since existence alone does not make them computable.","Because individual possibilities are sets of counterparts without identified members, two systems with different identity criteria for the same individual could in principle disagree on the extension of 'Annes'; whether flexible identity absorbs or breaks this is an empirical question the paper does not settle."],"forward_implications":["Uncertainty becomes first-class data: a store can ingest 'possible that Anne was in Edinburgh' and answer 'Could she have been?' by querying whether the Anne-in-Edinburgh possibility has members in some world.","Because actuality is tied to the system's own 'me' sign, provenance is built into the form: each piece of intelligence is explicitly someone's, and its currency can be updated by changing compossibility with the current my-doxastic-actualities set.","Classically inconsistent intelligence can coexist in one store without modal inconsistency, because Edinburgh and Brighton claims are true in different doxastically actual worlds and never in the same one.","General and specific credence claims are ordered by objective containment of their individual possibilities, giving a structural basis for rational credence change.","Since the representation uses only sets and mereology, the intended implementation needs no dedicated modal-logic machinery and can run on standard relational or object-oriented infrastructure."],"supporting_citations":[{"why":"Supplies the BORO foundational ontology that the proposed uncertainty extension builds on.","marker":"[1]"},{"why":"Supplies the Lewisian possible-worlds framework and the definition of doxastic alternatives used for 'my doxastic actualities'.","marker":"[12]"},{"why":"Supplies the counterpart relation that links trans-world individuals into individual possibilities.","marker":"[28]"},{"why":"Grounds the identity criteria and metaphysical choices of the BORO/IES foundation.","marker":"[8]"},{"why":"Explains how possibilia plenitude supports property extensionalism, letting properties be identified with sets.","marker":"[13]"},{"why":"Provides the event-property notion used for comoverlapability and overlap possibilities.","marker":"[30]"},{"why":"Provides the earlier system-indexical 'me' sign used to express actuality and ownership.","marker":"[31]"}],"fun_headline_variants":["Extensional ontology tames uncertainty with counterparts","Lewisian counterparts make uncertain info digitally stored","Purely extensional: how to store uncertainty without modalities","Indexical 'me' unlocks doxastic uncertainty in extensional form","Counterpart relations encode 'possibly' in a store: no modal logic"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that stable individual possibilities—sets of counterpart individuals such as 'all possible Annes'—can be devised for the kinds of systems we want without identifying their members; the paper explicitly says this is an empirical matter that needs testing.","fun_headline_variants_meta":{"raw":{"variants":["Extensional ontology tames uncertainty with counterparts","Lewisian counterparts make uncertain info digitally stored","Purely extensional: how to store uncertainty without modalities","Indexical 'me' unlocks doxastic uncertainty in extensional form","Counterpart relations encode 'possibly' in a store: no modal logic"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000247,"raw_usage":{"total_tokens":1486,"prompt_tokens":834,"completion_tokens":652,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":450,"completion_tokens_details":{"reasoning_tokens":570}},"tokens_in":450,"tokens_out":652,"duration_ms":7279,"temperature":1.0,"reasoning_tokens":570,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T14:04:13.780533+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A concrete test would be to implement the Anne-in-Edinburgh use case, let the belief set change as the currency challenge requires, and check whether the 'Annes possibility' remains one stable set across updates and across different query contexts. If its membership or identity shifts with the question being asked, or if no stable counterpart set can be constructed for a realistic scenario, the machinery does not deliver the claimed expressivity.","supporting_citations":[{"cited_title":"de Cesare and C","cited_arxiv_id":null,"evidence_quote":"Supplies the BORO foundational ontology that the proposed uncertainty extension builds on."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the Lewisian possible-worlds framework and the definition of doxastic alternatives used for 'my doxastic actualities'."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the counterpart relation that links trans-world individuals into individual possibilities."},{"cited_title":"Partridge, A","cited_arxiv_id":null,"evidence_quote":"Grounds the identity criteria and metaphysical choices of the BORO/IES foundation."},{"cited_title":"Menzel, ‘Possible Worlds’, in The Stanford Encyclopedia of Philosophy, Summer 2024., E","cited_arxiv_id":null,"evidence_quote":"Explains how possibilia plenitude supports property extensionalism, letting properties be identified with sets."},{"cited_title":"Lewis, ‘Events’, in Philosophical Papers Vol","cited_arxiv_id":null,"evidence_quote":"Provides the event-property notion used for comoverlapability and overlap possibilities."},{"cited_title":"Partridge, M","cited_arxiv_id":null,"evidence_quote":"Provides the earlier system-indexical 'me' sign used to express actuality and ownership."}],"review_version":1}