# Leibniz Legible — https://leibnizlegible.com # Page: https://leibnizlegible.com/page/00068652:0149 # Permalink to this reading: https://leibnizlegible.com/page/00068652:0149?run=74 # Title: Leibniz-Handschriften zur Philosophie LH 4, 7C # Folio 73r, page id 00068652:0149 # Scan: One image of two folio pages side by side, registered by the library under both labels (also fol. 74v); this page is its right half. # Original at the GWLB: https://digitale-sammlungen.gwlb.de/resolve?id=00068652&page=149 # Source image: https://digitale-sammlungen.gwlb.de/content/00068652/jpgs/default/00000149.jpg # Model: FoNDUE-GD_v2_ft_Leibniz, run 74, 2026-09-06T16:05:13Z — 104 lines, status machine # Lines: 104 recognised, mean confidence 0.90 # 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. conccni se A sequitur ex B, vel A inspert B , ve sequitur ex si ponendo A itum oritur b. Non tamens aeles suostituendo substitutione, coincidentium, pro A oritur B tamen requiritur. ut nihil aliud oriatur quam hadem vel Coincidentia sibi mutuo substitui possunt s it a non oriatur nus Contradictio seci Contradictio est illatio est duplex explisabisis, cum substitutionis An sie potius Ferminus A, B, qui non it iaeen dicetur vel est inaillatius est in explicabilis di cum series posittionist mpossibile est quod implicat mplicat per infini licae sunt flexiones fuctae sunt, cum volutio it contradrctionem possibile est quod non infer contradictionem inppurtae ituque Papta sunt nomina est vera p propositio est A est B si A non -B infert contra continet comprehenduntur et calegoriae et Hypothetica propositiones v. g. si A eA B si A continet B, Cotutinet D dictionem continet pot res hac potest sic formari A continere B continet C continem itaque A continere B, et simul n non C non continere D implicant (seu quosimnt L 4, 1L9 per loinci verum E incommensprabilia uti status quo idem est A et non B simplicat contradictionem; ita status quo simul Acontinet e intert contradictionem. A est B si A ∞ et AB coincidat et simal non utiqueC nont nes non B. firmatia seterminus sit possibitis ex A sit possibile, et B sit possibile vera propositio categorica item ese est Hinc sequitur si A est B, vera propositiva est, A. et Aa A non B implicare contradictionem, nam pro A substituendo aequiva lens AB sit AB non B quod a si A est B, substisti stione coincidentum Vera propositio Hypothetica est ex a posita et inde sequitur C C est DA. status quo A est B vocetur L et status quo C est d vocetur M: erit De ve L∞ LM ita reducitur hypothetica ad categoricam v.g. status quo aer est clarus dicatur serenum, et staties quo aer est sine nubibus dicatur sudum. dici potest serenum est sudum, seu serenum et serenum sudum coincidunt. Et similia vocabula fieri possunt pro aliis propositionibus, significantia statum vel tempus. Sic tonat, pluit, sere serenat idem quod est Lerenum hoc modo similia impersonalia, tonat, pluitus piget, agitur id est vera est propositio pluvia cadit pluit sudum et sudum est inexiliabile a aliquod screnum est pluviam seu serenum pluvium non implicat contradi Ex Hypotheticis primi gradus squuntur Hypothetuae rdetur, secundi eodem modotransiri poterit ad hypotheteas secundit ctionem Thet S Molhentium si probundo probundo se in sus veritas vel t illatio, seu veritas us nee contingens, si in substituendo opus est progressu in infitum. necessaria, si n veieleepu absolvi potest pregressus probatio Anotio D Ergo diversa invenienda essent vocabula quo distinguantur Haben haec po sed rectis explicatio explicabile conse- remus commensurabile inferens contingenter et inferens necessario.. duo sese invicem, ut nerestari commensurabile et incommensurabile relessaria conse quemlia est ut resolutio in conmu ansolo retorutionem ientius venum est vel en necessariam vel contine verum necessarium habe sciri potest per probationem anasin seriem suossitu tionum seu per finitam ensa caonimensurabilia tian n per coincidentia, mensurabili verum necessorium est exp cunquenitos est explicabilis contineens cujusventas est explicabilat to aprio este a