18

3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
13.

NDICE GENERAL

EL principio de subcontrariedad ............................

Contrariedad .......................... .....................................
Subalternacin ................................................... ..........
Contradiccin ............................................................ ..
El operador F ......... ..............................................
Calificacin normativa de las conductas complejas
Principio de distribucin de la perm isin............
Teorema de distribucin de la obligacin............
Teorema de la obligacin alternativa .................
Teorema de la permisin conjunta
Teorema de la permisin mnima ................... .143

128
130
131
132
134
136
138
139
140
142

INTRODUCCIN

IX

I. Lgica? S, lgica

CONDICIONES EXTRASISTEMTICAS D E LA
LGICA DENTICA
1.
2.
3.

Concepto ........................................................ ..
Las leyes de Hume ....... ..................................... .
E l principio de prohibicin ....... ...........................

B ib l io g r a f a

.................. .............. ........................................................

I ndice alfabtico ....................... ....... .................................

145
148
153
159
161

Quejarnos poique la cuenta del restaurante es

alta no nos dar ningn resultado: no lograremos
convencer al mozo y pasaremos por mezquinos.
Pero si encontramos algn error en la suma provoca
remos una consulta y obtendremos, junto con la en
mienda, las correspondientes excusas: tal es el poder
de la aritmtica, que ni los comerciantes se atreven
contra ella. Y la aritmtica no es una invencin
diablica, ni el arma secreta de la 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 lu
gar, se trate de dlares, camellos o vueltas en calesita; y el conjunto de las relaciones de este tipo,
reunidas en una teora matemtica umversalmente

20

LGCA,

p r o p o s ic i n

norm a

admitida, nos permite verificar formalmente la

exactitud de cualquier clculo.
Lo mismo ocurre con la lgica. Si alguien nos
endilga un largo discurso sobre un tema que igno
ramos, nos ser difcil formarnos una idea sobre la
verdad o la falsedad de cada una de sus afirmacio
nes; pero si entre ellas hay dos que resulten contra
dictorias entre s, no necesitaremos averiguar ms
para saber que en esa chchara hay algo que no
funciona bien. Al razonar de este modo habremos
utilizado un sistema terico la lgica que reco
pila, 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, la lgica es un sistema que
entre otras cosas permite verificar la correccin
de los razonamientos. Qu es esto de la correc
cin de los razonamientos? Lo entenderemos mejor
a travs de algunos ejemplos.
Ejemplo 1: Toda msica se compone de sonidos.
El tango es msica. Por lo tanto, el tango se com
pone de sonidos.
Ejemplo 2: Como el cielo 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 pa
recen muy razonables, en tanto el tercero parece

INTRODUCCIN

21

ridculo. Pero si nos quedamos con esta impresin

no iremos muy lejos en nuestra capacidad de racio
cinio y seremos fcilmente engaados por una ret
rica falaz. Examinemos los ejemplos uno por uno,
con ms cuidado.
El ejemplo 1 propone dos premisas y una con
clusin. Y cualquiera que lo lea advertir que la
conclusin es una consecuencia necesaria de las pre
misas. En efecto, podemos no saber gran cosa de
msica, y podemos ignorar por completo la existen
cia del tango; pero si nos informan que la msica
se compone de sonidos y que el tango es una forma
de msica, en esos datos se encuentra contenido,
implcitamente, el resultado que aquel razonamien
to hace explcito: que el tango se compone de so
nidos.
El ejemplo 2 tambin contiene dos premisas y
una conclusin, pero sta no se desprende necesa
riamente de aqullas. Puede ocurrir, por cierto,
que una persona de talante contemplativo se sienta
impulsada a un irresistible optimismo por la mera
comprobacin del color del cielo y de las nubes;
pero tambin sucede que a veces uno tiene un dolor
de muelas, y entonces el cielo y las nubes carecen
de toda eficacia como talismanes de buen humor.
Y aqu aparece entonces un importante dato
sobre la lgica: una deduccin vlida no es la que
eventualmente lleva a un resultado verdadero, sino
la que necesariamente lleva a un resultado verda
dero siempre que las premisas tambin lo sean.

22

LGICA,

PROPOSICIN

NORMA

Esto podr comprenderse mejor a partir del

ejemplo 3 que, contra lo que podra suponerse a
primera vista, es absolutamente vlido. No, por
cierto, porque quienes esto escriben hayan sufrido
alguna metamorfosis kafkiana y se dediquen a revo
lotear por las cocinas, sino porque la conclusin
se desprende necesariamente de las premisas. En
efecto, si fuera verdad que todas las cucarachas tie
nen alas, y si fuera exacto que yo pertenezco a tan
poco apreciada especie, entonces tambin sera cier
to que tengo alas. Ntese que no existe otra posi
bilidad lgica: si 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 pue
de ser verdad la hiptesis general sobre el vuelo cucarachil. De modo que el ejemplo 3 es una deduc
cin correcta, a pesar de que tanto sus premisas
como su conclusin son obviamente falsas.
Claro est que aqu puede surgir una reflexin
escptica: si la lgica aprueba un razonamiento se
gn el cual todas las cucarachas tienen alas y yo
soy una cucaracha alada, tambin podra aprobar
que los chanchos escriben poemas, y que la infla
cin no existe, y que la luna es una bola de queso
Gruyere. Entonces para qu sirve la lgica, si no
permite distinguir lo verdadero de lo falso? Esto
vale tanto como preguntar para qu sirve la televi
sin, si los programas son tan malos. Si el espec
tculo no nos gusta, haremos bien en apagar el re

