# Leibniz Legible — https://leibnizlegible.com
# Piece: https://leibnizlegible.com/api/records/59375/text
# Catalogue record: 59375 — De Varietatibus Enuntiationum quatenus Categoricae aut Hypotheticae, affirmativae aut negativae, simplices aut compositae sunt. Ubi et de Logica ultra scholae terminos provehenda.
# Incipit: Propositiones Categoricae
# Date: 1678
# Akademie-Ausgabe: AA VI,4 N. 043
# Other printings: Couturat, Opuscules, 1903, S.238 (tlw).
# Record in the Leibniz-Katalog: https://leibniz-katalog.bbaw.de/de/extended-search?id=59375&katnr=53835
# AA VI,4: its series at Leibniz-Forschungsstelle Münster (online after accepting its terms): https://www.uni-muenster.de/Leibniz/seite5.html
# Work: https://leibnizlegible.com/work/00068646
# Title: Leibniz-Handschriften zur Philosophie LH 4, 7B, 2
# Folios: Bl. 5–6 (from the shelfmark LH 4, 7B, 2 Bl. 5-6): 4 pages, canvases 9–12, page ids 00068646:0009 to 00068646:0012
# Original at the GWLB: https://digitale-sammlungen.gwlb.de/resolve?id=00068646&page=9
# Lines: 269 recognised on 3 of 4 pages, mean confidence 0.93
# Catalogue: Leibniz-Katalog / Arbeitskatalog der Leibniz-Edition (https://leibniz-katalog.bbaw.de/), ed. Arbeitsstelle Potsdam I der Berlin-Brandenburgischen Akademie der Wissenschaften, CC BY 4.0.
# 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, page by page: a "## Folio <label> — <page id>" line ("## Canvas <n>" where no folio label is recorded), "# " lines naming its source image and model, then its recognised lines in reading order, one per line.

