Pith. sign in

REVIEW 5 major objections 5 minor 32 references

Digitalizing Uncertain Information

T0 review · 5 major / 5 minor · reviewed 2026-08-06 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read 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.

desk verdict 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. read the letter →

arxiv 2507.21173 v1 pith:U4G2A3F3 submitted 2025-07-26 cs.DB

Chris Partridge , Andrew Mitchell , Andreas Cola This is my paper · ORCID
classification cs.DB
keywords uncertaininformationcounterparttheoryextensionalontologypossibleworldsderemodalitydoxasticactualitytwo-dimensionalsemanticsinformationalintelligence
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

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.

What carries the argument

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.

What would settle it

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.

Watch

Extended reading notes

Core claim

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.

Load-bearing premise

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.

Editorial extensions

If this is right

  • 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.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • 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.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

5 major / 5 minor

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.

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 (5)
  1. [V.B.1.b] 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.
  2. [V.B.3] 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.
  3. [V.B.6] 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.
  4. [V.B.4] 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.
  5. [V.A] 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.
minor comments (5)
  1. [III.A] The 'journey' framing of digital maturity is not used in the technical sections; it could be condensed to make room for substantive formal content.
  2. [V.B.1.b] The shorthand 'Annes' for 'Anne's possibility' is confusing and should be introduced with a clear notation to avoid clashing with the possessive.
  3. [Fig. 1] 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.
  4. [V.A.3] 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.
  5. [IV (general)] 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.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the paper proposes a representational framework and does not derive its conclusions from its own conclusions.

full rationale

Walking the claimed derivation chain: de re modality is represented by individual possibilities (sets of counterpart individuals), directly applying Lewis's counterpart theory rather than fitting a parameter. Actuality is represented by compossibility with a singleton 'me' possibility; the 'me' sign is introduced as an indexical primitive, and the indexical analysis of actuality is Lewis's own external theory (quoted from [12]), not a conclusion derived from itself. Doxastic actualities are explicitly Lewis's 'doxastic alternatives' renamed, with the external source quoted. Modal consistency, ownership, currency, testimony, and flexible identity are all cashed out in terms of the same counterpart/set/mereological machinery; no fitted parameter is relabeled as a prediction. The paper's own caveat in Section V.B.1.b—'This assumes we can devise stable individual possibilities for the kinds of systems we want. Whether we can is an empirical matter and needs to be tested'—is an acknowledged underdetermination of the primitives, not a circular derivation of the target from the target. Self-citations to BORO/IES describe the assumed foundation, but the uncertainty-specific construction is argued from Lewis's independently published semantics. No specific circular step can be exhibited.

Assumptions & free parameters 1 free parameters · 6 assumptions · 4 invented entities

The framework rests on a series of substantive metaphysical commitments (extensionalism, possibilia plenitude, counterpart theory, centered indexicality) inherited from Lewis and BORO, plus an underspecified counterpart relation and belief-compatibility relation. These are not justified in the paper, and the main construction depends on them.

free parameters (1)
  • counterpart relation = not specified
    The framework requires a counterpart relation but does not specify how it is determined, leaving the representation dependent on user selection (Section V.B.1.b).
assumptions (6)
  • domain assumption Extensionalism: every entity is a four-dimensional worm extended in spacetime, and identity is determined by mereological extension.
    Adopted from BORO (Section III.D), central to the framework's mereological account of temporal and spatial location.
  • domain assumption Possibilia plenitude: every possible individual exists in some possible world.
    Invoked in Section V.B.1.c to guarantee the existence of constructed individual possibilities. This is a substantive metaphysical commitment from Lewis's modal realism.
  • domain assumption Counterpart theory: trans-world individuals are linked by a counterpart relation, not identity.
    Adopted from Lewis (Section V.B.1.b) to connect possible Annes across worlds.
  • domain assumption Two-dimensional indexical semantics: actuality is de se and de nunc centered on the speaker (or system).
    Used in Sections V.B.2 and V.B.3 to handle actuality and ownership.
  • standard math Set theory and mereology as the sole formal resources.
    The framework is extensional, cashing out modal relations as set-theoretic and mereological relations (Conclusion).
  • ad hoc to paper The system can identify individuals with the same beliefs as itself to form 'my doxastic actualities'.
    This relation is not defined and is sketched in Section V.B.3.
