I

INTRODUCCIN

1 . Lgica? S, lgica

Quejarnos porque 1a cuenta del restaurante es

alta no nos dar ningn resultado : no lograremos
convencer a1 mozo y pasaremos por mezquinos .
Pero s encontramos algn error en 1a suma provocaremos una consulta y obtendremos, junto con 1a enmenda, las correspondientes excusas : tal es e1 poder
de 1a aritmtica, que n los comerciantes se atreven
contra ella . Y 1a aritmtica no es una invencin
diablica, ni e1 arma secreta de 1a administracin
impositiva : es, simplemente, un sistema terico que
reconstruye, en abstracto, las relaciones que todos
aceptamos entre las cantidades concretas . Dos
ms dos es igual a cuatro en cualquier tiempo y 1ugar, se trate de dlares, camellos o vueltas en calesta; y e1 conjunto de las relaciones de este tipo,
reunidas en una teora matemtica universalmente

20

LOGICA,

PROPOSICION Y NORMA

admtda, nos permite verfcar formalmente 1a

exactitud de cualquier clculo .
Lo mismo ocurre con 1a lgica . Si alguien nos
endlga un largo discurso sobre un tema que gnoramos, nos ser dificil formarnos una idea sobre 1a
verdad o 1a falsedad de cada una de sus afirmaciones; pero s entre ellas hay dos que resulten contradctoras entre s, no necesitaremos averiguar ms
para saber que en esa chchara hay algo que no
funciona bien. A1 razonar de este modo habremos
utilizado un sistema terico -1a lgica- que recopi1a, generaliza, abstrae y reconstruye en frmulas
las relaciones aceptables entre las proposiciones,
aun con total prescindencia de su contenido : es
decir, de modo completamente formal .
En otras palabras, 1a lgica es un sistema que
entre otras cosas- permite verificar 1a correccin
de los razonamientos . Qu es esto de 1a correccin de los razonamientos? Lo entenderemos mejor
a travs de algunos ejemplos .
Ejmplo 1 : Toda msica se compone de sonidos.
E1 tango es msica . Por 1o tanto, e1 tango se compone de sonidos.
Ejemplo 2: Como e1 celo es azul y las nubes son
blancas, me siento alegre y optimista.
Ejemplo 3 : Como todas las cucarachas tienen
alas y yo soy una cucaracha, yo tengo alas .
A primera vista los dos primeros ejemplos parecen muy "razonables", en tanto e1 tercero parece

INTRODUCCIN

21

ridculo . Pero s nos quedamos con esta mpresn

no fremos muy lejos en nuestra capacidad de racocno y seremos fcilmente engaados por una retrca falaz. Examinemos los ejemplos uno por uno,
con ms cuidado .
E1 ejemplo 1 propone dos premisas y una conclNsn . Y cualquiera que 10 lea advertir que 1a
conclusin es una consecuencia necesaria de las premisas . En efecto, podemos no saber gran cosa de
msica, y podemos ignorar por completo 1a existenca del tango; pero si nos informan que 1a msica
se compone de sonidos y que e1 tango es una forma
de msica, en esos datos se encuentra contenido,
implcitamente, e1 resultado que aquel razonamiento hace explcito : que e1 tango se compone de sondos .
E1 ejemplo 2 tambin contiene dos premisas y
una conclusin, pero sta no se desprende necesaramente de aqullas . Puede ocurrir, por cierto,
que una persona de talante contemplativo se sienta
impulsada a un irresistible optimismo por 1a mera
comprobacin del color del celo y de las nubes ;
pero tambin sucede que a veces uno tiene un dolor
de muelas, y entonces e1 celo y las nubes carecen
de toda eficacia como talismanes de buen humor.
Y aqu aparece -entonces- un importante dato
sobre 1a lgica : una deduccin vlida no es 1a que
eventualmente lleva a un resultado verdadero, sino
1a que necesariamente lleva a un resultado verda
dero siempre que las premisas tambin 1o sean.

22

LOGICA,

PROPOSICION Y NORMA

Esto podr comprenderse mejor a partir del

ejemplo 3 que, contra 1o que podra suponerse a
primera vista, es absolutamente u1. No, por
cierto, porque quienes esto escriben hayan sufrido
alguna metamorfosis kafkiana y se dediquen a revolotear por las cocinas, sino porque 1a conclusin
se desprende necesariamente de las premisas . En
efecto, si fuera verdad que todas las cucarachas tienen alas, y s fuera exacto que yo pertenezco a tan
poco apreciada especie, entonces tambin sera eerto que tengo alas. Ntese que no existe otra posibilidad lgica : s yo no tengo alas no puedo ser una
cucaracha (porque hemos supuesto que todas las
cucarachas las tienen ) ; y si no tengo alas y a pesar
de eso sigo siendo una cucaracha, entonces no puede ser verdad 1a hiptesis general sobre e1 vuelo cucarachl. De modo que e1 ejemplo 3 es una deduccin correcta, a pesar de que tanto sus premisas
como su conclusin son obviamente falsas .
Claro est que aqu puede surgir una reflexin
escptica : si 1a lgica aprueba un razonamiento segn e1 cual todas las cucarachas tienen alas y yo
soy una cucaracha alada, tambin podra aprobar
que los chanchos escriben poemas, y que 1a nflacn no existe, y que 1a luna es una bola de queso
Gruyre . Entonces para qu sirve 1a lgica, si no
permite distinguir 1o verdadero de 1o falso? Esto
vale tanto como preguntar para qu sirve 1a televisin, s los programas son tan malos. S e1 espeetculo no nos gusta, haremos bien en apagar e1 re-

