{"id":"7c6f9524-973b-4c8b-9a97-dd8ecf255e99","arxiv_id":"2507.04282","paper_version":3,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Newton's first law was necessary because Euclidean proportion, the language of the Principia, only applies to non-zero magnitudes, so the zero-force case required a separate axiom.","lead":"This paper proposes that Newton's first law of motion exists as a separate law because the Euclidean geometry he used cannot express the zero-force case in the second law's proportionality statement. The authors argue the law was a technical necessity of the mathematical language, not a redundant addition.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The central claim depends on the assumption that Newton's 'proportion' in Law II is the strict Euclid Book V notion that excludes zero; the evidence for this is contextual and indirect, and Newton's own method of ultimate ratios complicates the claim of necessity.","rationale":"The reader's weakest assumption is exactly the load-bearing point: the paper's solution depends on reading Newton's 'proportion' in Law II as the strict Euclid Book V notion, which excludes zero magnitudes. My stress-test confirms this is the most insecure link. The paper offers substantial contextual evidence that Newton used ratios in the Euclidean 'first tradition', but no direct textual evidence that he consciously excluded F=0 from Law II, nor that he would have found the case inexpressible rather than treatable by his own ultimate-ratio methods. This is a historical-interpretive gap, not an internal contradiction. The argument is coherent and the evidence is plausible, so the central claim is not refuted; it is underdetermined. The reader's CONDITIONAL verdict is therefore appropriate. I would not move the verdict to ACCEPT, because the overclaim in Section 4.2 ('firmly established') should be tempered, and I would not move to REJECT because the formal explanation remains a credible and well-supported novel reading. The concrete test I propose would tighten the case one way or the other by checking Newton's actual uses of proportion in zero/vanishing contexts.","tokens_in":12226,"tokens_out":8661,"duration_ms":100922,"concrete_test":"Systematically search Newton's 1684 De Motu and the surviving drafts of the Principia's laws for every occurrence of 'proportio' (or 'proportionalis') in proximity to terms for zero or vanishing quantities, especially in discussions of bodies with no impressed force. If any passage applies a proportion, or an ultimate-ratio limit, to the zero-force case, the formal explanation's central claim that the Euclidean framework made such a case inexpressible would be falsified. If no such passage exists, the concern is reduced but not eliminated, because Newton's silence is the very fact under interpretation.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The formal explanation rests on a chain: Law II's 'proportional' must be read as Euclid's Book V Definition 4–6 notion; therefore zero magnitudes cannot enter the proportion; therefore Law II does not cover F=0; therefore Law I was needed as a separate axiom. The most load-bearing step is the first: that Newton intended the strict Euclidean ratio notion when wording Law II, and would have regarded 'no force' as outside its scope. The paper's evidence is indirect: Sylla (1984) and Grosholz (1987) show Newton generally treated ratios as geometrical magnitudes rather than numbers, and the Scholium on ultimate ratios shows he agreed that after quantities vanish no proportion exists. But none of this directly addresses Law II or the zero-force case. Newton never states that Law II is inapplicable to F=0. Moreover, Newton's own method of first and ultimate ratios was expressly designed to assign ratios to quantities that vanish to zero, e.g., the 'ultimate proportion' of evanescent quantities. The paper reads this passage as supporting the exclusion of zero, yet it also shows Newton was comfortable extending the ratio concept to limiting cases. A reader could therefore accept all the cited historical evidence and still hold that Newton could have handled F=0 as a limiting case within his own mathematics, making the formal explanation a plausible reconstruction rather than a demonstrated necessity. Section 4.2's claim that the explanation 'has been firmly established' overstates the strength of this evidence.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper addresses the 'independence problem' of Newton's first law: why Newton stated Law I as a separate axiom when substituting F=0 into the modern algebraic form of Law II (F=ma) seems to make Law I a corollary. The central contribution is a 'formal explanation': Newton's Law II is not an algebraic equation but a verbal statement that change in motion is proportional to impressed force, and because Euclid's definitions of ratio and proportion (Elements V, Defs. 4–6) exclude zero magnitudes, Law II does not apply to the case of zero force or zero change of motion. The first law was therefore needed as a separate axiom to cover that case. The paper also proposes a secondary 'logical explanation' (Law I expresses a more general principle that could survive a changed Law II), and it provides a comprehensive review and plausibility assessment of earlier proposed solutions.","tokens_in":12473,"tokens_out":7233,"duration_ms":79453,"significance":"The formal explanation, if correct, is an original and elegant resolution of a long-standing puzzle, and it is genuinely historical: it locates Newton's reason in his mathematical language rather than in modern concepts. The paper's strengths are its careful distinction between historical and modern questions, its comprehensive and fair literature review, and its reliance on external evidence (Euclid, the Principia, and independent scholarship by Sylla and Grosholz). The derivation from Euclid's definitions is internally valid, and there is no circularity: the argument does not assume the conclusion. However, the central historical claim is not as secure as Section 4.2 states. The evidence connects Newton to the Euclidean conception of ratio in general, but not specifically to his intent in wording Law II; the discussion of the Scholium on ultimate ratios underplays how Newton extended ratio talk to vanishing quantities. The formal explanation is therefore a well-supported reconstruction rather than a firmly established necessity.","major_comments":[{"comment":"The load-bearing step is the inference from Euclid's Definition 4 to the claim that Newton's Law II is inapplicable when force or change of motion is zero. The paper shows that Euclid excludes zero magnitudes from ratios and that Newton generally used the Euclidean ratio idiom, but it does not directly show that Newton intended Law II's word 'proportional' to carry that technical exclusion. A proto-algebraic or looser reading of 'proportional' remains possible. The Scholium passage quoted in Section 3.1 concerns ultimate ratios of vanishing quantities, not the exact zero-force case; the paper mentions Newton's reply but does not analyze how the method of first and ultimate ratios, which was expressly designed to assign limiting ratios to evanescent quantities, bears on the status of exact zero. A reader can accept all the cited evidence and still hold that Newton could have treated F=0 as a limiting case. This step needs either direct textual support or a revised, weaker formulation of the claim.","section":"Section 3.1"},{"comment":"The assertion that the formal explanation 'has been firmly established' overstates what the evidence shows. Sylla (1984) and Grosholz (1987) demonstrate that Newton treated ratios as geometrical magnitudes and used proportion idiom, but neither source directly addresses Law II or the zero-force case. The textual evidence is compatible with the formal explanation, but it does not prove that Newton consciously excluded zero from Law II. The abstract's phrase 'necessitate the inclusion' is likewise stronger than the argument supports. I recommend replacing 'firmly established' with a more calibrated claim such as 'the best-supported explanation' or 'highly plausible', and explicitly acknowledging that the proto-algebraic reading of proportion is a live alternative.","section":"Section 4.2"},{"comment":"Even if Euclidean proportion excludes zero, it does not follow that the first law had to be a separate axiom rather than, say, a corollary appended to Law II or a clause added to Law II's wording. The paper asserts in Section 3.1 that 'the separation into two axioms is the simplest and most natural choice', but that is a rhetorical claim, not a demonstration of necessity. If the paper wishes to maintain that the definitions of Euclidean geometry 'necessitate' the inclusion of the first law, it should argue why a separate law, rather than any other formal device, was required; otherwise the conclusion should be weakened to explain why a separate law was a natural consequence of the Euclidean framework.","section":"Abstract and Section 3.1"}],"minor_comments":[{"comment":"There is a typo in the paragraph on Grosholz: 'for for thePrincipia' should read 'for thePrincipia'.","section":"Section 4.1"},{"comment":"The text contains several typographical errors: 'categeory' should be 'category', 'prequisite' should be 'prerequisite', and 'the first is law is redundant' should be 'the first law is redundant'.","section":"Section 4.2"},{"comment":"The sentence 'It can continue to to hold even if...' contains a doubled 'to'; it should read 'It can continue to hold even if...'.","section":"Section 3.2"},{"comment":"The quote from Aristotle is attributed as '(Aristotle 2000, 46)' but the reference list entry is 'On The Heavens' with no page-level detail; please check the citation format.","section":"Footnote 5"},{"comment":"The heading 'F unding' has an unintended space; it should read 'Funding'.","section":"Declarations"},{"comment":"The sentence 'Descartes is identified as the source of the first law and the notion that a uniform motion constitutes a state' lacks a specific citation; please add a supporting reference or clarify the source of this identification.","section":"Section 2.2.3"}],"recommendation":"major_revision","confidential_remarks":"The paper is within the scope of the journal and makes a genuinely interesting contribution. The main issue is that the central historical claim is presented with more certainty than the indirect evidence warrants. I do not see grounds for rejection: the formal explanation is defensible and the literature review is useful. The authors should be asked to temper the modal language, address the proto-algebraic reading of 'proportional' more directly, and discuss the method of ultimate ratios in full. I saw no citation or attribution concerns that would require further action."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Two things to know before you read it. The paper's formal explanation is genuinely new: it reads Law II's 'proportional' strictly in Euclid's Book V sense, where a zero magnitude cannot enter a ratio, so the second law cannot apply to F=0, and the first law is needed to cover that case. The logic is clean and the paper finds real textual support for Newton's working in the Euclidean proportion tradition, using Sylla and Grosholz. The literature review is also the most complete I've seen on the independence problem, and the plausibility assessments are fair.\n\nThe soft spot is exactly where the stress-test note puts it: the load-bearing step is that Newton intended 'proportion' in Law II in the strict Euclidean sense, and the evidence for that is contextual and indirect. The Scholium on ultimate ratios is the most telling. Newton explicitly says the 'ultimate proportion' of vanishing quantities is not the proportion after they have vanished but the proportion with which they vanish; that is, he was comfortable extending ratio talk to the limiting case of evanescent quantities. One can accept all the paper's Sylla/Grosholz evidence and still think Newton could have handled F=0 as a limiting case, which would make the formal explanation a plausible reconstruction rather than a demonstrated necessity. Section 4.2's claim that the explanation 'has been firmly established' is too strong, as is the rhetorical use of Newton's silence as positive evidence.\n\nThe second explanation, the 'logical' one, is basically a variant of views already in the literature and adds little. That is fine; it is presented as secondary.\n\nOverall: this is a worthwhile paper for historians and philosophers of physics and for physics educators who care about the status of the first law. It deserves referee time. I would send it back for revision with the overclaim tempered and the ultimate-ratio passage addressed head-on; with that, it is a solid publication.","headline":"A genuinely new formal explanation for why Newton kept the first law separate, built on Euclid's exclusion of zero from proportion; the historical necessity claim is plausible but overstated.","tokens_in":13007,"tokens_out":1876,"would_cite":true,"duration_ms":20330,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["01A45","70A05","00A30"],"pacs":["01.65.+g"],"model":"deepseek-v4-flash","headline":"The paper argues that Newton's first law was not redundant: in the Principia's Euclidean mathematics, zero magnitudes cannot enter a proportion, so the second law simply did not cover the no-force case.","keywords":["Newton's laws of motion","independence problem","first law","Euclidean proportion","Euclid's Elements","history of physics","philosophy of science","law of inertia"],"falsifier":"A single clear passage in the Principia in which Newton applies the second law, or the term \"proportion,\" to a zero force, zero change of motion, or a vanished quantity as a legitimate proportion would refute the formal explanation; the paper itself cites only the Scholium where Newton denies that vanished quantities have an ultimate proportion.","tokens_in":12000,"feed_emoji":"📐","tokens_out":7188,"duration_ms":75477,"temperature":0.7,"pith_summary":"The paper asks why Newton stated the first law separately when the second law seems to imply it. It proposes a \"formal explanation\": Newton wrote the second law in the language of Euclidean geometry, saying that change of motion is proportional to impressed force. But Euclid's definition of proportion excludes zero magnitudes, so the second law has no meaning when the force or the change of motion is zero. The first law, the paper argues, was therefore a mathematical necessity under Newton's chosen formalism, not merely a physical or pedagogical extra. A secondary \"logical explanation\" says the first law is also the more general principle, surviving changes to the quantitative force law such as relativity.","feed_headline":"Newton's first law was not redundant after all","feed_subtitle":"Euclid's definition of proportion excludes zero, so the second law could not cover the no-force case.","key_machinery":"The load-bearing object is Euclid's definition of proportion (Elements, Book V, Definitions 4-6): magnitudes have a ratio only if, when multiplied, they are capable of exceeding one another, and proportional magnitudes are those with the same ratio. Because a zero magnitude cannot exceed or be exceeded by anything when multiplied, it has no ratio; the second law's statement that change of motion is proportional to force is therefore undefined at zero. The paper also relies on the Euclidean convention that zero is the absence of a magnitude, a separate case from any nonzero magnitude, and on evidence that Newton treated ratios as geometric relations rather than numbers.","core_discovery":"On the paper's own terms, the central discovery is that the independence problem dissolves once the second law is read through Euclid's Book V definitions: a zero magnitude has no ratio to anything, and therefore cannot be in proportion, so \"change in motion is proportional to motive force impressed\" applies only when both magnitudes are nonzero. Since the case of no force and no change of motion is excluded from the second law by definition, Newton needed a separate axiom for it, and the first law supplied exactly that. The paper argues from the Principia's text, from Newton's treatment of vanishing ratios in Book I, and from historical evidence that Newton kept the Euclidean conception of proportion as a relation among nonzero geometric magnitudes rather than an algebraic relation among numbers.","pith_inferences":["An implication the authors leave implicit: the same zero-exclusion would apply to any other proportionality law expressed in Euclid's idiom, so the argument could be tested by checking other Principia statements for a parallel gap at zero.","If the formal explanation is correct, modern textbook presentations that derive the first law from $F=ma$ teach a redundancy that Newton's own formalism never had; the independence problem may be a translation artifact rather than a historical puzzle.","A testable extension would be a complete search of Newton's manuscripts for any instance where he treats a zero magnitude as admitting a ratio or proportion; one clear instance would weaken the historical claim.","The same Euclidean convention may bear on debates about whether Newton's other axioms, such as the third law, have hidden scope conditions for zero magnitudes, a question the paper does not address."],"forward_implications":["If the formal explanation is right, Newton's first law is not a redundant corollary of the second; the redundancy is an artifact of translating the Euclidean proportion statement into the algebraic equation $F=ma$.","Newton's silence about the apparent redundancy is explained: to a 17th-century Euclidean reader, no contradiction or duplication arose, because zero simply fell outside the second law.","The explanation predicts that any use of the second law in the Principia concerns nonzero forces and nonzero changes of motion, so no passage should apply it to the zero case.","The logical explanation implies that the first law is the more fundamental axiom: alternative force laws such as $F=\\sqrt{m}a$ or $F=ma^2$ are compatible with it, and indeed relativity replaced the second law while leaving the first intact."],"supporting_citations":[{"why":"Supplies the text of Euclid's Book V Definitions 4-6 from which the zero-magnitude exclusion is derived.","marker":"Fitzpatrick 2008"},{"why":"Provides the Principia's wording of the laws, the Scholium on ultimate ratios, and the passages showing separate treatment of zero and nonzero motion.","marker":"Newton et al. 1999"},{"why":"Supports the claim that magnitudes in Euclid are always nonzero, so absence of a magnitude is a distinct case.","marker":"Grattan-Guinness 1996"},{"why":"Argues from Newton's ratio-compounding terminology that Newton did not identify ratios with numbers, supporting the Euclidean reading.","marker":"Sylla 1984"},{"why":"Shows Newton using the first tradition of proportion and thereby treating heterogeneous physical magnitudes geometrically.","marker":"Grosholz 1987"},{"why":"Documents that in Newton's period Euclidean definitions of proportion still governed higher mathematics, contextualizing the formal explanation.","marker":"Goldstein 2000"}],"fun_headline_variants":["Euclid's ratio rule makes Newton's first law necessary","Why Newton's first law isn't just a consequence of the second","Zero ratio: Why Newton needed a separate first law","Newton's first law, spared by Euclid's definitions"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The argument stands or falls on reading Newton's word \"proportional\" strictly by Euclid's definitions, which exclude zero magnitudes from any ratio; if Newton used \"proportional\" in a looser, proto-algebraic sense, the second law could cover the zero case and the formal explanation collapses.","fun_headline_variants_meta":{"raw":{"variants":["Euclid's ratio rule makes Newton's first law necessary","Why Newton's first law isn't just a consequence of the second","Zero ratio: Why Newton needed a separate first law","Newton's first law, spared by Euclid's definitions"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000708,"raw_usage":{"total_tokens":3118,"prompt_tokens":800,"completion_tokens":2318,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":416,"completion_tokens_details":{"reasoning_tokens":2249}},"tokens_in":416,"tokens_out":2318,"duration_ms":17210,"temperature":1.0,"reasoning_tokens":2249,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T19:50:31.344784+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A single clear passage in the Principia in which Newton applies the second law, or the term \"proportion,\" to a zero force, zero change of motion, or a vanished quantity as a legitimate proportion would refute the formal explanation; the paper itself cites only the Scholium where Newton denies that vanished quantities have an ultimate proportion.","supporting_citations":[{"cited_title":"Euclid's elements of geometry","cited_arxiv_id":null,"evidence_quote":"Supplies the text of Euclid's Book V Definitions 4-6 from which the zero-magnitude exclusion is derived."},{"cited_title":"The Principia: mathematical principles of natural philosophy","cited_arxiv_id":null,"evidence_quote":"Provides the Principia's wording of the laws, the Scholium on ultimate ratios, and the passages showing separate treatment of zero and nonzero motion."},{"cited_title":"Numbers, Magnitudes, Ratios, and Proportions in Euclid'sElements: How Did He Handle Them? Historia mathematica, 23 0 (4): 0 355--375, 1996","cited_arxiv_id":null,"evidence_quote":"Supports the claim that magnitudes in Euclid are always nonzero, so absence of a magnitude is a distinct case."}],"review_version":2}