## Folio 5r — 00068646:0009
# Source image: https://digitale-sammlungen.gwlb.de/content/00068646/jpgs/default/00000009.jpg
# Model: FoNDUE-GD_v2_ft_Leibniz, run 74, 2026-09-06T16:05:13Z — 99 lines, status machine
De arioratibus Muntiationum
quatenus Categoricae aut Hypotheticae, 
affirmativae aut, negativae, simplices
aut compositae sunt. Ubi et deLogica
ultra scholae terminos provehenda
Propositiones
Seseges ini Hypothetica no possunt semper
reduci ad Categericas; omnes autem categoricae
reduci possunt. ad hypotheticas. unver
silla geavege lrhube Hoc ergo facundum est,
Si univer salia quaerimus 
Propositio Universalis affirmativa
Omne B est C reduci potest ad hanc hypotheticam
Si a est B,  a erit C verbi gratia:
Omnis homo est adimal sd est, si quic (a et tus) id est. Perum non est hominem simul esse
est homo (b) is ((a. vel Titis) est C (animal)
Propositio Uniberdulis negativa: 
Nullum b est C: reducetur ad hanc universalem
affirmativam: Omne a est non -c. 
Nalim enim hac uli. Omne  est non est C.
quadicere vidstumo non omne B est c vel
ad hanc phypotheticam
tem.
non ssimal a est b et C est d, nonsimul DEus est justus et
sceleratus est felix
Omnis negativa uutari pote st in affirmintivum, hoc modo
non (simul ) a est b et enomest d, non simul Deusest justus et
s Ch cerga ca a non est C, erge a est nn- c.
pius non est felix
Propositiones Hypotheticae eo tantum variatae, quod sunt affirmativae
vel negativae, simplices vel compositae
Propositio est, aest
mpios scelerato
ars b  non ca  Deus est justus. HicMeles non est felix
sequitur quod.
Si a est b sequitur ind est a
si a et b. it.  non est 
Si a non est   e est
Si a non est f.... .. .. C non est 
Si a est D non sequitur quod e est 
Si a est b non sequitur quod C non est 
Si a non est f.. . . . .. . . . . C ∞ est 9
visur
est felit
 secter
vensceteratus
Si Deus est justus senon est felix
sequitur quod
si Deus non est mendanide Epius est felix
Si Deus non est mendax sequitur quod sceleratus non et felix.
Si Deus est justus non sequitur quod pius est fortunatus
Si Deus est justus, non sequitur quod seteratus non est fortunatus.
Si Deus non est mendux non sequitu  sius est fortunatus
si a nonest f..... . . . . . . C non est 9 Si Deus non est mendax non sequitu quod sceleratus non est forturatus
si 
mors est bonum
Si a est b, et  est e sequitur quod l est m Si Deus et justus et homo est pius, sequitur quod felicitas eststu
Si a est b et hnon est e ... . . . . . lnon est M si Deus est justys et homo non est pius .. . . . . . . . mors non est bonum
non opus est caeteras similes enumerare formas
eo solo ab his differentes, quod propositiones
Eategoricae hypothetics insertae modo affirmativae
modo negativae sunt
 at b en h est 9id scqusitur quod l non est M. Si dic est sustes et honda est fortu idus non sequitor quodnas non as bonum
Hicrursus varia prodeunt formae simile eo tolo
ab hac differenta quod propositione sertae
que moda affirmation modo negativae sunt,
adeo gneguens
Si a estb et h est e et n est C sequitur quod Test M.. Si Deus est justus, et homo est pius et mundus est scelerats Equitur quod
pricii
mors est bonum
Et similes aliae substitutis alicubi  ngativis in antecedente vel consequente
Si a  et hest B et R est Con saquitur qud lest P Si dEa est jstu et homo est pius it mundus est se leratus non sapoitus
ltistmdes alque stiam romplicatiores.
quod mors est consciscenda.
Propositiones Categorice eo
tantum variatae quod sunt
affirmativae vel negativae,
simplices vel compositae:
veus est, astus
sceleratus non est felix
a est b
C non estd
a est
b et c
h non est C et d
Deus est justus et felix
homo non est faeter et fortma
sceleratum et felicem, itaque id volumus
alterutrum as esse
falsum: tametsi non dicamus, a non
forte falsum sit utrumque
la est b et d resolvi potest in duas a est b
et a est d. nempe Deus est justus et DE
est feuix. Sed s non est c et a, non
potest resolvi in duas Nam etsi dicam
eleratum, neque etiam nego esse
homo etsceleratus et felix, non ideo nego
Fuam et fortnatus aliquas  otes esse pius
neoque bease moriturus. quanquam hoc set no

## Folio 5v — 00068646:0010
# Source image: https://digitale-sammlungen.gwlb.de/content/00068646/jpgs/default/00000010.jpg
# Model: FoNDUE-GD_v2_ft_Leibniz, run 74, 2026-09-06T16:05:13Z — 81 lines, status machine
Habuimus exempla anteredentis compositi
Hae formae habent partem antecedentam
compositam ex pluribus propositionibus, sed
non est necesse eas referre, quae habent
et partem consequentem ex pluribus pro-
positionibus compositam, nam haec:
Si a est b, sequitur quod e est d et  lest m
resolvi potest in has duas:
si a est b sequitur quod e est a
la ai qud Meped
si a est b sequitur quod lest m
Si aest be dequetur qued l’est et
supersunt ergo tantum attingendae Hypothetica
negativae, nam inhiis cs pars consequens
composita non pe facit ut ideo
propositio in plures resolvi possit
Si a et b un sequitur quid leagret e mnes d
Si a esib non sequitur quod e est d et best m.
H hypotheticas affirmativas
si Deus est justus sequitur quod pius est felix et mors est bonum
s deus est justus sequitur quod pius est felix
Si Deus est justus sequitur quod mor est bonum
mons est bonum
Si dari  pss non sequitur quod sceleratus est sut itas et
pias non est melix. (simul
felix
Dubitare  licebit an
Omitti vero possint Hypotheticae
negativae in quibus antecedens est composita
nam et illae in plares resolvi possunt
nam haec:
S a est b, et h est g non sequitur quod l non est M
resolvi potest in has duas:
Si a est b non sequitur quod l non est m
Si h est g non sequitur quod l non est m
Nam certe quod ex duobus non sequitur
multo minus ex uno sequetur. Eodem
modo in tres propositiones resolvi
posset haec.
Si Deus est justus non sequitur quod pius est justus
et qued justus est fortunatus
Etsi enim unum ex justitia Dei siquatur sillet ferilita
pii, non tamen alterum ex ea sequitur nempe fortuna
justi. Aliud enim est felicitas al qua
est aeternum quiddam, a liud for fortuna, quae
caduca est.
Si a est b et R est e et n est C non sequitur quod lest p Si Deus est justus et homo est pius et mundus est sceleratu
cib.
egutiflices non tamen ideo vera  est
iffert tamen composita,
is
od L est s in
hypotheticas, in quibus categoricae sunt
compositae simplices.  sed formari
etiam possunt in quibus, e categoricae
sunt compositae. Antelligo (alegoricas
compositas quae non possunt resolvi in
pleres simplices, nam alioqui redibitur ad
formas priores. Sic ergo exempli causa:
Si nonstinuls a est b et C est d dequitur quod ta nonest samuo)eetd S nonsinus) Deus est justus et sceleratus est felix; sequitur quod
Ceee
Si non smi) a est b et C non est d non sequitur quod non ssimul est bete  etg. At non (simml) Deus est jostus et plus non est felix
si Deus est justus, et homo est fortunatus nonsequitur
quod mors non est bonum. Namam et fortunatus
aliquis potese esse pius, ac proinde beate morituns
si Deus est justus non sequitur quod mors non est bonum.
Si non est fortuna lycon sequitur quod mors non est bonum
non sequitur quod mors est conuiscenda
p esse
aDeus et iustis nnsequita quod uors ex bencu npalie es esset sustia
propositiones si deus  ectomo est pigs sequitro quod mors est bonum
homo non est (omu t) sceleratus et felix
si a est non sequi asotitar
2
non sequitur quod non (simul) Deus est justus et sceleratus
 est fortunatus.
