{'fraction_non_alphanumeric': 0.037980690800694064, 'fraction_numerical': 0.018760473980038262, 'mean_word_length': 4.989518564576302, 'pattern_counts': {'":': 0, '<': 1, '<?xml version=': 0, '>': 3, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
Leibniz on bodies and infinities: rerum natura and mathematical fictions

The way Leibniz applied his philosophy to mathematics has been the subject of longstanding debates. A key piece of evidence is his letter to Masson on bodies. We offer an interpretation of this often misunderstood text, dealing with the status of infinite divisibility in nature, rather than in mathematics. In line with this distinction, we offer a reading of the fictionality of infinitesimals. The letter has been claimed to support a reading of infinitesimals according to which they are logical fictions, contradictory in their definition, and thus absolutely impossible. The advocates of such a reading have lumped infinitesimals with infinite wholes, which are rejected by Leibniz as contradicting the part-whole principle. Far from supporting this reading, the letter is arguably consistent with the view that infinitesimals, as inassignable quantities, are mentis fictiones, i.e., (well-founded) fictions usable in mathematics, but possibly contrary to the Leibnizian principle of the harmony of things and not necessarily idealizing anything in rerum natura. Unlike infinite wholes, infinitesimals - as well as imaginary roots and other well-founded fictions - may involve accidental (as opposed to absolute) impossibilities, in accordance with the Leibnizian theories of knowledge and modality.


Small magnitudes vs
Infinite and infinitely small quantities can be written out of the mathematics altogether via a syncategorematic analysis in favour of expressions referring only to finite quantities and their relations. -Levey, 2021 Calculus necessary leads to them, and people who are not sufficiently expert in such matters get entangled and think they have reached an absurdity. -Leibniz, Elementa nova matheseos universalis

Toland's indictment of mathematicians
In 1716, an anonymous critic claimed to identify a confusion shared by Leibniz and other philosophers of a mathematical bent: Mais de s'imaginer, qu'ils pourront rendre compte de la nature des choses par de tels Calculs, c'est là precisement que consiste leur erreur. 1 ([76, p. 131]; emphasis added) The critic has by now been definitively identified as John Toland 2 (1670-1722); see Lamarra ([36], 1990), Woolhouse ([78], 1998). Toland accused Leibniz of allowing his calculus to infect his metaphysics. The critique was apparently written already in 1703 3 but only published in a 1716 volume of Histoire Critique de la Republique des Lettres.
In the same year (his last), Leibniz penned a response in a detailed letter 4 to editor Samuel Masson. The letter deals with issues of the philosophy of nature and also comments briefly upon the infinitesimal calculus. Bassler ([11], 1998), Arthur ([6], 2019), and Rabouin and Arthur (RA) ( [71], 2020) have appealed to one such comment in support of the claim that Leibnizian infinitesimals are syncategorematic (in the sense detailed in Section 3). Contextualizing the letter will help evaluate such claims.
We analyze the Leibnizian exposition on the philosophy of nature and its historical and theological context in Section 2, where we also deal with the meaning of his comments on the calculus. In Section 3 we analyze RA's reading and show that the 1716 comments on the calculus not only provide no support for an Ishiguro-syncategorematic reading, but support a rather different interpretation of his infinitesimals: they are well-founded 'fictions of the mind' (mentis fictiones, 5 Leibniz to des Bosses [53], 1706). In Section 4 we analyze the distinctions infinite number vs infinite whole, and bounded infinity vs unbounded infinity in Leibniz, as well as his comparison of the hornangle and inassignables. In Section 5 we analyze the meaning of infinity, fiction, and well-founded fiction in Leibniz. Here we show that, while infinite wholes contradicting the part-whole principle are absolute impossibilities, imaginary roots and infinitesimals are only accidental impossibilities, even if their definitions are taken to be only nominal. In 1 Translation: "But to fancy themselves that they could account for the nature of things by such Calculations, that is precisely where their error lies." 2 Beeley mistakenly attributes the criticism to Bayle in ( [13] 2015, p. 26). 3 The date appearing at the end of Toland's text is in 1703, but there is internal evidence that the piece was touched up in 1714 at the earliest; see [36], [78]. 4 Woolhouse and Francks [79] date the letter 21 august 1716. 5 See Section 5.1 for the full quotation.
Section 6 we present the conclusions of our contextualisation of the letter to Masson. The present text extends our analysis of the Leibnizian heritage pursued in [8] and elsewhere.
2. Monads, rerum natura, and mathematics Leibniz opens his letter to Masson with a discussion of the concept of ζω ͺ oν (zōon), 6 i.e., living being. He describes monad as the underlying substance 7 of the zōon. According to Leibniz, the relation between nature and monadic reality is such that nature is a phenomenon, whereas the monads are the substances underlying natural phenomena. Leibniz first used the term 'monad' in 1696; in earlier texts he used various expressions such as 'individual substance' [58, p. 32], 'atom of substance', and 'metaphysical point' [58, p. 142]. 8 2.1. Leibnizian Passage I. Toward the end of the letter, Leibniz turns to Toland's claim that mathematicians are not successful as philosophers. After a bit of ad hominem, Leibniz gets down to the business of refuting the claim. His strategy is to draw a line between (1) philosophy, concerned with the 'nature des choses', i.e., rerum natura; and (2) mathematics, concerned with applying entities, both ideal and fictional, in geometry and physics. Toland accused Leibniz of viewing the extension (i.e., the continuum) as made up of mathematical points (the punctiform view). 9 Leibniz first responds to this accusation, and then comments on the relation between the calculus and the nature des choses: 6 Gerhardt's edition [54] uses the erroneous spelling ξωoν (twice) on page 624. In the autograph manuscripts of Leibniz, the word appears as ζωoν, without the iota subscript. The translation by Ariew [58, p. 225] uses the spelling zoon. 7 The term substance is used here in the technical sense of a metaphysical substratum of physical beings. See further in note 8. 8 Early work by Leibniz on substance dating from 1668 aimed "to effect a reconciliation between Roman Catholics and Protestants. . . . These works are especially valuable for what they reveal about the motivations behind Leibniz's first account of substance" p. 68]). In a letter to des Bosses dated 8 september 1709, Leibniz distances himself from both transubstantiation and consubstantiation, and sketches a monad-based approach [61, p. 153]. 9 Toland's criticism of Leibniz being so widely off the mark has led Stuart Brown to speculate that Toland "mistakenly supposed that Leibniz was cast in the same philosophical mould as [Joseph] Raphson" [19, note 51], and copied over some criticisms targeting Raphson from another text of Toland's. Raphson was an associate of Newton's.
[Passage I:] I am also far from making extension up of mathematical points. . . . And, notwithstanding my infinitesimal calculus, I do not admit any real [veritable] infinite number, even though I confess that the multitude of things surpasses any finite number [la multitude des choses passe tout nombre fini], or rather any number. (Leibniz [54] as translated by Ariew in [58, p. 229

])
Passage I draws a line between, on the one hand, the mathematician's task of exploiting the well-founded fictions of the infinitesimal calculus, and on the other, the philosopher's task of elucidating the natural phenomena (and perhaps the ultimately real monadic entities which underlie the phenomena) in the framework of an unequivocal rejection of infinite wholes.
In Sections 2.2 and 2.3 we will deal with the distinction Mathematics vs rerum natura. The distinction infinite wholes vs well-founded fictions will be analyzed in Section 4.

