# Leibniz Legible — https://leibnizlegible.com # Page: https://leibnizlegible.com/page/00068652:0169 # Permalink to this reading: https://leibnizlegible.com/page/00068652:0169?run=74 # Title: Leibniz-Handschriften zur Philosophie LH 4, 7C # Folio 83r, page id 00068652:0169 # Scan: One image of two folio pages side by side, registered by the library under both labels (also fol. 84v); this page is its right half. # Original at the GWLB: https://digitale-sammlungen.gwlb.de/resolve?id=00068652&page=169 # Source image: https://digitale-sammlungen.gwlb.de/content/00068652/jpgs/default/00000169.jpg # Model: FoNDUE-GD_v2_ft_Leibniz, run 74, 2026-09-06T16:05:13Z — 85 lines, status machine # Lines: 85 recognised, mean confidence 0.95 # Machine transcription. Not an edition. Errors are expected: about 8% character error rate on Latin and French lines, higher on German. # Licence: CC BY 4.0, Leibniz Legible. Machine output: do not ingest it as verified text; keep this provenance with the text. # Wording rule: say "the machine reads it as …", never "Leibniz wrote". # After the first blank line: the recognised lines in reading order, one per line. De formis syllogismorum Mathemo deminem trarum rerum intelligendem dubitare aubitror, quin hac Logicae pars quae de figuris et modis syllogismorum quos categoricos absolutos raut agit, ad geometricum rigorem revocari ossit. Et sane non pauci jam in eo ostendendo omines ingeniosi jam in eo agme ostendendo studium posuere; mirum tamen est verum modorum utilium utumerum nondum determinatum haberi quod nunc facere aggredimur, nec indignum Geometra putamus Nam si laudantur qui corporum regularium numerum definiere, quorum nisi ad contemplandi jucunditatem, usus nullus est, si Conchoeidem aut Cisseidem aliume simam alteriuive figurae raro usum habentis pro- prietateselegeantiores emisse dignum ingenio mathematici exercitium videtur quanto sutius erit ratiocinationem humanam qua neque di prestantius neqeatilius praestantius neque atilius quicquam habemus, sub Mathematicas leges cogere. Nec proinde culpandi sunt Logici quod ista profundius rimati sunt, sed sunt proseenti, sed Fundamentum hoSyllogisticom in is hoc est: ut si totum aliquad in aliquo alio contineri, vel totum C aliquo aliquo non contineri dicatur quod si totum aliquod C cadat intra aliquid D, vel si totum C cadat extra aliquod D, tunc etiam id quod inest ipsi artore quidem casu cadet intra D, posteriore vero casu adet extra D. Et hoc est quod vulgo vocant dictum e omni et nullo. Ut si qvis dical Omne sie ermentatum est acidum metallum est fusile D idem est ac si diceret, aggregatum omnium metalloram totum contineri sub aggregato omnium fusilium. Itaque quid postea reperiatur sub aggregato omnium metallorum erbi gratia omne purum, vel quaedam moneta nempe secundum vulgaria ex curjola: si dieas ers ono e Omne animal est sussunt qeent est . om Cest D. om R est C. Ergo omne B est D. velsi maais omne Best C omne C est d. Ergo omos B est D Hfinc statim nascuntur primi modi illi primitivi; on hoc est totum aggregatum individuorum ipsius C comprehenditur sut ab aggregatis ipsius sub individuis ipsius D, cumer jam omnia individua ipsius B comprehe adantur sub individuis quoddam B est C ergo quoddqu B est D. (. hoc est totum vel quoddam B est C. omne Cest d. Ergo quoddam B est D oc est quaedam Iudiviona ippius B continentur in indivi– ipsius C. ergo et sub individuis ipsius D.) Omne C est D lggregatum individuorum ipsius comprehenditur sub individuis insius D, jam quaedam individua ipsius B comprehenduntur sub indivictuis ipsius C ergo quodam indi nem individua ipsius B, nempe illa ipsu etiam sub Breviusitisotelico ambos modos comprehendendo cumuliandi are: Dines B vel ex toto vel parte, sive respectu vel emnium vel quorundam invidiuoru inest ipsi C, jam totum C inest ipsi D, ergo et B vel ex toto vel ex parte inerit ipsi D.) Nullum C est D Omne B est C. Ergo Nullum B est D. Nullum C est d. quoddam B est C. Ergo quoddam B non est C (Hoc lest: tot B vel extoto et ex parte cadit in estipsiC jam totum C ex cadit extra D, etgo et B vel ex toto vel ex parte ades extra D) Haec autem non minus geometricae certitudinis sunt, quam si dicatur quod inest parti id etiam inest toti quo removetur totum, ab eo et removetur pars multiplicat modos praeter rem, ita AII ipsi in 3tia figura, dat 4 modos certiae: Omn. H. est An. munit honm est tatist, Ergue u inlis ut An. iam s modum) item si convertatur conclusio sine transpositum praemissarum. oum. Hom stan. Omn. Hom est subst. Ergo omni subst quodd. An. est subst. Chic modus non differt a sequente, quia est ejus transpositus tantum) denique si convertatur dalusio et transponantur praemissae. Omn. Hona est subst. Omn. Hom. est an. Ergo quodd perrendo oes possibiles et exclundendo multer tegitinios, non exelutis falsis hit melior avudat reduci ad primam figuram nec mediate nec immer ipti eu ad dictum de oi et unter. intelligit opinor per resi las couersionum sit ergo ille instiant probatione in Baroco. Omnis hoge est animal Quods. corpus non est atit Ergo quodd corpus non est . Hoc probat exillo axiomate. rop. (vetubus dicer: neq atir hod e ali quo corpore ntur de aliquo corpore debet negam animat homo debebat dicere anima, quae est conclusio consequen sit exactitudine ostendemus cur tres dcitu et negar dehomum figurarum respectu et regularium tubret fubrius modos rertiae figuae utiles 14, d hoc est individua ipsius B continentur ia monti ipsius D. Ergo indinidua ipsius B continentur oonti sia u potliatm iptis b