INTRODUCCION

23

ceptor, pues no obtendremos de 1 mayor utilidad .

Pero e1 da que haya un programa bueno cmo haremos para verlo sin un aparato que funcione adecuadamente?
Del mismo modo, exigir a 1a lgica que nos ensee 1o verdadero y 1o falso es injusto : 1o que no
han logrado hacer todava 1a ciencia y 1a filosofa
no puede conseguirse del mero razonamiento, que
es slo una herramienta intelectual, y no 1a fuente
de 1a verdad . S partimos de premisas falsas, nnguna seguridad tendremos de llegar a conclusiones
verdaderas ( si 1o hacemos, ser por casualidad ) .
Pero, s tenemos 1a fortuna de hallar premisas verdaderas para alimentar e1 razonamiento, ste nos
proporcionar nuevas y relucientes afirmaciones,
tan verdaderas como aqullas de las que partimos .
Es que 1a lgica, pese a su utilidad, no es omnipotente. Recordemos e1 ejemplo del principio : e1
de la cuenta del restawante. La aritmtica no
puede evitar que nos cobren por algn plato ms
de 1o que vale ( de otro modo existira gran demanda de textos sobre matemticas ) ; pero ya es algo
que nos permita controlar 1a suma para ver s tambin ah alguien pretende quedarse con nuestro dinero.
2. Lgica y bloqueo mental, o el valor de la sonrisa

"Claro, lgico", solemos decir ( no siempre con

propiedad ) cuando omos una afirmacin que flQ

4
2

LGICA,

PROPOSICIN

Y NORMA

parece sencilla y plausible. Pero cuando e1 adjetivo se vuelve sustantivo y nos hablan de 1a Lgica,
la imaginamos con una L mayscula, alta como un
muro en e1 que nuestra capacidad de comprender
se estrellar irremediablemente .
Por supuesto, esta prediccin cas siempre se
confirma . Con ella ocurre 1o mismo que con los
rumores de 1a Bolsa : s hacemos correr 1a voz de
que determinada accin va a subir, 1a gente 1o cree,
1a demanda aumenta y e1 precio efectivamente
sube . De idntico modo, nuestra concepcin de 1a
lgica como un instrumento de tortura ( imagen semejante a 1a que solemos tener de las matemticas )
tiende a crear un bloqueo mental que a menudo no
nos permite siquiera averiguar s hay algo de cierto
detrs de aquella idea.
Lo primero que debe advertirse es que 1a lgica
no es un pasatiempo para chiflados ociosos. Tiene
aplicacin prctica, y est mucho ms cerca de
nuestra experiencia cotidiana de 1o que suele suponerse . Todos sabemos algo de lgica y 1a usamos
constantemente ; pero, como e1 burgus gentilhombre de Molire, que hablaba en prosa sin saberlo,
estamos tan habituados a ella que no sabemos verla .
S juegan Boca Juniors y River Plate y nos informan
que uno de ellos gan, automticamente tenemos 1a
certeza de que e1 otro perdi . S extraviamos algo
junto a1 Obelisco, no se nos ocurre r a buscarlo a
Ja sombre de 1a Torre de los Ingleses. Y, puestos


INTRODUctIN

25

a comprar una ficha para hablar por telfono, esperamos que e1 cajero nos 1a d o nos 1a niegue,
pero nos sentimos burlados s nos contesta : "todava me quedan algunas, pero se me terminaron" .
Todas estas actitudes son aplicaciones de leyes 16gicas antiguas y muy conocidas, , pero que tienen
sonoros nombres en latn y se disfrazan con cierto
empaque acadmico cada vez que un texto de lgica nos las propina.
La receta para encarar satisf actoramente e1 estudo de 1a lgica incluye, pues, dos remedios, que
deben administrarse en forma conjunta. E1 primero consiste en advertir 1a importancia de 1a lgica
como exposicin de un sistema explcito que nos
permite ordenar, controlar y -en caso necesarioreformular 1a enorme cantidad de razonamientos
que de todos modos desarrollamos cada da . Y e1
segundo, no dejarnos intimidar y tomar 1a lgica
con calma, con buena voluntad y -s es posible
con una pizca de sentido del humor. Si consegumos pertrecharnos de este modo estaremos en condcones de dqu rir, sin grave desgarramiento afectvo, un nstrumnto de valor inestimable . Pero
para lograr este resultado es indispensable aceptar
e1 desafo intelectual que 1a lgica nos propone y
jams, por ningn motivo, murmurar para nosotros
"sto no 1o voy a entender nunca".

