# Leibniz Legible — https://leibnizlegible.com
# Piece: https://leibnizlegible.com/api/records/25089/text
# Catalogue record: 25089 — [Aufz. betr.] Syllogismus
# Incipit: Syllogismus est actus mentis
# Date: 1680
# Akademie-Ausgabe: AA VI (assigned, not yet published)
# Other printings: -Couturat, Opuscules, 1903, S. 327 f. (teilw.)
# Record in the Leibniz-Katalog: https://leibniz-katalog.bbaw.de/de/extended-search?id=25089&katnr=55700
# Work: https://leibnizlegible.com/work/00068648
# Title: Leibniz-Handschriften zur Philosophie LH 4, 7B, 4
# Folios: Bl. 26 (from the shelfmark LH 4, 7B, 4 Bl. 26): 2 pages, canvases 51–52, page ids 00068648:0051 to 00068648:0052
# Original at the GWLB: https://digitale-sammlungen.gwlb.de/resolve?id=00068648&page=51
# Lines: 124 recognised on 2 of 2 pages, mean confidence 0.86
# 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 26r — 00068648:0051
# Source image: https://digitale-sammlungen.gwlb.de/content/00068648/jpgs/default/00000051.jpg
# Model: FoNDUE-GD_v2_ft_Leibniz, run 74, 2026-09-06T16:05:13Z — 89 lines, status machine
+
Ut Syllogismus est  actus mentis, quo per
prae subjecto per medium ipsi inclusum vel exclusum
cognoscitur medium, colligitur. praedicatum hunc inclusum
vel applusum, etiam illi inclusum vel exclusum
esse.
duabus autem res constat regulis
Medium subjecto inclusum, etiam praedicatum
sibi inclusum (vel exclusum,) ei includi(vel excludimel
+AB= CB. _. BC, A AB a AC ABCAAB _AB
ex de ostendit BC: AB. AC per aaa, eacimat, eao. hins qua
tac, et eao couectendo simpliciter fit XcBAB. C(vel 0) AC, nam C. BC sequitur ex eCB
praeru
Medium subjecto exclusum etiam praecicatum
a CB, e. AB,   (vel 0) AC. Ergo a. CB, e. BA evet 0) Ac. n pi  modus segeh
se includens subjecto ercludi ostendit
taec pertinent ad propositiones universales
est demotudenta. univers alisereffirmato
nam includi est re sin affirman, et
estde excludente
universalis nnhant sed
excludo est ad omni resioberi.
e et hinc particulaream usus colligitur
sequiur
vet
quia particularis affirmativa est negatro
qua et particularis,
lexclusionis; et particularis negus liva e
itaque concapositione uti dicet
negatio daclusionis. It si mode pracitalum
i diet enctadi vegus, subine modicetum
G
inc itaque contrapositione regulae prime, si
affirmativa convertitur
cexaude
praedicatum
ex uadis alterutrum sequibur
n
nogis momu
medium subjecto non incladi, vel praedicatum
m
agdeis
len
catum. Aisubjerdam et praediatum hesesin
u
simplic iter, seu natfirmeqve
neges A enitutere nedio non includi (excl
B, etiam masor et si cubje toneget includiieulum
negas B: sexcludiprdicat affirmes autem medium
exnodare
variatur contrapo subjecto includi u praedgitum medo
minter e enpludi
s
e
cudere A, Etium
setio. t et sif
exclud
traedicatum etq medluma
eati.
redicato.
cudi) pradicatum
Rursus sam si subjedo neves includides inter se excludis
praedieatu, n
affirmes autem praedicatum medio includi (excludi
ee subjectum e
negare debes medium subjecto includi.
secutdse nam
similiter duplex est contrapositio regula 
secda.
subjettum et praeciatum
Atem si patedica subjecto negestmu
excludi praedictum, affirmes autem subjecto
s 1
per regussum
binas ey qua
vis fient 
ad hac 20. ita 30.
sed revera sorum
 14. Ergo 4,
bis ocurent
torte
lalis
eim
si addas
negat con
clusionem et ad
missamraxi
mistarum in regulis
unversali

## Folio 26v — 00068648:0052
# Source image: https://digitale-sammlungen.gwlb.de/content/00068648/jpgs/default/00000052.jpg
# Model: FoNDUE-GD_v2_ft_Leibniz, run 74, 2026-09-06T16:05:13Z — 35 lines, status machine
excludi medium negare debes medium pradicato
includi;
Et rursus
si subjecto neges exiludi prae-
dicatum, affirmes autem medium ppraedicato
neludi negare debes medium subjecto excludi
Atque haec sunt, quocunque extribus tantum terminis
Rombinatis sumi duci possunt. totaque adeo syllogismi
lategorici natura continetur, satis ob eaque ex
exponendi ratione facile et intelligitur et retinetur
Hinc ol animadvertis coductione suficienti
Cnumerationis conclusionem sequi partem debiliorem
it ex puris debilibus nihil sequi
Mecentur hoec conferri cum communibus figu
 pegula prima exribet modos colligeni duos
secundu unum. Regula tertia sed ete ferti et
quarta continent duarum primarum contrapositiones
Est et modus sine contrapositione colligendi particula
pes ex universalibus propriis. Nam ex universali
asfirmativa semie sequitur partuularis affirmativa,
seu ex inclasione sequitur negatio exclusionis. Similiter ex
universali negativa, sequitur particularis affirmatioa, sive
ex exclusioni sequitur negation inclusionis. Hinc 
ex reg. prima sic colligemus  medium subjecto inclusum
etiam praedicatum sibi inclusum (exclusum) ei non
non excludi (non includi) ostendit
Ex regula secunda sic: medium subjecto exclusus
etiam praedicatum se includens subjecto non includi
sont muncil reian
supereseuuns collicendi madaa nam si negeaA
ostendit
excladera  etiam negas
cenmedatibuent ca–
excludere A. Hinc novo rursus modi Nam
Ex agulae contrapositione variata: si subjecto neges