DenisaB/htr_leibniz_dataset_v1 huggingface dataset:
important,, que lorsque je le pourray
autoriser par quelques essais assez
achevés, pour ne le pas prostituer à contretemps
et sans effect. Cependant l’art d’inventer, quoy
faut l’art d’inventer ne laisse pas de subsister et, quoyqu’on
puisse pas encor arriver
la derniere perfection. on en peut donner des
ce discours, et qu’on verifiera par des exemples
de quelques inventions effectives, qui ont paru de consequence.
il est important de considerer que chaque Science
depend ordinairement de quelque peu de
propositions qui sont ou des observations d’experience
ou des veues d’esprit, qui ont donné l’occasion et le
sans maistre, si on s’y vouloit appliquer assez; en y joignant ordinairement
il me semble que les hommes la prennent autrement
et qu’elle est sujette à de mauvais usages, comme l’experience
n’a que trop fait voir. Aussi ce precepte a allarmé bien
des personnes, parmy lesquelles il y en avoit quelques
unes, dont le zele ne manquoit pas de prudence.
De plus il n’est point necessaire, ny mêmes util
fait rien, car on cherche tous les jours des preuves
voit pas seulement en matiere de foy, lorsqu’on songe
à ce que les Theologiens appellent motiva credibilitatis,
mais encor dans les matieres ordinaires, comme lorsque
nous tachons cherchons en nostre esprit les preuves
propres à persuader aux autres ce que nous croyons,
Axiomes, dont personne ne doute, et qu’Euclide a
crû de pouvoir supposer, comme par exemple, que deux
droites ne sçauroient avoir un segment commun. C’estoit
aussi le sentiment de feu M. de Roberval, qu’il falloit
demonstrer les Axiomes autant qu’on peut,
aussi le vouloit‐il faire dans les axiomes et il
faire effectivement dans les Elemens de Geometrie
qu’il avoit projettés. Et chez moy ce soin de demonstrer
les Axiomes est un des plus importans points de l’art
d’inventer, dont je diray les raisons une autre fois, me
contentant maintenant d’en faire mention,
à fin qu’on ne s’imagine point que ce travail
seroit inutile et ridicule; et parce que c’est en
de donner. Et c’est un de mes estonnemens de voir
ce philosophe celebre de nostre temps,
qui a tant recommandé l’art de douter, a si peu
mis en usage ce qu’elle contient de bon, dans les occasions,
où il auroit esté le plus utile: se contentant d’alleguer
l’evidence pretendue des idées; à quoy Euclide et les
autres Geometres ont fort sagement fait de ne se
pas arrester; aussi est ce le moyen de couvrir toutes
sortes de visions et de prejugés. Cependant j’accorde et mêmes je trouve souvent
trop quelque fois. Car il faut tousjours tacher d’avancer
nos connoissances, et quand même ce ne seroit qu’en
establissant beaucoup de choses sur quelque peu de
suppositions, cela ne laisseroit pas d’estre fort utile. Car
que ce peu de suppositions pour parvenir à une pleine
demonstration, et en attendant nous en
aurons au moins d’hypothetiques, et nous sortirons
la confusion des disputes. C’est la Methode des Geometres,
plus courte des lignes, et que de deux lignes, dont chacune
est partout cave d’un même costé, l’incluse est
moindre que l’includente, et là dessus il acheve
rigoureusement ses demonstrations. Mais il est fort
important de faire expressement toutes les suppositions
tacitement pour accordées, sous pretexte que la chose est
evidente d’elle même par la conside l’inspection de la figure, ou par
. Je me tiens fort asseuré, que
le Berose d’Annius et les
Antiquités Etrusques d’Inghira
mus sont des pieces supposées,
mais pour concevoir distincte
ment les preuves qui se
presentent confus en foule
à mon esprit, il me faudroit
du temps et de la meditation
des consequences
ou des faits donnés
affirmativae vel negativae, simplices
Nam et fortunatus aliquis potest esse pius,
roposition
reduci ad categoricas; omnes autem categoricae
Hoc ergo faciendum est,
si universalia quaerimus
Si a est b, a erit c,
verbi gratia:
Omnis homo est animal, id est, si quis (a vel Titius)
homo (b) is (a vel Titius) est c (animal).
Nullum b est c: reducetur ad hanc universalem
affirmativam: Omne b est non‐c.
quae dicere videtur: non omne b
ad hanc negativam:
hypotheticam
a hoc modo a non est c, ergo a est non-c.
Propositiones Hypotheticae eo tantum variatae, quod
Si a est b et h non est e
Si a est b non sequitur quod c non est g
Si a est
est felix
Si a est b, et h est e sequitur quod l est m
Non opus est caeteras similes enumerare formas
eo solo ab his differentes, quod propositiones
categoricae hypotheticis insertae modo affirmativae
modo negativae sunt.
ab his differentes, quod propositiones categoricae
e modo affirmativae modo negativae sunt.
Si a est b et h est e, et n est c sequitur quod l est
Et similes aliae substitutis alicubi
reduci possunt ad hypotheticas. Quare
Omne b est c reduci potest ad hanc hypotheticam
non est c et d
et homo est pius, et mundus est sceleratus sequitur quod
mors est bonum.
negativis in antecedente vel consequente.
est justus et homo est pius et mundus est sceleratus non sequitur
Non (simul)
Si a est b, a non est c.
Si a est b et h non est e sequitur quod l non est m
est: verum non est hominem simul esse
Propositiones Categoricae eo
affirmativae vel negativae,
simplices vel compositae:
Deus est justus
Deus est justus et felix
homo non est justus et fortunatus
sceleratum et felicem, itaque id volumus
falsum: tametsi non dicamus, an non
forte falsum sit utrumque.
a est b et d resolvi potest in duas a est b
et a est d, nempe Deus est justus et Deus
est felix. Sed h non est c et d, non
potest resolvi in duas. Nam etsi dicam
sceleratus et felix, non ideo nego
sceleratum, neque etiam nego esse
sceleratus est felix.
tantum variatae, quod sunt
pius non est felix.
hoc modo
tantum variatae, quod sunt affirmativae
Deus est justus et pius non est felix.
Si Deus non est mendax sequitur quod sceleratus non est felix.
Si Deus est justus, non sequitur quod sceleratus non est fortunatus
Si Deus non est mendax non sequitur quod sceleratus non est fortunatus.
Si Deus est justus et homo est pius, sequitur quod felicitas
equitur quod
sequitur quod
mors est bonum
pius non est felix,
s est justus non sequitur quod pius est feli
et quod justus est fortunatus.
Etsi enim unum ex justitia Dei sequatur, scilicet felicitas
pii, non tamen alterum ex ea sequitur, nempe fortuna
justi. Aliud enim est felicitas, quae
est aeternum quiddam, aliud fortuna, quae
caduca est.
Si Deus est justus, et homo est fortunatus non sequitur
quod mors non est bonum. Nam et fortunatus
aliquis potest esse pius, ac proinde beate morituru
Si Deus est justus non sequitur quod mors non est bonum
licebit an
negativae in quibus antecedens est composita
resolvi potest in has duas:
Si h est g non sequitur quod l non est m
Nam certe quod ex duobus non sequitur
multo minus ex uno sequetur. Eodem
modo in tres propositiones resolvi
posset haec
differt tamen composita
simplices, non tamen ideo vera est
hypotheticas, in quibus categoricae sunt
etiam possunt in quibus categoricae
sunt compositae; intelligo Categoricas
compositas quae non possunt resolvi in
plures simplices, nam alioqui redibitur ad
formas priores. Sic ergo exempli causa:
nam et illae in plures resolvi possunt
Si a est b non
Hae formae habent partem antecedentem
compositam ex pluribus propositionibus, sed
non est necesse eas referre, quae habent
et partem consequentem ex pluribus pro
positionibus compositam, nam haec:
Si a est b sequitur quod e est d et l est m
Si a est b sequitur quod e est d
Supersunt ergo tantum attingendae Hypotheticae
negativae, nam in his pars consequens
composita non facit ut ideo
propositio in plures resolvi possit.
Si Deus est justus sequitur quod mors est bonum.
Si Deus est justus sequitur quod pius est felix, et mors est bonum.
Deus est justus et homo est pius et mundus est sceleratus
non sequitur quod mors est consciscenda.
de bon sens,
de quelques ouvriers, après avoir compris la matiere et
les gens du mestier ne s’avisent point, parce qu’ils ont
vulgaire leurs manieres communes. Mais
on se trompe fort souvent en
de l’Euclide, quand il est habile homme, et sçait les
raisons de ce qu’il fait, ne laissera pas aura veritablement
la theorie de son art, et sera capable de trouver
des expediens dans toute sorte de rencontres. Et de
imaginaire projettera des machines et des bastimens
la theorie qu’il faut. Il entendra peutestre
les regles des forces mouvantes, mais il n’entendra
n’a pas esté assez mise en regles; et il ne considera
as que les pieces fermes qui doivent soutenir les pieces parties
mouvantes doivent avoir beaucoup de resistance, autrement
elles cederont plustot que cette grande charge qu’on a projettée
de remuer; et plus ces pieces fermes sont proches de la
derniere action, plus elles ont besoin de leur fermeté.
qui ont entrepris de nous donner un mouvement perpetuel
mecanique, ont manqué dans la theorie. Et generalement
la science generale ou l’art d’inventer,
La doctrine des ombres
n’est qu’une perspective renversée,
et resulte d’elle même, quand
on met le lumineux au lieu de
l’oeil, l’opaque au lieu de l’object
les preceptes d’une science superieure qu’on suppose
déja connus; qui est tantost la science generale ou
l’art d’inventer, tantost une autre science, de qui
celle dont il s’agit, est subalterne. Par exemple,
il y a plusieurs sciences subalternes à la Geometri
de s’aviser de
où il suffit d’estre Geometre, et d’y joindre de
ouvertures ou principes d’invention auxquels la Geometrie doit estre
appliquée, et il n’en faut pas d’avantage pour inventer
de soy même les regles principales de ces sciences.
Par exemple, on n’a qu’à considerer qu’un objet
se peut desseigner exactement sur un Tableau
donné, lors qu’on y marque les points de rencontre
des rayons visuels, c’est à dire des lignes droites
qui passent par l’oeil et par les points objectifs, et
qui prolongés au besoin, rencontrent
ou coupent le tableau. C’est pourquoy un Geometre
l’oeil le lieu de l’oeil, la figure et situation
du tableau (je dis la figure, parce qu’il peut estre
plan, ou convexe, ou bien concave) et enfin le plan
Geometral (c’est à dire la situation et figure
de l’objet) estant donnés; un Geometre peut tousjours
determiner le point d’apparence sur le tableau
qui repond au point objectif proposé.
Et quand on pousse cette consideration, on trouve
commodes en practique pour
apparentes qui representent des lignes ou figures
objectives, sans estre obligé de chercher l’apparence
qu’un corollaire d’une combinaison d’Astronomie
et de Perspective, c’est à dire la projection de
quelques points celestes sur une muraille
ou autre surface platte, convexe ou concave, faite
par le moyen des rayons qui passent par ces points
supposer sans craindre des erreurs sensibles, que
moyen on fera la projection de la route du soleil
et particulierement de son mouvement journalier
qui est marqué par son ombre. Il y a pourtant
c’est que la seule projection ne discerne pas la qualité
est concave ou convexe, c’est à quoy, aussi bien
ombrages et des teintes plus ou moins fortes
et bien menagées.
Ce qu’on peut encor determiner
l’Arithmetique, et quand on sçait q
experiences fondamentales des consonances et dissonances,
tout le reste depend des nombres, et je me souviens d’avoir
un jour fait une ligne harmonique divisée en telle sorte,
qu’on y pouvoit determiner avec le compas les compositions,
differences et proprietés de tous les intervalles Mais comme pour faire un
Epigramme, il ne suffit pas de sçavoir la Grammaire et la Prosodie; et
est des principes d’invention
que chaque Science
les projections, c’est à dire
dans la perspective
ombrages et des
qu’on soit practicien pour reussir. Il y a d’autres
matieres, où l’on peut reussir par la seule raison
aidée de quelques experiences ou observations
qu’on peut même apprendre par la relation d’autruy.
au premier coup d’essay dans la profession
où ils se mettent, et qui font honte aux vieux
practiciens par la force de leur jugement naturel.
Mais cela n’est pas ordinaire, et voicy comme il le faut
distinguer. Dans toutes les matieres où il
reduire toute la science avec ses de
fondemens ou
à determiner toutes les questions qui se peuvent present
une methode exacte de la vraye Logique, ou
de l’art d’inventer. Mais pour reussir effectivement
avec cela dans la practique, il faut distinguer entre les resolution
entre les resolutions qui se doivent prendre sur le
sur le champ, ou si on a le loisir de mediter
exactement. En premier cas les preceptes joints
à la methode ne suffiront pas, au moins dans l’estat
où l’art d’inventer se trouve presentement, car j’avoue
que si elle estoit perfectionnée comme il faut et comme
d’une veue
d’esprit aisée ce qui a besoin maintenant de beaucoup
de temps et d’application. Il faut donc maintenant
bonnes resolutions dans une rencontre embarassée
extraordinaire, ou qu’on aye une longue practique
qui nous fait venir dans l’esprit machinalement
et par habitude, ce qu’il faudroit chercher par la raison.
Mais lorsqu’on a le loisir de mediter, je trouve
que dans toutes les matieres capables de preceptes
qu’elles sont basties sur le fondement de l’experience,
pourveu que ce ne soyent pas des experiences
vagues et infinies, mais determinées, dont on peut
prevoir les autres à force de consequences; on
dans ces matieres dis‐je, la theorie peut prevenir
la practique pourveu que ces fondemens posés,
rien echapper des circomstances qui doivent estre
mises en ligne de compte. Et même la theorie
sans practique passera incomparablement une
practique aveugle et sans theorie, lors qu’on
obligera le practicien de venir à quelque rencontre
fort differente, de celles qu’il a practiquées. Parce que
ne sçachant pas les raisons de ce qu’il fait, il demeurera
raisons de ce qu’on fait
tout court, au lieu que celuy qui
trouve les exceptions et les remedes. Aussi voit on tous les jours
usiciens et qui composent de beaux
airs, comme il y en a qui sont
naturellement poètes, et qu’un peu
d’aide et de lecture fait faire
des merveilles
qu’un ecolier qui se peut donner de garde des solecismes,
force de celles de Ciceron; de même en
imagination vive d’oreilles à un homme qui veut
des beaux vers il faut avoir lû des bons poëtes,
d’en avoir remarqué les tours et les expressions,
ou d’en avoir pris insensiblement la teinture,
velut qui in sole ambulant, aliud agendo colorantur,
de même un habile Musicien après avoir remarqué
essor à son imagination fournie de ces beaux materiaux;
phrases de Musique, il pourra donner luy même
Car il y a des choses,
sur tout celles qui dependent des sens, où on reussira
plustost et mieux en se laissant aller machinalement
à l’imitation et à la practique, qu’en demeurant
dans la secheresse des preceptes. Et comme pour
jouer du clavessin, il faut une habitude que les
doigts mêmes doivent prendre, ainsi pour
imaginer un bel air, pour faire un beau poeme,
pour se figurer des ornemens d’architecture,
ou le dessein d’un tableau d’invention, il faut
que nostre imagination même
ait prise une habitude, après quoy on luy
peut donner la liberté de prendre son vol, sans
consulter la raison, par une manière d’Enth[o]usiasme.
Elle ne manque pas de reussir à mesure
du genie et de l’experience de la personne,
et nous experimentons mêmes dans les songes
que nous nous formons des images
qu’on auroit eu de la peine à trouver en veillant.
Mais il faut que la raison examine par après,
et qu’elle corrige et polisse l’ouvrage de l’imagination,
c’est là où les preceptes de l’art sont necessaires pour
donner quelque chose de fini et d’excellent. Mais
onnoissance digne d’un honneste homme, qui n’est
nous n’avons dit tout
n’est pas du mestier,
que nous venons de dire du moyen aisé d’apprendre
principes d’invention. Et comme le vulgaire
se brouille
eternellement par une distinction
a de solide et comment elle doit estre entendue.
J’ay déja expliqué qu’il y a des choses qui
dependent plustost d’un jeu de l’imagination, que
comme dans les exercices du corps, et même dans
quelques exercices de l’esprit. C’est là où il faut de necessité
Sequuntur Hypotheticae replicatae
quarum ipsae partes, antecedens nimirum
simul constant ex Hypotheticis, iisque rursus
replicatis, itemque vel
ex hypotheticis, quae omnia infinitis
modis variari et replicari possunt.
Unum exemplum sufficiat nunc quidem:
quod si a est b non sequitur quod e est g
Siquidem, si Deus est justus et homo est pius, sequitur
si mundus est sceleratus
quod mors est bonum; certe sequitur
non sequitur quod pius est fortunatus.
Brevius: a mundi sceleribus pium mors immunem
praestat, itaque Deus justus esse potest, etsi pii
in terris non sint fortunati (quia morte ad
meliora et aeterna transferuntur).
Sed haec in exemplum sufficiant; qui bonos
autores leget, et periodos paulo productiores
resolvet, etiam propositiones longe magis compo
sitas et implicatas deprehendet. Quemadmodum
autem logici judicii est detracto ornatu
de nuda veritate judicare, ita vicissim
eloquentis est asperas et fastidiosas per se enuntiationes
verborum amoenitate vestire. Cui usui
inventae sunt in linguis cultioribus variae
et formulae plus quam dicere videntur insinuantes.
Nec jam varietates attingo quae a signis
universali particularive, a modis modalibus
(quorum multo plures quam quatuor) ab indirecta
quadam enuntiandi rectione, oriuntur.
et si a propositionibus ad consequentias acceda
transeamus, suppressiones et transpositiones
praeterea considerandae erunt. Itaque
tum demum praecepta Logicae recte
tradita fatebor, cum ex illis ostendi
conceptam esse, quidque sit suppressum, quid
ad primas simplicesque enuntiationes scholastico
more opus non sit.
qui tabulam pythagoricam tenent non amplius
digitis supputant, ita productioribus quibusdam
et complicatioribus, usitatis, tamen et
commodis enuntiandi aut ratiocinandi
formis semel demonstratis promtius et
melius quam scholae formulis utemur. Itaque quemad
homines ut majoris securitatis causa digitis computarent:
compositam, ex. gr. aut unus est Deus, aut
nullus. Id est si Deus non est nullus est
unus; et si Deus non est unus est nullus.
Seu unus Deus et nonnullus Deus est idem.
Item notandum hypotheticas negativas exprimi
per etsi et tamen, ut: Si Deus est justus
non sequitur quod pius est fortunatus, hoc
statim et primo obtutu
mercatores
et si Deus
se mutuo inferunt
vera, et enuntiatio
(b) Enuntiatio erg.
enuntiationem dici
et affirmatio enuntiationis
Affirmatio et
6) Aequivalet enuntiatio vera, et enuntiatio quae potest affirmari.
aliud admoneatur.
enuntiare, et dicere enuntiationem esse veram; (aa)
firmatio et negatio negationis aequipollent
fluens ex ipso enuntiationis usu ac significatu (cc) nisi
admoneatur. Pertinet ad usum (aaa) ver
Veluti si erg. positum sit A esse B est verum; poterit poni, A est B.
7) Posita enuntiatione, poni potest ejus affirmatio, nisi aliud
admoneatur. Veluti si positum sit A est B, poterit poni,
ropositionem referri, non approbari. Est canon
pendens ab usu signorum ne
7) Affirmatio et negatio negationis aequipollent (bb) Est axioma
11) Si affirmatio non est vera negatio est vera. Nam si
affirmatio non est vera, affirmatio potest negari per 5
non esse veram. Quod est (per 5) posse poni ejus negationem, id est (per 3)
negationem esse veram.
Aliter: si affirmatio non est vera etiam (per
sed negationis propositi ipsam negationem posse negari est negationem
propositi posse affirmari (per 9). Id est (per 6) propositum posse negari.
12) Si affirmatio plures sint propositiones ve
12) Si positis proposi enuntiationibus sequatur nova
et haec sit falsa, etiam aliqua ex illis
erit falsa. Axioma Hoc est axioma.
13) Si negatio est vera, affirmatio non est vera.
14) Si negatio non est vera, affirmatio est vera
sequuntur 13 ex 10, et 14 ex 11 ope 12.
nisi aliud admoneatur. Patet ex numeris 6 et 7.
dici veram,
est vera seu
enuntiationis et enuntiatio
dicere enuntiationem esse
et enuntiationem
aequationem poni absolute
enuntiatio et affirmatio
possum, inquies, referre
cujus sententia
ex cujus sententia
quae potest affirmari.
seu aequivalet
6) Aequivalet enuntiatio
Videntur tamen necessario superesse quaedam enuntiationes
Facile demonstrari potest ex generali modo ratiocinandi
erminus primitivus seu attributum
requisitum simplex est, quod per se
concipitur, seu quod alio requisito non indiget
caret.
Exempli causa pone a
esse d esse ae, et a esse bc,
Sunt aliqui termini primitivi
nihil concipitur.
Termini primitivi sunt plures: alioqui nulla
esset varietas in compositis.
Omnes termini primitivi sunt possibiles
Possibile est ex cujus positione
nulla sequitur propositio falsa, seu
quod non implicat contradictionem.
f terminus
Omne Requisitum primitivum est
primitiva resolvi possunt
resolutione in requisita primitiva facta,
aut possibili demonstrata.
resolutio vel facta est vel in potestate
t i o est propositio prior
natura ex qua alia propositio
demonstratur.
ratio sit cd, erit cd causa, ab effectus.
cd, erit cd causa, ab effectus.
reddi non potest ex aliquo capite, v.g.
a aequ. bcd et b aequ. ce
t c aequ. gh et d aequ.
non distinguuntur,
discrimine non adhibito,
horum enim
inter illud et hoc poterit demonstrar
aequ. ce
Sit ergo propositio
c est a (in qua a est praedicatum), jam
ex hypothesi a est b. Ergo per artic. 5
c est b seu in prop. c est a potuit
b substitui in locum ipsius a.
alia propositio
a est d. Jam
Ergo per artic.
b est d. Sive in prop. a est d, poterit b
substitui in locum ipsius a.
Cum ergo
in propositione a est d possit substitui
b in locum a, patet ubique substitui posse,
adeoque esse idem
a, etiam de
Eadem ratio Quod autem
a patet respectu b,
nam eodem modo se invicem habent.
Itaque sunt eadem.
reduci potest ad per se veram, aut jam probata
ut haec a est d.
Ponamus enim
ex a est d substituendo fiet:
bc est d.
Ponamus porro d esse bce (id
tunc ex prop. bc est d fiet bc est b
quae propositio identica est.
attributum reciprocum.
idem est cum subjecto,, verbi gratia:
a est bc, erit bc attributum recipro et
bc est a, erit bc attributum reciprocum.
poterit demonstrari.
enim definitio
quod animal rationale,
est Attributum reciprocum.
Ex unoquoque attributo reciproco omnia subjecti
praedicata inveniri et demonstrari possunt.
Hinc patet verus usus analyseos, quomodo
propositionum veritas
ostendi possit, reducendo eas
ad veras, si scilicet substituendo
aequivalentia, ita enim semper
regressus locum habet.
artic. 6
Potest et
est, quae ex propositionibus
per se veris per definitiones et conseque
ntias seu substitutiones rectas,
reduci potest ad
fieri potest.
Indiget tamen prior praedicatis
uti deductionibus
ex vero sequi potest falsum etsi
ad absurdum, patebit hoc modo constructio
rei ope
. Hanc definitionem praefero magis
capit vulgus, et sufficit ad judicium,
sed prior utilior est ad inventionem.
reciprocis, cum posterior contenta sit praedic
ad absurdum. Quia
etsi ex falso verum. Hinc et
velimus et quaeramus constructionem rei,
ponamus rem non adesse,
vendo assumamus aliquid quo ducamur
praedicatis communibus. Si tamen et
in analysi volumus uti solis attributis
quas ingreditur a, reduci possunt ad tres, scilicet
a est d, et ab est e, et c est a, unde
ostendam has tres substitui posse: f est d, et fb est e,
et c est f.
etiam f erit d. Item quia f est a
etiam fb erit ab (per demonstrata in additionibus)
jam ab est e ergo fb erit e. Denique quia
c est a et a est f etiam c erit f. Eodem
autem modo quo ostendimus f posse substitui
in locum a, etiam ostendetur a posse
substitui in locum f, tum quia a an f eligeremus in arbitrio fui
t tum et quia supra num. 6 ostendimus
reciprocari substitutionem.
s est quod termino aliquo, ut a vel
vel ab significatur
Si a est m
b est m
est m
est idem.
Ut investigem quid sit unum et plura consideranda
sunt exempla. Dicimus: Petrus est unus Apostolus. Paulus est unus
Petrus et Paulus sunt plures Apost
si dicam Petrus est unus Apostolus,
Paulus Discipulus qui Christum abnegavit est unus
Apostolus, non ideo
hinc plures fiunt Apostoli,
est idem. Definitio ergo Unius Apostoli U
a et b idem.
Si a est m, et b est m, et neque a est b
Si a est m neque b est m, et a est b nec
tamen b est a, incertum est an plura sint m
Sed hinc incertum an sint plura animalia, forte enim nullus datur alius homo quam Adam
Omne) animal rationale est rationale.
(sive omittendo b)
sive
Omne) animal est
animal.
Si a est b, et b est c,
Ergo a est c
4) Hinc sequitur:
Si a est bd et b est c, Ergo
a est c
(Omnis) homo est animal rationale. (Omne) animal est substantia.
Ergo (omnis) homo est substantia.
Hoc ita demonstratur:
Si a est bd, Ergo ex hypothesi; et bd est b
per num. 2. Ergo a est b per num. 3.