26

LGICA,

PROPOSICIN

Y NORMA

3. De qu se trata, o a qu vamos a jugar

Formuladas las advertencias preliminares, correspondera mostrar ahora las caractersticas concretas del estudio que . nos proponemos emprender .
Pero no es fcil hacer esto con 1a lgica, que es un
sistema de relaciones abstractas; y enumerar los
problemas que estn o han estado incluidos bajo
este ttulo llevara a una exposicin histrica bastante larga : en veinticinco siglos de desarrollo, 1a 16gica occidental ha recorrido un camino largo y muyvarado. Para nuestros fines bastar decir que 1a
lgica busca formular y sistematizar las relaciones
misibles entre las proposiciones, y se preocupa
por establecer mtodos para decidir si una proposcin se desprende o no de otras a travs de un razonamiento vlido .
Aristteles trat de cumplir esta tarea a travs
del mismo lenguaje que usamos todos los das (llamado lenguaje natural) , a1 que incorpor vocablos
especialmente definidos y aun ciertos smbolos abstractos (letras como A o B, por ejemplo, para representar 1a estructura de una proposicin con sujeto
y predicado ) . Aristteles emprendi as, probablemente, e1 primer estudio sistemtico de 1a 1gca formal ; y puso en ello tanto genio que aun hoy
sus obras sobre e1 tema se leen con admiracin . E1
mismo camino siguieron los que vinieron despus,
y se prolong a travs de 1a Edad Media y del Rena-

INTRODUCCION

27

cimiento. Pero en ocasiones e1 intento chocaba

con ciertas dificultades, a pesar del gran desarrollo
alcanzado por 1a lgica aristotlica y medieval ; e1
lenguaje natural contiene una grande y en buena
medida inevitable dosis de imprecisin ( vaguedad,
ambigedad y otras intoxicaciones semnticas ), de
modo que, por muy riguroso que fuera e1 propsito
de establecer relaciones unvocas, siempre exista
e1 riesgo de interpretaciones diversas y de aparicin
de seudoproblemas bajo 1a forma de disputas verbales. Aparte de esto e1 lenguaje natural est compuesto por palabras que se supone tienen sgnifcados concretos ; y esta presencia constante de los contendos semnticos tiende a oscurecer 1a diferencia
entre distintos tipos de demostracin : "todas las
madres tienen sexo femenino", por ejemplo, es verdadera por razones semnticas, ya que 1a femineidad es caracterstica definitoria de "madre" ; pero
"s llueve y hace fro, llueve" puede demostrarse sin
recurso alvino a1 significado de las palabras "11ueve" ni "hace fro", ya que su verdad resulta directamente de 1a estructura lgica de 1a proposicin .
Esta demostracin,' as como otros desarrollos modemos de 1a lgica, corresponde a una etapa en que
qued superado en gran medida e1 uso del lenguaje natural.
Esta etapa comenz con Leibniz (1646-1716),
pero se desarroll a 10 largo del siglo xix en los
trabajos de De Morgan (1806-1876), Boole (18151864), Free (1848-1925) y Peano (1858-1932) .

28

LOGICA,

PROPOSICION Y NORMA

entre otros, hasta quedar firmemente establecida a

principios del siglo xx, cuando Russell y Whitehead
publicaron su obra Principia Mathernatica (19101913 ) . Estos autores aplicaron a 1a 1ica un formidable instrumento proveniente de las matemticas, campo donde ya haba demostrado su utilidad .
Este instrumento es e1 lenguaje formal, en e1 que
smbolos convencionales, distintos de las palabras
que conocemos y definidos con rigurosa precisin,
segn 1a funcin que cumplan, pueden combinarse
entre s a travs de reglas deliberadamente construdas .
Este nuevo desarrollo recibi distintos nombres,
que pretendan diferenciarlo de 1a lgica tradcona1 : "lgica matemtica", "lgica simblica" . Algunos 1o llaman "1gica formal", a pesar del carcter
relevantemente formal del anlisis aristotlico .
Pero, a medida que pasa e1 tiempo y 1a gente se
habita a1 manejo de los smbolos ( a 1o que contrbuye muco e1 aprendizaje de 1a teora de conjuntos
en las escuelas), 1a importancia de estas denominaciones disminuye y todo empieza a llamarse, pura
y simplemente, lgica . Esta evolucin es conceptualmente importante, porque ayuda a sealar que
1a nueva lgica no se opone a 1a antigua, sino que
1a complementa, 1a enmarca, en parte 1a corrige y
en buena medida 1a supera, sin que por ello Aristteles deba bajar de su pedestal .
Existen hoy muchos temas -tradicionalmente
englobados en 1a lgia- que resultan alcanzados

INTRODUCCION

29

poco o nada por e1 uso actual del lenguaje i

