DenisaB/htr_leibniz_dataset_v1 huggingface dataset:
idem intelligendum enuntiari in aliis quibusvis
hanc ab est a semper esse veram,
intelligo non tantum hoc exemplum: animal
rationale est animal esse verum, ponendo animal
significari per a, et rationale per b, sed intelligo
etiam hoc exemplum: animal rationale est
rationale esse verum ponendo rationale significari
Et idem in quolibet alio exemplo
corpus organicum est
organicum; ac proinde etiam pro ab
Notandum etiam nihil referre sive
dicas ab, sive dicas ba, nihil enim
refert sive dicas animal rationale, sive
rationale animal.
Repetitio alicujus term literae in eod
aa, seu homo hom
et b sit d et c etiam sit d, inutile
est dici a est dd, sufficit a esse d, exempli
causa: Homo est animal rationale. Animal
Omne rationale est sentiens, inutile tamen
est dici, homo est sentiens sentiens,
nam hoc nihil aliud est dicere quam dicere
homo est sentiens.
Si quis tamen dicere
velit hominem ex duplici capite esse sentientem,
id alio modo ipsi erit exprimendum, secundum
characteristicae nostrae regulas.
Diversa praedicata in unum
conjungi possunt, ut si constet a
itemque aliunde constet: a esse
a esse bc,
animal, et si homo est rationale. Erit homo
animal rationale.
haec facile demonstrantur, hoc uno
vel contra: subjectum esse ut contentum,
Possent omnia omnes regulae logicae circa propositiones
universales demonstrari per figuram geometricam
seu quadratum; utendo hac sola regula, Totum
esse aequale omnibus partibus ideoque majus una uno
totum omnes partes continere.
Sed ni fallor melius omnia demonstrantur
per totum disjunctivum ejusque partes, id
est per Tabulas.
non semper succedente statim posse reperire
instantiam: et proposita regula reperire exempla
quae ex aliis regulis non sequuntur, sed huic demum propria sunt.
sit res, subjectum vero non sit res nec rei
definitio, sed alius terminus, is terminus dicetur
itaque homo est proprium animalis. Nam
non nisi animal esse potest homo, quamvis non
omne animal sit homo, neque enim definimus
hoc loco proprium in quarto modo, sed proprium in
res, ab rei definitio, et datur propositio (Universalis
attributum et proprium est, nempe si c
rei c (ut hominis) definitio est ab (animal rationale)
danturque duae propositiones, una c est d
nomen, et definitionem, et attributum proprium,
esse terminos aequivalentes, seu eandem re
Et hoc est quod vulgo dicunt
proprium in quarto modo seu proprietatem
animal est substantivum, seu idem quod ens animale.
Rationale est adjectivum, fit enim demum substan
tivum, si adjicias Ens, dicendo Ens rationale, vel
per compendium una voce (si jocari libet) Rational,
discrimen inter nomen substantivum et adjectivum
animale, animal.
genere constituit terminum speciei Attributum
(an potius speciei definitionem?)
subjectum adjectivum propositionis universalis
s est attributum commune, ut terminorum
d est a, sed non tamen a est
est attributum commune
pluribus sed solis ut animal hominis [et]
bruti. Seu si d est a et e est a
et si quid est non‐d et non‐e est non‐a,
erit a genus proprium ipsarum specierum
particulari affirmativa et negativa ejusdem
subjecti. Ut: quidam homo est doctus, et
quidam homo non est doctus, ergo doctus est accidens
hominis. quoddam a est b et quoddam a non est b,
ergo b est accidens ipsius a
Hae definitiones usui scholae sunt
accommodatae, sed revera
in characteribus necesse non
est differentiam nominis substantivi
atque adjectivi apparere, neque illa
vero usum habet ullum
ergo Deus est severus.
4) non-a non est a. Non animal non est animal.
posse eodem modo
animal rationale, rationale mortale visibil
sic designo: a est b seu (omnis) homo
est animal. Semper enim hic signum
literam uni literae vel pluribus simul
et alterum in alterius locum substitui
posse, vel c aequivalere termino
2) ab est a. Animal rationale est
3) a non est non‐a. Animal non est non
5) Qui non est a est non-a. Qui non est animal est
verum est, ab est a, etiam verum
bc est b, imo et: bcd
est bc. Nam pro bc substituendo e
dixissemus: ed est e.
termino nihil mutat, ut ab
praecedenti, quia enim literae
sunt indefinitae possumus substituer
seu animal rationale, et rationale
est aa, vel bb est a,
homo est animal animal, vel homo
homo est animal. Sufficit enim
dici a est b seu homo est animal.
5) Ex quacunque propositione
et c est d, et e est f, inde fiet
ace est bdf. Ut: Deus
est omnipotens. Homo est corpore
ignominia patiens. Ergo Deus homo
crucifixus est omnipotens corpore
praeditus patiens. Nec refert,
quod interdum quae compati conjungun
tur hoc modo incompatibilia sunt,
ut circulus est null‐angulum. Quadra
tum est quadrangulum. Ergo circulu
s‐quadratum est nullangulum quadra
ngulum. Nam haec propositio vera es
t ex hypothesi im
Ratiocinatio nostra nihil aliud est quam characterum
connexio, et substitutio. Sive illi characteres sint verba,
signa notae, sive denique imagines. Omnis autem substitutio nascitur
Porro ex his patet, omnem Ratiocinationem esse quandam combinationem
ex aequipollentia quadam.
Characterum. Est autem combinatio vel ab ordine absoluta, vel
ordinem respiciens; est item vel similaris, inter characteres, quorum quisque
tractatur eodem modo, vel dissimilaris. Item vel in ea duplicatio ejusdem
Praeterea Combinatoria est composita, cum diversi modi connectendi
ab + cd patet a et b
inter se alio modo connecti, quam ab et cd
quo pertinent notae ablationum, etiam duplices pro duplici
modo ascribendi. Et hae duae rationes connectendi obtinent in
calculo algebraico.
Et tamen nihil prohibet dari in natura
adhuc plures modi connectendi simul conjungantur;
sunt et modi connectendi alii similares, alii dissimilares; similaris
res horum reciproci seu notae
a. Nota: nihil impedire, quo minus quando duo
junguntur, alter in alterum
auferendi ut ab: b;
si scribas
permutetur, si scilicet nihil adscriptum est, quo distinguantur,
hoc tantum
posset fieri a +
esse diversos, sic ex ab + cd
nihil enim prohiberet multiplicationem repraesentari per
unde foret:
Ex variis modis combinandi, ubi se termini vel similariter
habent, oriuntur nomina catholica
relationes significantia, seu Terminis imponibilia, quibus deinde
quae per characteres
catholice exprimi possunt,
aptum est memoriae, nam Ecthetica expressio
scripturae apta
est, sermoni vero apta
Dantur modi Modorum, ita calor est modus corporis,
magnitudo modus caloris, ratio modus magnitudinis, analogia
modus rationis et datur analogia analogiae in infinitum.
Si solis concretis utimur
in cogitando, cessabit omnis
Pleraeque nostrae cogitationes referun notiones
vel si A est B tunc C non est D, vel si A non est B
tunc C est D, vel si A non est B tunc C non est D.
utrumque omitti. Seu: A non non est B
Non ipsis Terminis inserere abstine
nec volo dicere nunc quidem: non‐B seu A est non‐B,
neque enim est opus.
A item B dicemus aliquid. Hinc semper volo terminos
positivos, et si qui sunt negativi, malo
eos a negatione liberare transfundendo eam in copulam,
ita multas perplexitates abscindemus, rejectis omnibus
terminis negativis, omnibusque abstractis.
i o est:
C non est N; etc.
A non est N, B non est N,
sequitur quod vulgo dicunt nihili nulla esse attributa
cuilibet signo
detur significatio
quaelibet modo
ea constanter
servetur et
II ut pro signo
substitui possit
postulatum 1
Conferens autem est quod est requisitum
secundum aliquem producendi modum. Videtur
tamen con inconveniens esse generalius, quia
conferens involvit prioritatem naturae; cum tamen
et effectus possit esse conveniens vel incon
autem non ideo est conferens, potest enim aliquid
convenire, modo non noceat. Haec tamen pendent
Si quis autem generalissim velit
conveniens esse tale, ut non tantum se habe
ab usu.
indifferenter, et praeterea velit ipsum intelligere
ita ut effectus sit conveniens
Et tunc id quod non est inconveniens etiamsi non esset
producendi modum atque existendi modum,
conveniens, posset appellari conforme.
conferens ad bonum perfectionem,
nec tamen eam involvens; in quo differt a bono per s
sentientis, seu ipsum juvat; etsi forte per
accidens inde sequi possit major imperfectio, unde
fit damnosum. Unde jucundum est naturaliter
quid impediat, seu nisi per accidens inde
Bono generali
seu quod possibile est moraliter.
id est respectu boni communis, in quantum nos de eo
Itaque felix scelus, seu crimen
suum consilium, cum vellet nocere,
possumus judicare.
bonum generale procuravit non ideo minus
injustum est.
sit salvo bono
communi, si tamen non sit
probabile, seu si id agere non sit tutum,
erit injustum.
ex quo aliquid notabile sequitur, seu importans
natura prius.
non vanum respectu boni.
autem est, quod plus essentiae involvit.
Omnis linea recta finita, dicit negationem
continuationis ulterioris.
apparens habet quasdam proprietates ejus
quod esse creditur, quae scilicet facilius
possunt observari,
sed desunt illi aliae,
quibus res ab aliis omnibus distinguitur, ut
involvit negationem quorundam ejusdem
generis. Sed hoc videtur in continuis tantum
locum habere, in [discretis] quantitas non
videtur absolute concipi posse, ut totum
numerus partium, ita infinitum, quod involvit
aliquid praeter numerum partium
datur numerus, Majus quovis assignabili.
artificiale differunt, quod
hominis ita f tale est, qua factum est quale
pater generaverit filium, non tame
Si Mel quoddam
nasceretur , posset vocari nativum, et contra mel apum fa
qualem voluit.
mel apum factitium.
cujus partes sunt dissimiles.
si unum ubique in alter
seu quae sibi substitui possunt salva quantitate.
ut discerni nequeant, nisi simul spectentur.
contineri, ea si ejusdem materiae sunt, similia
similia sunt. Eadem
apparent diversa.
salva qualitate seu
habent similes inter se
suas, quodque
si dicatur posse
in alterius locum
etiam hoc observ
A non est B. Si A est B
tunc C est D. Non
si A est B tunc C est
A (non) est B
tunc E est F.
tunc B est C,
Si A est B
A est B tunc C est D.
a C est AB ergo C est A.
Hinc demonstratur AB est A, nimirum AB voc
1. Jam AB est AB per veritatem primi
tivam absolutam ergo C est AB per constructionem
postulatum 2. Ergo C es
Ergo AB est A
Molior Calculum quendam
generalem, in eo adhibebo
notionibus concretis, positivis
ut per A intelligitur
quid dicatur alicui esse aequipollens, eorum
postea unum licebit in alterius locum substituere
2. Licebit autem signa pro arbitrio
accipere, et cuilibet assignare aliquam signifi
cationem, modo ea constanter teneatur, nec
uni signo assignentur plures significationes, quas
antequam eas constet esse aequipollentes.
de uno signo indefinito seu litera dictum est
intelligetur de quavis alia.
item Si A est B tunc C est D
Significatio ver particularum si, tunc et particulae
a me accipitur: Esto si A est B tunc C est
A est B,
tunc poni poterit: Ergo C est D.
per postulatum
Veritatis definitio realis est.
trabile est per definitiones.
Definitio realis Ex quod ex
demonstratur ex definitionibus nominalibus
ex realibus, absolute; defini
tiones reales earum notionum
afferri possunt, quae a
nobis immediate percipiun
tur, ut cum dico exister
calor; nam huic ipsi
quod confuse percipimus, assign
andum est ac aliquid distinctu
Definitiones reales
a posteriori
possunt probari, nempe
ab experimentis
possibile, debet demonstrari
ex definitione existentiae.
inter veritates rationis
haec ex quibus qua ratio d demonstrari
possent omnia experimenta, nempe
Omne possibile
exigit existere, et proinde
existeret nisi aliud impediret, quod etiam
unde sequitur, semper eam existere rerum
combinationem, qua existunt quam plurima,
ut si ponamus A B C D esse aequalia quoad
essentiam, seu aeque perfecta
et ponamus D esse
combinationem
nam si D existere volumus, non nisi C, ipsi
poterit coexistere, ergo existet combinatio CD,
quae utique imperfectior est combinatione ABCD
Itaque hinc patet res existere perfectissimo
modo.
possibile exigit existere, probari potest a posteriori
vel omnia existunt, et tunc omne possibile adeo
exiget existere, ut etiam existat; vel quaedam
quam ex generali essentiae seu possibilitatis
ratione; posito possibile exigere sua natura existentiam,
et quidem pro ratione possibilitatis seu
pro essentiae gradu. Nisi in ipsa Essentiae
natura esset quaedam ad existendum inclinatio,
nihil existeret; nam dicere quasdam
essentias hanc inclinationem habere, quasdam
non habere, est dicere aliquid sine ratione, cum
generaliter videatur existentia referri
ad omnem essentiam eodem modo.
Illud tamen adhuc hominibus ignotum est, unde
oriatur incompossibilitas diversarum, seu
qui fieri possit ut diversae essentiae implicent
contradictionem invicem pugnent, cum
omnes termini pure positivi videantur
experimenta.
Omnis veritas quae non est absolute
prima, demonstrari potest ex absolute prima.
Omnis veritas aut demonstrari potest ex
prima. Et hoc est quod
absolute primis (quas demonstrari indemonstrabil
fieri sine
dici solet, nihil debere asseri
perfectum ex iis quae alioqui existerent
existere possent, seu plus involvit
Adeo ut natura sit
essentiae exigere existentiam.
rerum reddi non posset.
Si Existentia esset aliud
quiddam quam possibili
gentia, sequeretur
ipsam habere quan
dam essentiam
seu aliquid novum
superaddere rebus,
ergo ex de quo
rursus quaeri posset
an haec
essentia
n existat et cur
Quoniam vera propositio est, quae
vel absolute indemonstrabilis, vel
vel identica est, vel ex identicis
potest demonstrari adhibitis defini
tionibus; hinc sequitur Existentiae
AB est C et AB est D. Ergo
est C et B est
AB est C et AB est D. Ergo AB est
ergo AB est C
est B.
omne AB est C.
Si omne A est C etiam omne AB est C.
5) Si A est BC etiam A est B. Haec propositio jam potest
Ergo per prop. 4. AB est C. Quod E. D.
A est BC est
7) Si A est B A est C etiam idem
ipsa definitio seu significatio formulae BC.
8) Si A est C et B est D etiam AB est CD nam quia A est C
AB est C et AB est D.
(illud vero non sequitur
si quoddam A est C, etiam
quoddam AB est C).
propositio jam
A est BC etiam A est B.
A est C et B est
AB est D. Ergo
B A est C
item B;
idem est si fuisset A non est B
Nihil non est aliquid et aliquid non est nihil
N non est C, et ita porro, tunc dici poterit N est Nihil
quod consentit cum eo qu. Huc pertinet quod vulgo
dicunt non‐Entis nulla esse attributa. Non jam
etiam sequatur B esse aliquid, item an ob propositionem
A non est B etiam sequatur A esse aliquid, et B esse
aliquid, haec enim forte ex assignata definitione demonst
Nam si dixissem Ali si A est B
Poterit enim demonstrari opinor nullum esse
demonstrari poterunt.
aedicatum quod non possit esse subjectum
et nullum esse praed subjectum affirmativum quod non
possit esse negationi
C est C, AB est AB, per postul
est B tunc C est D
si A (non) est B tunc C (non) est D.
et ita porro,
pendet a com significatione hujusmodi
formulae compositae AB. compositionis
Si si A est B tunc C est D
si A est B tunc C est D.
Si A est B tunc B est C, et
si, tunc
id quod est A,
id quod est
B; idem
vult AB, nempe
demonstratur seu cujus synthesis est facilior
fieri potest per demonstrationem poss assumta demonst
inutile (: quod resolutione facta omitti possit potuisse
appareat
substituto deinde pro A valore resoluto deinde ipso
Itaque demonstratio possibilitatis ipsius A
demonstrandam, neque ita quicquam mutatur demonstratio
possibilitatis ipsius B
reso nisi quod pro valore ipsius A
stratione possibilitatis ipsius A, ut per suppositi
lemma est serviens ad possibilitatem ipsius B demonstr
coincidant esse involutum simplicius et inservire
ad explicandum sine ambagibus.
sive verus sive falsus possibilis vel impossibilis, ut
A, B, C; et generaliter X.
hinc nihili nulla sunt attributa.
i l, non-A et non-B et non-C, etc. seu generaliter non-X,
contradictionem.
de existentia agitur
agitur contradictoria dici de
eodem, unde tempus et mutatio
ab alia negatione.
Coincidit cum eo quod Aristoteles
Entelechiam seu actum vocavit; re alii perfectionem
notiones sunt cognoscere, agere esse, cognoscere,
agere. Talia sunt omnia attributa Dei, et quaecunque
nihil involvunt limitationis, adeoque capacia sunt
infiniti gradus
sibi pluquasi per se notum hic assumo, et
quod nominali definitione non indiget; infra
et duo assumo axiomata, quae tamen
demonstranda essent:
Omne Existens est possibile.
Quoddam possibile est non‐existens.
impossibile.
substantia necessaria est Deus solus; sed abstracta
entia necessaria, sunt sunt tamen et veritates
(ccc) etiamsi nullus daretur circulus, tamen
angulum in semicirculo rectum esse debere,
existit; seu est Ens necessarium; sed ex
genere Entium incompletorum
cum altero;
discerni.
non possunt, per veritates de ipsis demonstrabiles,
sigillatim discerni non possunt; seu quorum nulla
assignari possunt diversa praedicata demonstrabilia.
parabola omnis omni similis est, et circulus circulo,
at non Ellipsis Ellipsi, sed dantur peculiares quarundam
Ellipsium proprietates, verbi gratia ejus quae habet duo
s axes aequales magnum est ab aliis discrimen.:)
Similia sunt quorum omnia praedicata interna
quae per se sigillatim discerni non possunt, seu quorum
unum alteri substitui potest salva veritate in pro
positionibus in quibus res per se spectatur seu circa ea
Similia sunt ejusdem speciei infimae
ergo si A est necessarium non-A est impossibile:)
Difficultas aliqua
Nam ut status posterior alicujus substantia
involvit priorem, ita vicissim status
prior invol
vit posteriorem, unusquisque enim ex alio potest
sequi videtur, priorem non esse simpliciorem posteriore
ambos eadem involver
quandam intercedere.
et aequationem
solutio difficultatis exemplo
eleganti illustrari
posse, duae sunt propriet
una altera
inventu demonstratuque
Sed videtur res
constat plures saepe esse
subjecti, quarum
sunt reciprocae,
facilio
et tamen omnes
eadem omnia involvunt.
circuli proprietas,
diametri, quam rectarum se in circulo decussantium
[sinum] esse mediam
natura prior, etsi haec ut genus
nam in analogis
inter segmenta
esse, atque adeo
illam comprehendat;
species genere prior. Et proprietas
Terminus B
non A et non B et non C, et caetera; seu non-Y
significare mihi solet aliquid indefinitum, ut hoc loco
quodcunque sit, A, vel B, vel C; eodem modo sumo li
quando scilicet scimus pro declaramus, nos per A intelli
ut similariter ingrediantur, ut ignis est calidum
lucidum; sed possunt tamen et dissimilariter connecti,
ut justitia est caritas sapientis.
valorem unius
ponatur valor, et pro terminis valorem ingre
ad terminos irresolubiles, ibi quiescendum est; si,
nec amplius progredi licet; si resolutio talis sit, ut
appareat lex progressionis, non amplius necesse est:).
ponitur prodit valor illius B (: ita ut certo expli
candi modo effici possit prodire ipsummet B cum utique
A idem est
(: Hinc quod impossibile involvit, ipsummet
impossibile est, nam quod involvit involvens involvit
Hinc porro sequitur
demonstrata possibilitate involventis demonstra
tam esse possibilitatem involuti.:) Unde
postremo videtur inferri posse de posita existentia
involventis sequi existentiam involuti, etsi
non simultaneam.
seu, si non‐A est impossibile, A est necessarium.
Verbi gratia circulus non capacissimus isoperimetrorum
est Ens impossibile, ergo non-circulus non capacissimus
est ens necessarium. Hoc est necesse est vel, adeoque
semper existens, nam alterutrum dicit, vel non existere
circulum, vel si existat, esse isoperimetrorum capacissimum.:)
(: Dubium etiam, quod tale hic nascitur, quod tale Ens
Ens necessarium contradictionem involvit,
est involvere intelligi non negative sed positive:
est cujus oppositum possibile est.
quod resolutione in alia
intelligi debet; ut ignis resolvitur in lucidum
et calidum.
prius natura
est quod minus derivativum est[,]
itaque quod alterius
sive quod implicat contradictionem involvit, ut Triangulum quadrilaterum.
ipso prius
definitionem ingreditur
ut A, vel B vel C, vel alius terminus quicunque. Intelli
Generalissima haec notio est, complectiturque etiam
ea ea quae confuse tantum cogitari possunt,
distincte autem explicari nequeunt. Ut triangulum
quadrilaterum, corpus indivisibile.
ut non A, neque B, neque C neque
D, neque etc
. Atque hoc est quod vulgo ajunt Nihili nulla esse
est quicquid distincte cogitari potest,
involvit contradictionem. Hoc est si pro A ponatur
pro ponatur ponantur plures termini
uipollentes, nec unquam prodeat B
est si sit
Hoc est si sit
et ita porro, nec unquam prodeat
distincte cogitari potest,
d sine negatione
Hoc est si sit A # B, C, etc. et
etc. et ita porro, ut paulo ante, nec unquam
prodeat terminus negativus ut non L, nisi is sit
Considerandum an et in gradibus haec quantitatis
consideratio, ut an gradus velocitatis unus alteri similis
vel gradus caloris, et an minor majori insit?
Et vero nil prohibet, quin ita concipiamus. Licet
possunt altitudines ut quadrata, non minus tamen
esse possunt similes, quam rectae, diametri
quae habent circulos ut quadrata.
In solis figuris videtur contingere, ut duo
homogenea possint esse quae non sunt similia,
et ut aequalia possint esse quae non sint congrua,
nam in tempore, in gradibus,
unus alteri similis
est, ex. gr. quaternarius non
est similis ternario. Numerus igitur non est
nostram definitionem, sed res numerum habens,
nam etsi ternarius non sit similis quaternario,
pedum; et arcus trium pedum una cum arcu
unius pedis, similis reddi potest rectae unius pedi
s. Posset tamen forsan talis Magnitudinis
notio excogitari, ut et numerus unus alio dicatur
major, nam quod plura continet inter se congrua
id est majus, numerus autem plures continet unitates.
vel ipsummet B, et aliquid praeterea
et hoc sensu angulus
rectus erit major angulo semicirculi, nam
continet angulum semicirculi una cum
angulo contactus.
positionibus quae de uno eorum per se spectato
quaeque ei insunt, aut necessario connexa sunt
considerentur
quae per se sigillatim discerni non possunt.:)
Revera similia non sunt nisi Entia
incompleta, nec dantur duo Entia completa
ejusdem infimae speciei.:)
tuentibus demonstrantur.
est determinata, et ab aliis distinguitur apparet
rem esse possibilem et determinatam
certam
res ab aliis discernitur.
requisita immediata.
unt ea quae insunt, homogenea
sigillatim, discerni no sigillatim non possunt
semper possunt B et quae ipsi insunt salva
s sunt inexistentia homogenea.
sint similia
in similia, si
lac homogenea, et piscis stagno, nam in corporibus
circulus et triangul
cylinder albus, nam non tantum transpositione
inexi cylinder transmutari potest in sphaeram,
sed et alia immutatione album in nigrum.
– Nescio tamen an hac hypothesi sit opus, salt
em sufficit ut nos nihil cogitemus repugnans, hac
comparatione facta. Sed quodnam ex his dicetur
esse majus quodnam minus. Neque enim semper
quidem major inexistere potest minori, sed non circumferentia,
quorum partes quibus quae ita se habent, ut
alteri inexistere possit, ex his alterum est
si sint similia sibi mutuo possint inexistere,
quod nec majus nec minus id aequale esse hinc videtur
sequi.
illa quod
Convenit etiam haec
definitio cum
autem sunt, quae nullo modo per se discerni possunt
nec sigillatim
sunt similia,
nec comparando, adeoque non differunt
et praeterea dici non potest utrum potius
alteri inexistere possit.
Huc redit etiam definitio;
Concipi etiam
continuum incrementum vel decrementum Similium
, quale est unde sequitur non transiri a majore
ad minus
per aequale
Angulus autem contact
in alium potest, vel ei aequalem.
si nullum sit inexistens in
uno, cui non insit aliquid
in altero, licet
alioqui qualescunque
maneant inexistentia
minima, quae aliud inexistens
non habent. Sed si non
malimus uti inexistentibus
potest unum transformari
si ea tantum spectentur
praedicata quae ex
iis quae rei insunt
necessario consequuntur.
sunt nisi
alteri simile inexistere potest
quae invicem similia continere possunt,
sed videtur potius esse corollarium.
Omnis id est nullus
non.
Omne A est B, id est, omnia exempla
ipsius A continentur sub exemplis ipsius B.
quod est exemplum ipsius Jam
seu si
eadem exempla
non possunt simul sub exemplis B et sub
exemplis ipsius non‐B
contineri. Ergo, n
itaque erit talis:
non continentur
Quae exempla continentur sub exempli
B ea non continentur sub exemplis ipsius
vel quoddam
non est non
C, et fiet propositio:
Omne quoddam A non est
Ergo omne C non est
A, id est Ergo
Ergo omne non‐B non est A, seu:
A, seu quicquid non est B
est A (: nota aliud dicere: nullum‐non B
aliud nullum non‐B:).
Hinc patet si datur propositionis universalis
negativae conversio simpliciter dari universalis
affirmativae conversionem per contrapositionem,
et contra.
Nullum A est C. Ergo nullum C est A demons
C esse A, ergo
aliquod C est A.
Ergo aliquod A est C, quod
Vel sic: Nullum A est C. Ergo qu – non, quoddam A est C.