{"id":"9d1c5de0-be5e-4dd9-ab0d-2bc1db326955","arxiv_id":"2506.05352","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":2,"one_line_summary":"Love is characterized as a temporally extended process of positive sensations, causally correlated with and judged as valuable regarding a directly acquainted beloved, anchored in Basic Formal Ontology.","lead":"This paper argues that love is best understood as a process that joins passive positive sensations with active judgments that the beloved is valuable, linked by causal correlation and direct acquaintance. It translates this account into Basic Formal Ontology, offering a shared vocabulary for modeling love in psychology, sociology, and AI applications.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"CV4's truth condition is not a truth condition: 'T < s/c' is undefined for mereological sums, the existential quantifier over T makes it trivially true for every interval, and (EVT) defines love events via the very truth they are used to define.","rationale":"The paper's aim is to give a rigorous ontological characterization of love: CV4, a temporally extended process of positive sensations causally correlated with the beloved, evaluative judgments of the beloved's value, and direct acquaintance, mapped onto Basic Formal Ontology. For that claim to hold, CV4 must be a coherent, non-vacuous truth condition, and the BFO representation must inherit that coherence. My reading concurs with the reader's CONDITIONAL verdict but locates the load-bearing weakness differently. The decisive problem is in the formal core of CV4(a), not in the philosophical thesis that sensations lack content. Three compounding difficulties: the ratio s/c is undefined because s and c are defined in (SUM) and (CPL) as mereological sums of processes with no measure supplied; the existential quantification over T makes the condition trivially true for every interval, since every real ratio has some real number below it; and (EVT) defines love events in terms of 'S loves P is true at i', which CV4 defines in terms of the loving sum of those same love events — a circularity with no base case. The reader's leading candidate, the assertion that sensations lack content (Section 2.4), is genuinely under-argued, but it is less load-bearing: the causal-correlation bridge and acquaintance condition would still be needed to block the drug scenario even if sensations had content, and the thesis that love combines passive sensation with accountable judgment survives denial of that premise. The formal defects, in contrast, affect the truth condition itself, and the Section 3.2 BFO mapping simply restates them. I credit the paper where deserved: the engagement with Ebels-Duggan and Martin is honest, the acquaintance-inference rebuttal of the drug objection is a real contribution, and Section 3.3 candidly lists what remains to be done. Since the formal problems are repairable (supply a measure, fix T as a threshold parameter, and break the (EVT) circularity), CONDITIONAL remains the right verdict; my concern does not move it, hence UNCHANGED.","tokens_in":10926,"tokens_out":19275,"duration_ms":175833,"concrete_test":"Formalize CV4(a) in first-order logic with an explicit measure mu over the temporal interval (e.g., Lebesgue duration of love events and of the complement), and render the threshold in both available ways: (i) exactly as written, exists T (T < mu(s)/mu(c)); (ii) as a fixed global parameter T0 < mu(s)/mu(c). Evaluate both on (a) a degenerate model with zero love events over i and (b) a minimal model with conditions (i) and (ii) satisfied at exactly one instant. If reading (i) is true in both models, the truth condition is vacuous and CV4 cannot characterize love; if reading (ii) is false in model (b), the account depends on a measure and threshold that the authors explicitly decline to specify.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central formal core of the paper, CV4(a) (Section 2.5), does not yet function as the advertised 'precise' characterization of love. Three problems compound. First, Section 2.3 defines the loving sum s as the disjoint mereological sum of love events (SUM) and the loving complement c as its complement (CPL): both are processes, not quantities, and no measure over temporal parts or process extents is supplied, so the ratio 's/c' in 'there is some real value T such that: T < s/c' is undefined as written; note also that Section 3.2 restates the condition as 'the ratio of the loving sum to the entire interval,' a different quantity (s/(s+c)). Second, even granting a measure, the existential quantification of T makes the condition trivially true: for any real ratio r there exists a real T with T < r, so every interval — including one with no love events — satisfies CV4(a), and 'S loves P' can never come out false. A threshold that cannot be false does not distinguish love from its absence. Third, the definitions are circular: (EVT) declares a proper part t of i to be a love event only if 'S loves P' is already true at i, while CV4 uses the loving sum (the sum of those very love events) to define what it is for 'S loves P' to be true at i; no independent base case is given. The paper's own Section 3.3 concedes that the OWL/FOL axiomatization 'will also be needed' and that causal correlation and acquaintance remain 'under formalized,' which sits uneasily with the abstract's claim of a 'precise and scalable' account. The intended fixed-threshold reading is recognizable and repairable, but the formalism as written is neither well-defined nor able to be false.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":11325,"tokens_out":4096,"duration_ms":43029,"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":[{"comment":"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.","section":"§2.3 (SUM), (CPL); §2.5 CV4(a)"},{"comment":"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.","section":"§2.5 CV4(a)"},{"comment":"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.","section":"§2.3 (EVT); §2.5 CV4"},{"comment":"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.","section":"§2.4"},{"comment":"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.","section":"§3.3"}],"minor_comments":[{"comment":"The title contains a typo: 'twenty-first crentury' should be 'twenty-first century.'","section":"Reference [6]"},{"comment":"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.'","section":"§2.5 CV4(c)"},{"comment":"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.","section":"§2.2, footnote 5"},{"comment":"The row for the relation 'participates in' appears truncated; the elucidation should be completed for readability.","section":"Table 1"},{"comment":"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...'","section":"§2.3"}],"recommendation":"major_revision","confidential_remarks":"The paper's philosophical discussion is thoughtful and well-grounded in the literature, and the BFO mapping is a plausible start. The formal core, however, is not yet usable as a precise characterization, and the issues in §2.3–§2.5 (undefined ratio, trivial quantifier, circularity) are load-bearing rather than stylistic. I believe they are fixable within the manuscript's scope if the authors are willing to add a measure-theoretic or explicitly parameterized account and a non-circular definition of love events, or to reframe the contribution as a philosophical proposal with a preliminary ontological sketch rather than a precise formal account. I would not recommend rejection, because the underlying view is defensible and the paper is transparent about many of its gaps."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nYou should know that this paper is a real attempt to give love a place in Basic Formal Ontology, not just a hand-wave. It takes the Concatenation View from Martin, engages seriously with Ebels-Duggan's objections, and adds two things: a causal-correlation bridge between the sensation and the judgment, and an acquaintance requirement on the value judgment. That is a genuine contribution to the ontology literature, and the BFO mapping of the qualitative components—sensations as qualities, judgments as processes, information content entities as outputs—is plausible and useful.\n\nThe problem is the formal core. CV4(a) says 'S loves P' is true at interval i just in case there is some real T such that T < s/c, where s is the loving sum and c is the loving complement. But s and c are mereological sums of processes, not numbers. No measure is given, so the ratio is undefined. Even if you supply a measure, the existential quantifier over T makes the condition trivially true whenever the ratio is positive: for any positive r there is a real T less than r. So any interval with at least one love event—and arguably any interval at all—satisfies it, and the condition can never be false. That is not a characterization of love; it is a tautology. On top of that, the definition of a love event in (EVT) presupposes that 'S loves P' is already true at the whole interval, while CV4 uses the sum of those very love events to define that truth. The paper itself acknowledges the formal axiomatization is still needed and that causal correlation and acquaintance are under-formalized, but the abstract's claim of a \"precise and scalable\" account is not supported.\n\nThat said, the softer philosophical parts hold up. The distinction between passive sensation and active judgment, the role of inhibitory control, and the acquaintance inference are argued carefully and in the right literature. The drug-induced love objection is answered neatly by requiring acquaintance. These are worth publishing about.\n\nMy recommendation: send it to a serious referee. The formal hole is load-bearing but repairable; a knowledgeable referee can push them to define a measure over intervals, fix the quantification over T (the obvious fix is a fixed threshold with a well-defined ratio), and break the circularity by giving an independent base case for love events. The paper deserves that referee time. I wouldn't cite the formal definition as it stands, but I would cite the qualitative account if I were working on ontology of emotion.","headline":"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.","tokens_in":11864,"tokens_out":2195,"would_cite":false,"duration_ms":22031,"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 defines loving as a temporally extended process whose truth condition is a threshold ratio of love events to non-love time.","keywords":["love ontology","Basic Formal Ontology","Concatenation View","sensations","evaluative judgment","acquaintance inference","love events","temporal process"],"falsifier":"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.","tokens_in":10608,"feed_emoji":"❤️","tokens_out":6481,"duration_ms":60112,"temperature":0.7,"pith_summary":"This paper tries to establish that love is not a feeling or a judgment but a temporally extended process built from love events, each combining a positive sensation causally correlated with the beloved and an evaluative judgment that the beloved is valuable. It formalizes this as CV4: S loves P over an interval if the ratio of love events to non-love time exceeds a threshold T. The account is then anchored in Basic Formal Ontology, treating sensations as mental qualities, judgments as realized dispositions, and their outputs as information content entities about the beloved. Making love a tractable subject for ontology engineering, psychology, sociology, and AI systems is the practical payoff.","feed_headline":"Love is a timed process of sensations plus value judgments","feed_subtitle":"A formal model makes love measurable: love events over time must pass a threshold T.","key_machinery":"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.","core_discovery":"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.","pith_inferences":["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."],"forward_implications":["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."],"supporting_citations":[{"why":"Supplies the Concatenation View of love that CV2 through CV4 refine.","marker":"[25]"},{"why":"Raises the objections about regularity and drug-induced love that motivate causal correlation and acquaintance.","marker":"[27]"},{"why":"Provides the experience-versus-awareness distinction used to bridge content-free sensations with content-bearing judgments.","marker":"[30]"},{"why":"Supplies the acquaintance inference for taste predicates that the paper analogizes to judgments of the beloved's value.","marker":"[31]"},{"why":"Supports the direct-acquaintance requirement imposed on value judgments in CV4(c).","marker":"[32]"},{"why":"Gives the ISO/IEC standard for Basic Formal Ontology as the top-level ontology used for the formal mapping.","marker":"[33]"},{"why":"Supplies the agent and information content entity terms from the BFO ecosystem used in the formalization.","marker":"[36]"},{"why":"Defines the BFO classes such as process, quality, disposition, and continuant that carry the ontological mapping.","marker":"[37]"},{"why":"Provides the blocking-disposition model that the paper applies to inhibitory control over falling in love.","marker":"[40]"}],"fun_headline_variants":["Love formalized: sensations plus value judgments, with a threshold","A formal ontology of love: sensations, judgments, and a threshold T","Love defined: sensations and judgments, causally linked, with threshold","CV4: When love holds — sensations, judgments, and acquaintance"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Love formalized: sensations plus value judgments, with a threshold","A formal ontology of love: sensations, judgments, and a threshold T","Love defined: sensations and judgments, causally linked, with threshold","CV4: When love holds — sensations, judgments, and acquaintance"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00018,"raw_usage":{"total_tokens":1254,"prompt_tokens":846,"completion_tokens":408,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":462,"completion_tokens_details":{"reasoning_tokens":333}},"tokens_in":462,"tokens_out":408,"duration_ms":4053,"temperature":1.0,"reasoning_tokens":333,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-16T05:39:18.224752+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[],"review_version":1}