lto : e1 anlisis de las funciones del lenguaje, por
ejemplo, 0 1a teora del significado y de 1a definicin, o e1 estudio de las falacias no formales, 0 los
conceptos relacionados con cl razonamiento nductvo. Pero nosotros aceptaremos directa e nmedatamente e1 desafo de que hablbamos antes y -sin
menospreciar 1a utilidad de aquellos temas, sobre
los que existen excelentes textos
nos lanzaremos
a1 asalto de las frmulas .
Para esto estudiaremos primero las relaciones
entre proposiciones (lgica proposicional) , para 11egar luego a las lgicas modales : altca y dentica .
4. Bueno, pero por qu a m?

E1 programa que acabamos de enunciar entusiasmara, seguramente, a una persona con nclinacones matemticas ; pero e1 caso es que este libro
no est dirigido a ingenieros n a estudiosos de las
ciencias exactas . Y entonces e1 lector -profesional
o estudiante de derecho, de sociologa, de ciencias
polticas o, en fin, de disciplinas tradicionalmente
humansticas- puede sentirse como aquel nio a
quien regalaban una moneda por cada cucharada
que 1e daban de un desagradable remedio . . . y cuyos padres rompan 1a alcanca, cada vez que estaba
llena, para comprar otro frasco del mismo remedio .
Las ciencias humansticas se consideran tradcional-

30

LOGICA,

PROPOSICION Y NORMA

mente como un refugio contra las matemticas, a

cubierto de 1a insidiosa infiltracin de las frmulas ;
y quien las ha elegido para s con esa esperanza
puede sentirse defraudado . Por supuesto, podra
observarse que ms vale advertir e1 fraude que ignorarlo ; pero, como quiera que esta reflexin no
suena muy estimulante, convendr hacer algunas
aclaraciones sobre e1 punto .
La lgica es una de las disciplinas humansticas
ms tradicionales ; pero 1e ha sucedido 1o mismo que
a 1a mayora de las ciencias que, cuanto ms se perfecconan, ms se acercan a las matemticas . Gran
parte del progreso cientfico ha consistido en advertir que dos o ms conceptos diferentes no eran sino
distintos estadios de una misma realidad contnua,
y en medir 1a diferencia entre ellos sobre cierta escala comn . As es como, por ejemplo, las relacones entre e1 espacio y e1 tiempo y entre 1a materia y 1a energa han provocado una verdadera revoIucn en 1a fsica, con ramificaciones sobre otras
disciplinas ( incluida 1a filosofa ) . Pues bien, las
ciencias sociales adolecen desde su origen de 1a nsufcienca de sus mtodos para aislar los fenmenos, compararlos y medirlos. En 1a medida en que
esto se consigue poco a poco, e1 lenguaje formal se
introduce para abstraer cierta relacin o cierto aspecto de un fenmeno complejo con independencia
de su contexto contingente ; y una vez hecho esto
aparecen las frmulas para establecer los vnculos
hallados entre aquellas abstracciones . De modo

IN'fl ODUCCIN

31

que esta suerte de matematiza.cin de las ciencias

sociales parece una tendencia inevitable, en 1a que
1a lgica se presenta como un simple caso particular .
Y por qu precisamente 1a lgica? Ante todo
porque cualquier sector de 1a ciencia que emplee
e1 lenguaje y e1 razonamiento debe someterse a 1a
prueba de 1a validez de su propio mtodo ; pero una
ciencia que no slo emplee e1 lenguaje como herra
mienta sino que adems tenga por objeto de estudo argumentos que se suponen lgicamente encadenados -como las ciencias polticas y jurdicasno puede privarse de analizar 1a estructura de su
propio objeto .
Esta circunstancia es particularmente sensible en
e1 caso de los sistemas normativos . En efecto, entre los significados que pueden simbolizarse con e1
lenguaje hay algunos que nos afectan profundamente en nuestros intereses : son las normas, que nos
obligan a cumplir ciertas conductas y nos prohiben
otras; que limitan e1 universo de nuestra libertad
y -en e1 caso del derecho- hasta nos amenazan
con e1 embargo, e1 desalojo, 1a prisn o 1a muerte .
Y existen personas uya profesin es razonar sobre
las normas, inventar y refutar argumentos sobre
ellas, describirlas, esgrimirlas y manejarlas . Los
abogados -de ellos se trata- no estn todos de
acuerdo sobre 1a justicia y 1a injusticia de cada norma ( como no 1o estn los comerciantes sobre 1a rentabilidad de determinado precio ni los cientficos
sobre 1a verdad de ciertas afirmaciones de hecho) ;

32

LOGICA, PROPOSICION

NORMA

pero 1a mayora de ellos est dispuesta a admitir que