INTRODUCCIN

23

ceptor, pues no obtendremos de l mayor utilidad.

Pero el da que haya un programa bueno cmo ha
remos para verlo sin un aparato que funcione ade
cuadamente?
Del mismo modo, exigir a la lgica que nos en
see lo verdadero y lo falso es injusto: lo que no
han logrado hacer todava 3a ciencia y la filosofa
no puede conseguirse del mero razonamiento, que
es slo una herramienta intelectual, y no la fuente
de la verdad. Si partimos de premisas falsas, nin
guna seguridad tendremos de llegar a conclusiones
verdaderas (si lo hacemos, ser por casualidad).
Pero, si tenemos la fortuna de hallar premisas ver
daderas para alimentar el razonamiento, ste nos
proporcionar nuevas y relucientes afirmaciones,
tan verdaderas como aqullas de las que partimos.
Es que la lgica, pese a su utilidad, no es omni
potente. Recordemos el ejemplo del principio: el
de la cuenta del restaurante. La aritmtica no
puede evitar que nos cobren por algn plato ms
de lo que vale (de otro modo existira gran deman
da de textos sobre matemticas); pero ya es algo
que nos permita controlar la suma para ver si tam
bin ah alguien pretende quedarse con nuestro di
nero.
2. Lgica y bloqueo mental, o el valor de la sonrisa

Claro, lgico, solemos decir (no siempre con

propiedad) cuando omos una afirmacin que nqs

24

l g ic a ,

p r o p o s ic i n

norm a

parece sencilla y plausible. Pero cuando el adjeti

vo se vuelve sustantivo y nos hablan de la Lgica,
la imaginamos con una L mayscula, alta como un
muro en el que nuestra capacidad de comprender
se estrellar irremediablemente.
Por supuesto, esta prediccin casi siempre se
confirma. Con ella ocurre lo mismo que con los
rumores de la Bolsa: si hacemos correr la voz de
que determinada accin va a subir, la gente lo cree,
la demanda aumenta y el precio efectivamente
sube. De idntico modo, nuestra concepcin de la
lgica como un instrumento de tortura (imagen se
mejante a la que solemos tener de las matemticas)
tiende a crear un bloqueo mental que a menudo no
nos permite siquiera averiguar si hay algo de cierto
detrs de aquella idea.
Lo primero que debe advertirse es que la lgica
no es un pasatiempo paxa chiflados ociosos. Tiene
aplicacin prctica, y est mucho ms cerca de
nuestra experiencia cotidiana de lo que suele supo
nerse, Todos sabemos algo de lgica y la usamos
constantemente; pero, como el burgus gentilhom
bre de Moliere, que hablaba en prosa sin saberlo,
estamos tan habituados a ella que no sabemos verla.
Si juegan Boca Juniors y River Pate y nos informan
que uno de ellos gan, automticamente tenemos la
certeza de que el otro perdi. Si extraviamos algo
junto al Obelisco, no se nos ocurre ir a buscarlo a
la sombra de la Torre de los Ingleses, Y, puestos

INTRODUCCION

25

a comprar una ficha para hablar por telfono, es

peramos que el cajero nos la d o nos la niegue,
pero nos sentimos burlados si nos contesta: toda
va me quedan algunas, pero se me terminaron.
Todas estas actitudes son aplicaciones de leyes l
gicas antiguas y muy conocidas, pero que tienen
sonoros nombres en latn y se disfrazan con cierto
empaque acadmico cada vez que un texto de lgi
ca nos las propina.
La receta para encarar satisfactoriamente el es
tudio de la lgica incluye, pues, dos remedios, que
deben administrarse en forma conjunta. El prime
ro consiste en advertir la importancia de la lgica
como exposicin de un sistema explcito que nos
permite ordenar, controlar y - en caso necesario
reformular la enorme cantidad de razonamientos
que de todos modos desarrollamos cada da. Y el
segundo, no dejarnos intimidar y tomar la lgica
con calma, con buena voluntad y si es posible
con una pizca de sentido del humor. Si consegui
mos pertrecharnos de este modo estaremos en con
diciones de adquirir, sin grave desgarramiento afec
tivo, un instrumento de valor inestimable. Pero
para lograr este resultado es indispensable aceptar
el desafo intelectual que la lgica nos propone y
jams, por ningn motivo, murmurar para nosotros
esto no lo voy a entender nunca.

26

LGICA,

PROPOSICIN

NORMA

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

Formuladas las advertencias preliminares, co

