NCICLOPEDIA

MERICANA
ILOSOFfA

rt
9

.9

U
(

o
.9
(t
DO

.:

tJ

o
!

o-

6
o
o
E

HISTORIA DE LA LGICA

los A. Robles Garca

se presenta un sucinto panorama histrico de

la lgicaividido en-las siguiintes secciones: I. Lgica griega; II. Lgica
medi"eval; IIL La lgica ates de Frege; IV. La lgica de Frege; V' Despus de Frege.
Ci..t"*.tte muchas cosas quedarn fuera de este panorama y el detalle de algunos de los diferentes ie*rs qo. aqu presentar o a los que slo
t"irio encontrar el lector en los-diveisos artlculos de esta enciclo-

En las siguientes pginas

'

pedia dedicados precisamente a esa tarea.

' El tema de la^lgica medieval, aun cuando p-er -se es de gran i*pqtt"rr.i, por la varied y riqueza de tratamiento de diversos tipos de inferenclas, me veo p.e.rtrdo-, bosquejarlo tan solo' tomando tres temas
centrales, pocostiemplos y menos autores y matices.

I.

1.

LGICA GRIEGA

Aristteles

con el trabaio

de Aristteles (384-322 a.C.) surge la lgica

en_

el mundo.

del silogismo, ala que s alude cuando se habla

de la lgica aristotlica como un antecedente remoto de la lgica con-

ir.oU lateoa

tempornea.
En el despliegue de la parte central de su teora, Aristteles slo considera cuatro tips diferentes de enunciados o proposiciones partir de
los cuales formula sus propuestas de argumentacin vlida. Los cuatro
enunciados (o, melor,/nias enunciatius, esto es, expresiones en las que

q" s" convierten en enunciados una vez qu estas

vriables sc suStityen por las expresiones adecuadas correspondientes)
. cu.iiiOn son el universal afirmativo, 'Todo S es P' (A), el universal
ficuran variables

49

IOSE A. ROBI.ES GARCIA

HISTORIA DE LA I-GICA

,Ningn s es P' (E), el Particulaf afirmativo, 'Algn s es P'(I)

.r.gu,r- 'Algn S no es P'(O)' E! donde las letras 'S'y

negarivo,
., el nrricul",

p-i.rtivas

que toman como valores sustantivos gene-

h:r5;;;;i;ti.r
enunciativa del tipo (I), 'Algn S es
rales. de talmanerag.r. r* fotryS
hombre es mortal al sustituir'S'
nunciado.'Algn
a
;1'?;;;;."
respectivamente. Finalmente es preciso
.'pf"#il;J;,
;
;;r'mo131', consider otra clase de enunciados, los
Ii,;'";;;ri"1.i* tambin
es mortal',que comentaristas posteriores asii;ii;tj":i;;."--("rrtesuniversales
afirmativos, creando bastante con;il;;;;;i;: .rr.,.triot tiene caractersticas
diferentes en ambos casos.
ill'r1ffi;i, pi.i.riin
las relaciones lgide
representar
postaristotlica.
La manera grtrca,
aristotlicas
categricos
enunciativas)
(formas
.r, ii r.-f,o, ..rra"drcon el nombre de cuadrado de oposicin y es el
(A, E, I, O), se.orott
siguiente:

las formas enunciativas, sin entrar en demasiados detalles) como un con-

junto de enunciados, et, e'2,..., e., tales que stos prouienen

de inferencia:

contrarias

Ningn S es P

Todo S es P

.'. Algn S no es P

.'. Algn S es P
S
S

Estos esquemas (que corresponden a la relaci6n de subalternacin;

cf. swpra, p. 50), aun cuando tienen una apariencia intuitiva correcta,
fueron puestos en cuestin, como veremos (cf. infra, pp. 63 ss.), por los

b
a

dc
i
dc

t
e

lgicos contemporneos.
Los silogismos aristotlicos, segn lo seal, son esquemas de argumentacin compuestos de dos premisas y una conclusin. En los silogismos, para ser tales, deben de figurar, entre premisas y conclusin, exactamente tres trminos, es decir, slo tres expresiones diferentes de las que
forman los sujetos y los predicados de los tres enunciados. Un ejemplo
de silogismo esquema es el siguienter

t
e

r
n

subcontrarias

conclusin

K'il;:1r"L*uot

." cambio, pueden ser ambos uerdaderos, pero no

li[lr#;ir..rl,
por otra parte' con respecto a la subalternacin' de la verfalsos;

se sigue la verdaddel subconili'."i;i'";; .lo'i(I,contrariol(4,.E):

O) y.de la falsedad de cualquiera.de los. subal;;;;;;ondiente
del contrario correspondiente (A, E).
;;; ;-l: ie sigue.la falsedad
contradictorlos tieen siempre valores verita-

Finalmente,

;*;;;

T.a

los enuncados
es
os: si wno de ellos

silosstica artstotlica

uerdadero, el otro es falso y a la inuersa.

de la que hoy se considera la
deducliva. Conforme a sta, se define lo

folqa parte

,.rr'r;;;".Hi'. lrfrr.ncia

ulido (y aqul tendremos que apelar

que es un argumento deductivo
.50

Todo B es C
Todo C es D
.'. Todo B es D

premisa menor
premlsa mayof

lgicas que se dan entre estos enunciados son: los conLas relaciones
".
ado s univers ales ), _pueden set am b o s f a l'
,r r rir ir" i i'.E ri . rl t" r enunci
iu,rdoderos; los subcontrarios.(r' o; e.st9 es' los enun-

ambos

de formas

enunciatiuas tales que es imposible que haya una sustitucin (de las variables por predicados) en la que los enunciados resultantes, e (1 ( j<n),
sean todos verdaderos y e" sea falso. A los enunciados ej se les denomina
premisas del argumento y al enunciado e" se le llama conclusin. En la
silogstica aristotlica se estudian argumentos formados por slo dos premisas y conclusin, donde estos tres enunciados (formas enunciativas)
sern, todos, slo de alguna de las formas A, E, I, O arriba mencionadas.
Aristteles desarrolla la teora del silogismo consideranda todas las
formas vlidas posibles de inferencia dentro de este esquematismo lgico.
Conforme a 1, son vlidas las inferencias que, de un enunciado universal como premisa van a un enunciado particular como conclusin, es decir,
los siguientes esquemas (formas de argumento) muestran formas vlidas

En donde los tres trminos diferentes estn representados por las tres
letras 'B', 'C' y 'D'. A partir de esta composicin los trminos reciben
los siguientes nombres: 'D', el predicado de la conclusin, se denomina
trmino mdyor;'B', el sujeto de la conclwsin, se denomina trmino ftienor
y, finalmente,'C', el trmino que figura slo en las dos premisas, se denomina trmino medio. A partir de estas denominaciones, las premisas reciben los nombres de, premisa mayor, aquella en la que figura el trmino
mayor y premisa menor, aquella en la que figura el trmino menor, sin
importar el orden en el que tales premisas se encuentren colocadas.
Tras las observaciones anteriores, podemos entender la agrupacin
que hace Aristteles de los silogismos en tres figuras bajo las que caen
diversos modos. Las figuras dependen de la colocacin de los trminos
en las premisas y los modos dependen del tipo de enunciados que for.51

JOSE

A.

HISToRIA DE I.A I.GIcA

ROBLES GARCA

men el silogismo. De acuerdo con esto, las figuras del silogismo aristotlico son:

13 figura

2? figura

33 figura

C-D
B.C

D-C

C-D

mayor

B-C

C-B

menor

B.D

B-D

B-D

conclusin

Y los modos en cada una de las figuras anteriores, son:

33 figura
13 figura
2? figura
A, A/I
A, A/A
E, A/E
A,l/l
E, A/E
A, E/E
E, A/O
A, I/I
E, I/O
E,l/o
E, I/O
A, O/O

, A/l

o, A/o

lo

que muestra el esquema anterior es el tipo de premisas y de.conclusin que pueden figurar en esquemas vlidos (cf. supra, p. 51) de silogismo
en cada una de las tres figuras. s, el caso A, A/A de la primera figura seala
que en esa figura es vlid"o un silogsmo cuyas dos premiias y conclusin sean
enunciados universales afirmativbs (A). En la segunda figura la conclusin
siempre es negativa (E u O)y, por esto, una de las premisas debe se negativa.
En la tercera figura todas las conclusiones son particulares (I u O).
Las reglas de construccin de los silogismos determinan cules son

las formas vlidas posibles dentro de cada una de las figuras.

A la muerte de Aristteles se aade, a las tres figuras aristotlicas,
una cuarta figura (atribuida falsamente
los Kneale* a Galeno,
-segn
siglo II de nuestra era), con seis modos vlidos.
Esta cuarta figura invierte
la estructura de las premisas de la 13 figura:

4? fgura
premlsa mayor
premlsa menof
conclusin

2.

modos

A/I
A/r
E, I/O

A,

D-C

l,

C-B
... B-D

A, E/E
E, A/O
A, E/O

De las paradojas megrico-estoicas que hasta nosorros han llegado hay

que subrayar la muy conocida del mentiroso, atribuida a Eublides: Si
alguien dice'estoy mintiendo', es verdadero o falso esto que dice? Aqul
vale recordar mnimamente las alternativas: si lo que dice esierdad, entonces, est mintiendo, por tanto, lo que dice es falso, entonces no est mintiendo; por otra parte, sl lo que dice es falso, entonces no est mintiendo,
esto es, est diciendo la uerdad, a saber, est mintiendo. La conclusin
es, entonces, que si est mintiendo est diciendo la verdad y si est diciendo
la verdad, entonces est mintiendo. Esto muestra que el sujeto , a la uez,
miente y no miente. Pero los dos enunciados no pueden ser verdaderos
dentro de una lgica bivaluada en la que vale una ley equivalente a la sealada para los enunciados contradictorios (c/. supra, pp. 50-51).
Con respecto a la naturaleza de los enunciados condicionales, los primeros en estudiarlos, de acuerdo a los Kneale, fueron Diodoro Crno
y su discpulo Filn. Lo que nos dicen acerca de esto es que .Sexto Emplrico, al resear la disputa sobre los condicionales, seala que Filn sostiene que un condicional correcto (tys ovvrrtvov) es uno que no

comienza con una verdad y concluye con una falsedad; pero Diodoro
dice que un condicional as es uno que no comienza ni pude comenzar
con una verdad y acabar con una falsedad...r. En el prlmer caso, el de
Filn, tenemos la que Russell denomin'implicacin material'; conforme
a la caracterizacin de Filn, un condicional como
"si ahora es de dfa
entonces 2+2= 5 ser verdadero si se dice de noche, en tanto que nunca
ser verdadero, de acuerdo ala caracterizacin de Diodoro, ya que puede
comenzar con una verdad, si el condicional se dice de da, y contluir
con una falsedad. De acuerdo a la propuesta de Diodoro, entonces, un
condicional ser verdadero con slo que su antecedente (o la parte que
viene despus de'si'y antes de'entonces') sea siempre falso o que su consecuente (o la parte que viene despus de 'entonces') sea siempre verdadero; de esta manera, se cumple con la exigencia de que nunca se d el
caso de que el antecedente sea uerdadero y el consecuente falso.

, ,La implicacin de Filn (implicacin material) es la implicacin

II.

Megricos y estoicos

de

la lgica clsica contempornea, en tanto que el ltimo tipo de implicacin, la de Diodoro, es la relacin de implicacin lgica o impliccin
estricta que adopt C. I. Lewis en su lgica modal.

LGICA MEDIEVAL

En el caso de los megricos y de los estoicos poco podemos decir, ya que

hay escaso material conservado acorca de su trabajo. Los megricos, sealan los Kneale, hicieron tres aportaciones a la lgica en lo relativo a las
paradojas, a una destacada revisin de los conceptos modales y comenzaron un importante debate con relacin a los enunciados condicionales. En lo que sigue algo se dir aceca de la tercera propuesta y muy
poco acerca de las dos primeras.

Los lg:icos medievales no llegan a formular una teora lgica tan plenamente f.ormalizada como la que tenemos hoy en da por l razn de que
su inters se centraba en estudiar y formular las leyes lgicas de una lengua
natural, el latfn, a diferencia de la prctica de los lgicos contemporneos, cuyo inters es, ms bien, el estudio y la construccin de lenguajes
simblicos (artificiales), que tengan cierras propiedades que se cosie-

52

53

ran tiles teniendo en cuenta ciertos propsits a la visia.

JOSE

A.

Sin embargo, un rasgo bsico que establece una fuerte liga entre los
lgicos medievales y el trabajo contemporneo en esta disciplina, es la
clara conciencia que tenan los primeros de que la misma es un estudio
de estructuras formales y que precisamente era por medio de la forma
de las proposiciones como se podran evaluar los argumentos y determinar los casos de consecuencias lgicas correctas.
Para poner lo anterior de relieve sigo, en parte, a Philoteus Bhner
y sealo las que l considera las principales aportaciones de esta poca.
Los encabezados bajo los que las rene, son: 'Trminos sincategoremticos', 'Teora de la suposicin' y 'Teora de las consecuencias'.

1..

HISToRIA DE TA LGIcA

ROBTES GARCfA

no corren'; pero ambas proposiciones no seran

fusss parte del suieto de la primera, pues entonces las dos
proposiciones no tendran el mismo sujeto.
la iontradictoia

es 'Scrates o Platn

contradictorias si

.y,

(ibid. s2)

De las consideraciones anteriores, Alberto precisa los sentidos de consecwencias material y formal y, segn lo seala acertadamente Bhner,
el uso que se les da a los trminos categoremticos escolsticos es como

el de nuestras variables predicativas y los trminos sincategoremticos

se presentan como nuestras constantes lgicas. En otro pasaje de su Perutilis logica, Alberto nos dice:

Trminos sincategoremticos

Sobre los trminos sincategoremticos o palabras cosignificantes, Bhner seala que hay una fuerte relacin entre el uso escolstico y el estoico
de las mismas. En ambos casos se usa la misma palabra y se le da el mismo
significado. Bochenski tambin encuentra una fuerte relacin con los estoicos y seala, por su parte (1961,189), que la teora de las consecuencias
es "esencialmente un avance de la lgica proposicional estoica, aun
cuando, quiz,s, no hubo ninguna influencia estoica directa en la construccin medieval.
Los trminos sincategoremticos se contrastan con los categoremticos; stos, segn lo seala Alberto Magno, son los eue, tomados significativamente, pueden ser sujetos o predicados
parte del sujeto o parte
del predicado distribuido- de una proposicin-ocategrica; por ejemplo,
los trminos'hombre','animal','piedra', se llaman categoremticos porque tienen una significacin definida y cierta (Perutilis logica, 44). Los
trminos sincategoremticos, en cambio, son los qtJe no pueden ser sujetos ni predicados de una proposicin (a menos que se tomen materialmente, como en ..'Y'es una conjuncin") y, en el caso preciso de la lgica,
particulares" (como los llama
esos trminos son los
"signos universales o
Alberto: ibid.), que son nuestros cuantificadores, as como las conectivas lgicas: negacin, conjuncin, disyuncin, etc. Lo que Bhner seala
acerca de estos trminos es que la importancia que los escolsticos les
dieron seala con claridad que tenan muy en cuenta el carcter formal
de sus investigaciones. Los trminos sincategoremticos que aqu hemos
sealado son los pertinentes para el estudio de la lgica, ya que influyen
directamente en la verdad o en la falsedad de las proposiciones.
Para mostrar cmo entendan los autores medievales la funcin de
los trminos sincategoremticos, vuelvo a citar a Alberto de Sajonia quien,
al responder la objecin de que, aparentemente, <<y puede formar parte
del sujeto de una proposicin, como, por ejemplo, en 'Scrates y Platn
corren', parece ser que el sujeto es "Scrates y Platn", Alberto dice,
... en la proposicin'Scrates y Platn correfl', <<y,) no es parte del sujeto, sino que
solamente son sujetos el trmino'Scrates'y el trmino'Platn'; esto es claro, pues

54

975. De las consecuencias, una es formal y otra material...

976. ... y tal como hablo aqu de formas y materia, se entiende por materia
de la proposicin o de la consecuencia, los trminos puramente categoremticos
son los sujetos y los predicados-, prescindiendo de los sincategoremas que
-como
les acompaan y por los que tales se coordinan o distribuyen, al ser llevados a un

determinado modo de suposicin.

977.Y a la forma se dice que pertenece todo lo dems; de modo que la cpula,
tanto de la categri.ca como de la hipottica, pertenece ala [orma de la proposicin. Del mismo modo, las negaciones y los signos y el orden mutuo de stos y
los modos de significar pertinentes a la cantidad de la proposicin categrica, como
la discrecin, comunidad, etc...

( e7s-7)

Al considerar la teora de las consecuencias volveremos sobre el tema

que aqu aparece apuntado acerca, justamente, de las consecuencias formales, que segn dije al iniciar esta seccin, son el ncleo del estudio
de la lgica.

2.

Teora de la swposicin

Bajo el nombre de proprietates terminorum, se estudiaron, principalmente

en la baja Edad Media ,la significatio,la copulatio,la appelatio y la suppositio. La teora de las proprietates terminorum creci en complejidad
a medida que diversos autores daban diferentes formulaciones de las mismas e introducan matices y distinciones varias en ellas. Nuevamente aqu
se hace palpable la diferencia, ya sealada, en la maner a de tratar la lgica
por parte de los escolsticos y de los autores modernos. Los primeros
ofrecen anlisis del latn (un lenguaje natural), a diferencia de los segundos que proponen sus anlisis de un lenguaie artifical.

A pesar de las diferencias en el tratamiento, Bhner (pp. 29-30),

encuentra similitudes entre la teora de la suppositio medieval y el clculo funcional contemporneo. En cambio, acerca de la misma supposi-

/lo, Bochenski (1961, 162-3) nos dice que la doctrina fue una de las creaciones ms originales de los escolsticos, pero desconocida tanto para
la lgica antigua como para la moderna.
.55

JOSE

A.

ROEtES GARCfA

HISfORIA DE LA I.GICA

Aqu-slo menciono la doctrina y algunas de los importantes autores

escribieron sobre ella: Guillermo de Shyreswood, foms de Aquino,
Vicente Ferrer, Talter Burleigh, Guillermo de Ocham, etc.

Y, en la siguiente seccin, seala:

q_ue

3.

976. Consecuencia material es aquella tal que no toda proposicin semejante a

ella en la forma es buena consecuencia [...] y [...] se entiende por materia de la
proposicin o de la consecuencia, los trminos puramente categoremticos

Teora de las consecuencias

son los sujetos y los

Una doctrina en la que puedo detenerme ms, ligada con mayor claridad a nuestra lgica formal contempornea, es l-a teora de las consecuencias. E! origen de una docrina clara Bochenski (1961, 199-200)lo
atribuye a Buri-dn, a Ockham e incluso a Pedro Hispano. La doctrina,
fuertemente influenciada por Buridn, aparece con piecisin enla perutilis logica de_Alberto {vI1gno, la que Filteo Bhnei considera una piedra miliar en la teora de la consecuencia y, afirma, estamos firmemente
convencidos de qu9, en muchos respectos, es superior ala Summa Logi-

cae de Ockham, (Bhner, 70). Al6erto, en el libro mencionado, luego

de considerar diversas definiciones de antecedente y consecuente, frmu"la
la siguiente caracterizacin de estas expresiorres.r, una relaci de consecuencia:
es antecedente de otra si se relaciona de tal manera con ella
que es imposible que las cosas sean como, del modo que sea, las significa la primera
que se mantenga fiio el uso de los trminos:, sin que sean como

-siempre
las significa la otra.

(IV, i, e62)
(versin modificada, siguiendo las sugerencias de Bhner y de Bochenski, de

la traduccin de ngel Muoz).

_ !o quepropone Alberto, entonces, de manera muy similar a la de

Diodoro (cf. supra, p. 53), es afirmar que una proposicin es antecedente
de otra (se refiere al objeto que sea y-siempr qe los trminos se apliquen de igual manera)_li no es posible qu la primera sea verdadera y
no lo sea la segunda. (Vase la fustificacin qui da Bhner de esta lectura en Bhner, 71-72.) Vale la pena aadir-aqu, que esta lectura de
Alberto no convierte en_modal la-proposicin d consecuencia, pues la
imposibilidad (necesidad) no se predica de la proposicin misma, sino
del valor de verdad de tal coneiin (cf. ibid.i.
Tal como Bhner analiza el condicional de Alberto, llega a la conclusin de qu-e, para ste, se trata de una implicacin formal necesaria,
no del tipo de implicacin material, a la manera de Filn.
Ms adelante, en la misma Perutilis logica, Alberto hace una distincin entre implicaciones o consecuencias frmal y material; as, en ibid.
975, seala (ya citado, en parte en supra, pp. S+-SS,
De las consecuencias, una es formal y otra material. consecuencia formar se llama
a toda proposicin semejante en la forma a la que, si se formara, fuese buena consecuencia, como aqu: 'B es A; luego, lo que es A es B,.

56
i,

Con la cita anterior cierro esta breve incursin por el mundo de la

lgica medieval, en el que pudimos atisbar intuiciones muy lcidas que,
en muchos casos, tuvieron muy amplio desarrollo posterior gracias ala
creacin de lenguajes simblicos adecuados que fueron vehculos ms giles para el manejo lgico que los lenguajes naturales en los que se formulaba anteriormente la argumentacin.

III.

1,.

... una proposicin

-como

predicados-, prescindiendo de los sincategoremas que los acom-

paan..,

LA LGICA ANTES DE FREGE

Leibniz y su idea de un lenguaje uniuersal

Tras la propuesta de Ramn Llull (1235-13L5), en su Ars Magna, de

formular un lenguaje universal de razonamiento, fundado en el supuesto
de que todo el conocimiento no es sino un complejo que se forma a partir de la unin de ideas bsicas, simples, muchos intentos se hicieron por
formular un lenguaje de esta naturaleza. En el siglo xvII diversos pensadores hacen propuestas ms claras y precisas que las de Lulio; entre ellos,
Descartes formul una propuesta a este respecto (carta a Mersenne del
20 de noviembre de 1,629), en la que alude al orden numrico y a la formacin de nuestros pensamientos a partir de pensamientos simples. En
Inglaterra tambin se hicieron propuestas (John Tilkins 11.61.4-L672l
y George Dalgarno 11,626-1,687)) de construir un lenguaje en base a principios simples y con una gramtica regular. Lo que esto dara como resultado sera facilitar la comunicacin y hacer, por esto, ms rpida la difusin de las ideas.
Vale la pena destacar aqu la aparicin, en1,662, de uno de los libros
ms influyentes de la poca, La logique ou I'art de penser (conocida como
la Lgica de Port Royal), de los pensadores jansenistas de Port Royal,
Antoine Arnauld y Pierre Nicole. Este libro se sigui imprimiendo hasta
el siglo xx. Los temas que trata, sin embargo, no son lo que hoy en da
reconoceramos como temas de lgicay, segn lo sealan los Kneale,
... es la fuente de la rhala costumbre de confundir la lgica con la epistemologlar. Sin embargo, hay que sealar que, entre otras cosas, en el
libro se hace la distincin entre extensin y comprensin de un trmino.
Uno de los grandes filsofos de la poca moderna que ms se interes por la lgica y por la creacin de un lenguaje simple de razonamiento,
fuc G. fl. Leibniz (1646-171,6) quien, a los 19 aos, lleg a acaiciar
57

HISfoRIA DE LA IGIcA

:IA

el proyecto de construir una lingua philosophica o characteristica uniuersalis, esto es, un_lenguaje que reflejara la estructura del pensamiento y

que,-por su medio, se pudiera llevar a cabo un clculo que permitiera

decidir todas las cuestiones relacionadas de consistencia y coniecuencia.
La propuesta_d_e Lelbniz, segn se ha sealado aqu, no fue la primera
pero s ms elaborada que las que se hicieron previamente. Leibniz formula su proyecto en su rexto De Arte Combinitoria de L666. La manera
como l vislumbraba este nuevo lenguaje era en trminos de una analoga con la construccin de los enteros: as como todos los nmeros enteros o.bien so_n primos o bien pueden obtenerse como productos de prir-nos

(2, 3, 5,7,1,1,,1,3, 1,7,23, etc. o bien 4=2r,6=2x3,8;2.,

9=3', t0=?x5, L2=2'x3,

etc.), as, en este nuevo lenguaje leibnipodran expresar las ideas simples (el equivalente de los nmeros primos) y las ideas complejas (que seran un compuesto de ideas
ziano,

se

simples).

Leibniz intenta reflejar la complejidad de nuestro pensamiento en la

simplicidad de la estructura matemtica; el problema qu es que, junto
con la estructura, se requiere dar un anlisis de los contenidos de los pensamientos y esto va ms all de lo que se puede hacer con slo un anlisis del lenguaje, en caso de que esto fueri todo lo que Leibniz deseara
hacer.
.Sin embargo, para que surgieran realmente cambios y se avanzara
en lgica habra que esperar hasta el siglo xx. Como .i bi., sabido,
Kant, en el 'Prefacio'a la segunda edicin (1787) de su Crtica de la razn
pura (B viii), dej sentado que la lgica, desde Aristteles, no haba avanzado naday,.as,.seala que'... tiene toda la apariencia de ser perfecta
y estar completa'.

2.

conclusin deductiva de los enunciados , (1(j(n) o bien que no es

contradictorio aadir al conjunto de enunciados et la negacin del enuncado e, -e.Los resultados que se obtienen en el siglo xtx son de geometras en las que por un punto p, exterior a una recta r, puede trazarse
o bien ms de una recta) r', paralela a r (Lobachevsky) o ben ninguna
recta r'paralela a r (Riemann). Recordemos que, en la geometra de Euclides, por un punto p, exterior a una recta r, podatrazarce exactamente

una recta r'parulela a r.

Los resultados anteriores, y algunos ms, hacen que los matemticos
de la poca se preocupen por la consistencia de su herramienta de trabajo. Tambin en el siglo xtx se comienza a elaborar la axiomatzacin
de los nmeros reales y a adquirir conciencia de las relaciones entre los
diversos tipos de nmeros que hasta entonces se haban estado usando
sin preocuparse por las posibles relaciones que entre ellos pudieran existir.
Lo que ahora es importante sealar, en base a lo que hasta aqu se
ha dicho, es que todos los anteriores avances ayudaron a que los matemticos tomaran conciencia de que podan modificar, negar o rechazar
principios asumidos que slo la costumbre haba hecho que parecieran
inamovibles. Los resultados que podan obtener seran no slo consistentes, sino tambin interesantes, teniendo en cuenta las posibles aplicaciones de los nuevos sistemas recin formulados o bien incluso por s mismos, por las relaciones que mostraban que se daban entre sus elementos.
En el campo de la lgica los avances en lgebra influyen de manera importante la labor de George Boole.

3.

Boole y el lgebra de la lgica

El trabajo de Boole tiene como antecedente inmediato la labor de De Morgan y de Hamilton con relacin a los viejos enunciados aristotlicos A,
E, I, O. Si en la tradicin aristotlica anterior, el sujeto y el predicado

Antecedentes matemtico-geomttricos de la lgica actual

lado V de Euclides, el postulado de las paralelas, era no indepeniente

delos otros postulados delos Elements. Decir'qu. ,, .rrrrciado e, es
independiente, de otros enunciados ts 2,..., e", ei decir que e no es una

de los enunciados se vean como signos de cualidades, De Morgan y

Hamilton los ven como signos de las cosas que tienen esas cualidades.
Por otra parte, en la tradicin aristotlica, los enunciados afirmativos,
A, I, se explicaban como relacionando el sujeto con slo parte del predicado; as,'Todo S es P'se entenda como afirmando que la cualidad de
ser P era parte de la cualidad de ser S pero, adems, no se agotaba P
en ser S; en terminologa tradicional, en los enunciados afirmativos no
estaba distribuido el predicado. A diferencia de esto, en los enunciados
negativos el predicado s estaba distribuido. Hamilton, adems de introducir una manera diferente de ver los trminos de los enunciados, considera la posible cuant?ficacin del predicado y, as, es posible tener dos
enunciados de tipo A: 'Todos los S son todos los P' as como 'Todos los
S son algunos P'. Con todos estos elementos a la mano, es posible dar
una interpretacin de los enunciados como afirmando relaciones entre
clases de objetos y, entonces, formular las relaciones entre stas en trminos de un lgebra de clases.

.8

59

Para llegar a presenciar los cambios en la visin de la lgica que surgen

en el siglo xrx, es preciso tener en cuenta los avances en ia investigaJn
en matemticas qxe dan origen, entre otras cosas, al surgimiento dJl atgebra abstracta, de las geometras no eucldeas y a la preocripacin por der-

minar la consistencia de la matemtica misma.

_Co:r respecto al lgebra abstracra, los trabajos en el siglo

Xx,

de pea-

cock, Hamilton,-Abel, Galois, Cayley, etc. muestran qri las operaciones aritmticas, hasta entonces usadas con un solo significado, podan
redefinirse s.egn diversas necesidades; de esta manera, una opracin
como la multiplicacin, x, por ejemplo, podra no ser conmuiatiya en
el caso de los cuaternios hamiltonianos o de los vectores.
Con respecto_al surgimiento de las geometras no eucldeas, el siglo
IIT p_rgs-enli el desenlace de la larga historia con respecto a si el postu-

JOSE

A,

ROBI.ES GARCiA

HISToRIA DE

Boole desarrolla sus propuestas en su primer ribro, The Matbematical Analysis. of Logic, being n essay towaids a carcului of dediciie reasoning (1847) en el que propone un anlisis de los enuniados tradicionales, A, E, I, o, en trminos de ecuaciones y donde demuestra la validez

de un silogismo mediante manejos algebiaicos: ,i d; i;;

;;.irrr,
mediante manejos algebraicos, se-puede" obtener la .or.lrri'r,-.rr,orrces, el. silogismo es vlido. El manejo que se da de Ios trminos de los
enunciados es mediante una interprtaci., como trminor d. cl"s.r; la
siguiente tabla muestra Ia interprtacin de Boole:

A:
E:
I:
O:

Todo X es Y
Ningn X es Y
Algn X es Y
Algn X no es Y

en donde.la expresin.'(1

x(1-y)=Q

{r= 0
xy +0
x(1-v)+o

cy)' representa el complemento de la clase ,o,.

se puede interpretar como que es vaca la inter-

As,.Ia primera expresin

seccin de la clase de las x y el complemento de l dase de las y; la
lggulrdl expresin seala que es vac la interseccin de la ilase de'las
X y la clase. de las Y; la tercira expresin seala que no ,oriio-l^1n rrseccin de la clase de las X y la lase de las y y, finalmente,
",
la cuarta
expresin seala que no es uaca la intersecci'de la clase e las x y
el complemento de Ia clase de las y.
. !9r siguientes ejemplos de silogismos vridos muestran, de manera
intuitiva, cmo se podran.emplear las ecuaciones (y las desgualdades,
junto con razonamiento alge6raico t p,,ra obtener'ias .o".liti"".,
dseadas:

Primera figura (bArbArA):

Todo C es D
c(1-d)-O.'. c=O v 1-d=O
Todo B es C
b(1-c)=O.'. b=O v 1-c=O
pero o bien c=O 1-d=O:
si c=O, entonces 1-c*O, ... b=O v b(1-d)
=O
si 1-d=O, enronces b(1_d)=O
.'. en ambos casos, b(1

d) = O

esto es: Todo B es D

T*;:t

rodo B es c b(l - c)= o

tiT.(3ffo'o)'
Algn D no es C d(1-c) + O ... 1 -cfO, d*O y b=O
.'. Algn D no es B pues d(1-b) *O,yaque d(1- b)=d(t _O)=d+O

, Primera figura (dArII):

Todo C es B c(1-b)-O .'. c=O v 1-b=O
Algn D es C d.+O.'. c*O, d+Oy 1-b=O...
.'. Algn D es B pues db = d *O
60

tA

LGIcA

Las lneas anteriores hacen claro que mediante los manejos algebraicos de Boole no slo se puede validar un argumento de form silo[stica,
sino que tambin se puede obtener una conclusin vlida si slo temos

a la mano las dos premisas del silogismo.

Sin embargo, no es posible validar el silogismo aristotlico de la tercera figura (dArAptI), pues
Slo si

cf O, entonces:

TodoCesB c(1-b)=O.'. c=Ov L-b=O / b=l

Todo C es D
c(1-d)-O .'. c=O v 1-d= O / d=l
.'. Algn

es

db*O

...

bd=1x1*O

Aqu nos enfrentamos a una interpretacin de los enunciados univer,qales que no les confiere contenido o carga existencial. Expresar, como

lo hace Boole, que un enunciado universl afirmativo (A), ,Todo B es

C', es algebraicamente representable como b(1 - c) = 0 o que uno universal negativo (E),'Ningtin B es C', es representable como bc=0, es
expresar que la interseccin de dos clases es vacla o que no existen indi-

uiduos quetengan, conjuntamente, laspropiedades by 1-c o bien by

c, respectivamente..Pero, de esto zo se puede inferir que hay individuos
que sean c o miembros de la clase c.
Conforme a esta interpretacin, que es la que se adgpta en la lgica
contempornea, el que hemos presentado como cuadro de oposicin iristotlico (cf. supra, p. 50), pierde las aristas larerales, esto es, si los enunciados universales; A y E, no tienen contenido existencial, pero s lo tienen
enunciados particulares, I, 0 pues, en la versin lgebraica de
-losBoole, la representacin de estos enunciados es mediante una desigualda_d que seala que no es uaca la interseccin de dos clases,
1I
"rto.i,
'Algunos B son C', que se representa iomo bc+0 y (O) 'Algunos
Bno
son C', que se representa como b(1. - c) *0, entonces de la verdad de los
enunciados universales zo se sigue la verdad de los particulares correspondientes, esto es, desaparece la relacin de subalteinacin. pero, adems, si la clase b es vaca, entonces es verdadero tanto que b(1-c) =0
como que bc = 0, y ser falso tanto que b(1 - 0)f 0 como que bc *0. De
esto se sigue que, a diferencia del cuadro de oposicin aristotlico, ahora
podrn ser uerdaderos a la uezlos enunciados universales, A y E, y falsos
a la uez los enunciados particulares, I y O, por lo que ya no habr ms
enunciados contrarios ni enunciados subcontrarios, asi como tampoco
valdr la relacin de subalternacin. El cuadro, as, se ve reducido'a sus
dos grandes diagonales, esto es, sigue habiendo enunciados contradictorios: A y O, por una parte, y E e I por la otra:

b=1*O
6L

JOSE

A.

ROBTES GARCfA

HISToRIA DE

tA

LGICA

su importante discusin de la distincin semntica entre sentido

y refe'

renci que, a partir de la atencin que le prestaron Carnap y Church,

ha sido studida con cuidado por un sinnmero de filsofos posteriores.

E/ Begriffsschrift y el origen de la lgica contempornea

dc
i
dc

Io

En 1,879,Frege publica una breve obra, la primera que dedica al campo

de la lgica, u Begriffsschrift (1.879), que se convertir en la obra que
mafca e-i comienzo de la lgica formal contempornea. En ella, como
ya lo seal, Frege formula un sistema de lgica de primer orden en el
qr. ru autor intrduce una modificacin radical en el anlisis de las proposiciones, ya que, en lugar de analizarlas como si fueran de la forrna
iujeto-predicado, propone verlas bajo la forma de funcin y argumento
y, adems, en su escrito las pruebas se llevan a cabo de una manera estriciamente formal. Hay que aadir que el trabajo de Frege tambin se caracteriza por el rigor en l presentacin de sus dernostraciones, que_ no,figura
en obias posteriores como los Principia Matbematic de Russell y 'hite-

En la segunda mitad del siglo xrx hubo una gran proliferacin de

nombres importantes para el desarrollo de la lgic. Poi razones obvias
de espacio, no podemos detenernos a considerr mnimamente a estos
|gi.cgs. Un pensador, sin embargo, debe mencionarse pues con l surge
la lgica en_su versin contemporZnea: Gottlob Frege. qu sealaremos
algunas de las aportaciones centrales de este hombre qu cre la lgica

head, por ejemplo.

La preocupacin de Frege y el propsito de su trabajo se,encuentran
claramnte expresados en el 'Prefacio' del Begriffsschrift Al considerar
cul sea la forma mejor de establecer la verdad de una proposicin, nos
dice lo siguiente:
Obviamente, la manera ms confiable de llevar a cabo una prueba es seguir I ilgir
es una forma que, al deiar de lado las caractersticas particulares de los
sujetos, depende tan slo de las leyes en las que se funda todo conocimiento. Condividimos en dos tipos todas las verdades que requieren de
forme a
"sio,.tosottot
a saber, aquellas para las que la prueba puede llevarse a cabo
una justificacin,
de manera puramente lgica y aquellas que deben apoyarse en hechos de la experiencia.

de nuestros das.

pura; sta

IV.

LA LGICA DE FREGE

Gottlob Frege (1848-1,925), desarrolla un primer sistema axiomtico, plenamente simbolizado, consistente y completo, de lgica de 11. ordtn,
an antes de que se tuvieran las herramientas lgicas aecuadas para llsv^ar a cabo la prueba de la completud de un sistema deductivo cuaiquiera.
99*o es bien sabido, el trabajo de Frege qued, por un tiempo, fuera
del cauce principal del desarrollo de la lg1ca debido, princip-almente,
a.su muy rgico y estorboso sistema de notacin. Por otra parie, el inters que tuvo Russell por su obra, con muchos puntos deiontacto con
la suya propia, y la difusin que de ella hizo, la pusieron en el primer
plano de la atencin filosfico-m atemtica de la Eropa de los primeros
aos de este siglo y tal atencn an sigue fija en su labor ahora a casi
setenta aos de su muerte.
El inters que se tiene por la obra de Frege no slo se refiere a su
,
trabajo tcnico matemtico, sino tambin, y muy especialmente, a sus
formulaciones filosfico-matemricas acerca de diverss problemai tanto
epistmicos como nticos que rebasan el terreno relacinado con solamente los fundamentos de las matemticas. Aqu vale la pena mencionar
62

Ms adelante nos sigue diciendo:

Para impedir que cualquier cosa intuitiva penetrase aqu desapercibida, tuve que
poner todo mi esfuerzo en mantener la cadena de inferencias libre de huecos...

y,

para superar los obstculos que le impona el lenguaje natural, nos

sigue diciendo que eso lo

... llev a la idea de la presente ideografa lBegriffsschriftl. Su primer propsito
es, pues, proporcionarnos la prueba ms confiable de la validez de una cadena de

inferencias y sealar toda presuposicin que intente colarse desapercibida, de tal

manera que se pueda investigar su origen.

Otra virtud que Frege encuentra en su lenguaje simblico es que, Para

los propsitos ciintficos para los que fue creado, el mismo facilitar el
proies de anlisis y, si esio es asf , de ello se seguir una mayor facilidad
63

A.

JOSE

HISTORIA DE I.A IGICA

ROBTES GARCIA

para descubrir nuevas verdades, esto es, propiciar un mayor avance de

la ciencia.
Frege mismo seala la relacin que su nuevo lenguaje puede tener
characteristica uniuersalis- de Leibniz, aun
con el lenguaje universal

entusiasmo de ste fue demasiado y que, por

cuando considera que el-la
esto, subestim las dificultades a las que habra de enfrentarse la tarea
de crear un lenguaje as.
Si, ciertamente, la bsqueda de un lenguaje simple, que facilite las
pruebas lo acerca a Leibniz, la idea general del mtodo tiene claras reminiscencias cartesianas de las Reglas para la conduccin del espritu.
Por otra parte , adems de lo que anteriormente he sealado con respecto al sistema de Frege, es preciso recordar que, en el mismo, se puede
xpresar, de manera clara, la cuantificacin mltiple.
El sistema de Frege contiene, como sus conectivas bsicas, la negacin y el condicional, definido a la manera de Filn, y el cuantificador
que usa como primitivo es el universal.
Presento algunas expresiones formales en el simbolismo de Frege junto

con su traduccin al simbolismo de Peano:

F-----f,B

expresa, segn lo seala Frege, el juicio de que no

sucede que A se niegue y B se afirme (esto es, que
no es el caso que B sea verdadera y A falsa).

En la notacin de Peano, la expresin anterior de Frege

en el condicional (B:A).

l-lsr=l-L-

convierte

Peano

Frege

F- r=r
lg

se

(B) -A)

9-

28. ((>d > (-e> -)) 31. (e> - -d) 41.. (- -p)e)
s2. ((a = b) > (f(a) r f(b)))
54. (a=a) 58. (x)f(x) f(y)
La numeracin que aqu aparece es la que usa Frege en su escrito.
. f..gq, con_su Begriffsschrift unifica lo que autores anreriores, a partir de Aristteles haban propuesto por separado, la lgica de enunciados y la lgica de trminos; por otra partc, introduce ua teora general

de la cuantificacin que resuelve muchos problemas a los que seiaban

enfrentado los lgicos medievales y, junro Con las otras aporticiones sealadas con anterioridad, da nacimiento a la lgica contmpornea. Despus de 1, se intensifica la investigacin en la ieora lgicy se diversifi9q l-os sistemas lgicos que toman como punro de partida la'lgicaclsica
bivaluada, que Frege genera con su trabajo.
_ Aqu tan'slo apunto el bien conocido inters de Frege por fundar
la matemtica en la lgica, aspiracin que con l comparie Russell.
Lamentablemente, en 1903, Frege publica el volumen II de sus Grundge,
setze der Arithmetik al que aade un Postscriptum en el que anunciila
paradoja, descubierta por Russell, que surge de sus sistemas, a saber,
la paradoja de bs clases que no son miembros de s mismas, lo que le
produce un profundo pesar, ya que la misma muestra que su trabajo no
se puede proponer como una fundamentacin adecuada de la matemtica. No es posible, sin embargo, que aqu ampliemos estas breves observaciones, ya que las mismas rebasan propiamente el campo de la lgica
elemental que es el tema que nos ocupa.
Finalmente, menciono que Frege mismo y otros pensadores, entre ellos
Boole y Peirce, proponen la idea de una matriz d evaluacin para los
enunciados del clculo proposicional y, ms adelante, la idea l elaboran con mayor precisin Lukasiewicz, Post y Tittgenstein.

(x) ((y) B(x,y):Ax)

A (o)
B (o, e)

(x) ((gy) -B(x,y))Ax)

F1qr-rLrLe-J- A (o)

B (o, e)

En el sistema de Frege (usando la notacin de Peano) figuran, junto

con la regla de derivacin modus ponens:

e)1,

..\/
=
que cubren tanto los clculos proposicio-

los siguientes nueve axiomas

nal y de predicados, as como la teora de la identidad:

2. ((x= ll,,>e)) > ((x>) )

1. (e> W>d)
8. ((x> llDe)) ) () (x>p)))
64

(x)p)))

