Académique Documents
Professionnel Documents
Culture Documents
matemtica condicionar la perspectiva y desarrollo tanto de la Lgica, como del Pharus de Sebastin IZQUIERDO, y servir para intentar un tratamiento de la lgica como si de un problema matemticocombinatorio se tratara.
I.
1. IZQUIERDO, S., Pharus Scientiarum, Lugduni, sumpt. Claudii Bourgeat et Mich. Lietard, M.DC.LIX, fol. 2 vols., pp. 410 et 372. Ser citado
por las iniciales maysculas P. S., indicando volumen, I o II, pgina y n.
correspondiente.
2. Por sealar esto en algunos de los autores que Izquierdo citar en
este tratado basta recordar a Hurtado P.: Universa philosophia, disp. Logicae (Lugduni 1624); Lynce, R.: Universa philosophia scolastica, vol. I:
Tomus primus Complectens Dialecticam, Lugduni 1654; Conimbricensis:
Commentarii Collegii Conimbricensis in Universam Dialecticam Aristotelis
(Conimbricae 1606); Oviedo, Francisco: Integer cursus philosophicus, contr.
Logicae (Lugduni 1640); Echalaz, J.: Philosophia, continens Dialecticam...
(Lugduni 1654); Compton Carleton, T.: Disputationes in Universam Aristotelis Logicam (Amberes 1649). Y en otros que no cita, vgr., Complutensis:
Cursus Complutensis, vol. I: Artium Cursus, sive Disputationis in Aristotelis Dialecticam (Alcal 1624); Jungius, J.: Lgica Hamburgensis (Hamburgo 1638); Juan de Santo Toms: Cursus philosophicus, vol. I: Ars Lgica
(Roma 1637, Colonia 1638).
220
P.
P.
P.
P.
P.
P.
S., I, 1-109.
S., I, 110-166.
S., I, 104-410; P. S., II, 1-102.
S., II, 103-237.
S., II, 239-276.
S., II, 277-372.
221
Izquierdo-Aristteles.
222
LA LGICA DE SEBASTIAN
IZQUIERDO
Syntaxis Artis Mirabilis de Pedro Gregorio TOLOSANO, Digestum Sapientiae, de Ivo DE PARS, Ars Cyclognomica de Cornelio GEMMA, y la Instaurado Magna de Francisco BACON, tratando
de mostrar que ha habido intentos de construir un Arte General
del Saber, pero que el suyo al corregir los defectos y al asumir las
aportaciones de las obras y tradiciones subyacentes, tradicin lgica, tradicin retrica, tradicin lulista y mtodo cientfico, de las
obras apuntadas, es muy superior al de todos ellos 12.
La descripcin que IZQUIERDO realizar del Organon de ARISTTELES corresponder exactamente con los contenidos de cada uno
de sus libros. La lgica de Aristteles dice, comienza por el Libro
de las Categoras o de los Predicamentos, e indicar brevemente
su materia: trmino unvoco, equvoco, denominativo; los diez gneros universales: substancia, quantitas, relatio, qualitas, actio,
passio, quando, ubi, situs, habere; y post-predicamentos. Le sigue
el perihermeneias o de Interpretatione donde trata acerca de la
significacin de las voces, del nombre, verbo, oracin, enunciacin o
proposicin, y de la oposicin de las proposiciones. A continuacin
vienen los Primeros Analticos o libros de Priore resolutione,
donde trata de las especies de argumentacin, principalmente de los
silogismos y de cuanto les atae a la forma, prescindiendo de la
materia. En los Analticos Posteriores o libros De Posteriori resolutione, ARISTTELES versar acerca de la demostracin o del
silogismo demostrativo. Siguen a stos los Tpicos donde ARISTTELES se centra en la argumentacin y silogismo probable. Y por
ltimo Elenchos, que tratan acerca de las argumentaciones, y
adems del silogismo sofstico de las falacias, y de los lugares donde los sofistas suelen sacar sus argumentos 13.
IZQUIERDO insistir en sealar que los libros y temas anteriores
constituyen la lgica de ARISTTELES 14, y que a sta PORFIRIO
aadi el tratado de los Predicables, con nimo de arrojor luz sobre
12. P. S., II, 278, 11: Ars universalis sciendi, de qua in praesenti sermo
est, de facto iam datur re ipsa, in librisque scripta circumfetur: minus
tamen perfecta, minusque expsita demonstrata quam nos eam damus in isto
opere.
13. P. S , II, 280, 19-23.
14. P. S., I I , 280, 24: Haec Arist. in sua Lgica.
223
224
LA LGICA DE SEBASTIAN
IZQUIERDO
ARISTTELES,
TELES.
3.
Lgica y Combinatoria.
226
LA LGICA DE SEBASTIAN
IZQUIERDO
29.
30.
Ibidem.
P. S., II, 342, 86.
227
228
sino que dentro del campo combinatorio tienen cabida todos los
trminos capaces de generar proposiciones, y todas las proposiciones
susceptibles de ser combinadas con otras, para llegar a elaborar la
materia de toda la ciencia, de la cual se forma toda ciencia humana36, sometindola a las distintas especies de combinacin.
El alcance que supone esta innovacin para la Lgica, se comprende ms plenamente al ir recorriendo las apretadas pginas de
su aplicacin a la Lgica del Pharus y al constatar cmo el
tratamiento tanto de la proposicin como el de la argumentacin
desborda los lmites anteriores, y cmo estos campos quedan configurados desde una perspectiva nueva e integradora de las diferentes doctrinas y tradiciones lgicas, al servicio de una finalidad
concreta: el llegar a construir la ciencia.
No vamos a insistir ms en este punto, pues a lo largo de la
exposicin tendremos oportunidad de constatar el alcance de la
Combinatoria aplicada en concreto a la lgica. Slo nos queda
sealar que en el desarrollo lgico, junto con la Combinatoria, estarn presentes doctrinas como la conexin y oposicin, que luego
indicaremos.
II.
SEGUNDA PARTE:
LA LGICA DE IZQUIERDO.
36. P. S., II, 110, 1: ...quae veluti materia sunt, unaequeque suo modo,
ex qua omnis scientia humana compingitur.
37. P. S., II, 103.
229
cin de huir de las intiles controversias de los modernos, y cimentar una lgica fundada en reglas ciertas y claramente demostradas, posibilidad que se le ofreca desde la consideracin de que la
lgica era susceptible, lo mismo que la Combinatoria, de un
clculo y que ste poda ser transportado a la lgica a travs de
reglas claras y precisas, y mediante su oportuna simbolizacin.
1.
Trmino.
La disputado que IZQUIERDO dedica al trmino incluye principalmente el trmino y la suppositio. El tratamiento que I Z QUIERDO da a ambos puntos es claro y bastante esquemtico, y
contiene doctrinas que estaban presentes en la lgica escolstica,
principalmente en las grandes Smulas nominalistas 38 , y en la escuela
jesutica 39. No parece ofrecer innovaciones notables, en cuanto a la
materialidad de los contenidos, aunque s se puede afirmar que sus
propiedades son analizadas desde una perspectiva ms amplia que
parece escapar de alguna manera a planteamientos anteriores, como
prembulo al estudio de la proposicin y como materia para la
construccin de la ciencia y del Arte General del Saber. En concreto
los trminos sern definidos como los primeros elementos con los
cuales se construye toda ciencia humana 40, y la parte aptitudinal
de la proposicin, esto es, que tiene potencia o aptitud para componer la proposicin y consecuentemente para determinar su resolucin 41.
El estudio de los trminos que ofrecer IZQUIERDO se centra en
su definicin, divisiones y propiedades lgicas: suppositio, status,
ampliado, restrictio 42, de la que solamente estudiar la supposi-
38.
A las que nos remitir expresamente a consultarlas, P. S., II, 110, 32.
39. Concretamente Ricardo Lynce, S. J. (1610-1676) del que citar: Universa Phosophia Scolastica, 3 tomos Lugduni 1654), principalmente el
tomo I: Tomus primus complectens Dialecticam).
40. P. S., II, Tract, IV, 103.
41. P. S, II, 103, 2.
42. P. S., II, 109, 32.
230
LA LGICA DE SEBASTIAN
IZQUIERDO
tio, fijndose en la definicin, divisin, en las reglas cuantificacionales para una correcta suppositio y en la relacin de la suppositio con la doctrina del ascensus-descensus.
En la doctrina del trmino que IZQUIERDO propondr, no har
uso del clculo lgico a travs de la Combinatoria, limitndose ms
bien a utilizar un carcter expositivo en su presentacin y a sealar
el sentido preambular e introductorio, que en su opinin, tiene de
cara a la proposicin.
2. Proposicin.
El estudio que IZQUIERDO dedicar a la proposicin se centra
en torno a la definicin, divisiones y propiedades relativas: oposicin,
conexin, equivalencia y conversin.
El tema de la proposicin ser amplia y minuciosamente tratado
por IZQUIERDO. Pero llama profundamente la atencin el constatar
los pocos autores que son citados: Aristteles, 7 veces en total,
sindolo una vez el Perihermeneias o De Interpretatione, 4 los
Primeros Analticos, y 2 los Segundos Analticos; el Cursus
Conimbricensis ser citado una vez; una tambin Sto. Toms, I
p., q., 2, art. I; y otra la Sagrada Escritura, Mateo 8.
Esta constatacin de ausencia explcita de fuentes y los pocos
puntos de contacto con otros autores desde el hacer lgico que
IZQUIERDO pretende llevar a cabo mediante el clculo lgico, que
comenzar a utilizar en la proposicin y luego en la argumentacin,
concretamente en el silogismo, significar de alguna manera el inicio
de un nuevo comprender y operar con la lgica.
a)
Definicin y Divisin.
Si los trminos eran para IZQUIERDO: como los primeros elementos con los cuales se construye toda ciencia humana, ahora
la proposicin ser: como la materia, de la cual se forma toda
ciencia humana. Y dividir la proposicin de acuerdo con el siguiente esquema:
231
simple
objetiva
afirmativa
KI
absoluta o
categrica
\ compuesta
formal
I simple
negativa
condicionada
o hipottica
1 compuesta
copulativa
disyuntiva
causal
racional
copulativa
I disyuntiva
causal
racional
^ (mixta)
copulativamente
disyuntivamente
causalmente
mixtamente
b)
Clculo proposional.
LA LGICA DE SEBASTIAN
IZQUIERDO
c) O de predicado singular, como ser cualquiera de los trminos singulares, o comn con el signo demostrativo:
1)
2)
3)
4)
5)
6)
La simbolizacin que
ser la siguiente:
IZQUIERDO
:
:
:
:
:
:
43.
234
LA LGICA DE SEBASTIAN
IZQUIERDO
c) Proposicin modal.
Un apartado especial dentro de la proposicin lo dedicar IZa la proposicin modal. De sta sealar cuatro modos
fundamentales para construir dichas proposiciones, tomndolo o
bien nominalmente como possibile, impossibile, necesse y
contingens, o bien adverbialmente a travs de possibiliter, impossibiliter, necessario y contingenter. Cada uno de estos modos, tomados nominalmente, sern simbolizados por las letras siguientes:
P = possibile
C = contingens
R = impossibile
N = necesse
QUIERDO
Su afirmacin o negacin se manifestar cuando vayan o no acompaados de la letra minscula n. Los dictum, por su parte, como
corresponden a proposiciones de inesse, y stas a categricas, o
hipotticas, o compuestas, sern simbolizadas por las mismas letras
que aquellas, vgr.:
PA
nCI
RVn
nNE
=
=
=
=
El nmero de posibles modales que IZQUIERDO dice que se podran calcular atendiendo al modo y dictum dara como resultado un nmero total de combinaciones y de proposiciones modales, que nos llegara a desbordar u.
d)
235
a
a
a
o
a
Para luego hacerla extensiva a todas las proposiciones que se pudieran obtener, sean stas categricas, hipotticas, compuestas o
modales.
IZQUIERDO desarrollar cada uno de estos pasos, mediante el
siguiente esquema metodolgico:
1.
236
LA LGICA DE SEBASTIAN
IZQUIERDO
general que abarquen el conjunto de dichas proposiciones, IZQUIERDO con el fin de hacerlo demostrativamente, descubrir siete posibles comparaciones entre dos proposiciones modales46:
1. Que ambas tengan el mismo dictum.
2. Que los dictum sean contradictorios.
2. Que los dictum sean contrarios respecto al medio.
4. Que los dictum sean contrarios con admisin de
medio.
5. Que tengan los dictum mutuamente conexos.
6. Que tengan los dictum no mutuamente conexos.
7. Que tengan los dictum subcontrarios.
e)
Conversin.
IZQUIERDO
MUOZ DELGADO,
V., Lecciones de
237
3.
Argumentacin.
LA LGICA DE SEBASTIAN
IZQUIERDO
51. Ibidem.
52. P. S., I, 56, 48-50. Aqu Izquierdo estableca 25 modos de combinar
antecedente y consecuente, desde la consideracin de stos como positivos
o negativos, simples o compuestos, y mixtos.
53. P. S., II, 237, 328-32.
54. P. S., II, 175-76. Izquierdo apuntar: in quatuor illa membra dividi
potest, in quae ab Aristotele et aliis divisa est.
55. P. S., II, 176, 10; I, 1-17.
56. P. S., II, 176, 11.
239
lico dir: Aristotlica eque exacte demonstrata, eque satis perfecta; sed manca et mutila circumfeturS7.
El propsito de IZQUIERDO va a estar encaminado a construir
un arte silogstico demostrativamente exacto y perfecto, y aplicable
no slo a los silogismos categricos de medio comn sino a todos
los que se puedan obtener, partiendo de las 18 proposiciones propuestas y referido al silogismo categrico de medio comn y de
medio singular, al silogismo hipottico, al compuesto y al modal.
3.1.
IZQUIERDO antes de exponer su doctrina acerca del silogismo categrico de medio comn, va a presentar brevemente la aristotlicoescolstica, sealando los dos principios bsicos sobre los que se
funda: Quidquid ver affirmatur de omni, ver etiam affirmatur
de quolibet contento sub omni; et quidquid ver negatur de omni,
ver etiam negatur de quolibet contento sub omni58, equivalentes
a su frmula resumida: Dici de omni, et, Dici de nullo; las cuatro proposiciones: A, E, I, O, de las que consta59; y las cuatro
figuras silogsticas sobre las que opera60. Y se preguntar: Cmo
habr de ser construido el arte de los silogismos categricos de medio comn, que forma la lgica de ARISTTELES, para que llegue a
ser demostrativamente exacto y perfecto61. La respuesta inmediata que ofrecer IZQUIERDO es la de indicar que la doctrina referida a
las cuatro proposiciones: A, E, I, O, hay que hacerla extensiva a
las 18 proposiciones suyas, y que las figuras silogsticas no han de
ser reducidas a las cuatro de GALENO, O tres de ARISTTELES, sino
elevadas a ocho, cuatro directas y cuatro indirectas62.
Desde esta perspectiva IZQUIERDO iniciar el estudio del silogismo categrico comn, dividindolo en tres partes:
a)
IZQUIER-
Primero: una serie de principios que funcionarn como reglas precisas, que han de ser respetadas para que los silogismos obtenidos sean legtimos:
Ut syllogismus huius Ars legitimus sit, altera saltem praemissarum eius debet affirmativa esse, et mdium in altera saltem
debet esse distributum 63.
Ut syllogismus huius Artis legitimus sit, omnino debet
non proceder a termino non dis tributo ad distributum, sive non
habere in conclusione distributum terminum, quem habet in antecedente 64.
Ut syllogismus huius Artis legitimus sit, quoties altera
praemissarum est particularis, et altera universalis, conclusio debet esse particularis, eque universalis esse potest65.
Quoties ambae syllogismi praemissae sunt particulares, de
quibus modo agimus, nihil ex eis legitime infertur66.
63.
64.
65.
66.
P.
P.
P.
P.
S.,
S.,
S.,
S.,
II,
II,
II,
II,
178, 23.
178, 26.
179, 28.
179, 29.
241
AA
AE
AI
AO
EA
HEE-
El
E*
IA
IE
*e-
OA
0E-
ee-
L__
Este nos da 16 binarios, de los cuales 7 son intiles, y 9 tiles
de acuerdo con los principios o reglas dadas.
242
2?
AA
AAA
A AT7.
FL2\Lm
AAI
-AA-
AE
-AEA-
AEE
ATT
TEJT^
AEO
AI
-AiA-
A TT7
TTTTT
AII
ATA
AO
A A A
*&
A A T
TT^TT
A00
EA
T A . A
EAE
T? A T
EAO
El
IA
IE
OA
1
1
T?T A
TTTTx
T-'TT?
HiLxll
T A A
TTTTT
T AT?.
TTfTf
TT5T7
i
1
AAT1T7ZTT7
EIO
\ *
IAI
i m r
fP A
/~v A A .
TTTTTT
llilxL
H3
A A T
TAA
jHnrcT
1
i
IEO
OAO
directos
A
E
A
E
A
E
A
A
I
I
A
A
A
E
I
O
I
O
A
E
A
A
I
E
(barbara)
(celarent)
(darii)
(ferio)
A
A
I
E
E
A
I
E
I
O
O
O
(baralipton)
(celantes)
(dabitis)
(fapesmo)
(fresisemorum)
E
E
O
O
O
O
(cameste)
(cesates)
(fitesmo)
(botaco)
I
O
I
I
O
O
(dapami)
(faptemo)
(darisis)
(dismati)
(fistemo)
(batoco)
Segunda Figura
indirectos
directos
E
A
E
A
E
A
A
E
I
O
A
E
E
E
O
O
O
(cesare)
(camestres)
(festino)
(baroco)
A
E
I
O
A
E
E
A
E
A
E
A
Tercera Figura
indirectos
directos
E
I
A
O
E
A
244
A
A
I
A
I
A
O
I
I
O
O
I
(felapton)
(disamis)
(datisi)
(bocardo)
(ferison)
(darapti)
A
A
A
I
I
A
A
E
I
A
E
O
LA LGICA DE SEBASTIAN
IZQUIERDO
Cuarta Figura
directos
A
A
I
E
E
A
A
E
A
A
I
E
indirectos
I
E
I
O
O
O
(bamalip)
(calemes)
(ditamis)
(fesapo)
(fesiso)
A
I
I
A
A
A
A
A
E
E
A
E
A
I
O
E
I
O
(barmaba)
(dimari)
(firemorum'
(calerem)
Resultado que aunque es idntico al nmero total de silogismos, 512, obtenido por HOSPINIANUS, y por LEIBNIZ en De
Arte
b)
Una vez que IZQUIERDO ha obtenido todos los silogismos legtimos e ilegtimos desde las proposiciones aristotlicas: A, E, I, O ,
ampliando y perfeccionando con ello dicha silogstica, pasar a hallar los silogismos que ahora se pueden obtener desde estas 12 proposiciones. El nmero total de silogismos que deducir ser de
13.824, de los cuales 758 quedarn como legtimos y tiles, siendo
los restantes desechados por intiles e ilegtimos. De los 758 silogismos IZQUIERDO nos ofrecer la correspondiente tabla 70 .
67. LEIBNIZ, G. W., De Arte Combinatoria, pp. 13-17, en Opera philosophica. Instruxit J. E. Erdmann. Faksimiledruck der Ausgabe 1840 von
Renate Vollbrecht. Scientia Aalen, 1959.
68. COUTURAT, L., Opuscules et Fragments indits de Leibniz (Hildesheim 1966), pp. 292-313. BOCHENSKI, I. M., Historia de la Lgica formal
(Madrid 1976), p. 273. COUTURAT, L., La Lgique de Leibniz. D'aprs des
documents indits (Hilsdesheim 1969), pp. 2-8.
69. PRIOR, A., Historia de la lgica (Madrid 1976), pp. 107-108.
70. Cf. P. S., II, 195-201.
245
c)
3.2.
246
LA LGICA DE SEBASTIAN
IZQUIERDO
Primera Figura
directos
V
Vn
Vn
ti
ti
ti
indirectos
I
O
tO
ti
Segunda Figura
directos
ti
ti
indirectos
ti
ti
Tercera Figura
ss>.r
directos
V
Vn
Vn
V
V
V
indirectos
I
O
tO
V
V
V
V
Vn
Vn
I
O
tO
Cuarta Figura
directos
ti
3.3.
indirectos
I
ti
ti
ti
V
Vn
Vn
I
O
tO
Silogismos hipotticos.
cipios:
Quidquid verificatur aut affirmative, aut negative de omni
sub aliqua hypothesi, sub eadem pariter verificatur de quolibet contento sub illo75.
Quidquid verificatur affirmative, aut negative de termino
singulari sub aliqua hypothesi, sub eadem pariter verificatur de quolibet identificato cum illo 76.
Aadiendo que todos los resultados obtenidos en los silogismos
categricos de medio comn y de medio singular son vlidos y aplicables a stos puramente hipotticos, con tal que se aada a cada
una de las proposiciones categricas la correspondiente letra H,
para que queden transformadas en hipotticas. De esta manera los
modos legtimos que se pueden obtener son los mismos que sus
repectivos categricos, vgr.: A, I, I, se transforma en HA, HI, HI.
Ejemplificndolo tenemos:
A
I
I
Los silogismos hipotticos mixtos estarn regulados por dos principios especficos:
Coniunctum ex duabus quibusque veritatibus absolutis cum
duabus condicionatis, quibus unaquaeque absolutarum sub conditio-
248
LA LGICA DE SEBASTIAN
IZQUIERDO
249
1.
2.
3.
4.
H
nHn
Hn
nH
C
D
C
D
T
i
1
T
Tercera figura
Segunda figura
Primera figura
1.
2.
3.
4.
H
nHn
nH
Hn
t
T
1
T
D
C
C
D
1.
2.
3.
4.
5.
6.
7.
8.
C
T
D
=
=
=
=
=
=
=
=
=
=
=
=
1.
250
H
JL
3
nHn
nHn
Hn
T
D
1
D
T
C
nH
nH
Hn
Segunda figura:
Primera figura:
H
C
T
2. nHn
3
J_
3.
Hn
C
JL
4. nH
3
T
H
H
Ejemplificndolo, tenemos:
1.
T
C
LA LGICA DE SEBASTIAN
IZQUIERDO
1.
C
T
H
2.
T
C
H
3.
4.
5.
6.
T
D
nH
7.
D
T
nH
8.
H
nHn
Hn
nH
C
D
C
D
T
1
1
T
=
=
=
=
[(p - q ) A p ] - q
[(P -> q ) A p ] ->
C(P -> q ) A p ] - q
[(p -> q)A p] -> q
Segunda figura
1.
2.
3.
4.
H
nHn
nH
Hn
1
T
i
T
=>
C
C
3
=
=
=
=
[(p -
[(p
[( p
[(P -
q ) A q] -> P
- q ) A p ] -> q
- q)A q] -> p
q)Aq] - p
Tercera figura
C
T
D
T
C
H
H
nHn
nHn
Hn
nH
nH
Hn
=
=
=
=
=
=
=
=
1.
2.
3.
4.
5.
6.
7.
3.4.
Silogismo compuesto:
C
T
D
1
D
1
D
T
En el silogismo compuesto IZQUIERDO asumir la doctrina expuesta sobre la proposicin compuesta, especialmente lo relativo a
que las proposiciones compuestas se pueden reducir a las copulativas
y disyuntivas79, y ser definido como aquel que est formado al
menos por una o varias proposiciones compuestas 80.
79. P. S., II, 220, 212; I, 126, 85-86.
80. P. S., II, 220, 212.
252
so
253
P, si la proposicin simple o el contradictorio de la primera parte del disyuntivo o de la misma parte, fuera
afirmativa.
d, si la proposicin simple fuese negativa.
S, si la simple enunciante o el contradictorio de la
segunda parte del disyunto o de la misma parte fuese
afirmativa.
r, si fuese negativa.
Y las figuras silogsticas que propondr sern dos:
La primera que ser definida como: in qua ex disiunctiva,
et simplici enunciante contradictorium prioris partis disiuncti infertur enuntians partem posteriorem 86.
La segunda como: in qua vice versa, ex disiunctiva et simplici enunciante contradictorium partis posterioris disiuncti infertur
enuntians partem priorem 87.
Los modos tiles y legtimos que obtendr para cada figura,
despus del correspondiente clculo de binarios, de silogismos, y
de eliminar los ilegtimos, sern los siguientes:
Primera figura
1. D
2. nDn
3.
Dn
4. nD
d
P
d
P
Segunda figura
S
<;
sS
1. D
2. nDn
3. Dn
4. nD
<r
S
S
r
S
d
P
d
Ejemplificndolos, tenemos:
Primera figura:
1. D = Vel Petrus loquitur, vel Paulus loquitur,
d = sed Petrus non loquitur,
S = ergo, Paulus loquitur.
2. nDn = Vel Petrus non loquitur, vel Paulus non loquitur,
P = sed Petrus loquitur,
S" = ergo, Paulus non loquitur.
86.
87.
254
LA LGICA DE SEBASTIAN
3.
Dn
d
S"
4. nD
P
S
1.
2.
3.
4.
=
=
=
=
=
=
IZQUIERDO
Segunda figura:
'
D = Vel Petrus loquitur, vel Paulus loquitur,
T = at Paulus non loquitur,
P = ergo, Petrus loquitur,
nDn = Vel Petrus non loquitur, vel Paulus non loquitur,
S = at Paulus loquitur,
d = ergo, Petrus non loquitur,
Dn = Vel Petrus loquitur, vel Paulus non loquitur,
S = at Paulus loquitur,
P = ergo, Petrus loquitur,
nD = Vel Petrus non loquitur, vel Paulus loquitur,
= at Paulus non loquitur,
d = ergo, Petrus non loquitur,
Modos silogsticos que los podemos traducir tambin a la formalizacin actual, y que nos descubren las conocidas leyes equivalentes del silogismo disyuntivo inclusivo:
Primera figura
1. D
2. nDn
3.
Dn
4. nD
d
P
d
P
S
S"
7
S
=
=
=
=
[ ( p v q ) A _ p ] -> q
[(p v q) A p] -> _ q
[ ( p v q)A p ] - > q
[ ( p v q ) A p ] -> q
Segunda figura
1.
S-
[ ( p v q ) A - q ] - p
2.
3.
4.
nDn
Dn
nD
S
S
S"
d
P
d
=
=
=
[ ( p v q ) A q ] -> p
[(pv q ) A q ] -> p
[ ( p v q ) A q] - p
255
256
P.
P.
P.
P.
P.
LA LGICA DE SEBASTIAN
IZQUIERDO
Modo necesse.
1.aPara inferir legtimamente un silogismo verum ex vero,
de cualquiera de los silogismos legtimos obtenidos anteriormente,
si se toma ntegro el antecedente de inesse como dictum, y a
ste se le aade el modo necesse como antecedente modal, legtimamente se puede inferir un consecuente modal de necesse, teniendo los modos silogsticos de ste el consecuente de inesse
como dictum93, vgr.:
A
V
H
D
A
ti
C
d
A
I
T
S
=
=
=
=
NA
NV
NH
ND
NA
Ntl
NC
Nd
NA
NI
NT
NS
258
P.
P.
P.
P.
Modo impossibile.
El silogismo modal que tiene las dos o una de las premisas de
impossibile no puede de ninguna manera inferir legtima y determinadamente un consecuente de impossibile, de necesse o
de contingens; pero s lo puede hacer de uno u otro de estos tres
modos con tal que sean inferidos bajo disyuncin97.
Otras reglas que completarn las anteriores sern:
Cuando una premisa es de necesse y otra de possibile,
ambas se considerarn como de possibile, rigindose por la regla
de modo possibile 98.
Cuando una de las premisas es de contingens y otra de
impossibile, sta prevalece, y el antecedente hay que tomarlo
indivisamente como de impossibile rigindose por la regla de
modo impossibile99.
De esta manera IZQUIERDO deja resuelto el silogismo modal,
cumpliendo su propsito de atender a los cuatro modos, y de construir un arte universal para el silogismo modal. Silogismo que viene
a integrar plenamente los resultados y metodologa empleada en el
silogismo categrico, hipottico, y compuesto, al ser asumido como
dictum.
III.
259
LA LGICA DE SEBASTIAN
2.
La Lgica de Izquierdo
tutivos.
IZQUIERDO
consti-
La Lgica de IZQUIERDO contiene elementos fusionados provenientes tanto de la tradicin nominalista, aristotlica, como estoica,
pero desde esos mismos componentes es desde donde va a intentar
crear la lgica integra, porque la que hemos recibido de Aristteles de ninguna manera lo es 103. Pero su propsito no slo va
a significar un intento de renovacin dentro de la lgica clsica 104
y tradicional escolstica, sino que va como a retomar el espritu de
la tradicin luliana en cuanto al procedimiento mecnico de combinacin 105 , para transformar la lgica desde la teora matemticocombinatoria que propugna.
Para llevar a cabo su propsito IZQUIERDO ha desarrollado, desde
los conceptos de segunda intencin una teora sobre la conexin
y oposicin, como supuesto previo y bsico a todo clculo lgicocombinatorio. Esta doctrina sobre la conexin y oposicin viene a
ser como la cobertura a la Combinatoria, y tambin como una
extensin de la doctrina de la consequentia. 'Sobre esta base se
apoyar para establecer el clculo lgico matemtico que hemos
visto. Para operar adecuadamente IZQUIERDO introduce un sistema
de simbolizacin lgica, unas reglas precisas y una posibilidad de
correccin de los resultados desde el propio sistema, susceptible de
ser aplicado a todo tipo de proposiciones, lo mismo que a la cuantificacin de predicado, y las estructuras argumentativas 106.
Estos elementos y su posibilidad efectiva de transformarlos en
un clculo fiable, hace que el intento lgico de IZQUIERDO desborde
los lmites de la lgica clsica y que se le pueda considerar como
un precursor de la lgica moderna al igual que LEIBNIZ 107. Tanto
103.
104.
105.
nes de Lgica, vol. II, p. 188. COLBERT, J., La evolucin de la Lgica simblica y sus implicaciones filosficas (Ediciones de la Universidad de Navarra,
Pamplona 1968), p. 21. CRUZ HERNNDEZ, M., El pensamiento de Ramn
261
Inc. Englewood Cliffs, New Jersey). DANEK, J., Les projets de Leibniz et de
Bolzano deux sources de la Logique Contemporaine (Les Presse de FUniversit
Laval, Quebec 1975). BARONE, F., Lgica frmale e Lgica Transcendental.
Da Leibniz a Kant (Edizioni di Filosofa, Torino 1957). SERRES, M., Le
Systeme de Leibniz et ses modeles mathematiques (Presses Universitaires de
France, Pars 1968).
108. FUERTES HERREROS, J. L., El Arte General del Saber, p. 28.
109. Cf., nota 2, donde se da noticia de estos tratados.
110. (Campaniae 1670); pp. 921-1036.
111. (Valentiae 1697), pp. 171-72.
112. (Crembsii 1740). RISSE, W., Die Logik der Neuzeit, II Band, 16401780 (Stuttgard-Bad, Cannstatt 1970), pp. 312 ss.
113. COUTURAT, L., Opuscules et Fragments inedits de Leibniz, pp. 560-61.
114. COUTURAT, L., Opuscules et Fragments inedits de Leibniz, pp. 34546. PRIOR, A., Historia de la Lgica, p. 116.
262
LA LGICA DE SEBASTIAN
3.
IZQUIERDO
115. P. S., I, Praefatio, pgina quinta sin numerar: ut fecerunt Geometrae et Arithmetici, P. S., I I , 277, 4.
116. Cf., p. 224.
117.
BOCHENSKI,
II, 188-89.
118.
Texte.
263