JOSE FERRATER MORA

QU ES
LA
LGICA
 Uno de los primeros puestos
iv tre quienes filosofan en espaol
per tencce sin disputa a Jos
Ferrater Mora. Naci en Barcelona
en 1912 . Ha sido profesor de
filosofa en la Universidad de Chile y
lo es actual' mente de la misma
disciplina en el Bryn Mawr College,
Pennsylvania, Estados Unidos. Ha
colaborado en muchas revistas de
Europa y Am' rica, y ha
enriquecido la bibliografa filosfica
con una docena de obras que
rpidamente le aseguraron no'
toriedad y prestigio como pensador
original y excelente escritor.
Entre sus mritos se cuenta ser el
autor del Diccionario de filosofa,
instrumento de orientacin y trabajo
sin parangn en nuestro idioma y
que iguala y aun supera a
muchos de los ms reputados
escritos en otras lenguas. Por la
informacin abundante y estricta,
extendida a las figuras y doctrinas
ms recientes; la organizacin del
material, el mtodo y el constante
acierto en la valora' cin, el
Diccionario justifica el xito sin
precedentes obtenido en sus va'
rias ediciones y ha llegado a conver'
tirsc en indispensable utensilio de
consulta para todo interesado en fi'
losofa, desde el estudiante al espe'
cialista.
En el amplio registro de la tem'
tica de Ferrater entran tanto los pro'
blcmas que conmueven el espritu
contemporneo, captados con una
estremecida emocin de partcipe
en
( Contina en la solapa posterior.)
C O L E C C I N E S Q U E M A S

IMPRESO EN LA ARGENTINA

Vutda hecho el depsito que previene la ley nmero Copyright 1 1 .72 3 .

hy Editorial Columba, Buenos Aires, 195 7 .
 JOSE F E R R AT E R M O R A

OUE ES LA LOGICA

JO S F E R R A T E R M O RA
E D IT O R IA L C O LU M B A
 I

N A T U R A L E Z A D E L A L G IC A

1 . Dos ejemplos de sofismas

/ ^ a l d e a d o por el entusiasmo de la multitud, un

orador proclama:
N o hay duda, ciudadanos: bastar llevar a
cabo la unin sagrada de los ruritanios para que
se ponga fin a la desintegracin de nuestro
pas, tramada en la sombra por nuestros
enemigos seculares. Pero la unin sagrada no
es suficien te; es menester tambin que
aportemos nues tro bolo a la cruzada por la
supervivencia histrica en la que estamos
empeados. He dicho.
De regreso en su hogar, la esposa del orador dice
a ste:
Sabes la gran noticia? Ana se ha ido a
vivir con su madre! Seguro que Olegario ha
vuelto a salir con Brgida, pues Ana me dijo
un da que en este caso se ira a vivir con
su madre.
Lo que ha dicho el orador y lo que ha dicho su es
posa tienen un rasgo comn: ser falacias o, como
se dice tambin, sofismas.
En qu consisten stos? Para ponerlo en claro es
menester saber lo que el orador y su esposa han dicho
desde el punto de vista lgico.
7
 El primero ha dicho lo siguiente:
La unin sagrada basta y la unin sagrada no
basta.
Ahora bien: afirmar una proposicin y la negacin
de sta constituye una contradiccin. Como tal, se
ha- lia en flagrante desacuerdo con la llamada de con
tradiccin o el llamado principio de contradiccin
(que de un modo ms propio deberan ser llamados
respect vamente ley o principio de no
contradiccin). Segn esta ley, no se admite
sentar un enunciado y a la vez la negacin de este
enunciado. De haber obedecido a la lgica ( o de
no haber pretendido aprovecharse de su violacin
para fines extralgicos), el orador hubiera tenido que
decir sustancialmente:
N o es cierto que la unin sagrada basta y
que la unin sagrada no basta,
lo cual hubiera sido lgicamente correcto aunque
acaso polticamente ineficaz .
La esposa del orador viene a decir esto:
Si Olegario sale con Brgida, Ana se va a
vivir con su madre.
Ahora bien, Ana se va a vivir con su madre.
Por lo tanto, Olegario sale con Brgida.
Dnde est aqu el sofisma? De primer intento, no
resulta fcil descubrirlo. H ay nada ms natural que
sostener que Olegario ha salido con Brgida
sabemos que Ana se ha ido a vivir con su madre y
consideramos lo que Ana haba anunciado al respecto?
Pero no nos fiemos en lgica de lo que parece
natural, ni de lo
8 to-
que salta a la vista como intuitivamente evidente . La
esposa del orador ha seguido en su razonamiento el si'
guente principio errneo:
Dada la proposicin
condicional:
Si Olegario sale con Brgida, Ana se va a
vivir con su madre,
formada por el antecedente:
Si Olegario sale con Brgida,
y por el consecuente:
Ana se va a vivir con su madre,
la afirmacin del consecuente:
Ana se va a vivir con su madre,
puede permitir concluir el antecedente:
Olegario sale con Brgida.
En qu consiste el error de este principio? Senci
llamente, en el olvido del hecho de que lo sostenido
por el consecuente hubiera podido ocurrir por otras ra-
zones que las indicadas en el antecedente. Para com'
prenderlo de una manera ms intuitiva ,
consideremos el siguiente razonamiento:
Si Roberto toma demasiada estricnina, se pone
enfermo.
Ahora bien, Roberto se pone enfermo.
si Por lo tanto, Roberto toma demasiada estricnina.
Aqu percibimos claramente la incorreccin. En
efecto, un mdico que juzgue que el tomar demasiada
estricnina causa una enfermedad, no concluir por el
mero hecho de que Roberto est enfermo que ha
9
mado demasiada estricnina; puede haber bebido
agua de un pozo infectado, haber sufrido un ataque del
h- gado, etc., etc. Slo la comprobacin emprica le
per mitir concluir que la enfermedad de Roberto se
debe efectivamente a haber ingerido demasiada
estricnina. Tambin aqu, pues, se ha seguido el
errneo principio de afirmar el antecedente de una
proposicin condicio nal tras haber sostenido el
consecuente de la misma proposicin. Pero como el
razonamiento relativo a Ro berto es lgicamente el
mismo que el que se refiere a Olegario, a Ana y a
Brgida, este ltimo es exacta mente tan sofstico
como el primero.
2. Lasimplificacin del
lenguaje Con el fin de descubrir la
correccin o incorreccin
lgicas de los citados dos ejemplos hemos
ejecutado una operacin sin la cual todo anlisis lgico
resultara embarazoso, por no decir imposible: la
simplificacin del lenguaje.
La larga tirada oratoria ha sido reducida a la pro*
posicin La unin sagrada basta unida por la con
juncin y a la proposicin La unin sagrada no basta.
Adems, mientras en el texto primitivo se ha
usado en el primer caso un futuro ( bastar ) y en el
segundo un presente ( no es suficiente ) , en la
transcripcin lgica se ha usado siempre un
presente ( basta, no basta ). Finalmente, en la misma
transcripcin se ha prescindido de que en el texto
primitivo haba ma tices lingsticos ( bastar, ser
suficiente ) y se ha de cidido usar el mismo verbo. Con
ello hemos dado un esqueleto lgico de la frase,
cercenando de ella no
10
slo las resonancias psicolgicas y sociolgicas, sino
tambin todas las variaciones lingsticas que pudieran
haber representado un obstculo para tal
simplificacin. Lo mismo ocurre con la confidencia de la
esposa del orador. N o nos han importado ciertos
matices ( seguro que, me dijo un da ), ni el
tiempo de los verbos ( se ira ) . Se ha prescindido
tambin de la estructura conversacional de la frase
para atenerse a un modelo de escaso inters
humano o literario, pero de indudable valor lgico. De
este modo ha aparecido con ms cla ridad lo que la
esposa del orador deca lgicamente y ha sido
ms fcil descubrir el sofisma que se ocultaba
tras su emotivo razonamiento.
Estas simplificaciones y unificaciones no deben in
quietarnos; nadie pretende que los humanos deban
comunicarse unos a otros sus pensamientos ( y
menos an sus sentimientos) por medio de frases
encajonadas dentro de previas estructuras lgicas.
Pero conviene dejar bien claro que desde el instante
en que preten demos transcribir frases al lenguaje
lgico, es menester cribarlas en el sentido indicado. La
recomendacin car tesiana de atenerse a lo claro y
distinto debe cumplirse en la lgica ms que en
ninguna otra disciplina.
Hay ms. En la seccin 1 hemos dado
simplemen te ejemplos de proposiciones reductibles a
esqueletos lgicos. Cualesquiera otros ejemplos que
hubiesen se guido la misma pauta habran sido
igualmente ilustra tivos. Cuando se refiere a las
proposiciones, la lgica no se interesa, en efecto,
por lo que se enuncia en ellas; le es indiferente que
se hable de los ruritanios o de los sirios, de unin
sagrada o de desunin profana, de Ana o de
Rita, de poltica o de teologa. Se ocupa,
11
 pues, la lgica (de las proposiciones) slo del modo
como se enuncia lo que se dice? S, pero siempre que
semejante como no sea interpretado desde el
punto de vista retrico o literario, sino en forma tal que
sean evitados todos los equvocos y todas las
ambigedades. Podramos concluir diciendo que ocurre
con la l gica algo parecido a lo que sucede con
la aritmtica. As como lo que importa para esta ltima
en la expresin 2 naranjas ms 3 naranjas suman
5 naranjas no son
las naranjas de que se habla, sino la ecuacin 2 +
3 explcitamente se dice, y las manifestaciones indirectas,
5 , en la lgica importan asimismo ciertas formas o
estructuras, eliminndose los contenidos . Se dice
por ello que la lgica es una disciplina formal, y aun
que lgica y lgica formar son expresiones
equivalentes. Lo que se ha llamado a veces lgica
material no es l gica, sino metodologa. Y lo que se
califica de lgica trascendental, lgica vital, lgica
hermenutica, etc., no pertenece tampoco a la lgica,
sino a la teora del cono cimiento, a la filosofa general
o a la metafsica.
3. . E l lenguaje lgico
Los lenguajes son de muy diversos tipos. Dos mere
cen ser aqu recordados.
Por un lado, ciertos lenguajes pueden agruparse
ba jo el nombre comn de lenguaje natural.
Ejemplos son: el espaol, el francs, el alemn.
En cualquiera de estos lenguajes podemos referirnos a
multitud de entidades, sensaciones o situaciones: a la
pluma que usamos al escribir, a un amigo, a nuestro
dolor, a la simpata o antipata que sentimos por
una persona o una institucin determinadas, a un
conflicto entre el
12
amor y el deber, etc. Podemos, adems, no slo
men tar, describir y conocer, sino tambin mandar,
valorar, imaginar. De ah la riqueza de vocabulario y
de ma tices en cualquiera de dichos lenguajes. De ah
igual mente la considerable dosis de sobreentendidos
qu contienen la mayor parte de las expresiones
formuladas en los mismos. De hecho, en los
lenguajes naturales se da a entender ms de lo que
las metforas y las ambige dades desempean en
ellos un papel fundamental.
Por otro lado, ciertos lenguajes pueden
agruparse bajo el nombre comn de lenguaje
cientfico. Ejemplos son: el lenguaje de la fsica, de la
biologa, de la psi cologa. Estos lenguajes pueden
emplear como instru mento un lenguaje natural, pero
aun entonces intro ducen en l transformaciones
considerables, pues no ce san de simplificarlos,
unificarlos y purificarlos de ambigedades. E l ideal del
lenguaje cientfico es la eli minacin de los
sobreentendidos, de las alusiones y, en la medida de
lo posible, de las metforas. Aunque no siempre sea
factible definir con toda precisin en dicho lenguaje los
trminos empleados, se tiende a que cada expresin
sea explcita y resulten eliminadas las reso nancias
afectivas, las que son consideradas como un obs tculo
para la obtencin de lo que desde el punto de vista
cientfico son virtudes inapreciables: la claridad, la
precisin, la univocidad, el rigor, la
impersonalidad.
El lenguaje de la lgica es uno de los lenguajes
cientficos. Debe cumplir, pues, con todas las condi
ciones impuestas a ellos. Pero como su formalismo es
mayor an que el de los otros lenguajes cientficos
in
13
 cluyendo el de la matemtica , lleva tales