V.

1,.

DESPUS DE FREGE

Russell, Whitehead y /os Principia Mathematica

La obra monumental de Russell y lhitehead , Principia Mathematica,

cuyos tres volmenes se publicaron, respectivamente, en los aos 19L0,
191,2 y 1913, puede verse como la conclusin de una de las propuestas
centrales de Frege en su labor en fundamentos de la matemtic, mostrar que la matemtica puede fundarse en la lgica. Russell y Thitehead
intentan evitar la paradoja en el sistema de Frege y llevar a cabo la tarea
de-mostrar que es posible derivar toda la matemtica de la lgica. Russell, para enfrentarse ala paradoja mencionada, desarrolla su teora de
los tipos lgicos. Sin embargo, Io que Russell roma como el fundamento
lgico, primeramente, va ms all de lo que es la lgica elemental o lgica
de primer orden y, por otra parte, KuriGdel mostr que es impoiible
dcrivar toda la matemtica de una base axiomtica.
65

HtsfoRtA DE tA tGtcA

IOSE A. ROBTES GARCiA

2.

pero, segn lo seal lneas atrs, su cumplimiento se ve frustrado con

la demostracin de Gdel de que esto eslmposible.
Finalmente, la posicin intuicionista, cuyo piincipal defensor fuera Luitzen Egbertus Jan Brouwer (1881-1967), considera que lalgica surge de