existen entre las normas ciertas relaciones formales,
y que s una conducta x est prohibida, por ejemplo,
sera dif cil aceptar simultneamente que 1a misma
conducta x es obligatoria ; y esto ocurre aun cuando
no sepamos en qu consiste dicha conducta, n s
prohibirla es un acto de buen gobierno o una muestra de insufrible tirana .
Existe, pues, desde hace aproximadamente medio siglo, una lgica formal de las normas, tambin
llamada lgica clentica o normatva.
Este esquema o sistema terico, a 10 largo de
sucesivas versiones, permite ejercer un control formal sobre e1 discurso normativo, equivalente a1 que
tenemos sobre los clculos mediante 1a aritmtica o
sobre e1 discurso en general a travs de 1a lgica
proposicional . Como en los otros casos, este instrumento conceptual no nos otorga un dominio absoluto sobre los fenmenos a que se refiere ( para ello
habra que tener poder sobre las premisas como e1
legislador 1o tiene sobre las leyes que dicta ) ; pero
a1 menos nos ensea a extraer conclusiones vlidas
a partir de las premisas que se nos imponen ; y no
es poca cosa encontrar as una base comn de razonamiento en una materia como 1a normatva, tan
polmica que 1a gente mata y muere por ella .
Si una lgica dentica merece, pues, un lugar
preeminente en 1a metodologa de 1a ciencia jurdica, conviene tambin sealar que esa importancia
est perdiendo rpidamente su ropaje especulativn

INTRODUCCION

33

para hacerse cada vez ms prctica y cotidiana. En

materia tecnolgica e1 derecho es e1 pariente pobre
de las dems ciencias, y e1 jurista maneja an . . sstemas y procedimientos conceptuales que no han
variado cas en milenios . Pero, como ya se ha visto, asistimos aqu tambin a un avance incontenible
de las matemticas, de 1o que puede ser medido,
pesado, contado, calculado y . . . computado . Las
normas son informacin ( en e1 sentido que a esta
palabra atribuye 1a nf ormtca ) ; y las computadoras han aprendido ya a manejarlas, clasificarlas, recopilarlas y reproducirlas para facilitar e1 trabajo de
abogados, jueces y legisladores . Incluso se estudia
en nuestros das 1a posibilidad de instituir procesos de decisin automtica, en los que 1a solucin
de un caso surja directamente de 1a norma, a travs de un mero clculo lgico . E1 aprovechamento de estas realidades y perspectivas exige a1 jurista
moderno una precisin de conceptos y una exactitud de razonamientos a las que e1 abogado tradiconal no est habituado, cuya fuente es 1a lgica
formal y cuyo instrumento es 1a abstraccin contenda en las frmulas . .

3.

Lgica .

II
DE LA PROPOSICIN A LA FRMULA

1 . Concepto de proposicin

En e1 uso corriente del lenguaje es comn que

tomemos como sinnimas expresiones tales como
"enunciado" y "proposicin". Decimos, por ejemplo, "este prrafo contiene siete proposiciones" o
"no creo en los enunciados de 1a astrologa" y, aunque de una manera vaga, sabemos qu queremos
decir con ello . La propia gramtica espaola suele
usar con e1 mismo significado los vocablos "proposcon , enuncad , oration y asercion . Pero
para 1a lgica algunas de estas denominaciones adquieren un sentido ms preciso, y se refieren a conceptos distintos .
A1 hablar nos expresamos mediante enunciados ;
esto es, oraciones como "este es un libro de lgica",
"tengo sueo" o "1o que estoy leyendo es tremendamente aburrido" . Estos conjuntos de palabras son

38

LCICA, PROPOSICIN Y NOEMA

oraciones porque cumplen con e1 requisito de ser

significativas, de expresar cabalmente una idea . No
ocurre 1o mismo, en cambio, con expresiones como
"verde e1 es campo", o "cigarrillo cenicero e1 e1 en
est". A pesar de estar compuestas por palabras
conocidas, su desorden interno ( respecto de las reglas de 1a construccin castellana ) las priva de sgnfcado y con ello les impide constituirse en enuncados u oraciones.
Supongamos ahora tres enunciados : "hace fro",
"1 fait froid", "t is cold". Salta a 1a vista que ellos
son diferentes : estn compuestos por palabras dislintas, y hasta corresponden a diversos idiomas .
Pero tambin advertimos que los tres tienen algo
en comn: quieren decir 1o mismo . Y para esto no
hace falta siquiera recurrir a otros lenguajes : "e1
presidente de Bolivia fue derrocado por e1 ejrcito"
y "e1 ejrcito derroc al presidente de Bolivia" son
tambin enunciados distintos que quieren decir 10
mismo : es decir, tienen idntico significado. Cuando varios enunciados tienen e1 mismo significado,
decimos de ellos que expresan 1a misma proposicin 1.
Una proposicin es, pues, e1 significado de un
1 Tambin puede ocurrir a la inversa : enunciados idnticos expresan proposiciones diferentes . En efecto, segn e1 sujeto que las
pranuneie y las circunstancias de tiempo y lugar en que lo haga, las
palabras "ahora salgo para all" pueden significar que Jos Fernndez
se dispone a viajar de Mendoza a Crdoba el 15 de febrero de 1979 o
que Margarita Farinelli proyecta trasladarse desde la esquina de Corrientes y Uruguay hasta Montevideo 528, piso 5Q, oficina 506, el 23
de octubre de 1981 entre las 16 .10 y las 16 .25.

DE LA PROPOSICIN A LA FRMULA

