# Leibniz Legible — https://leibnizlegible.com
# Piece: https://leibnizlegible.com/api/records/28205/text
# Catalogue record: 28205 — [Aufz. zu vier kategor. Satzarten]
# Incipit: (1) Propositio categorica
# Date: 1690
# Akademie-Ausgabe: AA VI (assigned, not yet published)
# Other printings: Couturat, Opuscules, 1903,S. 321-324 -dt. Übers.: Fr. Schmidt, S. 157-161
# Record in the Leibniz-Katalog: https://leibniz-katalog.bbaw.de/de/extended-search?id=28205&katnr=56099
# Work: https://leibnizlegible.com/work/00068648
# Title: Leibniz-Handschriften zur Philosophie LH 4, 7B, 4
# Folios: Bl. 11–12 (from the shelfmark LH 4, 7B, 4 Bl. 11-12): 4 pages, canvases 21–24, page ids 00068648:0021 to 00068648:0024
# Original at the GWLB: https://digitale-sammlungen.gwlb.de/resolve?id=00068648&page=21
# Lines: 153 recognised on 2 of 4 pages, mean confidence 0.92
# 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 11r — 00068648:0021
# Scan: One image of two folio pages side by side, registered by the library under both labels (also fol. 12v); this page is its right half.
# Source image: https://digitale-sammlungen.gwlb.de/content/00068648/jpgs/default/00000021.jpg
# Model: FoNDUE-GD_v2_ft_Leibniz, run 74, 2026-09-06T16:05:13Z — 95 lines, status machine
tuare
(1) Propositio Categorica est qua Enuntiatio de toto aut parte termini
nempe idem sit aut diversum eiquod inest eu
termini alterius
unius quod coincidat aut non coincidat contento  in termino altero
Terminus de cujus toto aut parte ementiatio fit est subjectum et ponitur primo loco
ut B et si de toto praeponitur emme ut Omne B, si de parte proponitur voaddat
tunc in propositione ponitur.
uno ponitur quoddam B., et priore casu propositio vocatur uni versalis
Hunc
posteriore particularis, et in hoc dicitur  consistere Quantitas proposu
dentitas seu coincidentias
Alter terminus velut C dicitur praedicatum; et si coincidentia enuntiatur
vecuti omne B(aut quoddam B) est C est
nuntiatur diversita
E propositio affirmativa dicitur. Sin coincidenti nonc coincidentia vel ex lusid
id adjungitur subjecto per T0 est
unius ab altero Enuntiatur pr hoc sit per T0 in est. veluti omne B nonG
aut quoddam B non est C et propositio vocatur Negativa. Et in hoc dictur
consistere qualitas propositionis. pro omne B non est C, sadlet etiam dici
C
ea terum loconuius:
solent autem compendio quantitas et quartittas exprimi
en quotuor vocales universalis affirmativa per A; particularis ffirmatio
Nullum B est C.
per 1. Unveralis negativa per E; particularis iffirmativa per 1, parti
postremo terminus carjus totum comter alicui aut
dverti Toluco dere, dicitur posset ici
et dici parti
ributus. ai
extrum indis et minatim usurpabimus
veluti omnis homo est anima
eadem, est
vel quod eodem omines homines sunt Tota multitudo hominum coincait con
propositu el in versans lffirmativa estdua
sod
alar
nc
redit
omines siunt animalia
contento in linea C. Nolo tamen dicere multitud totam multi
tento in multitudine animalio
natumu
am parti
partem B totum B cetineri ac parti _ ipsius C, sed contento tantum
dincidereidem.
contente
C. Nam interdum fit at cum propositio  ut totum B coincidat
toti C. ut si dicam, berba frtangulum planum est a (de plano
intelligens) omne triangulum esse trilaterum, nom vicist ambo termini
aque late patent. Et vicissim omne trilaterum est triangulum sed
 recepte loquendi modo; quem propositiones
sed
et dismulante
 in proposita
afi
iuuntur e
contirato
gun
sex primitur
tas piae
dam
eti utrum
entum universalifatissoet particularitatis
prinee ac dubjectis) u  ve
praedicat coincidat, ideo vi expressionis seu formae id relinquitur in
atquadea
ategoricae
nulla prafitatis
toti an sa
lcoincidate
inceato de parte quidem praedicati tes certa est, de toto non item. et
poinde si toti plaedirato coincidatur an ad totum partem tantum praedicat
_ an vero ad totum  pertineat coincidentia. Ideo vi expressionis
hocloco (cum et in casu totius, passin tota con pars coincidat, quippe quae in toto cont
seu formae id relinquitior
netur) ituque in propositione universali affirmativa B es omne B est C, subjectum
est distributum, praedicatum Itaque si formae nibile pates ec nctudi nisi
deradicati pacte non attingitur nisc pars praedicati
ropositio Particularis affirmativa es Quoddam B  est C veluti
Quidam homo est sapiens, vel quod eodem redit, quidam homines santmdine
sapientes; pars multitudinis hominum coincidit cum parte contento io nunero
eadem
Scpientum. Uti pars linc a B respondet ontent contento in linea C. parti quidem
respondebit si alii quam homines sint sapientes; toti vero, si solis hominibus sapientia converire
elatie
intelligatur.  ita si dicamus quendam homines esse Rgs imperatores, pars
hominum toti imperatorum maltitud ag in  seriei coincidet. Sed viformae
id tantum certum est partem ipsius in propositione  particulari certum est
partem prudicati laffici, et coincidere parti subjest
 et cum totum