id et. si Dei justitia et pii selicitas necessario
cohaerent, non ideo Dei justitia et scelerati
infortunium necessarium cohaerent. Hujus modi
cenuntiandi modus clarior est, quia brevior, ets
non aque ren distincte eyplicet.

## Folio 6r — 00068646:0011
# Source image: https://digitale-sammlungen.gwlb.de/content/00068646/jpgs/default/00000011.jpg
# Model: FoNDUE-GD_v2_ft_Leibniz, run 74, 2026-09-06T16:05:13Z — 89 lines, status machine
Sequientur Hypotheticae replicatae
quarum ipsae partes, antecedens ninirum 
consequens constt esamb
simul constant ex Hynotheticis, iisque rursus
vel peis vel reclitatis, itemque vel
ad
primi
s
compositis compositis vel ex simplicibus vel
ex hypotheticis, quae omnia infinitis
modis variari et repliaari possunt.
Unum exemplum sufficiat nunc quidem:
Sie vut esteus et bmdlest pin seqviter quod mors est honnum
Siquidem si I est C et h est e sequitur quod lest m, certe colligi potest, quod
te qusi a est b non sequitur quod e est g.
Mlaeatee s
si mundus est sceleratus.
diquidem, si Deus est justus et homo est pius sequitur
quod mors est bonum; certe scolligi
potest qnd si h DEus est justus
non sequitur quod pius est fortunatus.
Brevius: a mundi sceleribus frium mors immunism
praestat itaque Deus justus esse potest, etsi pis
interris non sint fortunati (quia morte ad
meliora et aeterna transferuntur
Sed haec in exemplum sufficiant; qui bonos
autores leget, et periodos paulo productiores
resolvet, etiam propositiones longe magis compo-
sitas et implicatas deprehendet. Quemadmodum
autem logici judicii est detracto omatu
de nuda enuntiationibus judicare, ita vicissim
eloquentis est asperis et fastidiosas per se enuntiationes
verborum amvenitate vestire. Cui usui
inventae asunt in linguis cultioribus variae
particulae, flexiunculae et compendia dicendi, et distinctiones, et parenthesis
et formulae plus quam dicere videntur insinuantes.
Nec jam varicttes attingo quae a signis
universali porticularive, a  modalibus
(quorum multo plures quam quatuor) ab indirecta
quadam enuntiandi rectione, oriuntur.
qui et si a propositionibus ad consequentias
transeamus suppressiones et transpositiones
praeterea considerandae erum Itaque
tum demum praecepta Logicae recte
tradita fatebor, cum  ex illis ostendi statim et primo obtuta
poterit integramalicuius pagina in Cicerone
vel alio bono outore doratio recte
conceptam esse, quidque sit suppressum, quid
supplendum; ita tamen ut postidiosa illa laediosa et prolixa reductione
ad primas simplicesque enuntiationes scholastico
more opus non sit. Quemadmodum enim
qui tabulam pythagoricam tenent non amplius
digitis supputant, ita productioribus quibusdam
et complicutioribus, usitatis tamen et 
commodis aocium enuntiandi aut ratiocinandi
formis semel demonstratis promtius et
emercatores
melius quam siholae formulis utemm. itaque quemamodum rideretur qui monere t
nomines ut majoris securitatis causa digitis computirent: ita mitum non est a virs ingenio
ve omnem) humanam patientiam prolixitate et taedio llassare possunt. Quemadmodu
las l
las frntas
tamen
mmagni moment, ubi de sulite de imalagatur malim digitio supputaredo
atandem i jidiculus haberi, quam in periculo esie, ita in rebrus maximis ubi de aeterna sie et beatiudiu
Notandum est disjunctivam esse ex hypothetics
compositam, ex. gr. aut unus est Deues aut
nullus. id est si Deus non est nullus est
unus; et si Deus non est unus est nullus.
Sex unus Deus et nonnullus Deus est idem.
Item notandum hypotheticas negativas exprimis
per etsi et tamen, ut: Si Deus est justus
non sequitur quod pius est fortunatus, hoc
ita enuntiari solet: u Deus sit
jestus, non lanen qeus alimmo pis est fartunatus.
aanten
sit
de Salute reipublicae de fel summa vitae aur
Malim profecto ad Scholarum Forrmulas redire
cunctaque mptoso resolvere quam impatientiam
lere fatali erore. Sed si Deus
mihi compendium judicandi praebeat
s
promse simul hatiocivaeri liceat, et tuto
si  examen novenario in numeris simile
habet detum imo melius id est, recipu
detu
summum humanae vitae beneficim
hibisnecesse est fateamur.

## Folio 6v — 00068646:0012
# No recognised text on this page (recognized).