condiciones a lmites extremos. Dos consecuencias se
siguen de ello. Una es que el lenguaje lgico es
limitado. El n' mero de elementos de su vocabulario,
el nmero de re' glas de la sintaxis de este vocabulario
y el nmero de reglas de inferencia que permiten
combinar en formas vlidas las frmulas admisibles
previamente obtenidas
son reducidos al mnimo.
La simbolizacin del vocabulario es por ello indis-
pensable. As, cuando trata de proposiciones como
ta les la lgica las simboliza mediante letras, las cuales
son unidas por medio de un nmero reducido de signos
de conectivas que se leen no, y, V , si. . afirmativos. En el lenguaje ordinario po demos decir:
.entonces, etc. . Cuando trata de enunciados
descomponibles en sujetos y predicados, la lgica
simboliza mediante otras letras cada uno de stos y
suele anteponer signos que los cuantifican y que se
leen todos, algunos, etc. . Cuando trata de clases,
simboliza stas mediante otras letras y las relaciona
con una serie limitada de signos
que se leen est incluido en, es igual a, etc. , amigo que tiene Pedro, La Luna es igual al nico
y as sucesivamente. L a sintaxis est constituida por
una serie de reglas que permiten establecer frmulas
admi sibles ( bien formadas ) , esto es, frmulas que,
una vez traducidas ( o interpretadas) dan lugar a
expresiones lgicamente correctas. El ideal de la lgica
es construir lenguajes cuyos elementos y cuyas reglas
para combi narlos sean muy reducidos.
Otra consecuencia es que el lenguaje lgico es uni
versal. Dentro de la limitacin apuntada, este lenguaje
pretende engastar la mayor cantidad posible de expre
siones lingsticas. Cuando habla de proposiciones, la
lgica se refiere a todas las proposiciones; cuando
trata
14
de relaciones, se refiere a todas las relaciones, etc. N
in gn lenguaje escapa a su ojo vigilante. N o slo hay
una lgica de los lenguajes cognoscitivos, sino
tambin una de los lenguajes valorativos e imperativos;
no hay slo una lgica de los enunciados, sino tambin
una de las interrogaciones. Un nmero infinito de
expresiones en cajan dentro del nmero finito de sus
medios. Ya he mos visto que la lgica de las
proposiciones no se inte resa por los contenidos de
stas. L a unin sagrada basta y El agua pesada
hierve a los 101 ,4 grados cen tgrados son enunciados
muy distintos. Ambos pueden ser considerados,
empero, por la lgica como ejemplos de enunciados
Mauricio es el mejor amigo que tiene Pedro. En el
lenguaje cientfico podemos enunciar La Luna es el
nico satlite de la Tierra. Ambos enuncia dos son
ejemplos de un mismo tipo de relacin, la re lacin
expresada por es igual a y que se advierte cla ramente
cuando unificamos el lenguaje de los citados ejemplos y
decimos respectivamente: Mauricio es igual al mejor
satlite de la Tierra. As, no slo hay una infi nidad
de ejemplos posibles para cada frmula lgica, sino
que tambin las expresiones que enlazan unos ele
mentos con otros es igual a, s i. . . entonces, etc.
alojan dentro de s una gran cantidad de posibles
mo dos lingsticos. Siendo el ms general y
abstracto de todos los marcos lingsticos, la lgica
aparece, pues, como el ms universal de todos los
lenguajes y como la ms universal y bsica de
todas las ciencias.
15
 4 .E l ideal de la precisin
Sera un error, sin embargo, concluir que la lgica
tiende solamente a la simplificacin y
universalizacin del lenguaje. Ya hemos visto que junto
a este ideal e inseparable de l hay que considerar
el de la mxima precisin.
En el lenguaje natural empleado en la vida
cotidiana
no prestamos atencin desmedida a los diversos signifi
cados que puede tener el mismo vocablo. Ello se
debe en parte a que el significado correcto o
suficiente es sobreentendido, y en parte a que no
nos preocupa mos excesivamente del "significado
correcto .
Toda desidia al respecto es inconcebible en la
lgi ca. Consideremos, en efecto, las siguientes
frases:
Guillermo es modesto,
Vaz Ferrcira es el ms conocido de los filsofos
uruguayos,
Los argentinos son sudamericanos,
El Brasil es mayor que Albania.
El verbo usado en cada una de las cuatro frases
es el mismo: el verbo ser. Pero la funcin lgica de
tal verbo es en cada caso distinta. En el primer ejemplo
predicamos una virtud de una persona; en el segundo
identificamos una persona con el filsofo ms
conocido de un cierto pas; en el tercero incluimos
una comuni- dad humana dentro de otra comunidad
ms amplia; en el cuarto relacionamos de una cierta
manera un pas con otro. Conviene, pues, precisar lo
ms posible cada una de estas funciones del verbo
'ser . La lgica lo hace ex- plicitando la partcula es (o
son ) de un modo per' fectamente claro.
16
As, el primer ejemplo:
Guillermo es modesto
conserva la misma forma, ya que el es constituye
uno de los modos de adscribir un predicado (o
atributo) a un sujeto, por lo cual este enunciado
pertenece a la lgica llamada, segn los casos,
atrihucional,
cacionl o de los trminos.
El segundo ejemplo equivale lgicamente a:
Vaz Ferreira es igual al ms conocido de los fil-
sofos uruguayos,
por lo cual este enunciado pertenece a la lgica
llamada de la identidad, donde es igual a se expresa
con fre cuencia por es idntico a.
E l tercer ejemplo equivale lgicamente a:
La clase de los argentinos est incluida en la
clase de los sudamericanos,
por lo cual este enunciado pertenece a la lgica
llama da de las clases.
E l cuarto ejemplo:
El Brasil es mayor que Albania
conserva la misma forma, pero mientras en el lenguaje
ordinario podemos tender a considerar es mayor que
Albania como un atributo, en la lgica se establece
claramente que lo que une el Brasil con Albania es una
relacin (la relacin mayor que), por lo cual tal enun
ciado pertenece a la lgica llamada de las
relaciones.
Como las leyes que rigen cada una de estas
lgicas (o, mejor, ramas de la lgica) no son las
mismas, la distincin entre estos tipos de enunciados
no es una me
17

ra cuestin de pulcritud lingstica, sino una condicin
fundamental para la interpretacin lgica correcta
y, por consiguiente, para la obtencin de la
precisin.
E l lector puede preguntarse si con esto no queda
invalidado lo que hemos puesto de manifiesto en la
seccin 3 acerca de la simplificacin y unificacin del
lenguaje lgico. En efecto, aqu aparece como si la sim-
plificacin y unificacin fueran practicadas ms bien
por el lenguaje ordinario, que se limita a usar el mismo
ver- bo ser para distintos tipos de enunciados. N o
ignora- mos que algunos autores se inclinan a afirmarlo y
a pro- clamar que el verbo ser es la cpula
fundamental en todos los enunciados, de modo que
cualquier enunciado puede reducirse a otro que siga
la forma general:
S es P,
donde S representa el llamado sujeto y P
representa el llamado predicado. Por ejemplo,
segn esta teora, los enunciados:
Cristbal bebe,
Rita se pasca por el parque,
pueden transformarse en los enunciados:
Cristbal es bebedor,
Rita es paseante por el parque,
donde bebedor5 y paseante por el parque' son consi-
derados como los predicados respectivamente de los
su jetos designados por Cristbal y R ita . Nosotros di
sentimos de esta opinin por dos razones. En primer
lugar, estimamos que el llamado predicado de una pro
posicin est constituido tanto por el verbo (como en
bebe ) como por el verbo y el llamado
complemento
18
(como en es paseante por el parque ) . En segundo
trmino, estimamos que es intil conservar el papel
fundamental de la cpula representada por el
verbo ser si se nos advierte que dentro de esta
cpula pue den darse enunciados que expresan
predicacin, identi dad, pertenencia a una clase y
relacin. Mejor es a nuestro juicio sentar de
antemano una distincin como la que hemos
propuesto al comienzo y como la que se expresa con
toda claridad en los signos especiales intro ducidos por
los lgicos ( y de los que aqu prescindir- remos para
conservar el carcter elemental de nuestra exposicin).
Por consiguiente, la simplificacin y uni ficacin que
hemos puesto de relieve no concierne meramente a los
trminos del lenguaje ordinario em pleados, sino
tambin y sobre todo a las funciones que expresan las
distintas partculas lgicas. Slo atenindo nos a este
aspecto funcional tiene sentido y puede resultar fecunda
la mencionada precisin.
5 . Caractersticas de la lgica
( 1 ) La lgica es un lenguaje que forma parte
de los g a
len uajes cognoscitivos. Dentro de tales lengu jes
la lgica forma parte, adems, de los lenguajes cient
ficos.
( 2 ) E l lenguaje de la lgica est compuesto de ex
presiones que no se refieren a hechos, sino a otras ex
presiones. stas pueden ser tanto las de los lenguajes
ordinarios como las de los cientficos. Pero como el
ri gor que la lgica postula es ms frecuente en los
lti mos, la lgica suele tener predominantemente
como objeto las expresiones de los lenguajes de las
ciencias.
19
 ( 3 ) La adecuacin del marco lgico a un lenguaje