Kurt Gdel

(1',9,06-t,978)'de 24
En el ao de 1930, un joven austriaco,-Kurt Gdel
la demospubltcara),
(que
luego
,.,..r..r.r,ra. como disertacin doctoral
que
a parde
elemental'
lgica
de
;;;;16;, sobr un coniunto de axiomas
(-correcy
slo
ii, . .r. coniunto es posible derivar todaJ(completud)
Hilbert
cin) las verdades leilas. Esto pareca apoyar l propuesta de
de la correccin
puei
*'t'-iicas'
i"
'
H;#il;;;i;-."rr':;;;".*
st"o"'isttncia' pero el mismo Gdel'
del sistema se sigue #;;;b"
lo suficienteun ao despus, en 1931, muestra que una axio"'aiiz'cin

un proceso rle abstracci! que se lleva a cabo en basi a cierta-s regula"ridades que se observan en el prpceso mismo de desarrollar la malemtica.
As, lgica y matemrica son dos disciplinas que claramente se distinguen
de.la perspectiva intuicionista. Aqu eJimportante hacer notar que
i.lfg
lalgica intuicionista se desvja de la lgica clsica en tanto que aquila
no acepta) como una verdad lgica, el principio r- (p) - -,p)-de la
lgica clsica.

fuerte.o*o pr., ii*, d. elia 1a aritmtica elemental de los.nmeentonces ser esencialmente