rrespondera mostrar ahora las caractersticas con
cretas del estudio que nos proponemos emprender.
Pero no es fcil hacer esto con la 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 bastan
te larga: en veinticinco siglos de desarrollo, la l
gica occidental ha recorrido un camino largo y muy
variado. Para nuestros fines bastar decir que la
lgica busca formular y sistematizar las relaciones
admisibles entre las proposiciones, y se preocupa
por establecer mtodos para decidir si una proposi
cin se desprende o no de otras a travs de un razo
namiento vlido.
Aristteles trat de cumplir esta tarea a travs
del mismo lenguaje que usamos todos los das (lla
mado lenguaje natural), al que incorpor vocablos
especialmente definidos y aun ciertos smbolos abs
tractos (letras como A o B, por ejemplo, para repre
sentar la estructura de una proposicin con sujeto
y predicado). Aristteles emprendi as, proba
blemente, el primer estudio sistemtico de la l
gica formal; y puso en ello tanto genio que aun hoy
sus obras sobre el tema se leen con admiracin. El
mismo camino siguieron los que vinieron despus,
y se prolong a travs de la Edad Media y del Rena*

INTRODUCCIN

27

cimiento. Pero en ocasiones el intento chocaba

con ciertas dificultades, a pesar del gran desarrollo
alcanzado por la lgica aristotlica y medieval; el
lenguaje natural contiene una grnele y en buena
medida inevitable dosis de imprecisin (vaguedad,
ambigedad y otras intoxicaciones semnticas), de
modo que, por muy riguroso que fuera el propsito
de establecer relaciones unvocas, siempre exista
el riesgo de interpretaciones diversas y de aparicin
de seudopioblemas bajo la forma de disputas verba
les. Aparte de esto el lenguaje natural est com
puesto por palabras que se supone tienen significa
dos concretos; y esta presencia constante de los con
tenidos semnticos tiende a oscurecer la diferencia
entre distintos tipos de demostracin: todas las
madres tienen sexo femenino, por ejemplo, es ver
dadera por razones semnticas, ya que la feminei
dad es caracterstica definitoria de madre; pero
si llueve y hace fro, llueve puede demostrarse sin
recurso alguno al significado de las palabras llue
ve ni hace fro, ya que su verdad resulta directa
mente de la estructura lgica de la proposicin.
Esta demostracin, as como otros desarrollos mo
dernos de la lgica, corresponde a una etapa en que
qued superado en gran medida el uso del lengua
je natural.
Esta etapa comenz con Leibniz (1646-1716),
pero se desarroll a lo largo del siglo xrx en los
trabajos de De Morgan (1806-1876), Boole (18151864), Frege (1848-1925) y Peano (1858-1932).

28

LGICA, PROPOSICION

V NORMA

entre otros, hasta quedar firmemente establecida a

principios del siglo xx, cuando Russell y Whitehead
publicaron su obra Principia Mathematica (19101913). Estos autores aplicaron a la lgica un for
midable instrumento proveniente de las matemti
cas, campo donde ya haba demostrado su utilidad.
Este instrumento es el lenguaje formal, en el que
smbolos convencionales, distintos de las palabras
que conocemos y definidos con rigurosa precisin,
segn la funcin que cumplan, pueden combinarse
entre s a travs de reglas deliberadamente cons
truidas.
Este nuevo desarrollo recibi distintos nombres,
que pretendan diferenciarlo de la lgica tradicio
nal: lgica matemtica, lgica simblica. Al
gunos lo llaman lgica formal, a pesar del carcter
relevantemente form al del anlisis aristotlico.
Pero, a medida que pasa el tiempo y la gente se
habita al manejo de los smbolos (a lo que contiibuye mucho el aprendizaje de la teora de conjuntos
en las escuelas), la importancia de estas denomina
ciones disminuye y todo empieza a llamarse, pura
y simplemente, lgica. Esta evolucin es concep
tualmente importante, porque ayuda a sealar que
la nueva lgica no se opone a la antigua, sino que
la complementa, la enmarca, en parte la corrige y
en buena medida la supera, sin que por ello Aris
tteles deba bajar de su pedestal.
Existen hoy muchos temas tradicionalmente
englobados en la lgica- que resultan alcanzados

INTRODUCCIN

29

poco o nada por el uso actual del lenguaje simb

lico: el anlisis de las funciones del lenguaje, por
ejemplo, o la teora del significado y de la defini
cin, o el estudio de las falacias no formales, o los
conceptos relacionados con el razonamiento induc
tivo. Pero nosotros aceptaremos directa e inmedia
tamente el desafo de que hablbamos antes y sin
menospreciar la utilidad de aquellos temas, sobre
los que existen excelentes textos nos lanzaremos
al asalto de las frmulas.
Para esto estudiaremos primero las relaciones
entre proposiciones (lgica proposicional), para lle
gar luego a las lgicas modales: altica y dentica.
4 Bueno, pero por qu a m?

El programa que acabamos de enunciar entu

siasmara, seguramente, a una persona con inclina
ciones matemticas; pero el caso es que este libro
no est dirigido a ingenieros ni a estudiosos de las
ciencias exactas. Y entonces el 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 le daban de un desagradable remedio. . y cuyos padres rompan la alcanca, cada vez que estaba
llena, para comprar otro frasco del mismo remedio.
Las ciencias humansticas se consideran tradicional