invented entities (4)
  • individual possibilities (e.g., Annes possibility)
    purpose: sets of counterpart individuals used to represent de re modality
    Defined in Section V.B.1.b; no independent evidence that stable such sets exist.
  • my doxastic actualities
    purpose: possible individuals compatible with the system's beliefs, used to represent doxastic modality
    Defined in Section V.B.3; depends on an unformalized belief-compatibility relation.
  • my actuality (de se and de nunc indexical)
    purpose: indexical marker for 'my actual now' to represent actuality and ownership
    Introduced in Sections V.B.2 and V.B.3; a design primitive.
  • compossibility and comoverlapability properties
    purpose: modal properties over individual possibilities, cashing out possibility and location
    Defined in Section V.B.1.c; formal properties not specified.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Digitalizing Uncertain Information." pith.science (2026). https://pith.science/paper/U4G2A3F3

@misc{pith2026250721173,
  author       = {Pith},
  title        = {Pith review of: Digitalizing Uncertain Information},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/U4G2A3F3}},
  note         = {Machine review of arXiv:2507.21173}
}
read the original abstract

The paper sketches some initial results from an ongoing project to develop an ontology-based digital form for representing uncertain information. We frame this work as a journey from lower to higher levels of digital maturity across a technology divide. The paper first sets a baseline by describing the basic challenges any project dealing with digital uncertainty faces. It then describes how the project is facing them. It shows firstly how an extensional ontology (such as the BORO Foundational Ontology or the Information Exchange Standard) can be extended with a Lewisian counterpart approach to formalizing uncertainty that is adapted to computing. And then it shows how this is expressive enough to handle the challenges. Keywords: actuality, BORO Foundational Ontology, counterpart, Information Exchange Standard, informational uncertainty, my doxastic actualities, two-dimensional semantics.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

32 extracted references · 32 canonical work pages

  1. [1]

    de Cesare and C

    S. de Cesare and C. Partridge, ‘BORO as a Foundation to Enterprise Ontology’, Journal of Information Systems, vol. 30, no. 2

    work page

  2. [2]

    Kent, Strategic intelligence for American world policy

    S. Kent, Strategic intelligence for American world policy. 1965

    work page 1965

  3. [3]

    R. J. Heuer, Psychology of intelligence analysis . Washington, D.C.: Center for the Study of Intelligence, Central Intelligence Agency, 1999

    work page 1999

  4. [4]

    Miller, National security intelligence activity: a philosophical analysis’, Intelligence and National Security, vol

    S. Miller, National security intelligence activity: a philosophical analysis’, Intelligence and National Security, vol. 37, no. 6, Art. no. 6, Sep. 2022, doi: 10.1080/02684527.2022.2076329

    work page arXiv 2022

  5. [5]

    Dubois and H

    D. Dubois and H. Prade, ‘Formal Representations of Uncertainty’, in Decision‐making Process, 1st ed., Wiley, 2009, pp. 85–156

    work page 2009

  6. [6]

    P. C. G. Costa et al., URREF: Uncertainty representation and reasoning evaluation framework for information fusion’, vol. 13, no. 2, Art. no. 2, 2018

    work page 2018

  7. [7]

    Dvornik, Origins of intelligence services: the ancient Near East, Persia, Greece, Rome, Byzantium, the Arab Muslim Empires, the Mongol Empire, China, Muscovy

    F. Dvornik, Origins of intelligence services: the ancient Near East, Persia, Greece, Rome, Byzantium, the Arab Muslim Empires, the Mongol Empire, China, Muscovy . New Brunswick, N.J: Rutgers University Press, 1974

    work page 1974

  8. [8]

    Partridge, A

    C. Partridge, A. Mitchell, A. Cook, J. Sullivan, and M. West, ‘A Survey of Top -Level Ontologies – to inform the ontological choices for a Foundation Data Model.’, CDBB, 2020

    work page 2020