;;;;;;;s, ri l misma es consistente,
no ser posible
i"."",piirui, .r,o .t;h;bt *.tdades mtemticas -queque
no'son equis
Gdel
que
muestra
lo
obtener como teoremri,-.ti .t,
y
la.de.teorela
maiemtica
t..ar
J
9 !ie1' lue
valentes las nociones
;;h;;;; .riurl.rr.iu entre los aspectos semntico y- sintctico de lala
mente

'"riiliaiii. Hi[6;del

4.

Segn lo seal con respecto alalgica intuicionista, sta se separa de

la lgica clsica al no aceprar todas ls tesis que figuran en sra. o, otm
pafte, tambin se distingue de la lgica clsica en tanto qve acepta tres
valores de verdad, en lugar de los dos nicos valores, caricterstlicos de
la tradicin clsica. De esta manera, tenemos un aumento en valores de
verdad y.esto es algo que Lukasiewicz elabora, a partir de'1,9L7, esto
es, ua lgica mu_ltiualuada y, de esta manera, se abre la posibilidad de
ampliar y generalizar-el estudio de estas lgicas hasta llegar a sugerir el

demuestia que ser imposible demostrar

consistencia de ese sistema.

3.

La lgica

los

fundamentos de la matemtica

Parafnalizarestabrevevisinhistricadelalgica,va|elapenasealarque