determinado es tanto mayor cuanto ms completo sea el
formalismo alcanzado por este ltimo. Esto explica
que la lgica sea especialmente adecuada para servir
de mar co al lenguaje de la matemtica.
( 4 ) Los trminos de que se compone el
vocabula rio lgico son de varios tipos. Unos designan
proposi ciones, clases, relaciones, etc. Otros designan
diversos modos de enlazar tales proposiciones, clases,
relaciones, etc. Supongamos, por ejemplo, que
tenemos la pro posicin:
El electrn de hidrgeno salta de una rbita a
una subrbita
y la proposicin:
El electrn de hidrgeno irradia una cierta can
tidad de energa.
Podemos unir estas proposiciones mediante el
condicio nal s i . . .entonces, y decir:
Si el electrn de hidrgeno salta de una rbita
a una subrbita, entonces irradia una cierta
can tidad de energa.
E l ejemplo anterior constituye una verdad cientfica
perteciente a la fsica, esto es, una afirmacin cuya
ver dad depende del contenido de lo que se dice y de su
comprobacin mediante la experiencia ( o mediante su
consistencia con otras afirmaciones que son
comproba das por la experiencia). Si la experiencia
mostrara que el electrn de hidrgeno no salta de una
rbita a una subrbita, o que la mencionada
irradiacin de energa
20
nada tiene que ver con el citado salto, habra que
decla rar falso el condicional de referencia.
En cambio, si escribimos el condicional:
Si el electrn de hidrgeno salta de una
rbita a una subrbita, entonces el electrn de
hidr geno salta de una rbita a una
subrbita,
tendremos un ejemplo de verdad lgica, es decir, una
afirmacin cuya verdad depende exclusivamente de la
forma.
Puede alegarse que si as es las verdades lgicas
son enteramente triviales. Pero no es difcil dar
ejemplos de verdades lgicas cuya complejidad ofrece
menos flanco a semejante objecin . As, la oracin
que si gue (que expresamos para mayor facilidad
de lectura en lenguaje ms "coloquial que el debido)
es, no me nos que el anterior, un ejemplo de
verdad lgica:
Suponiendo que si la poltica fuera una actividad
fatigosa, la filosofa sera un buen
pasatiempo, y que si el amor diera muchos
sinsabores, la amistad procurara grandes
alegras, y que, adems, la poltica es una
actividad fatigosa o el amor da muchos
sinsabores, habra que con cluir que la
poltica es una actividad fatigosa o la
amistad procura grandes alegras.
(5) La lgica es una disciplina formal que usa
un mtodo deductivo. A veces se distingue entre lgica
de ductiva y lgica inductiva, pero estas calificaciones
son poco apropiadas en vista del carcter deductivo de
to das las ramas de la lgica. La diferencia entre la
lgica deductiva y la lgica inductiva se refiere ms bien a
los problemas que cada una de ellas trata
preferentemente
y al hecho de no usar o usar respectivamente ciertas
21
 nociones (como la de probabilidad). Puesto que aqu
excluiremos estas ltimas, la lgica de la cual hablare
mos es la que tradicionalmente se llama lgica
deductiva.
( 6 ) Como toda ciencia, la lgica se presenta
dividida en varias secciones. Las ms importantes son
las ya men cionadas: lgica de las proposiciones ( o
enunciados), de los trminos (o cuantificacional), de
las clases y de las relaciones. Expondremos
sumariamente estas seccio nes de la lgica en la
parte II de esta obra. En cada una de ellas se
estudian los diversos modos de enlace de las
expresiones con el fin de formar ciertas estructu ras,
las varias leyes vlidas enunciadas mediante tales
estructuras y las reglas de inferencia que permiten de
ducir unas frmulas de otras para alcanzar conclusiones
lgicamente aceptables.
( 7 ) Las expresiones del lenguaje lgico se mani
fiestan por medio de inscripciones, tales como las que
figuran sobre el papel al hacer constar enunciados y
frmulas. Algunos autores han supuesto que si las ins
cripciones en cuestin ocupan un espacio, ello quiere
decir que son asimismo objetos de una ciencia
real, por ejemplo de la fsica. Ahora bien, si es
cierto que la fsica estudia efectivamente objetos
materiales y, por lo tanto, tambin las condiciones
materiales de la mani festacin de las inscripciones de
que trata la lgica, ta les inscripciones no son para
la lgica objetos fsicos, sino objetos ideales. Lo que
interesa lgicamente en la siguiente verdad:
Si Kant fue un gran filsofo, entonces Kant fu
un gran filsofo o Lavoisier fu un gran qu
mico,
22
no son las propiedades fsicas de estos signos, sino una
cierta estructura que puede manifestarse en muy
diver sos espacios y tiempos y con muy distintos
materiales . Ello ha permitido decir que la lgica es
una ciencia ideal, pero hay que tener buen cuidado de
no inter pretar esta expresin en sentido puramente
metafsico, como si hubiera unos objetos situados en un
mundo es pecial suprasensible de los que la lgica
fuera su ciencia.
( 8 ) Las expresiones del lenguaje lgico se mani
fiestan asimismo en forma de procesos psquicos que,
como tales, tienen lugar en una mente. En vista de ello
varios autores se han inclinado a considerar la lgica
co mo un apartado de la psicologa o, cuando menos,
co mo una ciencia ntimamente relacionada con la
psicolo ga. Pero lo mismo que ocurre con la fsica,
el hecho de que la psicologa pueda ocuparse de los
procesos ps quicos por medio de los cuales tienen lugar
las expre siones lgicas no significa que la lgica se
ocupe de ac tividades psquicas como tales.
( 9 ) Las expresiones del lenguaje lgico se
ordenan con frecuencia en ciertas formas que
responden a estruc turas gramaticales. Por este motivo
algunos autores han proclamado que la lgica depende
de la gramtica. A ello debe contestarse que la
coincidencia de las es tructuras lgicas con las
gramaticales no se manifiesta siempre y, sobre todo,
que slo se hace patente cuando usamos como
expresiones lgicas ejemplos sacados del lenguaje
natural. As, el hecho de que podamos dar ejemplos
lgicos mediante expresiones sometidas a cier tas
reglas gramaticales no implica que haya identidad
entre la gramtica y la lgica.
23

( 1 0 ) En las leyes y en las reglas lgicas se dan
or- mas por medio de las cuales se expresan ciertas
estruc- turas lgicas y tienen lugar transformaciones de
unas frmulas en otras. Ciertos autores han declarado
que la lgica es por ello una ciencia normativa. Sin
embargo, el que la lgica nos indique cmo deben
formularse ciertas estructuras o cmo debe pasarse de
unas a otras no quiere decir que la lgica nos ensee
cmo debemos pensar. Las normas lgicas no tienen
un carcter impe rativo ms que en tanto que ciertas
convenciones son consideradas como normativas si
quieren alcanzarse cier tos fines.
( 1 1 ) E l problema de si la lgica es o no una disci
plina filosfica merece menos comentarios de los que
suelen dedicrsele. La respuesta a la cuestin puede
ser afirmativa o negativa sin que ello afecte en lo ms
m nimo a la estructura de la lgica. Pero sea o no la
l gica una disciplina filosfica, hay que tener en
cuenta que hay diferencia entre la lgica y la filosofa
de la lgica. La primera no se ocupa de lo que la
segunda considera como su misin principal: saber cul
es la na turaleza propia de las expresiones lgicas,
averiguar qu es una ley lgica, examinar cules son
los supuestos ltimos en que se basa la lgica,
determinar en qu medida las leyes lgicas pueden
aplicarse al conocimiento de la realidad, etc., etc.
Naturalmente, en toda exposi cin de la lgica es
inevitable insertar una parte de la filosofa de ella. L o
que hemos expuesto en esta seccin y lo que
trataremos en la parte III de este libro perte nece, por
ejemplo, casi enteramente a la filosofa de la
lgica.
24
6. Lgica, metalgica y semitica
N o debe confundirse la filosofa de la lgica con una
disciplina que tiene por objeto estudiar los signos em
pleados por la lgica y las cuestiones que plantean los
sistemas de tales signos: la metalgica. Esta ltima
pue de definirse como un lenguaje en el cual se habla del
lenguaje lgico. As, cuando decimos:
N o es cierto que el elefante sea un ente micros^
cpico,
formulamos un enunciado que como tal pertenece a la
lgica: un enunciado negativo. En cambio, cuando de
cimos:
No* es una partcula que designa negacin y
que se antepone a un enunciado,
formulamos un enunciado que pertenece a la
metalgica. L a diferencia entre lgica y metalgica es
un caso ejemplar de la diferencia entre lo que se
llama lenguaje y lo que se califica de metalenguaje. E
l primero es defi nido como el lenguaje que se habla;
el segundo, como el lenguaje en el cual se habla
acerca del lenguaje que se habla. Tal diferencia
corresponde, adems, a la que se establece entre el
uso y la mencin de los signos. En el primer
ejemplo, el signo W es usado; en el
se gundo, el mismo signo es mencionado. Y a el
lenguaje ordinario establece tal diferencia, como
cuando decimos:
Asuncin es la capital del Paraguay,
donde Asuncin es usado, y
'Asuncin es un vocablo de ocho letras,
25
donde Asuncin es mencionado. Las semicomillas en
el segundo ejemplo sirven para subrayar que
estamos an- te un caso de mencin.
Por lo dicho se comprender que en todos los
textos
de lgica se insertan enunciados metalgicos y que de
ordinario lgica y metalgica van aparejadas. Sin em
bargo, hay ciertos problemas dilucidados en tales
libros que son especficamente metalgicos: son los que
se re fieren a la construccin de sistemas lgicos. As, el
pro blema de saber si un sistema lgico es o no
consistente es un problema fundamental metalgico.
A su vez, la metalgica es una parte de la llamada
semitica, o estudio general de los signos. Se ha
acor dado que la semitica ofrece tres distintas ramas
de es tudio: la sintaxis, o estudio puro de los signos y
de las relaciones entre los signos aparte de lo que los
signos designan y la relacin con quienes los usan;
la
tica, o estudio de las relaciones entre signos y objetos
designados, y la pragmtica, o estudio de las
relaciones entre los signos y quienes usan los signos.
Por este mo tivo, las cuestiones metalgicas suelen
ser estudiadas desde el punto de vista sintctico,
semntico y pragm tico. En este libro
prescindiremos de estas cuestiones, pero haremos una
excepcin en la seccin 19, al referir nos a una
importante cuestin semntica: la de la verdad.
26
II
E L E M E N T O S D E L A L G IC
A
7. Trminos y proposiciones
o nsider emo s las siguientes expresiones:
Olga es insoportable,
Ser insoportable es poco recomendable.
Podemos estudiar estas frases como ejemplos de
pro posiciones y examinar entonces estas
proposiciones co mo tales, esto es, prescindiendo de
su composicin. En tal caso se tratar de uno de
los tipos de proposiciones a los cuales nos referiremos
en la seccin 10, y cuyas leyes y reglas son objeto
de la llamada lgica de las pro posiciones o lgica
proposicional.
Podemos tambin considerar estas expresiones
como ejemplos de enunciados en los cuales interesa
saber la composicin, esto es, la clase de trminos
incluidos en ellas y el tipo de entidades que tales
trminos designan. En este caso se tratar de los
enunciados que dilucida remos con ms detalle en la
seccin 14, y cuyas leyes y reglas son objeto de la
llamada lgica de los trminos y, en la medida en
que stos se cuantifican, lgica cuantificacional.
L a confusin entre estas ramas de la lgica ha sido
tan frecuente como indeseable. El principal motivo de tal
confusin obedece al hecho de que las mismas frases
pueden ser consideradas desde ambos puntos de
vista.
27
Ahora bien, lo que interesa en la lgica es la funcin
que desempean unas frmulas dadas. H e aqu la
ra zn por la cual la lgica tiende a simbolizar las
frases que toma como ejemplo, pues slo a travs de
esta sim bolizacin es posible saber inequvocamente si
nos las habernos con una lgica proposicional o con
una l gica de los trminos.
Supongamos que se nos presentan las dos
condicio nes siguientes:
Si Eduardo canta, tiene dolor de cabeza,
Si Eduardo canta, Pablo tiene dolor de
cabeza.
Desde el ngulo de la lgica de las proposiciones
ambos ejemplos son expresados por medio de los
mis mos smbolos, pues uno y otro indican que si se
afirma una proposicin se afirma otra proposicin.
Desde el punto de vista de la lgica de los trminos
los dos ejemplos no pueden ser expresados
mediante los mis mos smbolos, pues el sujeto del
consecuente de cada condicional es distinto.
Diremos ahora unas palabras sobre los trminos es
tudiados por la lgica de los trminos.
Ante todo, recordemos que cada enunciado se com
pone de dos partes: el sujeto y el predicado. Este
lti mo est formado, segn los casos, por el
verbo, por el verbo y el complemento o complementos,
o por la cpula expresada mediante el verbo ser y
el atributo o atributos. As,
Jos Luis duerme,
Jos Luis tiene una casa
nueva, Jos Luis va al cine cada
noche, Jos Luis es
inteligente,
28
Jos Luis es generoso con su tiempo y con su
dinero,
son enunciados en los cuales Jos Luis representa en
todos los casos el sujeto y 'duerme1, tiene una
casa, va al cine cada noche, es inteligente5 y es
generoso con su tiempo y con su dinero5 representan
los distin tos predicados. Tanto los sujetos como los
predicados son llamados indistintamente trminos de
los enunciados. Los sujetos pueden designar entidades
concretas, en cuyo caso hablamos de trminos
singulares. As, en los ejemplos dados en esta
seccin, Olga5 y Jos Luis5 son trminos singulares.
Pueden designar tambin entida des abstractas, en
cuyo caso hablamos de trminos ge nerales. As, en
el segundo de los ejemplos citados, ser
insoportable es un trmino general. Es obvio que lo
que en algunos casos aparece en el predicado de un
enunciado puede reaparecer en otros en el sujeto de
otro enunciado. De hecho, tenemos un caso de tal
transpo sicin en la expresin ser insoportable5,
la cual apa
rece como predicado en:
Olga es insoportable,
y como sujeto en:
Ser insoportable es poco recomendable.
L a ya citada cuantificacin de los trminos puede
referirse tanto a los sujetos como a los predicados,
pero dada la complicacin que ofrece esta ltima, nos
refe riremos exclusivamente a la primera. sta consiste
esen cialmente en formar los enunciados de tal
modo que se indique si el sujeto se refiere a todas
las entidades de la misma especie o bien slo a
algunas (cuando me
29
nos a una). Volveremos sobre este punto al
introducir en la seccin 14 los elementos fundamentales
de la cuantificacin.
8. . Comprensin y extensin
Se distingue entre la comprensin y la extensin
de los trminos. La comprensin est constituida por el
contenido del trmino, es decir, por las caractersticas
mediante las cuales se define el concepto correspon-
diente. As, la comprensin del trmino hombre es el
significado de este trmino, significado que distingue
hombre de otros trminos, tales como pjaro,
casa, etc., etc., los cuales tienen comprensiones
diferentes. L a extensin est constituida por los
objetos que caen bajo el concepto correspondiente.
As, el trmino hombre tiene como extensin los
hombres, lo cual no significa una cantidad fija de
hombres empricamente determi n are, sino todos los
objetos a los cuales apunta el vo cablo hombre.
Hay una relacin inversa entre la comprensin
y la extensin, de modo que a mayor comprensin co
rresponde menor extensin y a mayor extensin
me nor comprensin. Por ejemplo, el trmino
hombre tiene mayor comprensin que el trmino
animal, pero el trmino animal tiene mayor
extensin que el tr mino hombre. E l trmino ser
tiene una extensin mxima, por referirse a todos los
entes que son, pero una comprensin mnima, por
cuanto est constitui do por un nmero reducidsimo
de notas. En el pro ceso usado por las definiciones
clsicas suelen situarse los trminos de modo que
se vea claramente la men
30
cionada relacin inversa. As, el individuo que
tiene por nombre Jorge se sita debajo de hombre;
hom bre, debajo de animal; animal, debajo de ser
vi viente; ser viviente, debajo de cosa o ser en
general. Con ello se ve que para definir Jorge se
necesitan ms notas o caractersticas (el ser un
hom bre, el ser un animal, el ser un ser viviente,
el ser algo en general) que para definir el significado
de hombre (el ser un animal, el ser un ser
viviente, el ser algo en general), y as sucesivamente.
Por el con trario, la extensin de ser es mayor
(pues incluye el ser viviente, el ser animal, el ser
hombre, el ser Juan, Pedro, Antonio, etc.) que la
de ser viviente (que slo incluye el ser animal, el
ser hombre, el ser Juan, Pedro, Antonio, etc.).
Relacionada con la anterior hay una distincin fun
damental: la distincin entre nombrar un objeto y sig
nificarlo (o denotarlo). Es posible, en efecto, que dos
trminos con significaciones diferentes nombren la mis
ma cosa. Para usar un ejemplo hoy clsico, veamos
lo que ocurre con los trminos L a estrella
matutina y L a estrella vespertina. Cada uno de
estos trminos tiene una significacin propia, pero
nombra la misma entidad: el planeta Venus. La
distincin es importan te, porque permite ver que el
mero anlisis de las sig nificaciones sin comprobacin
emprica resulta insufi ciente para saber si se nombra
o no la misma cosa. Slo la observacin astronmica
revela, en efecto, que el planeta Venus es la sola
y nica entidad nombrada por los dos trminos en
cuestin.
31

9. .Leyes lgicas y reglas lgicas
Todas las partes de la lgica a las cuales nos hemos
referido tratan de las leyes segn las cuales se
agrupan las frmulas. As, la ley de identidad a la cual
nos re feriremos con ms detalle en la seccin 11
constituye una de las leyes ( o principios) de la lgica
de las pro posiciones.
Conviene distinguir entre estas leyes lgicas y lo
que se llama reglas lgicas. Para comprender esta
diferencia, nada mejor que referirnos a los dos
ejemplos de sofis mas expuestos en la seccin 1
de este libro.
E l sofisma del orador obedeca, segn vimos, a la
violacin de una ley lgica: la ley o principio de con
tradiccin. E l sofisma de la esposa del orador se
deba, en cambio, a la inobservancia de las reglas
lgicas o, ms exactamente, de las reglas lgicas
establecidas en la lgica proposicional. Por
ejemplo, el razonamiento:
Si Roberto toma estricnina, se pone enfermo.
Ahora bien, Roberto toma estricnina.
Por lo tanto, Roberto se pone enfermo
no es un sofisma, sino un razonamiento vlido, por obe
decer a una regla de la citada lgica: la regla de se
paracin.
Tanto las leyes lgicas como las reglas lgicas son
necesarias para llevar a cabo razonamientos
correctos. Hay un nmero infinito de leyes lgicas,
pero convie ne reducirlas a unas pocas con el fin de
simplificar el lenguaje lgico. Hay un nmero finito
de reglas l gicas, pero aun entonces se tiende a
reducirlas a un mi-
32
r
nimo. P. ej., es posible en muchos razonamientos
lgi cos usar una sola regla lgica, que es
justamente la que la esposa del orador no
obedeci: la de la separacin.
10. . Clases de proposiciones
Los lgicos han hablado de muchas clases de pro
posiciones: afirmativas, negativas, categricas, atributi
vas, particulares, universales, necesarias, contingentes,
verdaderas, falsas, condicionales, relativas, exclusivas,
comparativas, etc., etc. Muchas de las clasificaciones
presentadas adolecen de dos defectos: uno, el que
tien den a calcar los tipos de proposiciones lgicas
sobre los tipos de proposiciones gramaticales; otro, el
que sitan dentro de la lgica de las proposiciones lo
que corres ponde tambin a la lgica de los trminos,
de las re laciones, etc., etc. Ahora bien: dentro de las
clasifi caciones tradicionales hay una que puede ser
tomada como base para una doctrina ms clara
sobre la divisin de las proposiciones; es la que separa
a stas en dos grandes grupos: las simples y las
compuestas.
Las proposiciones simples constituyen el ncleo pre
posicional mnimo, como cuando decimos:
Cristbal Coln era genovs,
Salvador juega.
Las proposiciones simples pueden ser afirmativas
(como las mencionadas) o negativas, tales como:
Cristbal Coln no era genovs,
Salvador no juega.
Debe tenerse en cuenta que aun cuando desde el
punto de vista gramatical la negacin antecede al
pre
33
dicado, desde el punto de vista lgico hay que consi'
derarla como antecediendo a la proposicin
completa. D e este modo, los ejemplos dados de
proposiciones ne' gativas pueden expresarse de un
modo ms fiel a la estructura lgica escribiendo:
N o es cierto (no es verdad, no es el caso,
etc.) que Cristbal Coln fuera genovs,
N o es cierto (no es verdad, no es el caso,
etc.) que Salvador juegue.
Esto resuelve un problema que ba preocupado in
necesariamente a algunos lgicos: el de saber si las
proposiciones llamadas negativas son o no, en el fondo,
proposiciones afirmativas, ya que los mencionados
ejemplos podran transcribirse respectivamente: Cris
tbal Coln era no genovs, Salvador es alguien
que no juega. La anteposicin de la negacin a
la
proposicin permite ver que se trata efectivamente de
una negacin.
Las proposiciones compuestas son combinaciones
de
proposiciones simples, afirmativas o negativas. Entre
los varios tipos de proposiciones compuestas existentes
mencionaremos tres: las conjuntivas (unidas por y
) , las disyuntivas (unidas por o ) y las condicionales
(unidas por s i . . . entonces ) . H e aqu ejemplos de
cada una de ellas:
Platn escribi el Fedn y Aristteles escribi las
Categoras,
Ramn mira la televisin o no mira la
televisin* Si la espiral de Andrmeda se ve a
simple vista, es una espiral relativamente
cercana al obser
vador.
34
Las proposiciones compuestas pueden tener ms
de dos proposiciones simples. Podemos escribir,
p. ej.:
Si se bombardean los tomos con neutrones y el
nmero de neutrones aumenta, entonces los
tomos bombardeados se convierten en
isto pos pesados,
donde tenemos una proposicin condicional cuyo primer
miembro es una proposicin conjuntiva y el segundo
una proposicin simple. O bien podemos escribir:
Sofa se queda en casa para estudiar y aprende
mucho o no se divierte nada,
donde tenemos una proposicin conjuntiva cuyo primer
miembro es una proposicin simple y cuyo segundo
miembro es una proposicin compuesta disyuntiva.
11. E l principio de
identidad
La ley de identidad ha sido llamada
tradicionalmen- te y aqu conservaremos el nombre
principio de identidad. Consiste en sostener que si se
sienta una proposicin, hay que sentar la misma
proposicin, o tambin que se sienta una proposicin si
y slo si se sienta la misma proposicin. As,
Si Kafka ha ejercido gran influencia, Kafka ha
ejercido gran influencia,
es un ejemplo del principio de identidad.
Formulado de este modo, el principio de
identidad se refiere a proposiciones y constituye un
principio de ndole estrictamente lgica. Algunos
autores han sea lado que el principio lgico de
identidad se basa en
35
un principio real (u ontolgico), el cual se expresa de
varios modos, tales como: Toda cosa es igual a s
misma, A A , etc., o bien en un principio
mental o psicolgico, el cual se expresa diciendo: Es
impo sible pensar al mismo tiempo A y no A . N o
podemos detenernos aqu en un anlisis detallado de
estas dos interpretaciones, pero advertiremos que
ambas adole cen de ciertos defectos.
Por una parte, el principio psicolgico de identidad
no expresa, propiamente hablando, un principio,
sino a lo sumo una condicin psicolgica que, por
lo de ms, no aparece siempre patente en nuestros
razona mientos cotidianos. Lo nico que puede
argirse en fa vor de la interpretacin psicolgica es
que constituye uno de los resultados de la doctrina
segn la cual los seres pensantes tienden a identificar
unos trminos con otros (por lo pronto, lo no conocido
con lo conocido), pero hay gran distancia entre este
proceso identificador de la mente y un principio de
identidad tal como el anteriormente reseado.
Por otra parte, el principio real de identidad puede
traducirse fcilmente a una formulacin lgica, aun
cuando en este caso ya no pertenece a la lgica de las
proposiciones, sino a lo que se ha llamado la lgica
de las identidades. En esta ltima se identifican, en
efecto, unos objetos con otros por medio de las
expresiones
*es idntico a5 o es igual a, como cuando decimos:
La Va Lctea es (idntica a la) Va Lctea,
La Va Lctea es (idntica a la) galaxia en
la
cual se halla nuestro sistema
planetario,
Si la Va Lctea es (idntica a la) galaxia
en la cual se halla nuestro sistema
planetario, en
36
tonces la Va Lctea es (idntica a la)
gala xia ms accesible a la observacin
telescpi ca si y slo si la galaxia en la cual se
halla nuestro sistema planetario es (idntica a
la) galaxia mas accesible a la observacin
teles cpica.
En consecuencia, el problema de la identidad apa
rece para nosotros como un problema lgico.
Dentro de este marco podemos, adems, no slo
identificar objetos concretos, sino tambin objetos
abstractos. Po demos asimismo identificar clases,
como cuando deci mos: La clase de los hombres
es idntica a la clase de los animales racionales.
Aunque nos hemos referido primariamente al principio
en la lgica proposicional, la identidad es, pues, ms
amplia que la que se mani fiesta en tal lgica.
12. E l principio de
contradiccin
Las consideraciones anteriores acerca del
principio de identidad son asimismo vlidas en lo que
toca al lla mado principio de contradiccin (o no
contradiccin). En efecto, ste enuncia que es
inadmisible sentar una proposicin y a la vez la negacin
de esta proposicin. Ejemplo es:
N o es el caso que Kafka ha ejercido gran in
fluencia y que Kafka no ha ejercido gran in
fluencia.
Conviene hacer constar que la proposicin negada
debe ser exactamente la misma que la proposicin afir
mada. Sera un subterfugio inadmisible agregar algo a
cualquiera de las dos proposiciones y entender,
por
37
ejemplo, Kafka ha ejercido gran influencia como K
af ka ha ejercido gran influencia entre los escritores
ale manes, y Kafka no ha ejercido gran influencia
como Kafka no ha ejercido gran influencia entre los
escri tores birmanos. La norma de que cuanto se dice
l gicamente debe decirse al mismo tiempo y en el
mis mo respecto es aqu fundamental.
Lo que se califica a veces de principio
psicolgico de contradiccin resulta ser, pues, a la
postre una nor ma mental por la cual obedecemos
el principio lgico de contradiccin. En cuanto al
llamado principio real (u ontolgico) de contradiccin
que se enuncia di ciendo: E s inadmisible que una
cosa sea y no sea al mismo tiempo y bajo el mismo
respecto , puede considerarse o bien como un
ejemplo de la formulacin lgica, donde Una cosa es
y Una cosa no es re presentan respectivamente una
proposicin afirmativa y otra negativa, o bien como un
ejemplo de formulacin lgica en la cual se enuncia
que es inadmisible decir que algo no es idntico a
este algo, tomando entonces es idntico a en el
sentido de la ya mencionada l gica de la
identidad.
13. . Elprincipio del
tercio excluso El principio del tercio excluso (
o tercero excluido)
sostiene que, dada una proposicin, hay que afirmar
esta proposicin o la negacin de la misma, no ha
biendo, por lo tanto, ninguna tercera proposicin v
lida entre la afirmada y la negada. Ejemplo de este
principio es:
38
Kafka ha ejercido gran influencia o Kafka no ha
ejercido gran influencia.
Tambin aqu, como en el principio de contradic
cin, hay que atenerse a la restriccin al mismo
tiem po y en el mismo respecto, pues sera inadmisible
el subterfugio consistente en declarar, pongamos por
ca so, que Kafka ha ejercido gran influencia entre
1930 y 1940 , pero que no ha ejercido gran
influencia en tre 1940 y 1942 .
Ahora bien: a diferencia de los principios de identi
dad y de contradiccin, que son aceptados por los l
gicos sin grandes discusiones, el principio del tercio
excluso ha sido objeto de enconados debates. Unos
han manifestado que es totalmente imposible
prescindir de l, ya que si un enunciado cualquiera es
verdadero, la negacin de este enunciado tiene que ser
falsa, y si un enunciado es falso su negacin tiene que
ser verdadera. Otros, en cambio, han argido que no
es forzoso supo ner que hay solamente estos dos
valores lgicos (la verdad y la falsedad). Dos
propuestas al respecto me recen ser mencionadas.
Segn ciertos autores, puede haber no slo dos,
si no tres, cuatro, cinco y, en general, un nmero cual
quiera (hasta infinito) de tales valores. As, por ejem
plo, puede decirse que al lado de proposiciones
co mo Kafka ha ejercido gran influencia y Kafka no ha
ejercido gran influencia hay otras proposiciones posi
bles, tales como Kafka ha ejercido bastante influen
cia, Kafka ha ejercido ms o menos influencia,
etc., que estn situadas entre los dos extremos, y
sobre todo que hay proposiciones en las cuales se
afirma que es
39
 ms verdadero que falso, o ms falso que
( a ) Se cuantifica universalmente el sujeto de un
verdadero, que Kafka haya ejercido gran influencia.
enunciado afirmativo.
Segn otros autores, hay ciertas proposiciones de
las que no puede predicarse ningn valor de verdad o ( b ) Se cuantifica universalmente el sujeto de un
de falsedad, proposiciones que no son ms o menos enunciado negativo.
ver' daderas o falsas, sino que son enteramente ( c ) Se cuantifica particularmente el sujeto de un
indetermi' nadas. Cuando de tales proposiciones no enunciado afirmativo.
puede decir' se, en efecto, que son verdaderas o ( d ) Se cuantifica particularmente el sujeto de un
falsas, no puede decirse tampoco que son ms o
enunciado negativo.
menos verdaderas o ms o menos falsas.
Solamente esta ltima propuesta, defendida por l' Ejemplos de cada una de estas cuatro
gicos y matemticos de la tendencia llamada posibilidades son respectivamente:
nista, merece encajar dentro de la negacin del Todos los finlandeses son trabajadores,
Ningn hawaiano es existencialista,
prin' Algunos chinos son colricos,
cipio del tercio excluso. Pues entonces ya no ser po' Algunos gallegos no son emprendedores.
sible decir que hay que afirmar una proposicin o la Los enunciados en cuestin suelen ser representados
negacin de esta proposicin ( o viceversa); ciertas mediante as letras A (enunciado universal
proposiciones escaparn a semejante alternativa. afirmativo), E (enunciado universal negativo), T
Son las proposiciones que no se pueden probar como (enunciado particular afirmativo) y O (enunciado
ver' daderas o como falsas (especialmente particular ne' gativo). Tales enunciados, adems, se
ciertas proposi' hallan relaciona'
ciones matemticas), las cuales quedarn fuera del ^ dos entre s en una
principio del tercio excluso cuando menos hasta A contrar
forma conocida bajo
tanto no se puedan probar o se puedan dejar de io s
probar . el nombre de
cuadro
Losenunciados cuantificados Las frases referidas en la vi de oposicin. Se
tra- g ta del cuadro
seccin 7, cuya composi de la
cin interesa desde el punto de vista lgico, izquierda.
pueden ser cuantificadas, esto es, puede decirse Segn este
de ciertos de sus trminos que se refieren a todas cuadro, si afirmamos
las entidades de su que to-
m dos los finlandeses
son trabajadores no
especie o slo a algunas. Los trminos ms
I s u b c o n t r a r io s O Podremos mantener,
usualmen' te cuantificados son los sujetos. Ahora bien,
a riesgo de contra*
podemos considerar cuatro posibilidades:
diccin, que algunos finlandeses no son
40 trabajadores;.
41
igual ocurrir si pretendemos sostener que ningn finlan
ds es trabajador y a la vez que algunos finlandeses son
trabajadores. Declarar que todos los finlandeses son tra
bajadores no es compatible con afirmar que ningn fin
lands es trabajador, y viceversa. Sostener que algunos
finlandeses son trabajadores es compatible, en
cambio, con afirmar que algunos finlandeses (por
supuesto, otros que los anteriores) no son trabajadores,
y viceversa. La afirmacin de que algunos finlandeses
son trabajadores est incluida en la de que todos los
finlandeses son tra bajadores, y la afirmacin de que
algunos finlandeses no son trabajadores est incluida
en la de que ningn finlands es trabajador.
L a estricta observancia de las anteriores relaciones
permite aclarar ciertas confusiones que a veces surgen
cuando se habla de enunciados contrarios y contradic
torios. En efecto, ya no ser posible equiparar la con
trariedad entre enunciados con su mutua
contradiccin.
Lossilogismos Los enunciados de que acabamos de dar
cuenta in
tervienen en cierto tipo de razonamientos muy detalla
damente examinados por los lgicos de todos los
tiem pos y que han constituido durante muchos
siglos la forma de razonamiento considerada ejemplar:
los si logismos.
Los silogismos pueden ser categricbs ( o simple
mente asertivos), hipotticos ( o formados por
propo
42
siciones alternativas y condicionales) y modales
(en los que se insertan las modalidades de
qeTablaremos en la seccin 1 8 ) . Aqu nos
referiremos slo a los silo gismos categricos, que,
adems de ser los ms sencillos, son los que han
sido tratados con ms frecuencia.
Los silogismos categricos son razonamientos deduc
tivos en los cuales, dada una premisa, se obtiene una
conclusin a travs de un enunciado intermedio. He
aqu un ejemplo de tales silogismos:
Si todos los plantgrados son
lentos, y todos los osos son
plantgrados, entonces todos los
osos son lentos.
Se observar que se trata de un condicional cuyo
antecedente est formado por un enunciado
compues to de tipo conjuntivo y cuyo consecuente est
formado por un enunciado simple. Por lo general, no se
hace explcita la forma condicional, de tal suerte que el
ejem plo corriente de silogismo adopta esta
estructura:
Todos los plantgrados son lentos.
Todos los osos son
plantgrados.
Por lo tanto, todos los osos son lentos.
Las dos primeras lneas en este ejemplo
constituyen las premisas; la ltima lnea forma la
conclusin. A su vez, la primera lnea es llamada
premisa mayor, y la se gunda premisa menor. E l
silogismo tiene tres trmi nos (en el ejemplo en
cuestin son: plantgrados, len tos [o seres lentos]
y osos ) . E l primer trmino de la conclusin (
osos ) recibe el nombre de trmino mayor; el
segundo trmino de la conclusin ( lentos [o
seres lentos]) el nombre de trmino menor, y el
trmino que aparece en las dos premisas (
plantgra-
43
dos ) el nombre de trmino medio. El trmino
medio no debe aparecer nunca en la conclusin.
Se distingue en los silogismos entre la figura y el
modo. L a figura est determinada por la colocacin del
trmino medio en las premisas. Hay cuatro posibilida
des, que dan origen a cuatro figuras:
( 1 ) El trmino medio es sujeto en la premisa
ma yor y predicado en la premisa menor.
( 2 ) E l trmino medio es predicado en ambas
premisas.
( 3 ) E l trmino medio es sujeto en ambas
premisas. ( 4 ) El trmino medio es predicado
en la premisa
mayor y sujeto en la premisa menor.
Se comprender ahora que el ejemplo de silogismo
dado al principio de esta seccin corresponde a la pri
mera figura. El lector puede ensayar fcilmente ejem
plos de silogismos correspondientes a las otras
figuras. El modo est determinado por la disposicin de
los enunciados atendiendo a la cantidad o a la
cualidad de stos, es decir, considerando si, y en qu
orden, los enunciados componentes del silogismo
son universales o particulares (cantidad) y afirmativos
o negativos (cualidad). As, puede darse un silogismo
cuyo modo est representado por las letras AA A , o
sea, un silo gismo en el cual los enunciados
(representados por las letras a que hemos hecho
referencia en la seccin 1 3 ) sean todos universales
y todos afirmativos; un silogis mo cuyo modo est
representado por las letras E A E , o sea, un silogismo
cuya premisa mayor sea un enun ciado universal
negativo, cuya premisa menor sea un enunciado
universal afirmativo y cuya conclusin sea
44
un enunciado universal negativo; un silogismo cuyo
modo est representado por las letras A II, o sea, un si
logismo cuya premisa mayor sea un enunciado uni
versal afirmativo y cuya premisa menor y
conclusin sean enunciados particulares afirmativos,
etc., etc. C o mo las combinaciones de los
enunciados representados por las letras A., E \ T y O
pueden dar lugar a 64 modos, y como hay cuatro
figuras, resulta que debe ra haber un total de 256
modos silogsticos.
En efecto, los hay, pero slo un nmero
limitado de estos modos es admisible, esto es,
lgicamente v lido. El nmero en cuestin vara
segn los autores, pero es muy comn fijarlo en 19.
Con el fin de me- morizar tales modos, los escolsticos
forjaron vocablos latinos en los cuales se ve
claramente la disposicin de los enunciados segn
cantidad y cualidad. Por ejemplo,
el vocablo * Barbar'(donde vemos la sucesin A A
A ), el vocablo * Cnaeertl' d(onde vemos la sucesin E A
E),
el vocablo Darii (donde vemos la sucesin A I I ) , etc.
De este modo recordamos qu enunciados son univer
sales o particulares, afirmativos o negativos. Natural
mente, hay que saber a qu figura de las cuatro antes
citadas corresponde cada uno de tales modos
vlidos. H e aqu los vocablos que designan los 19
modos en cuestin para cada una de las figuras:
Primera figura: Barbara, Celarent, Darii, Ferio.
Segunda figura: Cesare, Camestres, Festino,
Baroco Tercera figura: Datisi, Feriso,
Felapton,
Disamis, Bocardo.
Cuarta figura: Calemes, Bamalip, Fresison, Fesapo,
Dimatis.
45
 -rt