tur praecicata
afficitur
ddici
acidins fitr.

## Folio 11v — 00068648:0022
# Scan: One image of two folio pages side by side, registered by the library under both labels (also fol. 12r); this page is its left half.
# Source image: https://digitale-sammlungen.gwlb.de/content/00068648/jpgs/default/00000022.jpg
# Model: FoNDUE-GD_v2_ft_Leibniz, run 74, 2026-09-06T16:05:13Z — 58 lines, status machine
propositio  Universalis Negativa est Nullum B est C. sive
omne Be non est C. veluti Nullus homo est lapis; sive quodda
quod eodem redit omnes homires non sunt lapides. Sibe vel tota multi-
tudo hominum exclusa est a tota maltitudine lapidem, neque assignari potest
pars maltitudinis hm hominum, quae coincidat parti multitadi part
aut contento multitudinis lapidum. Hic m consider ata digntum es
subjectum non minus quam praedicatum totum affici enuntiatione esset
adeo Universale seu distributum ut vocant
propositio particularis Negativa est: Quodcam B non est C
veluti quidam homo non est supiens, sive in multitudine hominum
est pars multitudinis hominum nsidit multitadini contento
excluditur a tota multitudine sapientum. Hoc etiam apparet
in lineis B eFC et C nec refert an linea C producatur donec respondeat
ea
parti ipsios B,  modo non eoisque ut ei parti a qua exclusa est
fieri scilicet potest, ut alii homines sint sassictentes sapientes, sed sufficit
quasdam sapientes non esse. Hic autem rursus apparet praedicatum, esse
praedicatum propositionis affirmativae esse particular
ugiversale. Unde maritestam oladicatum ver propiationis nsegativae esse unibersale seu distul
vi for Emenibus Ex propositione Universali ceteris incinentibus sequitur parti.
cularis omne B coincidit  contento in C, aut diversa est
Quidam adjicint Categoricis prpositionibusa (ategoricas propositiones
adhuc magis quantitate variant, et adjiciant indefio universali ac
particulari adjicimil infinitam  singularem. Sed indefinitat cum incerta
sit magnitudinis  securitatis ergo pro particulari habenda est, donec
signum universalitalis, a certe sapprimi: hoc ergo non ad Logicam, sed
aliquid amplius constet. o
ad interpretationem eb ne verborum pertinet. Singular ante
propositio v. y. petrus est homo,  referenda est ad universalem eum totum
termini in uno hoc exemplo singutari contineatur. Nequ enim
Cum petium dicimus pluces eo nomine, sed certum aliquem desgnamtis
sed sed nunc a scholiis familiarius omnia explicantibus ad Theoremata
et demonstrationes veniamus.
sixiomata u
seu content
et inesse peainde est
Y Quod idem esseineristenti sec contento, acspsum in est velut AB idim est
2Zd cificum ef est. est ipsi cd, contento n CI
et exesse perindees
3etquid itaqu Cinsum AB3 in es in CE EF
perinde est atque
2. quod idem est non inexistent seu excluso id ipsum est exess. velati
AC
AB idem estipsi CD quod est extra EF
R. Quicquid inest inexistenti id ipsum inest veluti si AB insit ipsi AD
et A insit ipsi AD ipsum AB erit in AD
A. L vic quid enest excluso id ipsum exclusum est. veluti AB sit in AC
et AC sit extra DE, etiam AB erit extra DE
vidlibe sibi inest aut sibi exclusum non est
sis insit ipsi B, et B ipsi A coincidunt A et B et vicassivo
Coincidunt quorum quodlibet eum quo quorum att contenta eadem sunt. Et vicissim
Hinc Si A insil ipsi B et B ipsi A, coincident A ut B
coincident  duo cum co quivis contentum unius in est contento
alterius. Nam si in est contento alterius, atiam idem erit alicu, alterius contento
quae siguo
quantitatis
are
himo est sapieus

## Folio 12r — 00068648:0023
# Scan: One image of two folio pages side by side, registered by the library under both labels (also fol. 11v); this page is its right half.
# No recognised text on this page (recognized).

## Folio 12v — 00068648:0024
# Scan: One image of two folio pages side by side, registered by the library under both labels (also fol. 11r); this page is its left half.
# No recognised text on this page (recognized).