ocupa dentro de las diferenres doctrinas

los fundamentos de la matemtica'
para
se propusieron
de Frege, que Russell comparte, de
Llneas atrs se
en Ia to8191,o,gmanera
directamnte
mostrar que la matemtica se funda
esencial entre lgica
diferencia
ttittg"t'
h'y
,o
qri.
q"]r?t-pt..iru,
la. primera' Aqu es
de
v matemtica. ya que sta es una contlnuacin
posicin::::::':'
esta
de
-p.,"* selar'la visin ontolgica

ir';;;;;i#;"

t, Jir.iptina

$;;;;t;de
d;it;i.rs

t""

el nombre de logickmo, iu

*'t"*iitu tt un estudio descriptivo

de una

enunciado s m atemtico s deben

;;li.;*tp"iir"-t.l p1 g q."..to pues,la
es una cofrAs
;;;;;;Jrd;ro's Je dich iealida. un coniun"tomatemtica
d:11tomas'
verda.dero
en
funda
se
que
iitu".i"
'-^";; de la lgicadif:;;rt. ; i; logicista esla formalisra'. enunciada por
;;;ru.t
r."*unriene una visin similar a la logiDr;jit"#';rf.;;;.llr,
q" haya urra diferencia esencial entre
que
cista en tanto
t