37

enunciado declarativo o descriptivo . No es e1

enunciado mismo, que est compuesto por palabras
de algn idioma determinado, ordenadas segn
ciertas reglas gramaticales : es e1 contenido del
enunciado, que es comn a las diversas maneras de
decir 1o mismo . Y exigimos que e1 enunciado sea
desc riptivo para desechar expresamente los otros
usos del lenguaje : frases como "cspita!" o "pseme
1a mostaza, por favor" no expresan proposiciones,
en e1 sentido que aqu damos a este concepto Z.
Esto ocurre porque 1a lgica ( a1 menos, 1a parte
de 1a lgica que estamos estudiando ) se maneja a
travs de los llamados valores de verd, que -en
un sistema bivalente como e1 que analizamos- son
dos : verdadero y falso ( algunos prefieren decirlo
de modo ms abstracto y utilizan los smbolos 1 y
0) . Cuando un enunciado hace referencia a ciertos
estados de cosas, de tal suerte que sea posible determinar si es verdadero o falso, decimos que es un
enunciado descriptivo o declarativo, cuya verdad
depende de 1a existencia real del estado de cosas
descripto . E1 enunciado "est lloviendo", por ejemp1o, es verdadero en efecto sucede e1 hecho expresado y falso s, por el contrario, el sol brilla en un
celo sin nubes . No importa en este momento ave2 El lenguaje puede usarse en sentido descriptivo ( "la tierra es
redonda"), expresivo ("atiza!"), prescriptive o directivo ("vyase y no
vuelva nunca ms") y operativo o perf ormativo (" buenos das, seor
jefe" ) . Sobre este tema pueden consultarse Carri, Genaro R ., Notas
sobre derecho y lenguaje, Bs . As ., 1965, p. 15 y ss . ; y Copi, Irving, Introduccin a la lgica, Bs. As ., 1967, p. 34 y siguientes.

3$

LGICA, PROPOSICIN Y

NORMA

riguar s es verdadero o falso ( en todo caso, simpre

podemos mirar por 1a ventana o extender e1 brazo
fnera de ella ) . Lo relevante es que, si e1 enunciado puede ser verdadero o falso, entonces es descriptivo y constituye materia prima para 1a gran
maquinara lgica . Tal cosa no ocurre, en principio, con e1 enunciado "trese a1 ro": ste expresa
una orden que puede ser vlida o no, justa o injusta,
disparatada o aceptable, pero nunca verdadera ni
falsa. Para este tipo de enunciados se ha creada
una lgica algo diferente, que ms adelante examnaremos .

2. Variables, conectivas y signos auxiliares.

Simbologia y notacin

Como ya sabemos, 1a lgica (lgica simblica o

matemtica) utiliza un lenguaje formal compuesto
por smbolos convencionales . Estos smbolos permten manejar las proposiciones segn las relaciones
que tengan entre s, y sin prestar atencin a su contendo. En esto 1a lgica se parece a1 lgebra, que
hace 1o mismo con e1 clculo numrico . Supongamos, por ejemplo, 1a siguiente frmula algebraica :
a+b=b+a
No nos interesa saber qu nmero puede asignarse
a cada una de las letras minsculas utilizadas, sempre que cada una de ellas tenga en todos los casos
dentro del mismo clculo- un valor idntico .

DE LA PROPOSICION A LA FORMULA

39

As, s suponemos que a es 4 y que b es 5, 1a

frmula debera interpretarse de este modo :
4+5=5+4

donde cada letra ha sido reemplazada por e1 mismo

nmero en todas sus apariciones.
Pero, como podemos asignar a "a" y a "b" cualquier valor que queramos, 1a frmula algebraica
mencionada en primer trmino resulta especialmente t1 para mostrar una relacin general, a saber :
que si sumamos dos nmeros cualesquiera, e1 resultado ser idntico sin que importe e1 orden de los
sumandos .
En 1a lgica proposicional las letras minsculas
no representan nmeros, sino proposiciones. Se
llaman por esto variables proposicionales, ya que
podemos asignarles como contenido cualquier proposicin concreta que deseemos ( suponiendo que
queramos asignarles alguno, 1o que en general no
sucede ) . Este es e1 nombre ms extendido, pero
algunos autores las llaman tambin "letras esquemtcas" o "letras sentenciales" 3 . Por costumbre se
usan preferentemente las letras p, q, r, s, t, w, z ;
y cualquiera de ellas puede representar una proposicin. A su vez, cada variable puede representar
cualquier proposicin, y aun distintas proposiciones
en diferentes contextos : en una demostracin, por
ejemplo, podemos suponer que "p" simboliza "hace
3 Orayen, Ral, Verdad, lgica y significado, en revista "Crtica",
Mxico, 1976, vol . VIII, p . 14 .

40

LOGICA, PROPOSICION Y NORMA

un lindo da", y en otro desarrollo podemos asignar1e e1 contenido "m gato tiene bigotes largos" . Pero
jual que en e1 lgebra, es indispensable tomar una
elemental precaucin : dentro de un mismo contexto, e1 significado que se asigne a cada variable debe
ser siempre idntico . .
Ahora bien ; en e1 lenguaje natural solemos vincular entre s dos o ms enunciados para formar un
enunciado ms complejo, de tal modo que e1 valor
de verdad del enunciado resultante depende de
cierta combinacin de los valores de verdad de sus.
componentes. As, "no llueve" ser verdadero s
"llueve" es falso, y viceversa. "Llueve y hace fro"
slo ser verdad si es verdad que 11ueve y tambin
es verdad que hace fro, y ser falso aunque llueva,
s hace calor, y aunque hiele, s no llueve. Esta
funcin vnculatora es cumplida en castellano
por palabras tales como "y", "o", "s", "aunque",
"pero", "sin embargo", "s y slo s", "siempre que"
y otras; pero no siempre es fcil, dentro de 1a c1sca ambigedad del lenguaje natural, establecer
unvocamente e1 tipo de relacin que se busca ex
presar. Si alguien nos dice, por ejemplo, "esta noche ir a1 cine o a comer" no sabemos con seguridad
si pretende elegir una de dichas actividades o s
tambin deja abierta 1a posibilidad de hacer ambas
cosas.
Para evitar problemas de este tipo y facilitar e1
clculo, e1 lenguaje formal representa aquellos
vnculos mediante signos especiales, que reciben el

41

DE LA PROPOSICIN w LA FRMULA

nombre de conectivas extensionales ( conectivas a

secas, para los ntimos), signos l6gicos, constantes
lgicas u erores. Pero no existe un acuerdo generalizado acerca de cmo representar estos signos .
Lsto da lugar a 1a existencia de distintas notaciones,
o sistemas grficos de escritura de 1a lgica simblica. La notacin ms extendida es 1a llamada inglesa o de Russell, en una de cuyas versiones -que
usaremos de aqu en adelante- las conectivas principales se representan mediante los smbolos s
y , .
guentes
Por e1 modo en que las conectivas afectat a las
variables a que se refieren, se las divide en mondi-

4 Aunque sea a modo de ilustracin, convendr tener presente que

la mencionada no es la nica notacin "inglesa" existente . Algunos
autores reemplazan "--" por
" . " por "A" ; " D " por
o por
-3 o m por f-> .
Hay adems una notacin completamente distinta, cuyas ventajas
consisten en que no recurre a smbolos diferentes de los alfabticos y
que no requiere uso alguno de parntesis, aparte de ciertas facilidades
de clculo que no vale la pena enumerar aqu . Se trata de la notacin
polaca, introducida por Lukasiewiez, cuyas equivalencias con la notacin inglesa son las siguientes :
"Np",
"kpq"
"Apq"
"pq"
'`Cpq"
"Epq"

equivale
equivale
equivale
equivale

a
a
a
a

"-p"
"p q"
"p v q"
"p
q"

equivale a "p D q"

equivale a "p

q"

No usaremos la notacin polaca. porque al lado de sus virtudes presenta algunas dificultades, sobre todo para el principiante : su lectura
es menos intuitiva, y cuando las frmulas se hacen complicadas es ms
fcil comprender de un vistazo su estructura general con la notacin de
Russell, donde las conectivas didicas se ubican precisamente entre las
variables conectadas .

42

LGICA, PROPOSICIN Y NORMA

cas y di4dicas o binarias . E1 signo " " es mondco, porque slo afecta a una proposicin : 1a representada por 1a frmula de 1a derecha . As, 1a verdad de 1a frmula "-p" depender del valor de
verdad de "p" modificado por e1 operador "=" .
Las dems conectivas mencionadas se llaman didicas porque afectan a dos proposiciones conjuntamente : las situadas a derecha e izquierda del signo
de que se trate . Por ejemplo, e1 valor de "p . q"
depende del valor de verdad de "p" y del valor de
verdad de "q", combinados en 1a forma ndicada por " . " .
Por e1 momento, conviene que resistamos a 1a
tentacin de buscar a cada uno de estos signos un
equivalente en lenguaje natural . Tales equvalencas -aunque existen- no son perfectas ni unvocas, debido a 1a imprecisin del lenguaje natural .
Por esto, como luego veremos, trataremos de definir cada signo por su funcin de verdad y slo
a partir de a11 buscaremos las trucciones a1 castellano . S hiciramos a1 revs, correrlamos e1 riesgo de introducir en e1 lenguaje formal, por 1a va
de las definiciones, los mismos inconvenientes semntcos que buscamos eliminar .
Aparte de las variables y de las conectivas, 1a
lgica cuenta tambin con smbolos auxiliares, que
hacen las veces de signos de puntuacin y sirven
para separar, en caso necesario, unas frmulas de
otras . Se trata de los parntesis "( )", los corchetes "[ ]", las llaves "~ }" y las barras "~ I" .

DE LA PROPOSICIN A LA FRMULA

43

3. Concepto de frmula proposicional

Hasta ahora hemos hablado bastante sobre las

frmulas, de modo que resulta oportuno fijar un
contenido preciso para esta palabreja. Una frmula proposicional es una expresin simblica que
est compuesta exclusivamente por variables proposicionales, conectivas o signos lgicos y smbolos
auxiliares 5. Esta definicin puede tomarnos algo
desprevenidos, por 1o que convendr hacer algunas
aclaraciones sobre ella .
Una frmula est siempre compuesta, en forma
exclusiva, por los signos apuntados, que consttuyen -por as decirlo- su elenco estable . Ningn
actor ajeno a 1a compaa puede introducirse en. 1a
funcin ( "llueve . hace fro"; "llueve yp"; "p . hace
frio " ) pues e1 resultado no sera una formula ( sera
algo as como mezclar, en una sola frase, palabras
de varios idiomas diferentes : "Ich am going au cinma domani por 1a noche" ) .
Que variables, conectivas y signos auxiliares formen e1 elenco estable del teatro lgico no implica
que todos ellos deban estar siempre en escena: bastar con que haya, por 1o menos, una variable. As;
"p" es una frmula ; "-p" y "p . q" tambin 1o son,
igual que otras ms complicadas como :
s )]
"(p q) D [r v (q
5

