# Leibniz Legible — https://leibnizlegible.com
# Page: https://leibnizlegible.com/page/867984570:0930
# Permalink to this reading: https://leibnizlegible.com/page/867984570:0930?run=74
# Title: [Quo Continentur Claudii Ptolemaei, Porphyrii, Manuelis Bryennii Harmonica: Archimedis Arenarius, & Dimensio Circuli; Cum Eutocii Commentario: Aristarchi Samii, de Magnitudinibus & Distantiis Solis & Lunae, Liber: Pappi Alexandrini, Libri Secundi Collectaneorum, hactenus desiderati, Fragmentum ; Graece & Latine Edita, cum Notis ; Accedunt Epistolae nonnullae, rem Mathematicam spectantes; Et Opuscula quaedam Miscellanea] Quo Continentur Claudii Ptolemæi, Porphyrii, Manuelis Bryennii Harmonica: Archimedis Arenarius, & Dimensio Circuli; Cum Eutocii Commentario: Aristarchi Samii, de Magnitudinibus & Distantiis Solis & Lunæ, Liber: Pappi Alexandrini, Libri Secundi Collectaneorum, hactenus desiderati, Fragmentum ; Græce & Latine Edita, cum Notis ; Accedunt Epistolæ nonnullæ, rem Mathematicam spectantes; Et Opuscula quædam Miscellanea (shelfmark Leibn. Marg. 100:3)
# Folio 172, page id 867984570:0930
# Original at the GWLB: https://digitale-sammlungen.gwlb.de/resolve?id=867984570&page=930
# Source image: https://digitale-sammlungen.gwlb.de/content/867984570/jpgs/default/00000930.jpg
# Model: FoNDUE-GD_v2_ft_Leibniz, run 74, 2026-09-06T16:05:13Z — 70 lines, status machine
# Lines: 70 recognised, mean confidence 0.91
# 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 Syllocism
Gypotheticis; 5c.
ba Jam ante boram, Sol ortus erat; FrSC
Bar. Si (leu omnt casis quo) Sot ortus est, dies est; Sec
DaT- dt CL. Sed
ri. Aliquo casi dot ortus est; FrBO
Aliquo casut aies est.
Bar- Si, _cc. Sed
ba Praesenti casu sol ortus est; FrBO
ra. Praesenti casit dies est.
Bar. Si _c. Sed
ba Tali casu sol ortus est; FrBO
ra. Tali casut dies est
Adeoque omnes Syllosismi, in prima forma conditionalium, Majore existente Oniver-
Fali AFfirmacira; lunc rel in Barbara, rel in Darii, prour minor est vel Onirertalis ret
Parcicularis.
Majore, inquam, existente Oniversali: OuipDe C, per Quando, Obi, Si, non incelligatur
Ouandocunque, Obicunque, Omni casit quo; Iyllosilmus non erit conclulirus; utpote, ex
Majore particulari in prima tigura.
Ouodque de Barbara et Darii dictum est, quum consequens est Affirmatira, (dies est;
Idem de Celarent de Ferio incellisendum erit, quum consequens elt Negativa: F puta, li, Pro
Dies est, dicatur Non est nox.
FC. Quandocunque sol splendet, non est nox;
ri. Quandoque sol splendet; FrgO
O. Quandoque non est nox.
Ce. Duandocunque, Ec. Sed
Ja Nunc sol splendet; FrGO
renE. Nunc non est nox.
Acque similirer in Localibus ee Conditionalibus, prioris Formae.
Sed  (si id maris) hos etiam ad Barbara e Darii reteras; sic eos retolvendo;
Bar. Tempus quo sol splendet, est tempus quo non est nox; Sed
ba- IIOC est tempus quo sol splendet; Ergo
ra. Jhoc est tempus quo non est nox
Da. Tempus quo sol splendet, _c. Sec
ri. Aiquod tempus est quo sol splendet; FrSO
i. Aliquod tempus est quo non est nox.
Oui a praecedentibus non alicer difterunt quam ut Laxis est non animat, et Lapis non est
animat: Forma disferentes, sed eodem sensu.
Jam, Prour Conditionales in prima forma, non aliud sune quam Syllogismi in prima
Fixura (cryprice detormati:) ita qui sunt in secunda F’orma conditionales, sune syllogismi
Cam. Zuandocunqa Sol ortus est, dies est; Sed
eF Nunquam est (aut nunc non est) dies: FrgO
tres. Nunquam est (aut nunc non est) Sol orns.
Ba. Duandocunque, c. Sed
ro. Quandoque non est dies; FrgO
cF. Nusquam est, (rel hic non est) dies: Frgo
Bar. Ouandocunque, ecc. Scd
ra. Jam ante Boram, dies erat.
Item in condicionalibus;
ie
Ve
ba. Omni casi, Sol ortus est; FrsO
ra. Omni casu, dies est.
pariter detormati) in sccunda Pigura.
In LemporalibuS, LiC
Co. Duandique Sol non est ortus.
In Localibus pariter,
Cam. Sbicunque Sol ortus est, dies est; Sed
cres. Nusquam est (vel hic non est) Sot ortus.
Da Obrcunque _C. Sed
2O. Lalicubr non est aes; Frgo
Co. Alicubi non est Sol Ortus.
Cam. Si (vel quo casu) Sol ortus est, dies est; Sed
el. Nullo casi (vel non in praesenti ousut) dres est: LrsC
eco. Nullo casu (vel non in praesent casu) Dol ortus est.
Ba Si C vel quocunque casit) _l. Sec
rO. Aliquo casu non est aies: Frgo
C0. Ahguo casu del non est ortus.
In Conditionalibus irem,
Quane