""-;;;;;t"Ctiu
ir.t tlo qur- io se mantiene una posicin reducciolsica v matemtica,
propone que
! ia matemtica con respecto a la lgica, sino que se
el slstema conque
"ii,
mostrar
de
fin
a
conjuntamente
,*ut se desarrollen
los aspectos semniunro esr libre de .on,-r-rA.n. eqr se deian de lado
correccin es uno
de
bsico
y.i
criterio
for ,"i"*"r
iil;;;;d;J.
tanto una frsistema
el
en
d.rivrr
sintctico, esto es, d;;;i,;ibie
como
interpretarla
se
.p'
Que
su .o"itrp".t sintctica, mula, 9, como

la negacin de 9.
gradual (el
Hilbert" propuso un programa que procediera de menera
matemtica
l
de
a
ir' lliiri- pi, ?.*or,i"r ia consistenci
e

rr;)li

66

Otras lgicas

estudio de lgicas infinitamente valuadas.En 1918, C. I. Lewis introduce una nocin de implicacin ms fuerte
gu1l.a material, la implicacin estricta, relacionadicon la implicacin
de Diodoro, segn se seal en su momento y, con ello, presenia un sistema de lgica _modaf que ampla el repertorio de la lgica clsica.
Por el ao de 1956 Gregorio Klimovski y, ms adelant, Hctor Neri
Castaeda, Carlos Alchourrn y Andrs Raggio comienzan, en Amrica
[.atina, a hacer uso de lalgica de manera irativa, en el caso de la teora de los conjuntos, el primero, en el caso de lgica dentica, Castaeda
y Alchourrn y en el estudio de funciones recurJivas y pruebas constructivas el ltimo.
_ En 1.963, Newton C. A. da Cosra crea un nuevo sisrema de lgica,
denominado actualmente lgica paraconsistente, que ha despertado el inters de muchos lgicos contemporneos.
En estos avances de la lgica, post Principia Mathematica, se puede
lrircer la distincin sealada pbr suian Haack entre lgicas qu son rivalcs o las que son ampliacions de la lgica clsica. El lector'e nconttar)
ctr lrs otras selecciones de este volume, material que le permitir precisnr y ampliar las brevesnotas que figuran en esta historia mnima de la
I

t1ica.

Antes de terminar y sabiendo de antemano que no es posible dar una

crrurneracin mlnimamente satisfadoria de los estudiosoi a. r, iJji." ."
rruestros palses, me atrevo a mencionar a algunas de las figuras dstacarlts ir lrs que no he aludido anteriormentel
67

JOSE

Me referir aqu

A.

HISToRIA DE LA tGIcA

ROBTES GARCfA

vicente Ferreira da silva como el primer autor de

un lib.o e lgica moderna editado en Latinoamtica,Elementos de lgica

-rir*alii t p".rlo, 1"940) y a Francisco Mir Quesa.t4 como el ini
;i;;; d. los estudios e 1gic simblica en el Per y en lberoamrica,
con la publicacin de su Lgica (L946)'
E; i4*i.o, Javier SnchzPozosha realzado trabajos iqPortantes
en lsicas no csicas, especialmente en lgicas relevantes; Adolfo Gar.i, 1, Si.nra ha hecho aplicaciones de Ia lgica a teoras econmicas
nrJf iryen, adems de edicarse atrabaiar en la enseanza y la inves-