2.2.
Leibnizian Passage II. Unlike the choses whose nature Leibniz seeks to explore in the 1716 letter, mathematical entities exploited in the infinitesimal calculus are only useful fictions (mentis fictiones; see Section 5.1): [Passage II:] The infinitesimal calculus is useful with respect to the application of mathematics to physics; however, that is not how I claim to account for the nature of things [la nature des choses]. For I consider infinitesimal quantities to be useful fictions. (Leibniz [54] as translated by Ariew in [58], p. 230) Leibniz's comment "however, that is not how I claim to account for the nature of things" is a direct response to Toland's allegation that Leibniz seeks to account for the nature des choses by means of his calculus (see Section 1). Garber quotes Passage II and notes: [T]he point seems to be that nature is one thing, and its mathematical representation is another. [23, p. 303] Garber points out a significant difference between the positions of Leibniz and the Cartesians: [Leibniz's] opponents are the Cartesians who have tried to make nature mathematical in a literal sense, to make the physical world over into a physical instantiation of mathematical concepts [whereas Leibniz] can embrace the mathematical representation of dead force in terms of infinitesimals, without having to say that there are real infinitesimals in nature. [23, p. 306] Thus in Garber's view, in Passage II Leibniz (disagreeing with the Cartesians) insists on the separation of rerum natura and its mathematical representation.
2.3. Leibnizian evolution on mathematics and rerum natura. The distinction between the mathematical realm and the rerum natura is a crucial feature of Leibniz's mature philosophy. Whereas he started with a belief that physics could be reduced to mechanics, 10 and hence to mathematics, over the years mathematics ceased to be perceived by Leibniz as the foundation of physics and turned into a mere representation thereof.
For the young Leibniz, extension (corpus mathematicum) is a component of the matter of choses. As Leibniz explains to Thomasius, a physical body is the compound of matter -which Leibniz identifies with extension and impenetrability -and form, which he identifies with shape: Space is a primary extended being or a mathematical body (corpus mathematicum), which contains nothing but three dimensions and is the universal locus of all things. Matter is a secondary extended being, or that which has, in addition to extension or mathematical body, also a physical body (corpus physicum), that is, resistance, antitypy, solidity, the property of filling space, impenetrability. 11   Resistance, antitypy, solidity, the property of filling space and impenetrability are synonyms, and refer to the impossibility, for a physical body, of being in the same space with another thing, as Leibniz explains a few lines later. 12 "Spatium est Ens primo-extensum, seu corpus mathematicum, quod scilicet nihil aliud continet quam tres dimensiones, estque locus ille universalis omnium rerum. Materia est ens secundo-extensum, seu quod praeter extensionem vel corpus mathematicum habet et corpus physicum, id est, resistentiam, ' αντ ιτ υπίαν, crassitiem, spatii-repletivitatem, impenetrabilitatem." to Thomasius, 20-30 april 1669, [37, p. 26-27]. Transl. Loemker [57, p. 95]) 13 By contrast, in his mature system, Leibniz distinguishes between mathematical extension, which is potentially infinitely divisible, and the matter of physical bodies, which is actually infinitely divided: But in real things, that is, bodies, the parts are not indefinite -as they are in space, which is a mental thing -but actually specified in a fixed way according to the divisions and subdivisions which nature actually introduces through the varieties of motion. And granted that these divisions proceed to infinity, they are nevertheless the result of fixed primary constituents or real unities, though infinite in number. Accurately speaking, however, matter is not composed of these constitutive unities but results from them. ( Similarly in a 11 march 1706 letter to des Bosses, Leibniz writes: To pass now from the ideas of geometry to the realities of physics, I hold that matter is actually fragmented into parts smaller than any given, or that there is no part of matter that is not actually subdivided into others exercising different motions. This is demanded by the nature of matter and motion and by the structure of the universe, for physical, mathematical, and metaphysical reasons. ( The last passage is analyzed by Antognazza, who emphasizes the distinction in Leibnizian thought between the mathematical realm and rerum natura: 13 "Quantitatem quoque habet materia, sed interminatam, ut vocant Averroistae, seu indefinitam, dum enim continua est, in partes secta non est, ergo nec termini in ea actu dantur." 14 "At in realibus, nempe corporibus, partes non sunt indefinitae (ut in spatio, re mentali), sed actu assignatae certo modo, prout natura divisiones et subdivisiones actu secundum motuum varietates instituit, et licet eae divisiones procedant in infinitum, non ideo tamen minus omnia resultant ex certis primis constitutivis seu unitatibus realibus, sed numero infinitis. Accurate autem loquendo materia non componitur ex unitatibus constitutivis, sed ex iis resultat." 15 "Caeterum ut ab ideis Geometriae, ad realia Physicae transeam; statuo materiam actu fractam esse in partes quavis data minores, seu nullam esse partem, quae non actu in alias sit subdivisa diversos motus exercentes. Id postulat natura materiae et motus, et tota rerum compages, per physicas, mathematicas et metaphysicas rationes." Leibniz is quite consistent in pointing out that the actual infinite he is endorsing concerns the 'real' as opposed to the 'ideal' order. In the letter of 11 March 1706 to des Bosses . . . he explicitly stresses that in moving his attention to the actual infinite, he is shifting from the ideal to the real order. (Antognazza [1], 2015, p. 9) To avoid confusion between continuous extension, which is an ideal entity, and the actual structure of physical matter, Leibniz 16 Levey similarly emphasizes the difference between the actual subdivisions of the real world and the potential ones of the ideal mathematical world: [To Leibniz,] a body is separable into various parts because it actually has contiguous parts that cohere together but which could be brought not to cohere and be separated from one another. . . . Potentiality, in the sense of potential divisions or potential parts, is a concept that belongs to the 'ideal' realm of mathematics and geometry but has no application to the world of matter. (Levey [63], 1998, p. 53, note 6; emphasis in the original) Views similar to that of Antognazza were expressed by Bosinelli [16, p. 168] and Breger [17, p. 124], as acknowledged by Arthur in [5, p. 156]. But especially, they were expressed by Leibniz himself, who specifically warned his readers against the misunderstandings arising from the conflation of the two realms: It is the confusion of the ideal with the actual which has muddled everything and caused the labyrinth of the composition of the continuum. ( Just as the Leibnizian Passage I in Section 2.1, Passage II in Section 2.2 draws a line between the fictional entities (mentis fictiones) of the infinitesimal calculus -well-founded fictions, or useful fictions, as Leibniz also calls them -and the entities of rerum natura. The conflation of the two realms is behind some of the purported evidence in favor of the so-called syncategorematic reading, analyzed in Section 3.

Syncategorematics vs keeping bodies and calculus separate
RA follow Ishiguro ([30], 1990, Chapter 5) in interpreting the Leibnizian term 'useful fiction' syncategorematically via a logical analysis of the quantifier clause 'smaller than every given'. This stance enables RA to claim that Leibnizian infinitesimals are 'in keeping with the Archimedean axiom' [71,Abstract] (in the previous installment by Arthur [4] the refrain was 'fully in accord with the Archimedean Axiom').
3.1. Small magnitudes vs Ishiguro's alternating quantifiers. In 1990, Ishiguro formulated the following hypothesis concerning Leibnizian infinitesimals: It seems then that throughout his working life as a mathematician Leibniz did not think of founding the calculus in terms of a special kind of small magnitude. [30, p. 86] (emphasis added) To explain in what sense Leibniz allegedly did not found the calculus on a special kind of small magnitude, she elaborates as follows: It seems that when we make reference to infinitesimals in a proposition, we are not designating a fixed magnitude incomparably smaller than our ordinary magnitudes. Leibniz is saying that whatever small magnitude an opponent may present, one can assert the existence of a smaller magnitude. In other words, we can paraphrase the proposition with a universal proposition with an embedded existential claim. (ibid., p. 87; emphasis on 'ordinary', 'universal', and 'existential' added) Accordingly, when Leibniz asserted that his inassignable dx, or alternatively ǫ, was smaller than every assignable quantity Q, he really meant that for each given Q > 0 there exists an 'ordinary' ǫ > 0 such that ǫ < Q.
Ishiguro interprets Leibniz's uses of the term 'infinite quantity' by a similar paraphrase involving embedded quantifiers. Such an approach has been described as a syncategorematic treatment of statements involving 'infinite' and its cognates. Ishiguro goes on to compare the theories of Leibniz and Russell and concludes: The similarity which we find in the two theories lies in the common intention Leibniz and Russell have of understanding a sentence which ostensibly designates a specific entity, as really, in its logical form, being a quantified sentence; i.e., a universal or an existential sentence. (ibid., p. 99; emphasis on 'logical' added) Taking her cue from Russell, Ishiguro reads Leibnizian 'useful fictions' as logical fictions. 18 In the same vein, Levey writes: [T]he fiction is intended by Leibniz to be 'logical' in character: infinite and infinitely small quantities can be written out of the mathematics altogether via a syncategorematic analysis in favour of expressions referring only to finite quantities and their relations. [64, p. 148] By a similar quantifier sleight-of-hand, RA declare Leibniz's uses of the term 'infinitesimal' to be "fully-in-accord/in-keeping with the Archimedean axiom" (see further in Section 3.3).

3.2.
Rabouin on syncategorematic entities. In 2013, Rabouin toys with "the idea that the entities being studied are relational or in Leibniz's parlance 'syncategorematic'" [67, p. 120] and adds: "This is the reason why Leibniz calls them fictitia (they are terms not referring to individual beings, but to some relational properties)" (ad loc., note 40).
On the other hand, in 2015, Rabouin seeks to distance himself from attributing hidden quantifiers to Leibniz, in the following terms: The core of the demonstration . . . is the arbitrariness of the choice of ε. But this arbitrariness does not amount, in modern terms, to a universal quantification (at least in classical first order logic), which would be meaningless to Leibniz. (Rabouin [68], 2015, p. 362) Yet in note 25 on the same page Rabouin appears to endorse Ishiguro's reading: "It is, in Leibniz' terminology, a 'syncategorematic' entity 19 see Ishiguro (1990) . . . " (ibid.). Rabouin goes on to claim the following: It should then be clear why infinitesimals were called by Leibniz 'fictions'. In and of itself, there is no such thing as a 'quantity smaller than any other quantity'. This would amount to the existence of a minimal quantity and one can show that a minimal quantity implies contradiction. (ibid.; emphasis added) What are we to make of Rabouin's claimed detection of contradiction? While it is true that there is no such thing as a nonzero quantity smaller than any other quantity, Leibniz requires his inassignable infinitesimals to be smaller, not than every quantity, but rather than every assignable quantity; for an illustration in terms of hornangles see Section 4.5. This accords with a glossary entry in (Rabouin's 2020 coauthor) Arthur's volume of translations. Here an infinitesimal is defined as a part smaller than any assignable (see INASSIGNABILIS), a definition to which Leibniz frequently has recourse. 20 (Arthur [2], 2001, p. 452) Thus a particular infinitesimal ǫ > 0 will satisfy so long as the denominator is assignable. Due to what appears to be a mathematical misunderstanding, Rabouin is led to a conclusion that a bona fide infinitesimal would be contradictory and hence 'fictional'. Once one realizes that the contradiction is not there to begin with, there is no compelling reason to interpret Leibnizian fictionalism as the counterpart of an allegedly contradictory nature of infinitesimals, as Rabouin does in 2015. A geometric illustration of (3.1) in terms of hornangles appears in Section 4.5.
3.3. Letter to Masson and RA's quantifiers. In Section 3.2, we examined Rabouin's 2015 attempt to declare Leibnizian infinitesimals contradictory. Five years later in 2020, one finds a related attempt to declare Leibnizian infinitesimals contradictory by Rabouin and Arthur (RA) in [71] (see also Section 4.2). Infinitesimals do contradict the Archimedean axiom, but if this is what RA mean by their contradictory claim, then their argument (in support of the contention that Leibnizian allegedly syncategorematic infinitesimals are 'in keeping with the Archimedean axiom') would be circular: the positing of the Archimedean axiom predetermines the conclusion that non-Archimedean infinitesimals are contradictory. 21 In search of evidence in support of an Ishiguroan interpretation, RA turn to the 1716 letter to Masson where Leibniz employs the quantifier clause 'la multitude des choses passe tout nombre fini'. Via the quantifier clause, RA seek to establish a connection between useful fictions and logical fictions, 'in keeping with the Archimedean axiom'.
However, in his 1716 letter Leibniz is not referring to mathematical entities, whether fictional or ideal, when he employs the quantifier clause above. Rather, he is referring to natural phenomena and the monads which underlie them (see Section 2). Neither natural phenomena nor the monads are useful fictions, unlike infinitesimals. The quantifier clause in the 1716 letter therefore does not refer to mathematical entities such as infinitesimals and infinite quantities. Rather, it merely reasserts Leibniz's opposition to infinite wholes as contradictory. RA claim the following similarity: Leibniz insisted that since every body is actually divided by motions within it into further bodies that are themselves similarly divided without bound, bodies 'are actually infinite, that is to say, more bodies can be found than there are unities in any given number whatever' (A VI 4, 1393; LLC 235). That is, their multiplicity 'surpasses every finite number'. 26 Similarly, when Pierre Varignon asked Leibniz for clarification of his views on the infinitely small in 1702, Leibniz replied (February 2, 1702) that it had not been his intention 'to assert that there are in nature infinitely small lines in all rigour, or compared with ours, nor that there are lines infinitely greater than ours'. ( [71, p. 412]; emphasis on 'Similarly' added) Here RA's footnote 26 contains the following text: "26 Cf. what Leibniz wrote to Samuel Masson in the last year of his life: 'Notwithstanding my Infinitesimal Calculus, I do not at all admit a genuine infinite number, although I confess that the multiplicity of things surpasses every finite number, or rather, every number.' (GP VI 629)" We can agree with RA's comments on Leibniz's understanding of actual subdivision of bodies. However, RA also claim a similarity in reference to the following Leibnizian texts: (1) his Actu infinitae sunt creaturae (1678-81); (2) letter to Varignon (1702); (3) letter to Masson (1716).
The alleged similarity is apparently based on Leibniz's calling into question certain notions of infinity in these texts. We analyze their claim in Section 3.4.

Comparison of letters to Varignon and Masson.
In connection with the comparison of the letters, we note the following three points.
1. Notwithstanding the fact that Leibniz briefly mentions the infinitesimal calculus in the 1716 passage, the substance of the sentence is not concerned with infinitesimal calculus, but rather is a reflection on the philosophy of nature that Leibniz deliberately contrasted with the calculus. What is put into question in the 1716 letter is the concept of an infinite taken as a whole (deemed contradictory by Leibniz), in the context of a metaphysical analysis of body and substance.
Meanwhile, the 1702 comment addressed to Varignon deals, not with metaphysics, but with mathematical fictions (the relevant passage from the letter to Varignon appears in Section 5.2 at note 53). Notice that, unlike the 1716 passage, the 1702 passage does not even mention 'number', but speaks rather of geometric objects, such as infinitely large lines (i.e, line segments), which are instances of Leibnizian bounded infinity contrasted with unbounded infinite wholes (see Sections 4.3 and 4.4). The 1702 passage reasserts the Leibnizian position that infinitesimal lines need not idealize anything in nature to be useful, and in this sense can be taken to be fictional; see Section 4. Therefore RA's claimed similarity has no basis.

2.
A similar conflation affects RA's use of the Leibnizian phrase "So bodies are actually infinite, i.e., more bodies can be found than there are unities in any given number" (Leibniz as translated by Arthur in [2, p. 235]) part of which is quoted in the passage from RA appearing in Section 3.3. The phrase concerns bodies (in rerum natura) and not infinitesimals. The distinction was emphasized by both Antognazza and Levey (see Section 2.2).
3. Referring to possible connections between mathematics and philosophy in Leibniz and the interpretation that puts differential calculus at the core of Leibniz 4. Well-founded fictions: the mathematics Leibniz described the infinitesimals of his calculus as well-founded because they perform successfully within the system of rules he developed for the calculus. Similarly, imaginaries are well-founded because mathematical experience shows that they are useful in the solution of the cubic equation and other problems.
Leibniz's choice of the term multitude in Passage I (Section 2.1) is significant. Here Leibniz reinforces his rejection of a punctiform conception of extension by reminding the reader that he rejects a real infinite number, meaning that he rejects an infinite multitude taken as a whole (implied by the punctiform view of the continuum) as contradictory.
4.1. Part-whole principle. Leibniz held that infinite wholes would contradict the part-whole principle. Already in 1672 Leibniz wrote: [T]here are as many squares as numbers, that is to say, there are as many square numbers as there are numbers in the universe. Which is impossible. Hence it follows either that in the infinite the whole is not greater than the part, which is the opinion of Galileo and Gregory of St. Vincent, and which I cannot accept; or that infinity itself is nothing, i.e. that it is not one and not a whole. Or perhaps we should say, distinguishing among infinities, that the most infinite, i.e. all the numbers is something that implies a contradiction, . . . (Leibniz as translated by Arthur in [2, p. 9]; emphasis added) Thus already in 1672, Leibniz held that the infinity of all numbersthat we may today refer to as an infinite cardinality 22 -contradicts the part-whole principle. 23 To explain Leibniz' rejection of infinite wholes in modern terms, one could perhaps surmise that Leibniz would have 22 As noted correctly by Ishiguro, "Leibniz did not think that there should be what we call the cardinality of the set of all things" [30, p. 80]. 23 Commentators who wish to lump infinite wholes with infinitesimals encounter an immediate difficulty: if their fates were bound together in Leibniz's mind, why rejected as incoherent the modern notion of infinite cardinality or cardinal number (a point painstakingly argued in [6]).
While Leibniz himself of course does not distinguish between infinite number and infinite cardinality, he does mention a related distinction between infinite magnitude and infinite multitude in a letter to des Bosses [53, p. 31]. The correspondence between Leibniz and Bernoulli indicates that Leibniz was clearly aware of the difference between infinite multitude and infinite number. 24 The distinction is important because Leibniz's rejection of an infinite multitude, or collection, does not entail a rejection of infinite magnitude, or quantity, or number, provided they are not considered as a whole. What leads to contradiction is not infinity in itself but an infinity taken as a whole. Regrettably, the notions of infinite whole and infinite quantity have been conflated in recent literature. In particular, such a conflation is at the root of the Ishiguro-syncategorematic interpretation of infinitesimals, analyzed in Section 3.

Infinite wholes and infinite numbers. Both Arthur ([7], 2019)
and Rabouin and Arthur ([71], 2020) seek to connect the Leibnizian rejection of infinite wholes and his description of infinitesimals as fictional, and to document Leibnizian rejection of infinite number. Thereby they seek to assimilate infinitesimals to infinite wholes. 25 RA claim the following: did he reject infinite wholes as contradictory already in 1672 but waited until 1676 (see note 35 for Arthur's tight timeframe) to rule on infinitesimals? 24 Thus, in a rebuttal of Bernoulli's argument for the existence of infinitesimals based on an analysis of a geometric series, Leibniz points out: "I will concede the existence of the infinite multitude, but this multitude is neither a number nor a coherent whole. It means nothing more than that there are more parts, which could be referred to by any number at all, just as there is a multitude . . . of all numbers; this multitude, however, is itself neither a number nor a coherent whole" (Leibniz as translated by Sierksma in [74], 1999, p. 447). 25 Leibniz rejected both minima and maxima for continua in the following terms: "Scholium. We therefore hold that two things are excluded from the realm of intelligibles: minimum, and maximum; the indivisible, or what is entirely one, and everything; what lacks parts, and what cannot be part of another" (Leibniz as translated by Arthur in [2, p. 13]). The rejection of maxima is the rejection of infinite wholes (e.g., unbounded lines). The rejection of their counterparts, minima, is the rejection of putative simplest constituents of the continuum, i.e., the rejection of a punctiform continuum (see Section 2.1). To Leibniz, points play only the role of endpoints of line segments. Thus the rejected counterparts of the contradictory infinite wholes are, not infinitesimals as per RA, but rather points viewed as the simplest constituents of a continuum.
Leibniz never changed his mind and always claimed that such entities do not exist because they imply a contradiction. One can nonetheless use infinities and infinitely small quantities in a calculation provided one can furnish a way of doing correct demonstrations with them; that is, as long as one can identify conditions under which their use will not lead to error. ( [71, p. 413]; emphasis on 'such entities' and 'conditions' added) While no such conditions are ever identified by RA, in their Conclusion they speak of using infinitesimals 'under certain specified conditions' [71, p. 441], again unspecified. 26 The key issue, however, is what is meant exactly by "such entities" mentioned by RA. While Leibniz rejected as contradictory an infinite multitude taken as a whole (see Section 2), RA provide no evidence that Leibniz viewed infinitesimal and infinite quantities as contradictory (and not merely as well-founded fictions). 27 A similar conflation appears in Rabouin solo, who claims that [Leibniz] regularly stumbled upon the fact that an 'infinite number' or multitude was a notion entailing a contradiction. Infinitely small numbers, of the kind introduced by Wallis in his Arithmetics of the infinites (Arithmetica infinitorum) as inverse of infinite number, naturally inherited this qualification. (Rabouin [70], 2021) The contradictory nature of infinite wholes is 'inherited' not by infinitesimals but by minima, i.e., points viewed as the simplest constituents of the continuum. 28 Arthur similarly conflates infinite collections and infinite number when he claims the following: [Leibniz] held that there are actually infinitely many substances, actually infinitely many parts of matter, and actually infinitely many terms in an infinite series: 29 that is, there are so many that, however many are assigned, there are more, but there is 26 See also note 52 on well-foundedness and contradictions. 27 RA conflate multitudes and quantities when they claim that " [Leibniz] held that the part-whole axiom is constitutive of quantity, so that the concept of an infinite quantity, such as an infinite number or an infinite whole, involves a contradiction" [71, p. 406]. The part-whole axiom is constitutive of multitude but not of quantity. As we mentioned in note 24, Leibniz clearly understood the difference between infinite multitude and infinite quantity. 28 RA's confusion of minima and infinitesimals was already noted in note 25. 29 Arthur has never given any evidence for his claim that Leibniz viewed the terms of an infinite series as an actual infinity (even distributively). Antognazza notes that Leibniz "is offering a mathematical analogy, as opposed to maintaining no infinite collection of them, and therefore no infinite number. (Arthur [7], 2019, p. 152; emphasis added) Arthur's final 'therefore' is a non-sequitur if the expression 'infinite number' is meant to include infinite quantity (in addition to infinite wholes).
The related issue of nominal definitions is discussed in Section 5.3.

4.3.
Bounded and unbounded infinity. A Leibnizian distinction of long standing -at least since his De Quadratura Arithmetica (DQA), Propositio XI and the Scholium following it -is between bounded infinity and unbounded infinity; see e.g., Knobloch [33, p. 42], [34, pp. 266-267]. In this text of fundamental importance for the foundations of the calculus, Leibniz contrasts bounded infinity and unbounded infinity in the following terms: But as far as the activity of the mind 30 with which we measure infinite areas is concerned, it contains nothing unusual because it is based on a certain fiction and proceeds effortlessly on the assumption of a certain, though bounded, but infinite line; therefore it has no greater difficulty than if we were to measure an area that is finite in length. . . . Just as points, even of infinite numbers, are unsuccessfully added to and subtracted from a bounded line, so a bounded line can neither form nor exhaust an unbounded one, however many times it has been repeated. This is different with a bounded but infinite line thought to be created by some multitude of finite lines, although this multitude exceeds any number. And just as a bounded infinite line is made up of finite ones, so a finite line is made up of infinitely small ones, yet divisible. (Leibniz, DQA [59], Scholium following Propositio XI; translation ours; emphasis added) It is worth noting that bounded/unbounded infinity is not the same distinction as potential/actual infinity. While actual infinity (understood distributively) is possible in the material realm (see Section 2.3), unbounded infinity (understood collectively, i.e., as a whole) is a contradictory concept to Leibniz. Bounded infinity is a term Leibniz reserves mainly to discuss the well-founded fictions used in his infinitesimal calculus, namely the infinitely large and (its reciprocal) infinitely small. In one of his early articles, Knobloch observes: that the actual infinite (even if thought of syncategorematically) applies to mathematical, abstract entities, and to the ideal, mathematical continuum" [1, p. 9]. See Section 2.3 for further details. 30 For Leibniz on minds, see Section 5.1 and main text at note 38.
[Leibniz] distinguished between two infinites, the bounded infinite straight line, the recta infinita terminata, and the unbounded infinite straight line, the recta infinita interminata. He investigated this distinction in several studies from the year 1676. Only the first kind of straight lines can be used in mathematics, as he underlined in his proof of theorem 11 [i.e., Propositio XI]. He assumed a fictive boundary point on a straight halfline which is infinitely distant from the beginning: a bounded infinite straight line is a fictitious quantity. (Knobloch [35], 1999, p. 97) An unbounded infinity, which Leibniz viewed as a contradictory concept, can be exemplified by the multitude of natural numbers (which seen as a whole would contradict the part-whole principle; see Section 4.1). A bounded infinity can be exemplified by an inassignable (see below) natural number, say µ, or the multitude of all natural numbers up to µ (and thus bounded by µ).
Leibniz defines an infinitesimal as a "fraction infiniment petite, ou dont le denominateur soit un nombre infini" [ 31 For Leibniz on minds, see Section 5.1 and the main text at note 38. 32 "Although we may be content with the assignable quantities (d)y, (d)v, (d)z, and (d)x, since in this way we can perceive the whole fruit of our calculus, namely a construction using assignable quantities, still it is clear from this that we may, at least by feigning, substitute for them the unassignables dx, dy by way of fiction even in the case where they vanish, since dy : dx can always be reduced to (d)y : (d)x, a ratio between assignable or undoubtedly real quantities" (Leibniz as translated by RA in [71, p. 439]). 33 The dichotomy is also mentioned in Arthur's glossary of Leibnizian terms; see main text at note 20.

Instances of infinita terminata. In a february 1676 text, Leibniz provided a colorful example of a bounded infinity as follows:
This is a wonder, too: that someone who has lived for infinitely many years can have begun to live, and that someone who lives for a number of years that is greater than any finite number can at some time die. From which it will follow that there is an infinite number. 34  The dating of Numeri infiniti is significant since Arthur commits himself to a tight timeframe for an alleged switch in Leibniz's thinking about infinitesimals. 35 RA mention the term terminata (bounded) three times in their article [71] and specifically in the context of Propositio XI and its Scholium in DQA, but do not pay sufficient attention to the dichotomy of bounded versus unbounded infinity and fail to appreciate its significance.
Thus, in an analysis of Propositio XI involving the evaluation of a (finite) area of a region extending to infinity, Leibniz introduces a point (µ) at infinitely small distance from the axis. In this case, indeed, the straight line (µ)λ will still be infinite. (Leibniz as translated by RA in [71, p. 421]). RA go on to explain this infinity "in the sense that it can be made greater than any given quantity (major qualibet assignabili), yet will be bounded (terminata)" (ibid.; emphasis added). However, there is 34 Later Leibniz will use this example to illustrate the impossibility of infinita terminata in nature. 35 Thus, Arthur writes: "For some time, Leibniz appears to have hesitated over this interpretation, and as late as February 1676 he was still deliberating about whether the success of the hypothesis of infinities and the infinitely small in geometry spoke to their existence in physical reality too. But by April [1676], the syncategorematic interpretation is firmly in place" [4, p. 559]. Here Arthur appears to acknowledge that Leibniz's hesitation and deliberation concern "their existence [or otherwise] in physical reality"; the ease with which Arthur skips from denial of material existence to syncategorematics is surprising. Arthur's dating clashes with Knobloch's scenario placing the switch years earlier.
no source in Leibniz for the clause "it can be made greater than any given quantity". Rather, Leibniz wrote "it is greater than any given quantity"; RA added the clause "can be made greater, etc." to help Leibniz conform to the Ishiguro-syncategorematic interpretation (see Section 3). RA's addition distorts Leibniz' intended meaning.
Leibniz concludes the discussion of bounded infinities in the Scholium following Propositio XI with the following comment: Déterminer si la nature [natura rerum] souffre des quantités de ce genre est l'affaire du Métaphysicien; il suffit au Géomètre de démontrer ce qui résulte de leur supposition. 36  Here Leibniz observes that, though bounded infinities may not be found in rerum natura, their usefulness to the geometer is independent of the metaphysician's task of elucidating their relation to natural phenomena. 37 To be useful, they needn't be found in nature: . . . Therefore everything else will also exist in the mind: and in it everything that I denied to be possible will now be possible. 38

(Leibniz, Numeri infiniti, as translated by Arthur in [2, p. 91])
The reference is to a discussion on the previous page of a circle as a fictional polygon with an infinite number of sides: 36 In the original Latin: "An autem hujusmodi quantitates ferat natura rerum Metaphysici est disquirere; Geometra sufficit, quid ex ipsis positis sequatur, demonstrare" [59, p. 98]. English translation: "Determining whether nature warrants quantities of this type is the business of the Metaphysician; for the Geometer it shall suffice to demonstrate what follows from their supposition." 37 Arthur comments as follows on rerum natura in connection with Numeri infiniti: "In 'Infinite Numbers' of April 10th any entity such as a line smaller than any assignable, or the angle between two such lines, is firmly characterized as 'fictitious' (A VI, III, 498-99; LLC, 89). There are no such things in rerum natura, even though they express 'real truths'" (Arthur [3], 2009, p. 28). Arthur goes on to quote Leibniz as follows: "these fictitious entities are excellent abbreviations of propositions, and are for this reason extremely useful" (ibid.). Leibniz's comment about infinitesimals being "excellent abbreviations" is readily appreciated by anyone with experience in teaching or research in infinitesimal analysis. Yet Arthur fails to consider the possibility that the absence of infinitesimals in rerum natura may not imply that they are placemarks for quantifier-equipped propositions. It takes some leap of Weierstrassian faith to see Leibniz's comment on abbreviations as evidence for an Ishiguroan alternating quantifier reading of infinitesimals as logical fictions (see Section 3). Leibnizian analogies between infinitesimals and imaginaries similarly undercut Ishiguro's reading; see note 48. 38 In the original Latin: "Erunt ergo in mente et caetera omnia: et in ea omnia jam fient, fieri quae posse negabam" [39, p. 499].
The circle-as a polygon greater than any assignable, as if that were possible-is a fictive entity, and so are other things of that kind. (Leibniz as translated by Arthur in [2, p 89]) 4.5. Hornangles and inassignables. Leibnizian hornangles exhibit non-Archimedean behavior (when compared to ordinary angles) not easily paraphrasable in Archimedean terms, and shed light on Leibniz's attitude toward infinitesimals in general. We provide a geometric illustration of the phenomenon of magnitudes smaller than all assignables (see equation (3.1) in Section 3.2), in terms of the hornangle (also known as angle of contact or angle of contingence), much discussed in 13th-17th century literature. Thus, Campanus of Novara (1220-1296) wrote that "any rectilinear angle is greater than an infinite number of angles of contingence" [66, pp. 580-581].
The hornangle is the "angle," or crevice, between an arc of a circle (or a more general curve) at a point P , and its tangent ray r at P . According to Leibniz, such a hornangle is smaller than every ordinary rectilinear angle formed by the ray r and a secant ray at P . 39 Meanwhile, the hornangle is certainly not smaller than all other hornangles (including itself).
In a 1686 article, Leibniz considered a more general notion of hornangle, or angle of contact, between a pair of curves with a common tangent at P . 40 Leibniz defined the osculating circle of a curve at P as the circle forming the least angle of contact with the curve: Circulus autem ille lineam propositam ejusdem plani in puncto proposito osculari a me dicitur, qui minimum cum ea facit angulum contactus. (Leibniz [42], 1686) Choosing the least one among the angles of contact, as Leibniz does here, presupposes that such "angles" are nonzero. A few lines later, Leibniz renames such entities "angle of osculation" to distinguish them from angles of contact in the classical sense (crevice between curve and tangent ray).
Leibniz explicitly compares angles of contact to inassignables in the 1671 text Theoria motus abstracti (TMA). In this early text, Leibniz still composes the continuum of indivisible infinitesimals which he refers to as "points." Speaking of the space filled by an infinitesimal motion of a body, Leibniz writes: 39 In the sense that a sufficiently short subarc at P will lie inside the rectilinear angle. See Thomason ([75], 1982) for a detailed discussion of the non-Archimedean nature of hornangles when compared to rectilinear angles. 40 From the viewpoint of modern geometry the angle between a pair of tangent curves is zero by definition, but Leibniz envisioned a more general notion of angle. 1. Choosing the smallest one of the angles of contact as Leibniz does in 1686 presupposes that they are nonzero.

In a 1696 letter, Leibniz makes it clear that angles of contact are nonzero:
Our infinitesimal calculus allows us to see that one can only ignore differentias incomparabiliter minores rebus differentiatis (the differences which are incomparably smaller than the differentiated things). So, it does not follow that there is no considerable difference between the degrees of force in the object from each blow by gravitating matter. Otherwise, this would be as if one wanted to prove that angles of contact do not differ amongst themselves because they do not compare with rectilinear angles. (Leibniz to Papin, March 1696, A III, 6, 698). Here Leibniz uses the term incomparable in the technical sense (akin to inassignable) used in his formulation of the violation of the Archimedean property in a 1695 letter to L'Hôpital. 42 Of course, they can still be compared to rectilinear angles. 43

3.
A careful analysis of the two passages in ( [42], 1686) where Leibniz asserts that they are "nothing" reveal that his intention is to say that they are negligible vis-à-vis incomparably larger quantities: first, angles of contact are negligible vis-à-vis rectilinear angles, and second, angles of osculation are negligible vis-à-vis angles of contact.
We note the unavailability of the option of representing a hornangle by rectilinear angles -either arranged in a sequence or assorted with logical quantifiers. The non-Archimedean behavior of Leibnizian hornangles is not easily paraphrasable in Archimedean terms, suggesting similar behavior of Leibnizian inassignable infinitesimals. A similar 41 The term occurring in the original, point, seems to be a misprint. 42 See the quotation in note 64. 43 As explained in note 39. situation exists with respect to comparison of infinitesimals and imaginary roots. 44 Infinitesimals, hornangles, and imaginaries are well-founded fictions that facilitate the art of discovery. Leibnizian well-founded fictions are at most accidentally impossible (they are not contradictory; see Section 5.3). Meanwhile, there are entities that Leibniz sometimes refers to as fictions, such as infinite wholes, which are absolutely impossible (contradictory). 45 This crucial distinction is not sufficiently taken into account by advocates of the Ishiguro-syncategorematic interpretation. Hence the nisus is obviously twofold, an elementary or infinitely small one which I also call a solicitation and one formed by the continuation or repetition of these elementary impulsions, that is, the impetus itself. But I do not mean that these mathematical entities are really found in nature as such but merely that they are means of making accurate calculations of an abstract mental kind. (Leibniz [47] as translated by Loemker in [57, p. 438]; emphasis on solicitation in the original; emphasis on really found in nature and abstract mental kind added) Over a decade later, des Bosses questioned Leibniz concerning the above passage from Specimen Dynamicum. Leibniz responded as follows concerning the fictionality of infinitesimals: For I consider both [infinitely small and infinitely large magnitudes] as fictions of the mind, due to abbreviated ways of speaking, which are suitable for calculation, in the way that imaginary roots in algebra are. 46 (Leibniz as translated by Look and Rutherford in [53, p. 33]; emphasis added) 44 See notes 37, 48, and 54. 45 Thus, analyzing the area under the hyperbola, Leibniz concludes: "By this argument it is concluded that the infinite is not a whole, but only a fiction, since otherwise the part would be equal to the whole" (A VII 3, 468; october 1674). Arthur [4, p. 557] and Rabouin-Arthur [71, p. 405] quote this passage but fail to account for the fact that Leibniz never refers to such entities as well-founded fictions. For more details see [31]. 46 In the original Latin: "Utrasque enim per modum loquendi compendiosum pro mentis fictionibus habeo, ad calculum aptis, quales etiam sunt radices imaginariae in Algebra" [53, p. 32].
Arthur quotes this passage in ( [5], 2018, p. 176) and concludes: "This is the syncategorematic infinitesimal described above" (ibid.). 47 Is it indeed? First, in this passage Leibniz refers to both infinitesimals and imaginary roots as compendia (abbreviations), undermining an Ishiguro-syncategorematic reading (see Section 3) since it is unavailable for imaginary roots. 48 Furthermore, des Bosses, in formulating his question on 2 march 1706, specifically raised the possibility of the syncategorematic infinite: I would have conjectured that the infinite that you add can be confined to the syncategorematic; . . . (des Bosses as translated by Look and Rutherford in [61, p. 27]) In his answer nine days later, on 11 march 1706, Leibniz says not a word about the syncategorematic infinite, and rather speaks of fictions of the mind as quoted above.
Levey reproduces a longer passage from the 11 march 1706 letter containing the one we quoted, and claims that it supports the syncategorematic reading ( [64], 2021, p. 146). However, such a claim overlooks the fact that Leibniz specifically ignored des Bosses' question about the syncategorematic infinite, as noted above. Levey concludes his Section 2.1 on infinitesimals as follows: They can be replaced by proofs given in Leibniz's updated style of Archimedes if full rigor is wanted, and the mathematics in which they figure is not committed to the existence of 'actual' infinitesimals in nature for its justification. (op. cit., p. 148; emphasis added) As Levey appears to acknowledge in his concluding sentence, it is in nature that there may be no infinitesimals; Leibniz viewed them as mentis fictiones. Levey's stated conclusion is mainly in accord Schubring quotes this sentence and claims that "Leibniz stressed that for himself the infinitely small quantities were not really existing mathematical quantities, but only fictions that had their uses in the course of calculus" ([72, p. 171]; emphasis in the original). It is correct that Leibniz referred to infinitesimals as fictions, but Schubring's claim that to Leibniz they "were not really existing mathematical quantities" is unsupported and at best ambiguous. For a detailed critique of Schubring's book see [14]. 47 Similar claims concerning this Leibnizian passage appeared five years earlier in Arthur ([4], 2013, p. 555). 48 Since Leibniz describes both as abbreviations, the absence of any plausible alternating quantifier account of imaginary roots in terms of more ordinary quantities suggests that it was not Leibniz's intention in the case of infinitesimals, either. A similar comparison occurs in a 2 february 1702 letter to Varignon; see main text at note 54. with our reading of Leibnizian infinitesimals. Meanwhile, the Ishigurosyncategorematic hypothesis pursued elsewhere in Levey's Section 2.1 remains unsupported.  (Leibniz [51], 1702, p. 110; emphasis added) In this case Leibniz adds a qualification: infinitesimals are well-founded fictions ('fictions bien fondées'). It is difficult to see how fictions that are, according to Leibniz, well-founded could also be, as per RA, contradictory. 52 On the contrary, for Leibniz consistency is a requirement for a well-founded fiction and thus for mathematical existence. In this 49 Translation: "Infinities and the infinitely small could be taken for fictions, similar to imaginary roots, without it causing harm to our calculus, these fictions being useful and founded in reality." 50 Inexplicably, Schubring's rendition attaches the opposite meaning to the passage: "Infinities and infinitely small quantities could be taken as fictions, similar to imaginary roots, except that it would make our calculations wrong, these fictions being useful and based in reality" (Leibniz as rendered by Schubring in [72, p. 171]; emphasis added). Only Schubring's rendition makes the calculations wrong. 51 Translation: "Between us, I believe that Mr. Fontenelle . . . was joking when he said that he wished to develop metaphysical elements of our calculus. To tell the truth, I am not myself persuaded that it is necessary to consider our infinities and the infinitely small as something other than ideal things or well-founded fictions." 52 RA attempt to sidestep the difficulty by claiming that contradictory infinitesimals can be used "under certain conditions" but don't specify the latter; see main text at note 26. In his letter to des Bosses dated 11 march 1706, Leibniz describes the rainbow as a well-founded phenomenon [53, p. 35]. Since Leibniz describes infinitesimals using the same expression "well-founded," the question arises whether respect Leibniz is closer than many mathematicians of subsequent generations to Hilbert's formalism (where existence depends on consistency alone). By ascribing to Leibniz the use of contradictory concepts, RA rule out an interpretation whereby Leibniz, like Hilbert, views conception of mathematical existence as consistency; see [32]  [F]or the calculus it is useful to imagine 56 infinitely small quantities, or, as Nicolaus Mercator called them, infinitesimals, such that when at least the assignable ratio between them is sought, they precisely may not be taken to be nothings. (Leibniz as translated by Beeley in [12, note 38]; emphasis added) In the same letter, Leibniz makes a revealing comment concerning the status of inassignables: Whether inassignable quantities are real or fictions, I will not argue for now; it is enough that they serve as a help for thinking, and that they always carry a proof with them, with only the style changed; and so I have noted, that if anyone should RA would be prepared to claim that to Leibniz, rainbows similarly were contradictory notions that can be used under certain unspecified conditions. Occasionally, Leibniz refers to infinite wholes as "fictions," as in a 1674 text, but he never refers to them as well-founded fictions; see note 45. 53 RA's interpretation of the letter is analyzed in Section 3.4. 54 "Notions ideales qui abregent le raisonnement" is Leibniz's French equivalent of the Latin compendia; see note 48. In this passage also, infinitesimals and imaginaries are both described as abbreviations that facilitate reasoning. 55 Loemker's translation: "It follows from this that even if someone refuses to admit infinite and infinitesimal lines in a rigorous metaphysical sense and as real things, he can still use them with confidence as ideal concepts which shorten his reasoning, similar to what we call imaginary roots in the ordinary algebra, for example, possible does not mean that it is (2) absolutely impossible or contradictory.
Leibniz introduces a related distinction on several occasions. Thus, in the Confessio Philosophi (Leibniz [38], 1672/3, p. 128), he refers to (1) as "impossible by accident" and contrasts it with (2) "absolute impossibility" i.e., contradiction. He gives the examples of a species with an odd number of feet, and an immortal mindless creature, which are, according to him, harmoniae rerum adversa i.e., "contrary to the harmony of things" (trans. Sleigh in [60, p. 57]), but not contradictory.
In his 1683 text Elementa nova matheseos universalis, Leibniz explains that some mathematical operations cannot be performed in actuality, but nonetheless one can exhibit "a construction in our characters" (in nostris characteribus [41, p. 520]) -meaning that one can carry out a formal calculation, such as those with imaginary roots, regardless of whether the mathematical notions involved idealize anything in nature. Leibniz goes on to discuss in detail the cases of imaginary roots and infinitesimals. For convenience of reference, we labeled four passages [A] And some extractions of roots are such that roots are surd and they do not exist in natura rerum, and we call them imaginary, and the problem is impossible, as when our analysis shows that the requested point must be exhibited by the intersection of a specific circle and a specific straight line, in which case it may happen that this circle by no means reaches this line, and then the intersection is imaginary . . .
[B] There is a big difference between imaginary quantities, or those impossible by accident, and absolutely impossible ones, which involve a contradiction: e.g., when it is found that solving a problem requires that 3 be equal to 4, which is absurd.
[C] But imaginary quantities, or [quantities] impossible by accident, namely quantities that cannot be exhibited for lack of a sufficient condition, which is required for having an intersection, can be compared with infinite and infinitely small quantities, which are generated in the same way. . . .
[D] And it is true that calculus necessary leads to them, and people who are not sufficiently expert in such matters get entangled and think they have reached an absurdity [absurdum]. Experts know instead that this apparent impossibility [apparentem illam impossibilitatem] only means that a parallel line is traced instead of a straight line making the required angle, and this parallelism is the required angle, or quasi-angle. 58 (Leibniz [41], 1683, pp. 520-521) 59 Passages [B] and [C] indicate that (natural instantiations of) infinitesimals are only impossible by accident, or only apparently impossible. Therefore there is no grounds for attributing absolute impossibility or contradiction to them, or for lumping them with infinite wholes, as per RA (see Section 3.3). Infinite wholes are absolutely impossible because they are contrary to the part-whole principle (see Section 4.1), which is a necessary truth. Thus, in a 1678 letter to Elisabeth [40], Leibniz described the concept of "the number of all possible units" 60 as impossible [58, p. 238]. In his Historia et Origo [24], he presents a derivation of the part-whole principle from the principle of identities and the definitions of whole and part: [T]hat mighty axiom, 'The whole is greater than its part', could be proved by a syllogism of which the major term was a definition and the minor term an identity. ( 58 "Et quaedam extractiones tales sunt, ut radices illae surdae nec in natura rerum extent, tunc dicuntur imaginariae, et problema est impossibile, ut cum analysis ostendit punctum quaesitum debere exhiberi per intersectionem certi circuli et certae rectae, ubi fieri potest ut ille circulus ad illam rectam nullo modo perveniat, et tunc intersectio erit imaginaria . . . Multum autem interest inter quantitates imaginarias, seu impossibiles per accidens, et impossibiles absolute quae involvunt contradictionem, ut cum invenitur ad problema solvendum opus esse, ut fit 3 aequ. 4 quod est absurdum. Imaginariae vero seu per accidens impossibiles, quae scilicet non possunt exhiberi ob defectum sufficientis constitutionis ad intersectionem necessariae, possunt comparari cum Quantitatibus infinitis et infinite parvis, quae eodem modo oriuntur. . . . quod adeo verum est ut saepe calculus ad eas necessario ducat, ubi harum rerum nondum satis periti mire torquentur et in absurdum se incidisse putant. Intelligentes vero sciunt apparentem illam impossibilitatem tantum significare, ut loco rectae angulum quaesitum facientis ducatur parallela; hunc parallelismum esse angulum illum seu quasi angulum quaesitum."   knowledge, Leibniz wrote merely that a nominal definition could harbor contradictions, not that it must do so: Et tandis qu'on n'a qu'une definition nominale, on ne se sçauroit asseurer des consequences qu'on en tire; car si elle cachoit quelque contradiction ou impossibilité, on en pourroit tirer des conclusions opposées. (Leibniz [43], 1686, pp. 1568-1569) With regard to both imaginaries and infinitesimals, Leibniz makes it clear in the 1683 passage cited above (paragraph [C]) that their natural instantiations are (at most) only conditionally or accidentally impossible, rather than contradictory. Esquisabel and Raffo Quintana examine the issue and reach the following conclusion: [U]nlike the infinite number or the number of all numbers, for Leibniz infinitary concepts do not imply any contradiction, although they may imply paradoxical consequences. [22, p. 641] 62 If "the principle of non-contradiction [is] the principle of the minimal condition of intelligibility" (Grosholz and Yakira [27], 1998, p. 44) then one can easily perceive why infinitesimals, unlike infinite wholes, are ubiquitous in Leibniz's mathematical oeuvre. 5.4. Infinitesimals, infinite wholes, and nominal definitions. To summarize, in a 1672/3 text Confessio Philosophi, Leibniz speaks of the distinction between accidental impossibility and absolute impossibility (equivalent to contradiction), and mentions two examples of accidental impossibility, specifying that they are contrary to the principle of the harmoniae rerum.
Furthermore, in a 1683 text Elementa nova matheseos universalis Leibniz mentions that imaginary roots do not exist in rerum natura, and contrasts imaginary quantities impossible by accident, on the one hand, and absolutely impossible entities involving a contradiction such as 3 = 4, on the other. Leibniz goes on to compare imaginary quantities (impossible by accident) to infinitely small quantities, and points out that people who are not sufficiently expert tend to confuse apparent impossibility with absurdity.
Finally, in a 1686 text Discours de Metaphysique Leibniz speaks of nominal definitions and warns that they might harbor contradictions 62 Esquisabel and Raffo Quintana clarify: "[W]e disagree with the reasons [Rabouin and Arthur] gave for the Leibnizian rejection of the existence of infinitesimals, and in our opinion the texts they refer to in order to support their interpretation are not convincing. Since we argue that Leibniz did not consider the concept of infinitesimal as self-contradictory, we try to provide an alternative conception of impossibility" [22, p. 620].
(but not that they must necessarily do so). Even if the definition of an infinitesimal as violating Euclid's Definition V.4 were nominal (as RA claim), it would follow at most that infinitesimals, possibly contrary to the principle of the harmoniae rerum, may not idealize anything in nature, a state of affairs that can be described as accidental impossibility. Meanwhile, infinite wholes are contrary to the part-whole principle (which Leibniz consistently takes to be a necessary truth), and therefore do involve an absurdity.

Conclusion
Bassler ([11], 1998), Arthur ([6], 2019) and , 2020) attempt to enlist Leibniz's 1716 letter to Masson in support of an Ishiguro-syncategorematic reading of the Leibnizian calculus, claiming that its procedures are in keeping with the Archimedean axiom. 63 Rabouin and Arthur assimilate Leibnizian infinitesimals to infinite wholes and surmise that Leibniz viewed infinitesimals as contradictory. Such a reading rules out an interpretation whereby Leibniz viewed mathematical existence as consistency, as did Hilbert.
Contextualizing the Leibnizian comments on the calculus in the 1716 letter suggests a different reading. The letter is consistent with Leibniz's position in 1695 [44], [45] that infinitesimals violate Euclid's Definition V.4 when compared to assignable quantities (hardly in keeping with the Archimedean axiom). 64 Like imaginary roots, infinitesimals are useful fictions that are at most accidental impossibilities that violate the principle of the harmony of things if they do not idealize anything in nature. Infinitesimals are therefore to be contrasted with infinite wholes, which are absolute impossibilities since they contradict the part-whole principle, a necessary truth in Leibnizian thought. Our conclusions are compatible with those of Esquisabel and Raffo Quintana, who similarly reject the contention by Rabouin and Arthur that Leibniz viewed infinitesimals as contradictory.
Leibniz wrote to Huygens as follows: [Nieuwentijt] me fait une objection sur un point qui m'est commun avec Messieurs Fermat, Barrow, Newton et tous les autres, 63 Meanwhile, Rabouin solo [69] expressed a more cautious position with regard to the 1716 letter; see Section 3.4, item 3. 64 Thus, Breger writes: "In a letter to L'Hôpital of 1695, Leibniz gives an explicit definition of incomparable magnitudes: two magnitudes are called incomparable if the one cannot exceed the other by means of multiplication with an arbitrary (finite) number, and he expressly points to Definition 5 of the fifth book of Euclid" [18, pp. 73-74].
qui ont raisonné sur les grandeurs infiniment petites. (Leibniz [46], 1695) Here Leibniz asserts the existence of a point in common between his reasoning with infinitesimals and that of his illustrious predecessors. To maintain the syncategorematic hypothesis, its proponents Arthur, Bassler, Levey, and Rabouin would face an unenviable alternative: either (1) claim that Leibniz was untruthful in his letter to Huygens, or (2) argue that, in Leibniz's view, the infinitesimals of Fermat, Barrow, and Newton were similarly syncategorematic.
The 1716 letter to Masson provides no basis for doubting that Leibniz based his calculus on a special kind of small magnitudes that he viewed as mentis fictiones.