Cfr. Orayen, ob . citada .

LGICA, PROPOSICIN Y NORMA

Por ltimo, no basta que los actores estn en

escena para constituir una funcin teatral : adems
es necesario que desempeen su papel segn certo libreto y de acuerdo con ciertas reglas que definen esa actividad . Del mismo modo, los componentes de una frmula no pueden estar mezclados
a1 azar : han de respetar las llamadas reglas de formaCin ) o normas sintcticas convencionales que rigen 1a estructura simblica de las frmulas . Estas
reglas pueden enunciarse as :
1) Una variable proposicional es una frmula .
Ej . :

cc

cc

cc

2) Una frmula precedida por un operador mondco es una formula .

E'

cc

cc

,,

cc

-p, -q, r .

3) Dos frmulas encerradas dentro de un par

de signos auxiliares y entre las cuales hay un operador didico ( y slo un operador didico) , constituyen una frmula .
Ej . : `(P 4) "( -P D 9) (P 9) D ( r v s)]".
Las reglas de formacin, que en su conjunto
pueden considerarse tambin como una definicin
de "frmula", permiten excluir de nuestro lenguaje
simblico todas las expresiones
q ue no se ajusten a
ellas . As, "~ ", q-, pq, rs, (qv .q) ",
" ( r . ) s" no son frmulas bien formadas ; y puede
constituir un interesante ejercicio averiguar cul es
el defecto que aqueja a cada una de tales expresiones .

DE LA PROPOSICIN A LA FRMULA

45

Conviene aqu hacer una aclaracin sobre los

signos auxiliares . Su funcin consiste en eliminar
ambigedades : sin ellos, 1a expresin "-p q", por
ejemplo, podra interpretarse de dos maneras :
a) (-p . q ) , donde e1 operador mondco afecta
slo a 1a frmula "p", o bien
b) -(p , q), dondeel operador mondco afecta a la formula (p . q)
No toda frmula, sin embargo, plantea semejantes ambigedades ; y de a11 resulta que puede establecerse una convencin prctica : cuando una expresn simblica no es susceptible de nterpretaciones esquemticas diversas, es posible eliminar los
signos auxiliares innecesarios : por ejemplo, en 1ugar de "( p q ) " puede escribirse "p q"; pero s
1a misma frmula lia de relacionarse a su vez con
otra -por ejemplo, en "(p q ) v r" e1 uso de
parntesis no puede omitirse .
4. Frmulas atmicas y frmulas moleculares

As como e1 lenguaje natural vincula dos o ms

enunciados para formar un enunciado complejo, e1
lenguaje simblico combna las variables -por medio de las conectivas- para constituir frmulas compuestas . Por asociacin de ideas con e1 modo en
que los tomos de elementos simples constituyen las
molculas de los compuestos qumicos, 1a lgica ha
adoptado aqu una nomenclatura con reminiscencias

46

LOGICA, PROPOSICION Y NORMA

de 1a fsica nuclear . Una frmula atmica es aque1la constituida exclusivamente por una variable prono modificada por operador alguno : ``p",
por ejemplo. Las frmulas en las que aparece un
operador mondico ( "-q" ) o que resultan de una
combinacin de frmulas unidas por conectivas didicas ( "r v s", "z =- w" ) se llaman moleculares.
Toda frmula molecular es una funcin de verd de las frmulas atmicas que 1a componen : es
decir, su verdad o su falsedad dependen de 1a verdad
o de 1a falsedad de las proposiciones representadas
por las variables simples . Pero, como hemos visto
antes, e1 modo en que deben combinarse 1a verdad
01a falsedad de los componentes para determinar e1
valor de verdad de 1a frmula molecular depende
de las conectivas que aparezcan en 1a misma fnnula. Por esto los operadores resultan ser 1a clave
para desentraar 1a estructura interna de una frmula. A su estudio, pues, dedicaremos e1 prximo
captulo .