,
i;g*ir
-''-f,,

tOgi., ha publicado un importante libro de teora lgica.

rprna"es posibie mencionar nombres destacados del pasado inmeentre ellos

dir; t; pr.r.ri. que dedican su atencin a esta disciplina;
Pea,
Lorenzo
Sacristn,
(t),
Manuel
Mostern,
Deao
er.,io
.rij"
Jestis
etc'
quien tambin realiz su trabajo en Iberoamrica,
BIBLIOGRAFA

1963'
Adamson, R. (1911), A Short History of Logic, Dubuque, Edinb-urgh-London'
Mxico' 1988)'
efU.mo a Saionia (1522), Perutilis logica,Yenezia(v' e' A' Muoz Garca'
post Medieual Period, Kluwer AcadeAshworth, t.I. $slq), Language . Logic in the
mic, Dordrecht.
AshworJh, E. J. (1g7g), The Tradition of Medieual Logic and specu.latiue Grammar.
jusqu'a nos jours' Patis'
Bayer, R. (19i4), Epistemologie et log.ique depuis Kant
Time to the Present Dav,
Earliest
the
iogi"
from
Bl;k, R..(1S5 i), Historicaliketch of
London.
A. Colin, Paris.
Blanch, R. (1970), La logique et son histoire d'Aristote d Russell,
si;"6e, R., "Hisiire dela-logique,, en Enciclopadia fJniuersalis, vol. I0,49-52.
S;dr"".Li, i. fuf . l. 0961), A tli"ry of Formal Logic, University of Notre_Dame Press,
Notre Damelv. e. M. Bravo Lo;ano, Historia de la lgica formal, Madrd, Gredos,
1967).
Bochenski,