Para saber si un silogismo dado es o no vlido, 46

bas- ta comprobar, pues, si corresponde o no a uno de
los modos designados por los vocablos anteriores.
Dare mos a modo de ilustracin cuatro ejemplos de
silogis mos: dos vlidos y dos no vlidos.
Ejemplo 1:
Todos los hombres son
racionales. Todos los abisinios
son hombres.
Por lo tanto, todos los abisinios son
racionales.
Es vlido, porque es un ejemplo del
modo en primera figura.
Ejemplo 2 :
Todos los perros son animales.
Todos los gatos son animales.
Por lo tanto, todos los gatos son perros.
N o es vlido, porque aunque sigue el esquema
AAA (de Barbara), no corresponde a la primera fi
gura, sino a la segunda.
Ejemplo 3 :
Ningn poltico es tmido.
Todos los filsofos son
tmidos.
Por lo tanto, ningn filsofo es un poltico.

Es vlido, porque es un ejemplo del modo

Celarent en segunda figura.
Ejemplo 4 :
Todos los elefantes son simpticos.
Algunos seres simpticos son
hombres.
Por lo tanto, algunos hombres son elefantes.
 N o es vlido, porque aunque sigue el
esquema A II (de D arii), no corresponde
a la primera figura, sino a la cuarta.
Mucho se ha discutido acerca de
cules son los mo dos que pueden
considerarse como evidentes por s
mismos y que pueden servir, por
consiguiente, como axiomas con ayuda
de los cuales se prueba la validez de
los dems modos. Lo ms usual es
considerar los modos vlidos de la
primera figura como silogismos perfectos y
los dems como imperfectos o se llama clases (lgicas). Decimos, por ejemplo,
demostrables mediante los perfectos.
Se ha discutido asimismo mucho sobre
si los trmi nos de los silogismos deben
ser concebidos en exten sin o en
comprensin. Las dos concepciones son
jus tificadas. En todo caso, es
perfectamente admisible considerar los
trminos del silogismo como clases, (vase sobre
stas la seccin 1 6 ) . As, en el anterior ejemplo
nmero 3, los trminos poltico, tmido y filsofo
pueden considerarse respectivamente como de
signando la clase de los polticos, la clase de los seres
tmidos y la clase de los filsofos.
16. . Las clases
Los trminos generales de que hemos hablado en la
seccin 7 ( y los referidos en la seccin 1 5 ) pueden
asimismo ser considerados como designando lo que
Goethe es escritor, con lo cual atribuimos a Goethe
un predi cado el ser escritor junto a otros que
podramos atribuirle el ser inteligente, el ser
orgulloso, etc. Pero escritor designa tambin
una clase: la de los
47
 escritores. Por lo general, en el lenguaje ordinario
