REVIEW 5 major objections 5 minor 5 references
A Path to Loving
T0 review · 5 major / 5 minor · reviewed 2026-08-16 · deepseek-v4-flash
Pith's one-line read The paper defines loving as a temporally extended process whose truth condition is a threshold ratio of love events to non-love time.
desk verdict The philosophical proposal is worth reading, but the formal truth condition in CV4 is not well-defined and is vacuous as written; this is a promising draft that needs a real formal fix before it can be used. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing object is the love event, defined as a proper temporal part of a loving interval at which the sensation and judgment conditions both hold, along with the loving sum, the disjoint mereological sum of love events over an interval, and the loving complement, the remainder of the interval. The truth condition T < s/c uses their ratio to require that love events predominate without requiring love at every instant. In Basic Formal Ontology, sensations are modeled as mental qualities inhering in the agent, judgment is the realization of a disposition in a process, judgment outputs are information content entities about the beloved, and inhibitory control is a blocking disposition that underwrites answerability for falling in love.
What would settle it
Find a genuine case of loving in which positive sensations demonstrably carry representational content about the beloved, such as an experimentally induced sensation that is about the beloved independently of any causal correlation, and the CV4 bridge is no longer needed; alternatively, note that s and c are mereological sums rather than numbers, so until a measure over temporal parts is supplied the condition T < s/c cannot be computed and is formally undefined.
Extended reading notes
Core claim
The central claim is that the predicate 'S loves P' applied to a temporal interval is governed by CV4. Loving holds at i exactly when there is a real threshold T with T < s/c, where s is the disjoint mereological sum of love events over i and c is its complement; a love event is a proper temporal part at which S experiences positive sensations causally correlated with P, judges those sensations and their associated experience of P as valuable, and is directly acquainted with P. The paper defends this by adding an acquaintance requirement to block cases like drug-induced feelings for someone known only by description, and by using the distinction between experiencing content and being aware of content to bridge content-free sensations with content-bearing judgments.
Load-bearing premise
The load-bearing premise is that sensations lack content, because this is what forces the causal-correlation chain linking them to evaluative judgments; if positive sensations can themselves be about the beloved, the bridge is unnecessary and CV4 loses its distinctive footing.
Editorial extensions
If this is right
- Ontologies of emotion and social relations would need to represent love as an occurrent with temporal parts, not as a state at an instant.
- The ratio structure turns love into a measurable feature of a relationship once T is specified, allowing comparisons across cultures, experiments, or datasets.
- Direct acquaintance becomes a necessary condition for loving, so love by description alone is ruled out by definition.
- The account predicts an asymmetry: a single intense episode of sensation-plus-judgment does not constitute loving, but a sustained preponderance of such episodes does.
Reading between the lines
- One could operationalize T empirically by sampling moments in relationships and testing whether the fitted threshold that separates self-reported love from non-love matches a simple majority rule.
- If research establishes that some positive sensations carry representational content, CV4's causal-correlation bridge becomes unnecessary; that would simplify the account but remove its distinctive answer to drug-induced-love cases.
- The same ratio-of-events machinery could be exported to other mixed passive/active attitudes, such as grief or friendship, replacing value judgments with the relevant judgment type.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proposes an ontological characterization of love as a temporally extended process combining passive positive sensations (linked to the beloved by causal correlation) and active evaluative judgments, culminating in the Concatenation View CV4. It defends this view against objections, including the drug-induced-love problem via an acquaintance requirement, and then maps the view onto Basic Formal Ontology (BFO) using processes, qualities, dispositions, and information content entities. The paper is explicitly programmatic, noting in Section 3.3 that causal correlation and acquaintance remain underformalized and that a full OWL/FOL axiomatization is future work.
Significance. If the central characterization could be made formally precise, the paper would fill a genuine gap: robust ontological analyses of love are rare in the applied-ontology literature, and the proposal connects a live philosophical debate (the Concatenation View) with BFO-based engineering. The philosophical portion is careful and fair: it credits Martin and Ebels-Duggan, engages the sensation-judgment gap, and develops the awareness/experience distinction and the acquaintance inference in an independently interesting way. The paper also deserves credit for explicitly listing its limitations, which makes the gap between the advertised 'precise and scalable' formulation and the actual formal content easy to assess. However, the formal core of CV4, which is the paper's claimed foundation, has several load-bearing defects that prevent it from functioning as a truth condition.
major comments (5)
- [§2.3 (SUM), (CPL); §2.5 CV4(a)] The condition 'T < s/c' is undefined as written. s is defined as the disjoint mereological sum of love events and c as its complement; both are processes (occurrents), not real numbers, and no measure over temporal parts or process extents is supplied. Section 3.2 restates the condition as 'the ratio of the loving sum to the entire interval,' which is the different quantity s/(s+c). The paper must supply a measure on the relevant interval or process parts and then consistently define the ratio used in CV4.
- [§2.5 CV4(a)] The existential quantification over T makes the truth condition trivially satisfiable. For any interval, including one containing no love events, there exists a real number T such that 'T < s/c' (e.g., T = -1 or any sufficiently small value), so 'S loves P' can never come out false. A threshold that cannot be false does not distinguish love from its absence. The threshold T must be fixed, contextually parameterized, or otherwise constrained so that the condition is falsifiable; the current 'underspecified by design' status is not compatible with the claim that CV4 is a precise formal characterization.
- [§2.3 (EVT); §2.5 CV4] The definitions are circular. (EVT) declares a proper part t of interval i to be a love event only if 'S loves P' is already true at i; (SUM) then forms the loving sum from those love events; and CV4(a) uses that very loving sum to say what it is for 'S loves P' to be true at i. No independent base case for love events is provided. The paper should define love events in terms of the underlying conditions—positive sensations causally correlated with P, evaluative judgments, and acquaintance—without presupposing the truth of 'S loves P' at the interval.
- [§2.4] The claim that sensations 'lack content' is asserted without argument and is load-bearing: it is what forces the causal-correlation chain (1)–(4) and motivates the acquaintance requirement. Several theories of perception and cognitive science treat sensations or perceptual experiences as contentful; if they are right, the distinctive CV4 formulation loses its motivation. The paper should either defend the no-content premise or explicitly conditionalize the account on it.
- [§3.3] The paper's own limitation statements concede that causal correlation and acquaintance 'remain under formalized' and that an OWL/FOL axiomatization 'will also be needed.' These are not peripheral details: acquaintance is the device that blocks the drug-induced-love counterexample in §2.4, and causal correlation is the bridge between conditions (i) and (ii). Given these concessions, the abstract's description of the account as 'precise and scalable' is premature; either weaken the claim or provide the missing formalization.
minor comments (5)
- [Reference [6]] The title contains a typo: 'twenty-first crentury' should be 'twenty-first century.'
- [§2.5 CV4(c)] The phrase 'informs the S's evaluative judgments' is ungrammatical; it should be 'informs S's evaluative judgments' or 'informs the evaluative judgments of S.'
- [§2.2, footnote 5] The footnote states that 'our paradigmatic cases involve people as content,' which seems in tension with the later claim in §2.4 that sensations lack content. Please clarify whether 'content' here applies to sensations or to experiences/judgments.
- [Table 1] The row for the relation 'participates in' appears truncated; the elucidation should be completed for readability.
- [§2.3] The sentence 'we rest here by observing there is some positive ratio within an interval at which ‘S loves P’ is true such that there is more satisfaction of (i) and (ii) than not' is awkward; consider rewriting for clarity, e.g., 'we rely on the observation that there is some positive ratio...'
Circularity Check
CV4's truth condition is circular: (EVT) defines love events using 'S loves P' at i, and then the loving sum built from those events is used in CV4 to define 'S loves P' at i.
-
self definitional
[§2.3 (EVT, SUM, CV3) and §2.5 CV4]
"Any temporal interval i and proper temporal part t of i, and for any agents S, P such that ‘S loves P’ is true at i and (i) and (ii) are satisfied at t is a love event. In words, (EVT) defines a love event given ‘S loves P’ is true as any proper state part of the loving process where (i) and (ii) are satisfied. (SUM) The disjoint mereological sum of love events over a given interval i is the loving sum ... CV4 ... ‘S loves P’ is true at i just in case: there is some real value T such that: T < s/c"
Even before the ratio s/c is interpreted numerically, the predicate 'S loves P' is true at i appears in (EVT) as a condition for selecting love events; (SUM) then builds the loving sum s from those love events; CV4 uses s to state when 'S loves P' is true at i. The definiendum of CV4 is thus presupposed by the construction of the very quantity s that CV4's biconditional is supposed to determine. No base case, recursion, or fixed-point semantics is supplied to break the loop, so the formal characterization is circular by construction.
full rationale
The paper's central formal characterization is partially circular. The (EVT)/(SUM)/CV4 loop defines the loving sum only after assuming the truth of 'S loves P' at the interval, and then uses that sum to define that same truth; this is a self-definitional reduction of the advertised precise characterization. I do not count the undefined ratio s/c (mereological sums are not numeric) or the vacuous existential quantifier over T as circularity; those are correctness defects rather than reductions to inputs. The only self-citation, [36] (Beverley as co-author), supplies background definitions of 'agent' and 'information content entity' in §3.1 and does not carry the central claim. The causal-correlation argument (1)-(4) and the BFO mapping are independent content. Because the circularity is concentrated in the love-event/loving-sum definition while other parts retain independent content, the appropriate score is 6: one or more characterizations reduce by construction, giving partial circularity.
Assumptions & free parameters
free parameters (2)
- T (loving threshold)
- Implicit measure over temporal parts for s/c
assumptions (6)
- domain assumption BFO (ISO/IEC 21838-2) categories are adequate to represent sensations, judgments, and loving processes
- domain assumption Sensations lack content (are not 'about' anything)
- domain assumption If S judges p, then S is aware of p
- domain assumption Judging that P is valuable requires direct acquaintance with P (acquaintance inference)
- domain assumption Answerability for love is grounded in dispositional inhibitory control over falling in love
- standard math Mereological sums and complements of temporal parts of a process exist and behave as sums
invented entities (3)
-
Loving sum s
-
Loving complement c
-
Love event
Cite this review
Pith. "Pith review of A Path to Loving." pith.science (2026). https://pith.science/paper/ZO7BD2MH
@misc{pith2026250605352,
author = {Pith},
title = {Pith review of: A Path to Loving},
year = {2026},
howpublished = {\url{https://pith.science/paper/ZO7BD2MH}},
note = {Machine review of arXiv:2506.05352}
}
read the original abstract
This work lays the foundations for a rigorous ontological characterization of love, addressing its philosophical complexity and scientific relevance, with particular emphasis on psychology and sociology, as well as highlighting ways in which such characterization enhances relevant AI based applications. The position defended here is that love is best understood as a concatenation of passive sensations (e.g., emotional arousal) and active evaluative judgments (e.g., perceiving the beloved as valuable), in the interest of balancing the involuntary aspects of love with its rational accountability. To provide a structured foundation, the paper draws on Basic Formal Ontology (BFO) and other applied ontological methods to differentiate various senses of love. This work engages with objections to the understanding of love as concatenation, particularly concerning the relationship between sensation and judgment. A causal correlation model is defended, ensuring that the affective and cognitive components are linked. By offering a precise and scalable ontological account, this work lays the foundation for future interdisciplinary applications, making love a subject of formal inquiry in ontology engineering, artificial intelligence, and the sciences.
Reference graph
Works this paper leans on
-
[1]
Introduction Love is core to the lived experiences of most, if not all; it is pervasive and intimate, beautiful and tragic. As one might expect, it is a popular research area [1]. Life science researchers, for example, explore neurobiological underpinnings of love [2, 3, 4], the endocrinological underpinnings of romantic love [5, 6], and the evolutionary ...
-
[2]
Hallmarks of Love In this section, we outline hallmarks of love as preamble to the ontological analysis of the foundations of loving to follow. 2.1. Love as Active and Passive Love has passive and active aspects [25, 26]. Loving seems passive in the sense that it is not under our immediate control. We may find ourselves in love but seem unable to, say, re...
-
[3]
Love in the Basic Formal Ontology Basic Formal Ontology (BFO) is an ISO/IEC 21838-2 top-level ontology [33] developed initially to facilitate consistent representations of data across various life science disciplines, though presently major users of BFO include developers in the Open Biological and Biomedical Ontologies (OBO) Foundry [34], the Industrial ...
-
[4]
Beyond emotion: love as an encounter of myth and drive
Conclusion This paper presents a formal ontological account of love, proposing that love is best understood as a temporally extended process involving both passive sensations and active evaluative judgments. We build on the Concatenation View (CV) ultimately arriving at a proposal which includes conditions of causal correlation and acquaintance to link th...
-
[26]
Information Technology — Top-Level Ontologies (TLO) — Part 1: Requirements
Ebels-Duggan. K. (2017). Beyond Words: Inarticulable Reasons and Reasonable Commitments. Journal of Philosophy and Phenomenological Research. [27] Ebels-Duggan, K. (2018). Love and Agency. In the Routledge Handbook of Love in Philosophy. [28] Fortenbaugh, W.W. (2006). Aristotle’s Practical Side: On His Psychology, Ethics, Politics, and Rhetoric. Chapter 1...
arXiv 2017
Reviewed August 16, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.