Show all 32 references
  1. [9]

    Partridge, Business Objects: Re-Engineering for Re-Use, 1st Edition

    C. Partridge, Business Objects: Re-Engineering for Re-Use, 1st Edition. Oxford: Butterworth-Heinemann, 1996

    1996

  2. [10]

    Partridge, ‘Note: A couple of meta-ontological choices for ontological architectures’, LADSEB-CNR, Padova, Italy, 2002

    C. Partridge, ‘Note: A couple of meta-ontological choices for ontological architectures’, LADSEB-CNR, Padova, Italy, 2002

    2002

  3. [11]

    Partridge, A

    C. Partridge, A. Mitchell, and S. de Cesare, ‘Guidelines for Developing Ontological Architectures in Modelling and Simulation’, in Ontology, Epistemology, and Teleology for Modeling and Simulation , First., vol. 44, Berlin, Heidelberg: Springer, 2013, pp. 27–57

    2013

  4. [12]

    D. K. Lewis, On the plurality of worlds . Malden, Mass: Blackwell Publishers, 1986

    1986

  5. [13]

    Menzel, ‘Possible Worlds’, in The Stanford Encyclopedia of Philosophy, Summer 2024., E

    C. Menzel, ‘Possible Worlds’, in The Stanford Encyclopedia of Philosophy, Summer 2024., E. N. Zalta and U. Nodelman, Eds., Metaphysics Research Lab, Stanford University, 2024

    2024

  6. [14]

    Schroeter, ‘Two -Dimensional Semantics’, in The Stanford Encyclopedia of Philosophy, Fall 2021., E

    L. Schroeter, ‘Two -Dimensional Semantics’, in The Stanford Encyclopedia of Philosophy, Fall 2021., E. N. Zalta, Ed., Metaphysics Research Lab, Stanford University, 2021

    2021

  7. [15]

    Segerberg, ‘Two-dimensional modal logic’, Journal of Philosophical Logic, vol

    K. Segerberg, ‘Two-dimensional modal logic’, Journal of Philosophical Logic, vol. 2, pp. 77–96, 1973

    1973

  8. [16]

    R. C. Stalnaker, ‘Assertion’, Syntax and Semantics: Pragmatics, vol. 9, pp. 315–332, 1978

    1978

  9. [17]

    Office of the Director of National Intelligence, ‘Updated Assessment on COVID-19 Origins’. Oct. 29, 2021

    2021

  10. [18]

    C. I. Lewis, ‘Implication and the Algebra of Logic’, Mind, vol. 21, no. 84, pp. 522–531, 1912, doi: 10.1093/mind/XXI.84.522

    1912 doi

  11. [19]

    ‘Iraq’s Continuing Programs for Weapons of Mass Destruction’

  12. [20]

    F. P. Ramsey, ‘General Propositions and Causality’, in The Foundations of Mathematics and Other Logical Essays, 1931, pp. 237–255

    1931

  13. [21]

    J. L. Austin, How to Do Things with Words. Clarendon Press, 1962

    1962

  14. [22]

    Frege, ‘The Thought: A Logical Inquiry’, Mind, vol

    G. Frege, ‘The Thought: A Logical Inquiry’, Mind, vol. 65, no. 259, Art. no. 259, 1956

    1956

  15. [23]

    Burge, Content Preservation’, Philosophical Issues, vol

    T. Burge, Content Preservation’, Philosophical Issues, vol. 6, p. 271, 1995

    1995

  16. [24]

    Lackey, ‘Memory as a Generative Epistemic Source’, Philosophy and Phenomenological Research, vol

    J. Lackey, ‘Memory as a Generative Epistemic Source’, Philosophy and Phenomenological Research, vol. 70, no. 3, Art. no. 3, 2005

    2005

  17. [25]

    C. M. Alberini and J. E. LeDoux, Memory reconsolidation’, Current Biology, vol. 23, no. 17, Art. no. 17, Sep. 2013

    2013

  18. [26]

    Lewis, ‘Survival and Identity’, in The Identities of Persons, A

    D. Lewis, ‘Survival and Identity’, in The Identities of Persons, A. Rorty, Ed., University of California Press, 1976, pp. 17–40

    1976

  19. [27]

    Parfit, ‘Lewis, Perry, and What Matters’, in Identities of Persons, A

    D. Parfit, ‘Lewis, Perry, and What Matters’, in Identities of Persons, A. Oksenberg Rorty, Ed., University of California Press, 1976, pp. 91–108

    1976

  20. [28]

    D. K. Lewis, Counterpart Theory and Quantified Modal Logic’, The Journal of Philosophy, vol. 65, no. 5, Art. no. 5, Mar. 1968

    1968

  21. [29]

    D. K. Lewis, On the plurality of worlds. Malden, Blackwell, 1986

    1986

  22. [30]

    Lewis, ‘Events’, in Philosophical Papers Vol

    D. Lewis, ‘Events’, in Philosophical Papers Vol. II , D. Lewis, Ed., Oxford University Press, 1986, pp. 241–269

    1986

  23. [31]

    Partridge, M

    C. Partridge, M. Khan, S. de Cesare, F. Gailly, M. Verdonck, and A. Mitchell, ‘Thoroughly Modern Accounting: Shifting to a De Re Conceptual Pattern for Debits and Credits’, in International Conference on Conceptual Modeling (ER 2018), Springer, 2018, p. 134

    2018

  24. [32]

    Partridge, S

    C. Partridge, S. deCesare, A. Mitchell, A. Leon, F. Gailly, and M. Khan, ‘Ontology then Agentology: A Finer Grained Framework for Enterprise Modelling’, in Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2018), 2...

    2018

Pith tools

Reviewed August 6, 2026 · model on record in the stance chip above.