se hace a veces la distincin entre predicado y clase an
teponiendo al trmino que ha servido como predicado
partculas tales como un, algo, etc. As, cuando de hecho de que no haya ciertos objetos no quiere decir
cimos Goethe es un escritor vemos ms
claramente que aqu queremos significar no que tiene
la propiedad de ser un escritor, sino que pertenece a la
clase de los escritores. Por este motivo, la expresin
lgica correcta de la adscripcin de algo a una clase no
es la cpula expresada mediante el verbo ser, sino las
palabras pertenece a. Ejemplos en lgica de tal
adscripcin son:
Descartes pertenece a la clase de los filsofos
(usualmente expresado: Descartes es un fil
sofo),
Las medusas pertenecen a la clase de los celen
treos mviles (usualmente expresado: Las me
dusas son celentreos mviles),
Sonrer pertenece a la clase de los actos
ama bles (usualmente expresado: Sonrer es
algo amable).
Las clases de que puede hablarse son infinitas. M
u chas de ellas responden a modos como parecen estar
organizados los objetos en la naturaleza: la clase
de los leones, la de las estrellas, la de los rboles. Otras
responden a agrupaciones de objetos fabricados: la
cla se de las sillas, la de las casas. Otras responden a
agru paciones establecidas por los hombres: la clase de
los parisienses, la de los peruanos, la de los
demcratas. Otras, finalmente, son determinadas de un
modo al parecer arbitrario: la clase de las letras
acentuadas en est libro, la clase de las palabras de
ms de tres letras en esta pgina, la clase de los
objetos dentro de la Ca*
48
sa Rosada. Desde el punto de vista lgico es
indiferen te que los objetos pertenecientes a una clase
estn or ganizados de un modo o de otro. Adems, el
que deje de existir la correspondiente clase; p. ej., la
clase de los centauros es sin ningn gnero de
dudas una clase.
Entre los tipos de clases mencionaremos tres: la
cla se universal (clase a la cual pertenece todo), la
clase nula (clase a la cual no pertenece nada) y las
clases unimembres (clases que tienen un solo objeto o
miem bro). En una religin monotesta, por
ejemplo, Dios es una clase unimembre.
L a clase lgica no debe confundirse con una agru
pacin concreta de objetos, pues en tal caso la clase
se ra algo concreto. Las clases lgicas son entidades
abs tractas que pueden tener como miembros cosas
concre tas. As, la clase de los argentinos es una
entidad abs tracta que tiene como miembros seres
concretos: los argentinos. Por otro lado, los miembros
de una clase plurimembre no estn numricamente
definidos: la clase de los llamados a filas en Italia en
1957 es siem pre la misma clase, cualquiera sea el
nmero que haya
o que quede de los que han sido llamados.
Puesto que, segn declaramos, pueden
interpretar se las propiedades como clases, parece que
hay que concluir que a cada propiedad corresponde
una clase y a cada clase una propiedad. Sin embargo,
no es as. A toda propiedad corresponde, en
efecto, una clase ( a la propiedad de ser escritor
corresponde la clase de los escritores), pero a una
clase puede corresponder ms de una propiedad
( a la clase de los escritores correspon
49
den varias propiedades: ia de ser inteligente, la de ser
capaz de expresin, etc.).
Las clases pueden estar incluidas en otras clases,
como cuando decimos que la clase de los portugueses
est in cluida en la clase de los europeos (o que los
portugue' ses son europeos). Condicin indispensable
para que pueda hablarse de inclusin es que todos
los miembros- de la clase que se incluye sean
miembros de la clase en la cual se incluye. Cuando
as no sucede no puede ha- blarse de inclusin, sino
nicamente de pertenencia a una clase. P. ej., la
clase de los portugueses pertenece a la clase de las
comunidades que forman la O .T .A .N ., pero no est
incluida en tal clase, porque si se puede decir que
Portugal (o la clase de los portugueses) es un
miembro de la O .T .A .N ., no es posible afirmar
que cada portugus sea un miembro de la O .T
.A .N .
Las clases se suman y multiplican, pero los
resultados de estas operaciones no coinciden con
las aritmticas. En la suma y multiplicacin de clases
hay que conside rar que una clase sumada con otra
da la misma clase, y una clase multiplicada por otra da
la misma clase. Su pongamos, en efecto, que hay en
Irn 8 fsicos atmi cos, 4 de los cuales son, adems,
especialistas en ravos csmicos, y 4 especialistas en
rayos csmicos, 2 de los cuales son, adems, fsicos
atmicos. Pues bien: la suma de la clase de los
fsicos atmicos iranios y de los espe' cialistas en rayos
csmicos iranios da por resultado 10 miembros ( y no 1 2
) , y el producto de las mismas cla ses da por
resultado 4 miembros ( y no 3 2 ) .
50
27. . Lasrelaciones
Considerable nmero de expresiones tanto del
lengua' fe ordinario como del lenguaje cientfico est
constituido por relaciones. Al ejemplo de stas dado
en la seccin
4 agregaremos ahora los siguientes:
La Cancillera est a la derecha de la Embajada,
5 es menos que 10,
Krutchev es ms astuto que la reina Guillermina,
El obelisco de la Plaza de la Concordia es menos
elevado que la Torre Eiffel.
Por lo general, las relaciones se establecen entre dos
entidades, pero puede haber tres o ms. Relaciones
de tres miembros son muy comunes en las expresiones
del lenguaje ordinario que tienen un complemento
indirec- to, tal como ocurre en la oracin:
Sebastin enva su manuscrito a una editorial,
Magdalena da una bofetada a Silvia.
Lo mismo que las clases, las relaciones estn
ligadas entre s de varios modos. As, una relacin
puede estar incluida en otra (la relacin hijo de est
incluida en la relacin descendiente de), o puede ser
idntica a otra (la relacin cuado de es idntica a
la relacin -
no poltico de). Las relaciones se suman y multiplican
tambin entre s.
Terminaremos esta breve exposicin informando so
bre algunas de las varias caractersticas que ofrecen
cier tas relaciones entre dos entidades.
(1) Algunas relaciones son tales, que si el
primer miembro est relacionado de cierto modo con el
segun do, este esta relacionado del mismo modo con el
primero.
51
 y-------- -

Chile ha sido elegido miembro del Consejo

As, si decimos que Ford tiene tanto dinero como
Rotschild, deberemos concluir que Rotschild tiene
tanto dinero como Ford.
(2) Algunas relaciones son tales, que no
sucede lo anterior. As, si decimos qu Diodoro es padre
de An- tstenes, no por ello podemos decir que
Antstenes es padre de Diodoro.
( 3 ) Algunas relaciones son tales, que si un miembro
de Seguridad de las Naciones
Unidas,
La msica de Bla Bartok es popular, La
lgica es una disciplina entretenida,
La Tierra da una vuelta alrededor de s mis
ma cada 2 4 horas,
escribimos respectivamente:
Es posible que Chile sea ( o haya sido) elegido
miembro del Consejo de Seguridad de
las

est relacionado de cierto modo con un segundo y este Naciones Unidas,

segundo est relacionado del mismo modo con un Es imposible que la msica de Bla Bartok sea
ter- popular,
cero, resultar que el primero estar relacionado for mularse de varios modos, es decir, de las llamadas mo
tambin dalidades de las proposiciones. En cambio, cuando en vez de
del mismo modo con el tercero. As, si decimos que escribir:
Roberto es ms joven que Recaredo, y Recaredo
52
es ms joven que Ricardo, concluiremos que
Roberto es ms joven que Ricardo.
( 4 ) Algunas relaciones son tales, que no sucede lo
anterior. As, si decimos que 12 es el doble de 6 ,
y 6 es el doble de 3, no por ello podemos decir
que 12 es el doble de 3.

18. .

Las modalidades Todas las proposiciones

indicativas o declarativas que

hemos usado hasta aqu como ejemplos tenan algo
en
comn: el ser simplemente afirmativas o negativas, al
ternativas o condicionales, etc. Hemos prescindido, en
efecto, de que estas proposiciones pueden, adems,
 Es contingente que la lgica sea
una disciplina entretenida,
Es necesario que la Tierra d una
vuelta alrede dor de s misma
cada 24 horas,
tenemos en cuenta tales modalidades. A
veces se estima que las modalidades
pertenecen a las cosas mismas y son
llamadas entonces modalidades reales (u
ortolgi cas). A veces se restringen las
modalidades a los modos como se
formulan los enunciados y son llamadas
enton ces modalidades lgicas. Estas
ltimas son las nicas que aqu nos
interesan. Por consiguiente, debe tenerse bien
presente que en un enunciado como:
Es imposible que la msica de Bla Bartok sea
popular,
lo que ocupa la atencin del lgico es el hepho de an
teponer la modalidad Es imposible que a la
proposicin La msica de Bla Bartok es popular.
La comprensin de las modalidades primera, segunda
y cuarta contenidas en nuestros ejemplos no encierra
graves dificultades. N o ocurre as con la modalidad
ter
53
 cera, en la que se introduce la nocin
contingencia. En efecto, en cierto sentido la idea de
contingencia en vuelve la de posibilidad, puesto que
si es contingente que la lgica sea una disciplina
entretenida, es tambin posible que la lgica sea una
disciplina entretenida. Pero si Es contingente que la
lgica sea una disciplina en tretenida fuera idntico a Es
posible que la lgica sea una disciplina entretenida ,
habra que excluir entonces de la contingencia la
afirmacin Es posible que la l gica no sea una
disciplina entretenida. Ahora bien: su cede justamente
que cuando se declara que algo es con tingente, se
afirma que es posible que sea y a la vez que es
posible que no sea ( o que es posible que sea y a
la vez que es posible que no sea tal como se dice
que es). Por lo tanto, la modalidad de
contingencia pue de entenderse como una combinacin
de dos posibili dades. Semejante combinacin es
muy frecuente tanto en el lenguaje ordinario como en
el cientfico, de mane ra que aunque los lgicos no
consideren usualmente la contingencia como una
modalidad primitiva, hay que reconocer que
sobremanera importante.
Como todas las dems ramas de la lgica, las moda
lidades estn sometidas a ciertas reglas, algunas de
las cuales fueron ya establecidas por escolsticos
medieva les. As, de que algo es necesario
podemos derivar que es posible, pero de que algo es
posible no podemos afirmar que es necesario; de que
algo es imposible no podemos derivar que es
contingente, etc., etc. Algunos ejemplos pueden hacer
comprender intuitivamente va rias de estas leyes. Si
afirmamos que es necesario que la Tierra d una vuelta
alrededor de s misma cada 24 horas, podemos
sostener que es posible que la Tierra
54
de
d una vuelta alrededor de s misma cada 24
horas, pero si afirmamos que es imposible que la
msica de Bla Bartok sea popular no podemos
mantener que es necesario que la msica de Bla
Bartok sea popular. Otras muchas leyes de este tipo
pueden ser fomuladas, pero llegando a cierto nivel
es difcil hacerlas intuitivas o siquiera expresarlas en un
lenguaje que no sea sim blico. Para que el lector
pueda darse cuenta de esta dificultad lingstica,
daremos un ejemplo que corres ponde a una frmula
perfectamente correcta, pero intui tivamente
incomprensible ( y literariamente brbara):
Que no sea posible que Egidio no vaya al
cine o que no sea posible que Isabel no
la se quede en casa implica estrictamente que
no es posible que no sea el caso que
Egidio vaya al cine o que Isabel se quede
en casa.
19. . La verdad y la falsedad L a
es proposicin:
El tomo de uranio tiene 92
electrones
es verdadera. L a proposicin:
E l tomo de calcio tiene 92
electrones
es falsa. Ahora bien: aunque los conceptos de
verdad y falsedad son centrales en la lgica, sta
no se ocupa de averiguar si tales proposiciones son
verdaderas o fal sas en su contenido. Definiciones
de la verdad tales como Verdad es lo comprobado
en la realidad, Verdad es la correspondencia entre la
realidad y la mente , La verdad esto que es, o existe
, y de la falsedad tales co- mo Falsedad es "lo n
comprobado o comprobable en
55
la realidad, Falsedad es la inadecuacin entre la
reali dad y la mente, La falsedad es lo que no es,
o lo que no existe, o lo simplemente aparente, etc.,
etc., no son asunto de la lgica, sino de la
metodologa, de la teora del conocimiento o de la
ontologa.
D e los conceptos de verdad (y falsedad)
estudiados por la lgica nos interesan dos: la verdad ( y
falsedad) semntica, y la verdad ( y falsedad)
propiamente lgica. Desde el punto de vista semntico,
la verdad y la falsedad son consideradas como ciertos
predicados ads critos a proposiciones. Tales predicados
expresados mediante las locuciones es verdadero y
no es verda dero ( o es falso ) son metalgicos,
es decir, de acuerdo con lo indicado en la seccin
6, forman parte
de un lenguaje pormedio del cual hablamos
acerca de otro lenguaje. Por consiguiente, es verdadero y no
es verdadero ofrecen una estructura semntica
anloga a la locucin es una palabra de ocho letras en
la ex presin mencionada en dicha seccin:
'Asuncin es una palabra de ocho letras.
Para destacar tal estructura semntica se usan
tambin semicomillas, las cuales encuadran la
expresin de la cual afirmamos que es o no es
verdadera. As, cuando quiere afirmar que es verdad
que el tomo de uranio tiene 92 electrones el
lgico escribe:
'El tomo de uranio tiene 92 electrones es ver
dadero ( o es una proposicin verdadera),
lo cual equivale a predicar la verdad de la
proposicin: E l tomo de uranio tiene 92 electrones.
E l motivo principal que ha empujado a los lgicos a
emplear se
56
mejante artificio es el deseo de evitar ciertas
paradojas, la ms conocida de las cuales se manifiesta
en la ex presin:
Soy un mentiroso.
Es fcil ver que esta expresin ofrece ciertas dificul
tades. En efecto, cuando digo Soy un mentiroso, re
sulta que no soy un mentiroso si digo la verdad, de
modo que soy un mentiroso cuando no soy un
mentiroso y no soy un mentiroso cuando soy un
mentiroso. Estas dificultades se desvanecen, empero,
cuando es verdade ro y no es verdadero (o es falso
) se usan como predicados en la forma antedicha, lo
cual nos permite enunciar sin caer en paradojas:
Soy un mentiroso es verdadero ( o es una pro
posicin verdadera)
si queremos mantener la verdad de la proposicin, o:
Soy un mentiroso no es verdadero (o no
es una proposicin verdadera),
si queremos mantener la falsedad de la proposicin.
Cuando en la lgica se habla de verdad y
falsedad se comienza por entender tales conceptos en
el sentido semntico apuntado. Ahora bien: los
conceptos de ver dad y falsedad propiamente lgicos
requieren otras pre cisiones.
Por una parte, y como ya apuntamos en la seccin
5 ( 4 ) , la verdad y falsedad lgicas son formales, no
dependiendo del contenido, sino de^ l estructura (o
forma) de las proposiciones. Por eso ciertas
proposicio nes empricamente"verdaderas pueden
formar parte de razonamientos lgicamente falsos, y
ciertas proposicio
57
nes empricamente falsas pueden formar parte de razo
namientos lgicamente verdaderos. As, desde el
punto de vista lgico el razonamiento:
Si la Luna es un satlite de Jpiter y el Sol
es un planeta, entonces la Luna es un
satlite de Jpiter,
es verdadero, en tanto que es falso el razonamiento:
Si la Luna es un satlite de la Tierra y
Jpiter es un planeta, entonces el Sol es
una estrella.
Para evitar ciertas ambigedades que van adscritas
a los conceptos de verdad y falsedad, se suelen
sustituir en los casos anteriores las locuciones es
verdadero y no es verdadero ( o es falso ) por las verdadero, el otro debe ser necesariamente falso y
locuciones es vlido, es correcto, es derivable y
no es vlido, no es correcto, no es derivable
respectivamente.
Por otra parte, hay ciertas frmulas lgicas que inde
pendientemente de las proposiciones que contienen son
necesariamente verdaderas, otras que son
necesariamente falsas y otras que son verdaderas o
falsas segn que las proposiciones que contienen sean
verdaderas o falsas. Daremos tres ejemplos de cada
uno de estos casos.
(1) Una proposicin puede ser declarada
verdadera o falsa sin que tengamos que declararla
necesariamente verdadera o falsa. Pero una vez
establecido que es ver dadera, hay que sostener que su
negacin es necesaria mente falsa, y una vez
establecido que es falsa hay que sostener que su
negacin es necesariamente verdadera.
En consecuencia, si:
El Sol es una estrella
es verdadero,
58
El Sol no es una estrella
es falso. Pero si:
La Luna es un planeta
es falso,
La Luna no es un planeta
es verdadero.
Se observar que el contenido no tiene nada que
ver en principio con la mencionada necesidad.
Hubiramos podido trastrocar los ejemplos, con el
resultado de que si uno de ellos es declarado
viceversa.
Ahora bien, si afirmamos:
N o es cierto que el Sol es una estrella y el
Sol no es una estrella,
tendremos que concluir que la afirmacin es necesaria
mente verdadera, tanto si es verdad como si no es
ver dad que el Sol es una estrella. Estas afirmaciones
siempre necesariamente verdaderas son llamadas tau
to lo g a s . Ejemplos muy destacados de ellas son el
principio de identidad, el de contradiccin y (para
muchos autores) el de tercio excluso presentados
en las secciones 11,
12 y 13. El ejemplo dado antes corresponde al princi
pio de contradiccin.
( 2 ) Si afirmamos:
El Sol es una estrella y el Sol no es una estrella,
tendremos que concluir que la afirmacin es necesaria
mente falsa, tanto si es verdad como si no es
verdad que el Sol es una estrella. Estas
afirmaciones siempre
59
 - i
1
60

necesariamente falsas son llamadas contradicciones.

E s fcil ver que el ejemplo citado es la negacin de la
tau tologa que expresa el principio de
contradiccin.
( 3 ) Consideremos ahora las proposiciones:
El Sol es una estrella,
La Luna es un
satlite, E l Sol es un
satlite,
La Luna es una estrella.
Declaremos las dos primeras Verdaderas y las dos
l timas falsas. Unamos ahora dos de estas
proposiciones por medio de la conjuncin o. Puede
advertirse que el resultado de la unin ser verdadero
o falso segn que las proposiciones unidas sean
verdaderas o falsas. As,
E l Sol es una estrella o la Luna es un
satlite, El Sol es un satlite o el Sol es
una estrella,
E l Sol es una estrella o el Sol es un
satlite
son verdaderos. En cambio,
E l Sol es un satlite o la Luna es una
estrella
es falso. Todas estas afirmaciones se llaman
nadas.
Los lgicos han ingeniado ciertos mtodos para esta
blecer si una proposicin compuesta dada es necesaria
mente verdadera, necesariamente falsa o
indeterminada. Por desgracia, tales mtodos, que son
inatacables en la lgica de las proposiciones, resultan
insuficientes en otras ramas de la lgica. N o podemos
detenernos aqu en una cuestin que sobrepasara el
nivel de la exposicin ele mental adoptado en este
volumen. Tampoco podemos detenernos en otras
partes ms complejas de la teora de la verdad
lgica: aquellas en las cuales se introducen

locuciones tales como no es verdadero ni
falso, es ms verdadero que falso, etc.
(aludidas en la seccin 1 3 ) . Lo
insinuado har comprender que si la lgica
es una disciplina amiga de la precisin
no es un estudio hostil a la sutileza. Su
ideal de economa del lenguaje no le
impide reconocer las complejidades de los
temas estu diados. E l lgico no desconoce
el ms o menos ; quiere slo forjar un
instrumento capaz de tratarlo con el rigor
ms extremo.
III
L G IC A Y R E A L ID A D
20 . E l problema
ha suscitado con frecuencia la cuestin de
cmo es posible que las leyes y reglas lgicas, que
no tratan de los contenidos de las proposiciones o de
las frmulas, sino de su pura estructura, sean, sin
embargo, tiles, y hasta indispensables, para referirnos
a la reali dad. A veces se ha supuesto que tal cuestin
est ntimamente emparentada con otra de carcter ms
ge neral: la del modo como se puede establecer una
co nexin entre la realidad y el lenguaje. En gran
medida esta suposicin es correcta si tenemos presante
que la lgica es, segn se dijo, un lenguaje, y, ms
precisa mente, uno de los lenguajes cientficos el
lenguaje cientfico bsico . Pero la cuestin de la
conexin entre la lgica o el lenguaje lgico y
la realidad no es simplemente un aspecto parcial de
la cuestin de
61
la relacin entre la realidad y el lenguaje. La solucin
dada a sta no puede, pues, engendrar
automticamente una solucin para aqulla. Por una
parte, el problema "lenguaje-realidad ofrece multitud de
aspectos que no interesan directamente al problema
lgica-realidad . Por otra parte, la cuestin lgica-
realidad suscita dificul tades especiales que no
plantea la cuestin lenguaje- realidad . Es, pues,
forzoso considerar esta ltima te niendo en cuenta como
trasfondo la primera, pero sin hacer intervenir a sta
directamente.
El problema lgica-realidad es fundamentalmente
un problema de aplicabilidad. Aplicamos la lgica los
esquemas lgicos, las leyes lgicas, las reglas
lgicas a la realidad en el sentido de que
ordenamos lgicamen te los enunciados relativos a lo
real. Los marcos lgicos como tales no dicen nada
sobre lo real, pero nada es po sible decir acerca de l
sin ayuda de los citados marcos. E l tipo de
aplicabilidad no es, empero, el mismo cuando se trata
de las leyes lgicas ( o principios lgicos) y cuando se
trata de las reglas lgicas (o , ms exacta mente,
metalgicas). Las leyes establecen los modos, como
alojamos nuestros enunciados en frases lgicas. Las
reglas prescriben las maneras como usamos las frases
l gicas, es decir, regulan nuestro lenguaje lgico. Por
tal motivo, la cuestin "lgica-realidad se plantea con
toda propiedad slo cuando nos referimos a las leyes,
por medio de las cuales manejamos de un modo
ms directo
aunque siempre considerablemente
remoto la rea lidad. Tales leyes no se
reducen a los principios presen tados en las
secciones 11, 12 y 13, pero el lector puede
tenerlos en cuenta para comprender las
diferentes doctri nas propuestas con el fin
de solucionar nuestra cuestin.
62
21 . Doctrinas
propuestas
Las teoras forjadas para resolver el problema anterior
han sido tan abundantes que hay en este respecto un
verdadero embarras du choix. Cada una de las
grandes
y no pocas de las pequeas filosofas ha querido
hacer or su voz en el debate. H e aqu algunas de las
doctrinas ms destacadas y a la vez ms
discutidas.
( 1 ) E l acuerdo entre la lgica y la realidad es po
sible, porque la realidad es ltimamente de ndole
lgi ca o, mejor, lgico-racional . Las descripciones
no lgicas se refieren entonces slo a las apariencias de
la realidad, pero no al "verdadero ser o verdadera
subs tancia de sta. Basta, pues, desarrollar todas las
impli caciones de la lgica para aprehender
conceptualmente las estructuras fundamentales de lo
real.
( 2 ) E l acuerdo se debe a que el pensar lgico (en
tonces frecuentemente identificado con la Razn
o con el Pensamiento ) y la realidad (en tal caso equi
parada con "el Ser ) son dos aspectos de un mismo y
nico Ente , el cual se manifiesta a veces como
pensar lgico y a veces como ser real .
( 3 ) Se debe a que cuanto llamamos realidad es
simplemente una proyeccin de nuestro pensar. En la
medida en que este pensar es lgico, se concluye
que la realidad es tambin lgica. De hecho, el
vocablo acuerdo resulta harto inadecuado para
referirse a una concepcin que ha suprimido
previamente uno de los trminos del problema.
63
 se supone que el lenguaje es un conjunto de conven
( 4 ) E l sujeto que conoce no es ni un mero ciones por medio de las cuales hablamos acerca de
espejo que refleja pasivamente la realidad ni un lo real, se concluye que las leyes lgicas son asimismo
centro activo y creador que la engendra: es una convenciones convenciones estilizadas . N o
conciencia que or- dena el supuesto caos de las hay, pues, conflicto entre lgica y realidad, pero no
impresiones de acuerdo con ciertas categoras. hay tampoco identificacin de la una con la otra o
Como estas categoras responden a ciertas deriva cin de una partiendo de otra. D e hecho, no hay
estructuras lgicas, se puede decir que lo que hay una lgica, sino muchas lgicas posibles; la
de lgico en la realidad es lo que el sujeto en tan- adopcin de una de ellas depende de su capacidad
to que sujeto cognoscente ha extrado previamente para operar so bre ciertos aspectos de lo real.
de las normas lgicas, imponiendo la lgica y, con ( 9 ) Los principios lgicos son simples
ella, el orden a lo real. tautologas. N o se puede hablar de su
( 5 ) La realidad no es de ndole lgica, pero est coincidencia con lo real,
articulada y ordenada de tal forma, que los principios pues son frmulas enteramente vacas.
pueden, y deben, seguir fielmente tales
articulaciones.
La c no de

lgi a depende enteramente la realidad, ni es

una imposicin de la mente a la realidad, pero las leyes 64
lgicas estn de algn modo fundadas en la
estructura de lo real.
( 6 ) Los principios lgicos son generalizaciones de
observaciones efectuadas sobre lo real. A medida
que Se van ejecutando abstracciones sobre la realidad
se van obteniendo relaciones cada vez ms
generales: el lmi te de este proceso o este proceso
proyectado ideal mente al lmite da lugar a las
leyes lgicas.
( 7 ) Los principios lgicos pertenecen a una clase es
pecial de objetos , de los cuales no puede
predicarse la existencia emprica ni la existencia
supraemprica (o metafsica ) , sino otro tipo de
existencia: la existencia ideal , la subsistencia, la
consistencia, la objeti vidad, etc., etc.
( 8 ) Los principios lgicos son, en ltimo trmino,
reglas del lenguaje. Ahora bien: del mismo modo
que
 ( 1 0 ) Es posible operar sobre la realidad
mediante formas lgicas, pero ello no significa
ni que tales formas sean meras convenciones,
como las que adoptamos al jugar al billar, al
tenis, al ajedrez, etc., ni tampoco que sean
simples tautologas o frmulas vacas. A
diferencia de las leyes naturales, y de modo
semejante a las leyes convencionales de los
juegos, las leyes lgicas pueden no ser
obedecidas. Pero anlogamente a las leyes
natu rales, y a diferencia de las leyes
meramente convencio nales, las leyes lgicas
se imponen de algn modo, pues son usadas en
relacin con el conocimiento de la realidad. Analizar o
discutir con detalle cada una de estas con cepciones
nos llevara muy lejos. N os limitaremos a for mular
algunas observaciones crticas sobre cada una de ellas
y a destacar lo que en varias de ellas nos parece
plausible.
Las soluciones ( 1 ) , ( 2 ) y ( 3 ) exigen un nmero
demasiado crecido de suposiciones, todas ellas
incompro
65

badas e incomprobables. Adems, es difcil
comprender lo que significa que la realidad sea de
ndole lgica , qu sea ese "Ente que puede ser a
la vez lgico y real, o cmo el pensar es capaz de
engendrar cualquier cosa
y menos que ninguna la realidad . Por si estos
inconvenientes fueran pocos, tales soluciones
postulan lo que se trataba justamente de demostrar:
afirman que la lgica y la realidad concuerdan, porque
son en lti mo trmino lo mismo, o porque son
manifestaciones de lo mismo, o porque una produce
a la otra.
La solucin ( 4 ) se presta a menos crticas. Es un
hecho que el sujeto cognoscente no es un espejo
pasivo
y completamente fiel de lo que llamamos "la reali
dad. Pero decir que el sujeto cognoscente utiliza
cier tas categoras para entender lo real no explica
an cmo y por qu tales categoras son calcadas de
los elementos lgicos. El problema de la conexin
entre la lgica y la realidad se retrotrae entonces a la
cuestin de la co nexin entre la lgica y las
categoras.
L a solucin ( 5 ) contiene dos aspectos: ( a ) la su
posicin de que hay en la realidad algo lgico que per
mite reseguir sus articulaciones; ( b ) la afirmacin
de que de algn modo la lgica est fundada en el
ser de lo real. El primer aspecto es muy discutible,
sobre todo en la medida en que se acerca a la solucin (
1 ) . El se gundo aspecto es plausible; por desgracia,
la doctrina segn la cual las leyes lgicas tienen
un fundamento en la realidad es harto vaga. Si con
ello se quiere de cir que el lenguaje de la lgica forma
parte de los len guajes informativos, a los cuales sirve
de base, no hay inconveniente en admitirla. Si se
pretende sugerir que la estructura de la realidad
determina unvocamente el
66
conjunto de leyes lgicas adoptadas, hay que
reconocer que choca con los modos efectivos como se
lleva a cabo, tanto en el lenguaje ordinario como en el
cientfico, se mejante aplicacin.
La solucin ( 6 ) puede explicar la gnesis
psicolgica de ciertas leyes lgicas; poco o nada dice,
en cambio, acerca de nuestro problema. Por otro lado,
la observa cin emprica por s sola no permite alcanzar
nunca los principios lgicos ni, en general, ninguna
proposicin sobre los llamados por algunos objetos
ideales (lgi cos, matemticos, etc.). As como las
propiedades de los tringulos con los cuales operan los
gemetras no pueden comprobarse jams en la
realidad, tampoco las leyes lgicas son
comprobables por el mismo camino. Lo nico que
puede decirse en abono de dicha solucin es que
ciertas leyes lgicas y las relaciones matemticas
pueden concebirse como proyecciones ideales, pero
ni esto sucede con todas ni, una vez obtenidos los
lmites buscados, sabemos por qu tales lmites, que
sobrepa san toda observacin, pueden ser manejados
para ser aplicados a ulteriores observaciones.
Las diversas formas de la solucin ( 7 ) son
respues tas al problema sobre el status ontolgico de
las leyes ideales ; como la solucin ( 6 ) , la ( 7 )
dice, pues, po co acerca de nuestro problema. Puede
alegarse que, puesto que los principios lgicos no
existen , sino que subsisten o consisten , la
cuestin de su apl- cabilidad a lo real es idntica a la
cuestin de la relacin entre la idealidad en general y la
realidad, y que puede afirmarse, segn los casos, su
coincidencia ltima, su pa ralelismo, etc. Estimamos,
empero, que una solucin
67
fto puede consistir en plantear otro problema
susceptible de diversas otras soluciones y que, a menos
de ser refi nada considerablemente, la doctrina de la
subsistencia no es necesaria: la cuestin de las
descripciones que no describen nada y que a pesar
de esto son lgicamen te admisibles, puede
resolverse y ha sido resuelta de otros modos
menos intilmente complicados. Por desgracia, no
podemos extendernos aqu sobre un pro blema que
desbordara el nivel elemental de nuestra exposicin.
La solucin ( 8 ) es correcta en tanto que destaca
que las expresiones lgicas pertenecen a un lenguaje.
Olvida, empero, que aun las reglas lgicas no son
enteramente arbitrarias y convencionales, sino que
estn guiadas por ciertas exigencias, las cuales vienen
determinadas, en ltimo trmino, por el conocimiento
de la realidad o, si se quiere, por los grupos de
teoras forjadas con vis tas al conocimiento de la
realidad . La convenciona- lidad y arbitrariedad,
por lo tanto, adems de mani festarse menos an en las
leyes que en las reglas, opera slo cuando se
manejan smbolos sin significacin, pe ro no o
mucho menos cuando los smbolos son interpretados.
Es cierto que no hay un solo sistema l gico, sino
varios posibles sistemas lgicos. M as la elec cin de
un sistema, por convencional que ste sea, no es
a su vez una operacin convencional.
La solucin ( 9 ) ofrece dificultades tcnicas que no
podemos desarrollar aqu. Apuntaremos slo que los
lmites que se han descubierto para llevar a cabo una
axiomatizacin completa de ciertos sistemas formales,
impiden que la lgica entera sea una ingente
tautolo
68
ga y abren el camino para el descubrimiento
incesante de nuevas frmulas y leyes.
La solucin ( 1 0 ) es ms sutil que las otras y con
tiene, a nuestro entender, mucho que debe ser
admi tido como vlido. Sin embargo, no destaca los
motivos fundamentales por los cuales se supone que las
formas lgicas no son ni meras convenciones lingsticas
ni invariantes que tienen un fundamento objetivo slo
en la propia lgica. Adems, aunque la solucin
recono ce la distincin entre leyes y reglas lgicas,
no parece que la subraye suficientemente. Parece,
pues, conve niente ensayar una solucin de
carcter ms amplio.
22 . Ensayo de solucin
Muchas de las soluciones fallan, porque
consciente o inconscientemente tienden a suponer que
lgica v realidad son dos cosas que deben
relacionarse de al guna manera, ya sea derivando una
de la otra, ya sea encontrando un comn fundamento
para ambas. Otras soluciones son defectuosas, porque
separan tan comple tamente la lgica de la realidad, que
la aplicacin de la primera a la segunda resulta luego
inconcebible. Otras, finalmente, son inadmisibles,
porque en vez de centrar la cuestin en la
aplicabilidad mencionada prefieren ex plicar lo que son
las leyes lgicas, o bien de qu modo se originan
en el espritu de quienes las usan.
Ahora bien: la lgica y la realidad no slo no pue
den ser dos cosas relacionadas entre s, mas
tampoco son respectivamente una forma y un contenido
al cual aqulla se aplica. Lgica es, por lo pronto,
el nombre
69

que se da a ciertas operaciones por medio de las
cuales describimos ciertos modos posibles de
ordenacin de realidades, efectivas o meramente
posibles. A su vez realidad es, por lo pronto, el
nombre que se da a ciertos modos posibles de
comportamiento de lo dado a nuestras percepciones
o inferido mediante nuestras percepciones. As
consideradas, la lgica y la realidad constituyen dos
rdenes rdenes diversos, mltiples, cambiantes
segn las varias disposiciones de sus par tes . Por
este motivo no puede decirse que las expre siones de
que se vale la lgica sean entidades subsis tentes o
consistentes , frmulas vacas de todo conte nido,
convenciones ms o menos cmodas, normas lin
gsticas, o idealizaciones de nuestras observaciones o
experiencias. La adecuacin de la lgica a la
realidad es la adecuacin entre dos modos de
ordenaron.
Sucede de este modo que la lgica se relaciona
con la realidad no en la forma de una copia ni
siquiera en la de una analoga, sino de un modo
isomrfico. Las operaciones lgicas, y en particular
las leyes lgicas, se aplican, pues, al orden de la
realidad o a los dis tintos rdenes de la realidad
de modo parecido a co mo aplicamos un mapa a la
realidad para nuestra me jor orientacin en ella. E l
mapa nos proporciona un cierto conocimiento de lo
real, pero no nos dice lo que la realidad es, sino
nicamente cmo se halla estructu rada o, si se
quiere, los distintos modos como puede ser
estructurada . Mediante la lgica cuadriculamos,
por as decirlo, lo real. A tal efecto usamos ciertas con
venciones, por cuanto lo real puede cuadricularse
de muy diversos modos. Pero el que unas
convenciones
70
sean ms satisfactorias que otras depende en
considera ble medida de la propia realidad.
Con ello obtenemos dos ventajas. En primer
lugar, no tenemos que separar por completo las
diferentes or denaciones de hechos, del lenguaje lgico
mediante el cul las describimos, o en el cual las
alojamos. Las for mas lgicas siguen refirindose a los
hechos, aunque de modo indirecto, pues se limitan a
ordenar las distintas estructuras en las que pueden
presentarse los hechos. En segundo trmino, no nos
vemos obligados a establecer ninguna identificacin
emprica o metafsica entre la lgica y la realidad.
Ambas poseen su propio modo de ser y, junto a
ello, sus propios modos de ordena cin. Por eso
podemos hablar lgicamente acerca de lo real sin por
ello suponer ni que imponemos por con vencin o por
necesidad nuestro pensar lgico a la realidad, ni que
nos limitamos a reflejar pasivamente las estructuras de
esta realidad.
A las citadas dos ventajas se agrega otra: la de poder
entender de un modo sumamente flexible el
menciona do concepto fundamental de
aplicabilidad . En efec to, la lgica no es
simplemente aplicable a lo real; e;s aplicable a los
rdenes de lo real de muy distintas maneras y en muy
varios niveles. Esto explica que la aplicabilidad de la
lgica sea tanto mayor cuanto ms susceptible de
ordenacin sea el orden al cual se refiere. As, la
aplicabilidad de la lgica es mxima en la mate mtica,
menor en la fsica o en la biologa, y escasa ( aun que
no inexistente) en el lenguaje de la vida cotidiana.
71
 BIBLI OGRAFA
Nos limitaremos a sealar algunos libros sobre lgica y
problemas lgicos escritos en espaol o traducidos al
espaol.
Para la lgica de orientacin aristotlico-escolstica, y es*
pecialmente aristotlico-tomista (llamada a veces "lgica tra
dicional ) , puede consultarse la Lgica formal (o Pequea
lgica), de J a c q u e s M a r i t a i n . Todos los tratados
de fi-
losofa escoIasHca"^yr rieoescolstlca contienen asimismo
una parte consagrada a la lgica formal.
Para la lgica orientada en Bolzano, Brentano y, sobre
to- do, Husserl y Pfaender, el volumen de F r a n c i s c o
R o m e r o y E. P u c c i a r e l l i , Lgica, el cual contiene
asimismo ele mentos de la teora del conocimiento y de la
metodologa de las ciencias, y el libro de A. P f a e n d e r ,
Lgica. Las ideas lgicas de H u s s e r l , en las
Investigaciones lgicas de este autor, traducidas por M .
Garca Morente y Jos Gaos.
Para la lgica concebida como disciplina regulativa de las
ciencias: M . R. C o h n , Iniciacin a la lgica.
Para la lgica orientada en la teora del
conocimiento: K. J. G r a u , Lgica.
Para la lgica simblica o matemtica: Jo s F e r r
a t e r M o r a y H. L e b l a n c , Lgica matemtica; M . G r a n e l
l , Lgica; F. M i r Q u e s a d a , Lgica, y G. S t a h l ,
Intro- duccin a la lgica simblica. Todos estos libros han
sido es critos directamente en espaol. Entre las obras
traducidas descuella la de A. T a r s k i , Introduccin a la lgica
y a la metodologa de las ciencias deductivas.
Informacin sobre trabajos actuales en historia de la
l gica se encontrar en los artculos del autor del presente
libro: "Dos obras maestras de historia de la lgica , Notas
y estu dios de filosofa, IV ( 1 9 5 3 ) , 145 -158 , y "D e
Boecio a Alberto de Sajonia: un fragmento de historia de la
lgica , Imago Mundi, I, 3 ( 1 9 5 3 ) , 3-22.
72
NDIC
E
Pag.
I* N a t u r a l e z a d e la l g i c a.............................7
1. Dos ejemplos de sofism as ..........................7
2 . La simplificacin del len guaje ...................10
3. El lenguaje lgico........................................ 12
4. . El ideal de la precisin ......................... 16
5. Caractersticas de la lgica.........................19
6. .................................................................... Lgica , metalgica y
semitica............................................................. 25
II. E l e m e n t o s d e la l g i c a.............................27
7. . Trminos y proposiciones ..........27
8. . Comprensin y extensin .........................30
9. . Leyes lgicas y reglas lgicas ................32
10. Clases de proposiciones.............................. 33
11. El principio de identidad ............................ 35
12. El principio de contradiccin........................ 37
13. El principio del tercio excluso.....................38
14. Los enunciados cuantificados .....................40
15. Los silogism os ............................................42
16. Las clases.................................................... 47
17. Las relaciones...............................................51
18. Las modalidades ..........................................52
19. La verdad y la fa lsed ad ...........................55
III, L g i c a y r e al i d a d..........................................61
20. . El problema.............................................. 61
21. . Doctrinas propuestas ............................... 63
22. . Ensayo de solucin.................................69
Bibliografa ...............................................
72
 1 . -T 1 ............

COLECCI N ESQUEMAS

1. F r a n c i s c o R o m e r o , Q u es la filosofa ( 3? ed.) . . . . $ 12
2. J o r g e L u i s B o r g e s , E l M artn Fierro . (Con la colabo
racin de Margarita Guerrero.) ( 2 ? ed.) ..............................
8 3. J u l i o E. P a y r , E l impresionismo en la pintura ( 2 *
ed.) 10 4 . V i c e n t e F a t one , Introduccin al
existencialismo ( 3 ?
edicin) .............................................................................................. ,, 12
5. M a r c o s V i c t o r i a , Q u es el psicoanlisis ( 2 * ed.) . . 8
. C a r m e l o M . B o n e t , Escuelas literarias ( 2 * ed.) . . . . ,, 8
7. J o r g e R o m e r o B r est , Q u es el arte abstracto ( 2 * ed.) ,, 10
8. Jos Luis R o m e r o , La cultura o c c id e n ta l .................... 8
9. J u l i n M a r a s , Idea de la metafsica ( 2 * e d . ) .............. 10
10. A l f r e d o L. P a l a c i o s , M asas y lites en Iberoamrica
( 2 * e d . ) ................................................ ........................................... 12
11. I s m a e l Q u i l e s , Qu es el catolicismo ( 2 * e d . ) ........... ,, 12
12. Lus J u a n G u e r r e r o , Qu es la belleza ( 2 ? ed .) . . . 12
13. B. F o s t e r S t o c k w e l l , Qu es el protestantismo ( 2 ?
edicin) ............................................................... .............................
12
14. . M e l i n L a f i n u r , El romanticismo l i te r a r io ........... 10
15. F r a n c i s c o R o m e r o , Ubicacin del hombre ................ 10 16.
J. M. M o n n e r S a n s , Introduccin al teatro del siglo X X 10 17.
V i c e n t e F a t o n e , E l hombre y Dios ........................... 10
1 8 . G u i l l e r m o d e T o r r e , Q u es el superrealism o ...........
10 19. Jos B a b i n i , Qu es la ciencia ......................................
12 2 0 . M a r c o s V i c t o r i a , Introduccin a la psicologa . . .
12 21. J u l i o E. P a y r , Qu es el fauvismo ........... . ...........
12 22 . B e r n a r d o A. H o u s s a y , L a investigacin cientfica . .
. 12 23 . O s v a l d o L o u d e t , Qu es la l o c u r a
............................. >, 12 24 . R a f a e l A. A r r i e t a , Introduccin al
modernismoliterario 12 25 . R o d o l f o M o n d o l f o , E l genio
helnico ....................... 12 26 . D e s i d e r i o P a p p , Qu es el
t o m o .......................... . 12 27 . F. E s c a r d , Qu es la p e
d ia t r a ................................... 12 28 . K u r t P a h l e n , Qu
es la msica .................................. ,, 12 29 . T e f i l o I s n a r d i ,
Teora de la relatividad .................. 12 30 . n g e l V a s s a l
l o , E l problema moral ......................... 12
31. R o d o l f o M o n d o l f o , A rte , religin y filosofa de los
griegos ........................... .....................................................
12
32. . Nic o l s Repet t o , Q u es l socialismo .................... 12
3 3 . Jos F e r r a t e r M o r a , Q u es la l g i c a .................... 12
3 4 . J u a n M a n t o v a n i , L a crisis de la educacin .............. 12

EDITORIAL COLUMBA

SARMIENTO 1889, 5 piso BUENOS AIRES

 (V iene de la solapa anterior.)

las ms hondas y vitales preocupa

ciones de la hora, como el
anlisis y la discusin rigurosa de
difciles cuestiones tericas, Lntre
sus libros se destacan tal sentido
de la muerte, L l nomore en la
encrucijada, Cua tro vuiones de la
histona universal, Variaciones sobre
el espimu, Cues- tiones disputadas
y Unamuno: bos- quejo de una
jilosoja. Ln colabora cin con el
prolesor 11. Leblanc ha puDiicao
una notable Lgica mate- matica, en
la cual se exponen ms tc
nicamente algunos de los temas con
tenidos en el presente libro. La ver
sacin de Ferrater Mora en esta ma
teria es ya generalmente
reconocida, y su capacidad
especulativa se ates tigua en que no
se restringe, como suelen otros
tratadistas, al aspecto meramente
operativo o funcional, si no que
advierte y examina los asun tos de
fondo, el sentido y las impli caciones
que confieren al formalismo lgico su
el^S d'k i-Se termin de plena dignidad filosfica. Qu es la
lgica, pues, no se limi
I l er e s G r fr * * * ta a exponer en forma clara y
imprimir e r e s
9 5 7 e n 1 *V
rg e ntin o s L r
,
G r f ic o s A
senci lla los elementos de esta
disciplina, sino que plantea asimismo
Rosso, Doblas 951 Buenos A el proble ma de la naturaleza de la
ir lgica y el de la relacin entre la
lgica y la realidad. Las pginas
sobre esta ltima cuestin pueden ser
consideradas co mo una valiosa
contribucin original a un tema
metafsico muy debatido.
Francisco Romero.