# Leibniz Legible — https://leibnizlegible.com
# Page: https://leibnizlegible.com/page/00068646:0075
# Permalink to this reading: https://leibnizlegible.com/page/00068646:0075?run=74
# Title: Leibniz-Handschriften zur Philosophie LH 4, 7B, 2
# Folio 38r, page id 00068646:0075
# Original at the GWLB: https://digitale-sammlungen.gwlb.de/resolve?id=00068646&page=75
# Source image: https://digitale-sammlungen.gwlb.de/content/00068646/jpgs/default/00000075.jpg
# Model: FoNDUE-GD_v2_ft_Leibniz, run 74, 2026-09-06T16:05:13Z — 70 lines, status machine
# Lines: 70 recognised, mean confidence 0.96
# 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.

(1) A includere B seu B includi ab A, est de A subjecto universaliter
affirmari B praedicatum. veluti: sapiens includit justum, hoc est omnis
sapiens est justus.
(2) A excluders B, seu B excludi ab A, est de A subjecto universaliter
negari B praedicatum. Veluti: justus excludit miserum hoc est
nullus justus est miser
is de quodam subjecto A pegat praedicatum B
(3) Qui negat A includere B, is affirmat esse pd sbe aliquod A
cui non competat A in aliquo individuo, ubi non sit B in quo non sit B
seu affi enuntiat particularem negativam. Seu qui negat justo
includi fortunatum, enuntiat quendam justum non esse fortunatum
Nam si omnis justus esset fortunatus, (intellige qui est, fuit futurusve est)
jam todici posset poste qui justus est, inesse eum qui est
fortanatum seu justo includi fort justo includi fortunatum seu
fortunatum itaque justus fortunatum includet. contra hypothesin.
subjecsto
A affirmat Braedicatum B
deu epuntiat parficularem affirmativam. Qui negat a sapiente excludi fortunatum, enuntiat
quendam sapientem esse fortunatum
(5) Si explribus si ex pluribus enuntiationibus sequatur nova enuntiatio,
et haec sit falsa, necesse est aliquam exi erit aliqua ex illis falsa. Est collectio per co
(6) Contradictoriae (seu quarum una affirmat quod alter negat)
non possunt simul esse verae, nec simul esse falsa, et hoc vocand oppositionem
(7) Ex universali sequitur particularis ejusdem naturae; quod vocant
se
subalternationem. Nempe: si A includit B, sequitur quod A non  (per num. 1) si omne A est B
(seu si omne A est B) sequitur quod A non excludat B (seu quoddam A esse B
seu per num. 4.) quoddam A esse B. simili Rursus si A excludit B
( seu (per num. 2) si nullum A est B; seqvitur quod A non includat B seu (pernum 3)
queddam A non esse B.
8) si A excludit B, vicissim B excludit A. Hoc est fundamentum
conversionis simpliciter factae. Nam hinc  (per 2) si nullum A est B
etiam nullum B est A., q et (per 4) si quoddam A est B etiam
quoddam B est A
(9) Si A includit B, negatur Bincludere A. B uo tunc B non excludit A
hinc nascitur conversio per accidens, omne A est B, ergo quoddam B est A.
(per 1, et 4
(10) Annotani tamen utile est, posse conversionem demonstrari ope syllo-
gisonorum itaque non fuit opus eam hic praemittere.
(10) Notatu tamen dignum est, tam conversirm tam subalternationem
quam conversionem posse demonstrari ope syllogismorum
12) Exclusur ec Regula prima Regula prima de
(12)  Syllogismus est Categoricus simplex est, qui de inclusione
interse
vel exclusione duorum terminorum, aliquid colligit per initu
data de inclusione vel exclusione tertii respectu singulorum
14) Regula prima de  Medio incluso in subjecto. Medium
subjecto inclusum
14) inclusum incluso est inclusum includenti, seu si
(13) includens includentis est includens inclusi seu si A includit B
et B includit C, etiam A includet C.
(14) Includens excludentis estetcludens exclusi seu si A includit B
et BcludiL et B excludit C, etiam A excludet C.
(15) Hinc Regula prima de includens excludentis est exclusum vel
exclusi. seu si A includit B et B excludit A, etiam C excludit A
sequitur ex praecedenti per 8 acceddente n. 8. finc mulando C in A et contram
ccce
vel
16) Excludens inclusi est excludens includentis seu si A excludit B
et B includitur in C, etiam A egpludit C. seu si A excludit B
et C inctudis B, utique A excludis C patet per se Ddi se er disert a 15 nisi modo
exunti ei
A in
Regressum
ineluders exclusi
phabeatur rectus ordot
Exclutam inclusi est exclur
incladentis. B ex cludit A
et Aincludit B. Ergo A
excludit C