I. M.J. gg6g), Ancient Formal Loglc, North Holland, Amsterdam-London.

Shr"., pi. (1-9S:g), lvl"d.iiual Logic. An outline of its deuelopment froth 1^250-c. 1400'
Manchester Univesity Press, Manchester'

Boll,M.yReinhart,J.('1965),Lestapesdelalogique'Paris'v'e'N'Sito'Lasetapas
de la lgica, Buenos Aires, 1961.
Bo*r., C. . tgf:1, The Deuelopment of the Philosophy of Logic

Ann Arbor.

from 1880 to 1908'

Brody, B. A. (1,967), Tbe Rise of the Algebra of Logic, Ann Arbor'

Centulo, M. do (1958), Da Histria da Lgica, Lisboa'
Dalla Chara, M. L' (1983), Logic in the 20th Century, Scientia' Milano'
Diez y Lozano, B. (2L928), Historia de la lgica, Murcia'
para la historia
E;;;q;;, i. obzzi, pu to' ,toria delta logica, Botogna (v. e. J. L. Angelis,
de la lgica, Buenos Aires, 1949)'
Franck, A. 41838), Esquisse d'une histoire de la logique, Patis'
Medieual and
Geach, P. rtr. lrre s, Reference and cenerality, an Examination of some
Ii o d.e rn T h e ori e s, khaca.
Haack, S. (1974), Deuiant Logic, Cambridge University Preee, Cambridge'
Harms, Fr. (1881), Geschichte der Logik, Borlin'

68

Kneale, V7. y Kneale, M. e1966), The Deuelopment of Logic, Oxford (v. e. Muguerza,
J.
Fl desarrollo de la lgica, Tecnos, Madrid, 1990).
Kneebone, G. T. (1965), Mathematical Logic and the Foundations of Mathematics. An
Introductory suruey, D. van Nostrand & co., New york, Toronto, princeton.
Kotarbiiski, T. (1964), Legons sur I'bistoire de la logique, paris.
Largeault, J. (1970), Logique et philosophie chez Frege, u*elaerts, paris, Louvaine, 1970.
Lewis, C. l. (1960), A Suruey of Symbolic Logic, Dover, New yok.
Lukasiewicz, J. ?1957), Aristotle's syilogistic, from the standpoint of Modern Formal
Logic, Clarendon Press, Oxford.
Mackay, D. (1'920), Mind in the parmenides. A study in the History of Logic, New york.
Los ngeles, 1924.
McCall, S. (1967), Polish l-ogic 1920-1939, Clarendon press, Oxford.
Mercado, T. de (1571), comentarios lucidsimos al texto de pedro Hispano, introduccin
y traduccin de M. Beuctlot, universidad Nacional Aurnoma de Mxico, Mxico,
1986.
Mir Quesada, F. y carrin 7am, R. (comps.) (1988), Antologa de ra lgica en Amrica
Latina, universidad de carabobo, Fundacin Banco Exreiior, valeniia, venezuela-

Madrid.
Mostowski, A. (1965), Thirty Years of Foundational studies. Lectures on tbe Deuelopment of Matbematical Logic and the study of the Foundations of Mathematics in
1930-1964, Helsinki.
Nidditch, P. H. (1,962), Tbe Deuelopment of Mathematical Logic, New york.
Patzig, G. (1'968), Aristotle\ Theory of the syllogisrn. A Logico-philological study of Book
and of the Prior Analytics, D. Reidel, Dordrecht-Bosion.
Pedro Hispano, Tractatus, llamado despus summule Logicales, primera edicin crtica
basada en los manuscritos e introduccin de L. M. de .it<
1v. e. M. Beuchot, Mxico,
1,986).

Prantl,

c.

(1855-1870), Geschichte der Logik im Abendrande, Leipzig-Darmstadt-Graz-

Berlin,1955.

(1'964), Die Logik der Neuzeit. 1. Band 1s00-1640, stuttgart-Bad cannstatt.

}fu.r., w,
Robert,_s. (1"978), La logique, son histoire, ses fondements, Le pri'mbule, Longueuil.
Robles,J. A. (1980),
"La generalizacin mltiple y la cuantificacin en la lgica de .ege,:
Episteme, 4, 37-42.
Scholz, H. (1931,), Geschichte der Logik, Junder u. Dnnhaut, Berlin.
scholz, H. (1968), Esquisse d'une histoire de ra logique, Aubir-Montaigne, paris.
Shearmann, A. Th. (1906), The Deuelopment of ymbolic Logic, Lond,n.
Van Evra, J. W. (7966), A History of some Aspects of the Theoiy of Logic, 7gi}_present,

Ann Arbor.

van Heiienoort, J. (comp.) (j1976), From Frege to Gdet. A source Book in Matbematical Logic, 1879-1931, Harvard University press, Cambridge.
vuillemin, J. $968), Legons sur la premire philosophie de Russelt, A. colin, paris.
ziehen, Th. (1920), Lehrbuch der Logik auf positiuistischer Grundlige mit Beichsichtigung der Geschichte der Logik, Bonn.

69