# Leibniz Legible — https://leibnizlegible.com
# Page: https://leibnizlegible.com/page/00068652:0170
# Permalink to this reading: https://leibnizlegible.com/page/00068652:0170?run=74
# Title: Leibniz-Handschriften zur Philosophie LH 4, 7C
# Folio 83v, page id 00068652:0170
# Scan: One image of two folio pages side by side, registered by the library under both labels (also fol. 84r); this page is its left half.
# Original at the GWLB: https://digitale-sammlungen.gwlb.de/resolve?id=00068652&page=170
# Source image: https://digitale-sammlungen.gwlb.de/content/00068652/jpgs/default/00000170.jpg
# Model: FoNDUE-GD_v2_ft_Leibniz, run 74, 2026-09-06T16:05:13Z — 116 lines, status machine
# Lines: 116 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.

In Regressu utimurctoc principio, quod
concusione existente falsa, coniqu, ijue existente
existenta vera (hoc est ppos
vera) et a una praemitsarum existente
vera, altera praemissarum
debeat existere vera.
ergo Regressus oppasitionem eu
principium contradictionis est autem
Contradictio inter Universalem affirmativam
et particularem negativam, seu si falsa
sit na A vera est O, et contra.
item inter Universalem negativam et parti.
cularem affirmativam, seu si falsa sit E
vera erit A et contra.
ex his jam paucis caeteros modos omnes deinoista
bimus ac detemmnabimus  prius auem expltbum
quid sit contradictio, est uhoc principio, quod
conclusione existente falsa, et una praemissarum a
exstente  ver
inise comelatia
falsa, pro vera assumi potest ejus contradictoria
jam universalis Affirmatiod ntdictoria est spartiular
negativa su dune B est C. contrad. quoddam B umes  Hins BBcardoletiae _BD ABC BCD)
seu  cont. Universalis Negativa et particulam
Affirmativa sunt Contradictoriae: seu Nullum B est C contra
quoddam B est C. Communi an Brevitatis autem causa
et morem Logicorum secuti imposterum Universalem
affirmativam exprimemus per A, universalem Nega da
per E, particulalem affirmativam per 1, particularem
Negativam per O, et scribemqus ABC, EBC
1BC, OBC pro exprimenda propositione, et
AAA, ACE, etc. pro exprimendo modo.
subot iHfinc quatuor primi modi primae figurae
quos primiticos seu quos ab aliis indetu
. praemissarum
enuntiabuntur, Barbara: A_t. At ACD. ABC. ABD
Celarent: CD. ABC. EBD. Darii: ACd. IBC. 1Bd.
Ferio: Ecd. 1BC. OBD. Ubi A. E. l. O signi
fieant formam, B, C. D materiam B moe
nempe B minorem, Cmnjorem C medium,
terminum. Subalternatio autem (cujus et opo
subtlterantio ita ex his quatuor modis prim
alii uno modi primae figurae dituntur), ita dem
stratur: Omne A est B. quoddam A est A. Ergo
quoddam A est B. quod est argumentum in Darii
similiter. Nullum A est B quoddam A est A. E 
quoddam A non est B quod est argumentum In F erio
Hinc ex Barbara ducitur Barbari pro ABd seu
bendo 1BD, qui quod ex ea sequitur; et ex Cela
reut ducitur Celaro pro conclusione EBd scribem
OBd quod ex ea sequitur habemus ergo duos modo
novos eosque derivativos, primae figurae: Barbari
ACd. ABC. IBD. Celaro ECD. ABC. OBD
Horum modorum utilitas apparebit in progressu ad
omnes alios modos abarum figurarum Methodo nis
constanti ex prima deducendos. Apparebit etiam
dies figurus directas, primam secundam et tertiam
habere numerum  modorum aequalem, nempe
Senarium, et ex
unoquoque modo primae methodo
regressus  ica demonstrari unum modim
secundae et unum modum tertiae. Hinc du secundam
figurae etiam duos novos modos adjicio, tertia autm
jam vulgo plena habetur
jam ex figur
Modis primae figurae ducemus
modos plmaeet: secum
per Regressum, incipiende
a Barbara inu trademus e explicate, ut in sequento
breviores esse possimus. In Burbara primae: omne 
e omne C est D omne Dest C ergo omne B est D. ita
Si ponatur major esse vera ( omne Cest D) et falsa contre
conclusio ae proinde vera ejus contradictoria F quoddam B non et D
falsa erit minor, seu quoddam B non ert CFquod magum
et itq per recessum quod esta quod est argumentum
Sin ponatur n
falsa ceu quoddam Cnon esse D.  in Barbara conclusio fala
et majorem veram
(seu quoddam B non esse DY minor vera F, eu omne B esse l
Erit major falsa (seu quoddam C non erit D) quod est
in Bocardo tertiae,
Sed ut Brevioribus totum
notis totum hoc exprimamus.
bura primae per regressum supponendo ponclusionem pesam inmodo secundae servernus majoreu, et conctasionem
est in Banoco secundae quod proide oriturque adeo ex Bat
conclit majo
Ex tis jam paucis cxseropanis
omnes demonstrabinus,
 usi tum subalternatione, tum regressu,
tum conversione; et quidem per subaltena
guum tionem ostendemus modos primae figura
ulitatos; sed at per
ad par regressum ostendemus omnes modos figurae
hos ipsam con-
persionem; denique per conversionem e
ticulare secunde et tertiaea
parti per conversionem et reessem,
ostendemus modos
denique accedente prioribus
L sunt contradiolorie.
mediis conversi (Tub alternationi
et regressui) conversione,
ostendemus modes figurae
quartae seu inderecta
+vig. ACd significat omne C est d, EC0 signi
ficut Nullum C est d, IBC significat
quoddam B est C, OBd significat
quoddam 0 non
jam argumentum tale: omne l’est , quoddam
est in Baroeo secundae
e non est D, Ergo quoddam B non est C.
demonstratur hic modus per regressum
ex Barbara primae supponendo
conclusionem modi hujus princa
calsam, et majorem veram
serunda, demonstra oritur ergo ac