Lgica simblica

Manuel Garrido

tmos

LOGICA
SIMBLICA

MANUEL GARRIDO

LOGICA
SIMBLICA
CUARTA EDICIN

tecnos

Diseo de cubierta:
Joaqun Gallego

1. ^ edicin, 1974
1 reimpresin revisada, 1974
2. ^ reimpresin revisada, 1977
3 . reimpresin, 1978
4 reimpresin, 1979
5. "*reimpresin revisada, 1981
6. reimpresin revisada, 1983
7. "^reimpresin, 1986
8. ^ reimpresin, 1989
2. ^ edicin, 1991
3. edicin, 1995
Reimpresin, 1997
4. ^ edicin, 2001
reimpresin, 2003
2.reimpresin, 2005

/ (. 4
f >'
feto o :
-

;:,,

t ^

r=;:

fVrP^ i P ff*'
i
1 L4

Reservados todos ios derechos. El contenido de esta obra est protegido por
la Ley, que establece penas de prisin y/o multas, adems de las correspondientes indemnizaciones por daos y perjuicios, para quienes reprodujeren,
plagiaren, distribuyeren o comunicaren pblicamente, en todo o en parte, una
obra literaria, artstica o cientfica, o su transformacin, interpretacin o ejecucin artstica fijada en cualquier tipo de soporte o comunicada a travs de
cualquier medio, sin la preceptiva autorizacin.

M a n u e l G a r r id o , 1974
Captulo XX; Ca r m e n G a r c a -T r e v ij a n o , 1995
>EDITORIAL TECNOS (GRUPO ANAYA, S. A.), 2005
Juan Ignacio Lea de Tena, 15 - 28027 Madrid
ISBN; 84-309-3747-1
Depsito Legal: M-41.778-2005*

Printed in Spain. Impreso en Espaa por Edigrafo^ ^ ^

0W.24?9

____

INDICE
.Pg.

PROLOGO.

13

INTRODUCCION
Cap. L QUE ES LA LOGICA? ................ .....................................................

19

A.

19
19
20
21
24
24
25
26
28

B,

La lgica fo rm a l................ ................................................................... ..

1. El uso de argumentos ....................................... . ..............................
2. La forma de los argum entos.................................................... ..
3. La lgica formal ................................................................................
La lgica sim blica............ .................................... ....................................
4. La matematizacin de la lgica..........................................................
5. El uso de smbolos . ...................................................
6. Lgica tradicional y lgica sim blica...........................
7. Sumario.......................................

Cap. II.
A.

EL LENGUAJE DE LA LGICA ...............

Del lenguaje ordinario al lenguaje l g ic o .................... ............................

1. Lenguaje natural y lenguaje formal. Constantes y variables ..........
2. Predicaciones (enunciados atm icos)..................... ................
a. Sujetos y predicados ..................................................................
b. Predicados absolutos y relativos ...............................................
c. Enunciados atm icos......................
d. Verdad y falsedad. Principio de bivalencia...............
e. Variable individual. Forma enunciativa........................
3. Conectores...................................................................... ....................
a. La composicin de enunciados ........................
b. N eg ad o r ..................................................... .............................. <
c. Conjuntor .....................................................................................
D isyuntor....................................................................................
e. Implicador .......................
/
Coimplicador . .............. ...............................................
4. Cuantificadores
............... ...................................................; . . . .
a. La cuantifcacin de enunciados ............................
b. Generalizador..............................................................................
c. Particularizador ........................
5. Interpretacin y verdad lgica .........................................................
a. Interpretacin y traduccin ..........
b. Satisfaccin y verdad lgica ......................................................
c. Sumario ...........................................................
[5]

29
29
29
30
30
30
31
34
35
37
37
38
39
40
41
44
45
45
46
47
48
48
49
50

LOGICA SIMBOLICA
Lenguaje formal de primer ord en ..............
6. Las categoras de un lenguaje formal
Smbolos formales ...........................

Lenguaje y metalenguaje ................

9 Frm ulas...........................................
10 Uso de parntesis .............................
n Nociones adicionales ......................
CapMIL

DEDUCCIN Y CONSECUENCIA

1.
2.

Argumento deductivo........................................................................
Deduccin directa e indirecta. Tipos y estrategias clsicas de deducc i n ....................................................................................................
3. Los supuestos de la deduccin. Deduccin axiomtica y deduccin
hipottica............................................................... ............................
4. Esquemas de argumentos. Reglas de inferencia...............................
5. Consecuencia lgica. Teora de la prueba y teora de modelos . . . .

52
52
53
54
55
57
58
61
61
63
65
66

70

LOGIGA DE ENUNCADOS (CALCULO DE CONECTORES)

Cap. IV.
1.
2.
3.
4.
"^ 5.
Cap. V.

I
2

3
4
5

7
Cap. VI.
I.
2.
3.
^Cap. VIL

TAUTOLOGAS .................................................................... ..

75

Funciones veritativas ....................

Tablas de v erdad .............................
Tautologas.....................................
Interdefmibilidad.............................
Sistema total de conectores binarios

75
76
80
82
84

ESTRATEGIAS DE DEDUCCIN NATURAL

87

Preliminares ..................................................................................
Reglas bsicas de implicacin .....................................................
Reglas bsicas de conjuncin ..................................... ..................
Reglas bsicas de disyuncin .......................................................
Reglas bsicas de negacin ................................................. ..........
Deduccin formal (derivacin) ......................................................
Resolucin de argumentos ..............................................................

87
88

91
92
95
98
101

TABLAS SEMANTICAS
El mtodo de las tablas semnticas. Reglas de implicacin . .
Reglas de conjuncin y disyuncin...................... ..................
Construccin de tablas semnticas para lgica de enunciados

111

115
117

CLCULO DE REGLAS DERIVADAS................................... ..

123

1. La nocin de regla derivada ........................................................... ..

2. Leyes de implicacin
..................................................................
3. Leyes de conjuncin ydisyunein ............................... ....................

123
128
130

INDICE
4.
5.
6.
7.
8,

Leyes de negacin ...............................................

Regias adicionales de conjuncin y disyuncin................................
Leyes de coimplicacin.......................................................................
Intercambio ...................
Leyes de interdefmicin.....................................................................

l g ic a d e p r e d ic a d o s

7
137
141
144
146
151

(CALCULO CUANTIFICACIONAL)

vm. CUAN nFICADORES Y MODELOS .........................................

159

Nueva visita a ios cuantificadores ..............................................................

1. El inters lgico de la cuantilcacin ..............................................
2. Rediicibilidad de cuantifcadores a conectores .................
'^'B. Semntica cuantificacional........................................................................
3. Categoras semnticas. SgniEcado y referencia ............................
4. La revisin semntica del concepto de v erdad................................
5. El dominio de la cuantifcacin .......................................................
6. Referencia cuantificacional ..............................................................
a. Satisfaccin .........................................................
b. Verdad y m o d elo........................................................................
c. Satisfacibilidad y verdad lgica....................
d. Consecuencia lgica ..................................................................

159
159
160
162
162
165
167
171
171
173
175
176

Cap. IX.

179

Cap.
A.

DEDUCCIN CUANTIFICACIONAL

A.

Deduccin natural ..................................................................................

1. Regla de eliminacin de generalizador ................ ........................
2. Regla de introduccin de generalizador.......................................
3. Nota sobre el uso de la regla I G ...................................................
4. Regla de introduccin de particularizador ...................................
5. Regla de eliminacin de particularizador.....................................
6. El conEicto de alcances entre la regla EP y la rega I G ..............
7. Intercambio cuantificacional..........................................................
8, Reglas de interdebnicin de cuantificadores ..............................
9. Resolucin de argumentos ............................................................
B. Tablas semnticas....................................................................................
10. Tablas semnticas de lgica cuantificacional ...............................
11. Ejercicios........................................................................................
Leyes de distrihucwn ................................................................... .. . . . .
12. Introduccin ................................................................................
13. Leyes de descenso cuanticacional y de mutacin de variable ]
g a d a ..............................................................................................
14. Leyes de distribucin de cuantificadores ...................................
15. Otras leyes de distribucin cuantifcacional...............................

Cap.X.

1.
2.
3.
4.

180
180
183
185
186
187
188
191
193
194
200
200
203
205
205
206
207
215

SILOGSTICA

221

La proposicin categrica.............................................
Los diagramas de Venn para la proposicin categrica
Teora de la inferencia inm ediata.................................
El problema del compromiso existencial ....................

221
223
228
229

LOGICA SIMBOLICA
5
6

7
8
9
Cap. XI.

El silogismo categrico....................................................................
Diagramas de Venn para el silogismo categrico...........................
Teora de la reduccin de los modos imperfectos a modos perfectos .
Formalizacin de la silogstica.............. ........................................
Resolucin de argumentos .............................................................

234
237
24 i
242
245

LGICA DE RELACIONES................................................... ..

249

Cuantificacin mltiple ......................................................................

1, Cuantificacin de predicados relativos.....................................
Deduccin
natural ............................................................................
B.
2. Extensin de las reglas bsicas del clculo de cuantificadores .
3. Leyes de cuantificacin mltiple ....................... ......................
4. Ejercicios de traduccin y resolucin de argumentos..............
a Tablas semnticas..................... ^ - ............................ ....................
5. Tablas in finitas.................................................................... .. ..

249
249
252
252
254
258
260
260

^Cap. XII.

263

1.
2.
3.

IDENTIDAD Y DESCRIPCIONES ................... ..........................

Funciones y trminos
Identidad ...................
D escripciones ..........

263
266
273

AXIOMATIZACION DE LA LOGICA
Cap. XIII.

EL METODO AXIOMATICO ...................................................

285

I. El mtodo axiomtico..................................................................
2. Historia del mtodo axiomtico .......................................................
3. Formalizacin del mtodo axiom tico .............................................

285
285
287

Cap. XIV.

Cap. XV.
A.

SISTEMAS AXOMTICOS DE LGICA ELEMENTAL. . . .

289

1. Axiomatizacin de la l g ic a.......................
289
2. Sistema axiomtico de lgica elemental........................................
290
3. La regla de deduccin ................................................
295
4. Seleccin de teoremas. Dualidad .................................................
299
5. Nota histrica sobre sistemas axiomticos de lgica de enunciados . 306
6. La axiomatizacin de la silogstica por Lukasiewicz .................
312
7. Axiomatizacin de teoras matem ticas.......................................
318
8. Formalizacin de la aritmtica elemental ..................
318
a. El Formulario de Peano .............. .......................................318
b. Sistema axiomtico de aritmtica elemental
..................
322
9. Teora de g n ip o s............................................................................
323
10. Axiomatizacin de teoras cientficas...........................................
324
METALGICA DE ENUNCIADOS...........................................

325

Introduccin ..............................................................................................
1. Las cuestiones crticas de la metateora ...........................................

325
325

NDICE

B.

Metalgica de enunciados ........................................................................

2. Consistencia de la lgica de enunciados..................................... ..
3. Completad de la lgica de enunciados ............................................
4. Decidibidad de la lgica de enunciados........................................
5. Independencia en lgica de enunciados ...........................................

Cap. XVI.
1.
2.
3.
4.
5.
6.

9
328
328
330
332
333

METALGICA DE PREDICADOS.............................................

341

Consistencia de la lgica de cuantificadores ........................... ..

El teorema de completud de Godel (prueba de Henkin) . ...............
El teorema de Lowenheim-Skolem.................................
El teorema de compacidad .................
El problema de la decisin en lgica de cuantifcadores. Forma normal prenexa........................................................................................
Indecidibilidad general de la lgica cuantificacional polidica (teorema de C hurch )................................................................................

341
343
355
356
356
368

AUTOMATIZACIN DE LA LGICA
(LAS BASES LOGICAS DE LA INFORMATICA)
Cap. XVII.
1

2
3
4
5
6
7

Cap. XVIII.
1.
2.
3.
4.
Cap. XX.

f.

MQUINAS DE TURING ..........................................................

Qu es calcular? .....................
Las mquinas de T u rin g ..........
La mquina universal de Turing
La tesis de Church-Turing . . . .
Lo incalculable .........................
Mquinas de registro ..................
Puede pensar una mquina? . .
MTODOS BOOLEANOS ........................................................

El lenguaje de Boole y el lenguaje de Frege .

Formas normales conjuntiva y disyuntiva . ,
Dualidad .......................................................
Lgica de circuitos .............. ........................
DEDUCCION AUTOMATICA

Los primeros intentos de prueba automtica de teoremas

1. El mtodo heurstico de Newell-Shaw-Simon . . . .
2. El mtodo de W ang .................................................
a. El clculo secuencial de Gentzen ....................
6- El algoritmo de Wang .....................................
Mecnica de la refutacin .................................................
I. Lenguaje en fonna clausular..............
2. El principio de resolucin..................
3. Resolucin en lgica cuantificacional
a. Sustitucin...................................
h. Unificacin...................... ............
c. Resolucin .....................................

375
375
376
385
387
388
390
391
393
393
393
400
402
409
409
409
411
411
413
421
421
425
426
427
427
429

1o
V

LGICA SIMBLICA
4. El teorema de Herbrand .....................................................................
5. Otras reglas de inferencia m ecnica..................................................
a, Subsuncin...................................................................................
Hiperresolucin..........................................................................
c. Paramodulacin..........................................................................
cL Demodulacin ............................................................................

431
432
432
432
432
434

LGICA Y REPRESENTACIN DEL CONOCIMIENTO . . . .

441

*Cap. XX.

L Lgica, inteligencia artificial e ingeniera del conocimiento ...........

441
2. Estructura y funcin de un sistema experto .....................................
442
3. Mtodos de representacin del conocimiento...................................
444
a. Grafos, redes semnticas y rboles jerrquicos.........................
445
b. M arcos........................................................................................
449
c. Reglas de produccin ..................................................................
451
4. Motores inferenciales.............................................................................. 453
5. Anatoma de un minisistema: un juego de adivinanzas .........
457
6. Manufactura del conocimiento y sentido comn ............................
463
*Cap. XXL

LA LGICA DE INTERNET .....................................................

465

1. La emergencia de internet.................................................................
465
2. La lgica de la comunicacin ..........................................................
465
3. Tres relatos de la saga del futuro ....................................................
466
a. Relato primero: la formacin de la red Aipanet ....................... 467
b. Relato segundo: la transformacin de la red Arpanet en la red de
redes Internet .............................................
469
c. Relato tercero: el lanzamiento de la Telaraa M undial............
471
4. El triunfo del binomio hipertexto+multimedia............................
474
. La nocin de hipertexto .............................
474
b. Los pioneros del hipertexto.........................................................
475
c. La implementacin tecnolgica del hipertexto .........................
476
d. La nocin de multimedia . . ...........................
477
5. Cmo orientarse en la red .....................................................................................................................
6. La cultura de Internet . . . . . . . . . .................
482
t. La cultura de red y la cultura del lib ro ...............
483
b. El impacto social de Internet. . ......... ..........
485
7. La lgica en Internet.................
487
t. El sitio Mathematical Logic around the world ................ .......
487
b. El programa Tarski \s World .......................
488
c. Mquinas de T u rin g................
496
. ...................
496

Anexo:

BREVE HISTORIA DE LA LOGICA

Ar La imagen tradicional d
.............................................................
L La imagen griega de la lgica ....................................... ..................
^ t. La lgica de Aristteles.............................................................
. La lgica megrico-estoica ......................................... ..............

499
499
499
501

LGICA SIMBLICA
2.

11

La imagen medieval de la lgica ......................................................

a. El sentido de la lgica medieval ...............................................
b. Principales contribuciones de la lgica medieval .....................
3. La imagen moderna de la l gica .......................................................
a. El humanismo del Renacimiento...............................................
b. Bacon y Port-Royal ....................................................................
c. La lgica desde Kant a M ili........................................................
B. La imagen matemtica de la lgica ............................................................
4. El sueo de Leibniz............................................................................
a. La idea de una mathesis universalis.......................................
b. Los secretos del clculo..............................................................
5. La revolucin de Boole y F re g e ........................................................
a. El lgebra de Boole ....................................................................
b. La lgica de Peirce......................................................................
c. La lgica de Frege . , .......................................................
d. La teora clsica de conjuntos ...................................................
6. De Russell a Hilbert ..........................................................................
a. La lgica de Russell y Wittgenstein ...........................................
b. La teora axiomtica de conjuntos.............................................
c. El intuicionismo de B rouw er......................................................
d. El formalismo de H ilb ert............................................................
e. Platonismo y constructivismo ....................................................
7. La nueva crisis de fundamentos. El teorema de G d el.....................
a. Las revolucionarias aportaciones de los aos treinta ................
b. El teorema de Gdel....................................................................
c. A travs del espejo....................................... ..............................
d. La frmula de Godel ..................................................................
e. La demostracin del teorema y su corolario .............................
/ Implicaciones filosficas del teorema de G del.........................
8. La lgica en la segunda mitad del siglo x x .......................................

502
502
503
505
505
505
506
506
506
506
506
508
508
511
512
515
518
518
522
525
526
527
529
530
530
531
531
532
530
534

BIBLIOGRAFA ........................................................................................

537

PROLOGO
La lgica simblica o matemticaforma parte del bagaje cultural del hombre del siglo XX y es instrumento imprescindible para el
ejercicio de una tarea seria en ciencia o en filosofa. Su estudio proporciona satisfaccin intelectual, pero es tambin de utilidad, porque el radio de sus aplieaciones comprende esferas tan diversas del
saber como la matemtica, la lingstica, la informtica, las ciencias
naturales y sociales, la jurisprudencia y la jilosofia^ Y es un medio
no menos idneo que otros para construir el tantas veces buscado
puente entre la cultura de letras y la cultura de ciencias.
Las ciencias analticas, como es el caso de la lgica, suelen ordenar sus materias yendo de lo simple a lo complejo. De acuerdo
con este criterio los discpulos de Aristteles, padre de la lgica tradicional, la dividan en lgica del concepto, lgica del juicio y lgica de la argumentacin o razonamiento (silogstica). Desde
Frege, padre de la lgica matemtica, sus seguidores emplean una
estrategia parecida. Empiezan por el anlisis de palabras lgicas
muy simples, como son, por ejemplo, las que corresponden a las
conjunciones gramaticales y, o, si..., entonces... ; y a esta
inicial plataforma (la llamada lgica de conectares o lgica de
enunciados) le sobreaaden luego el anlisis de palabras lgicas
ms complejas, como son las que corresponden a las partculas
gramaticales de determinacin cuantitativa todo y alguno:
sta es la llamada lgica de predicados o lgica de cuantijicadores, que viene a constituir el ncleo ms distintivo de la lgica
elemental contempornea.
A este orden se ajusta en lo esencial el presente libro, que se separa, sin embargo, de sus homlogos en cuatro aspectos. El primero
es que al tratar la teora de la cuantificacim incluyo un captio de
revisim de la silogstica, donde sealo los principales puntos de
friccin y de conexin entre los respectivos ncleos duros de la lgica tradicional y la lgica simblica.
El segundo obedece a mi propsito de conceder la mayor atencin posible a la pluralidad de mtodos deductivos. Los sistemas de
deduccin axiomtica- tipo Hilbert, las estrategias de deduccin natural tipo Gentzen y los mtodos de tablas semnticas y analticas
[13]

14

LOGICA SIMBOLICA

tipo Beth-Smullyan-Jeffrey son aportaciones alternativas, y cronolgicamente sucesivas, de la lgica del siglo xx a la teora del razonamiento correcto. Un alumno de humanidades no debe desconocerlas, aunque por motivos prcticos puede convenirle optar por fam iliarizarse ms con una sola.
La tercera salvedad es que los problemas de metateora (consistencia, completad, decidibilidad) se abordan en este libro ms tarde
de lo usual, en el contexto de la axiomatizacin de la lgica, donde
aludo tambin, muy sumariamente, a la axiomatizacin de teoras
matemticas.
La cuarta es que dedico la ltima parte del libro, que introduje en
su tercera edicin y reviso y amplo en la presente, a la consideracin
de las relaciones de la lgica con la informtica. Estas relaciones no
son slo de mera aplicacin, sino tambin de generacin de conceptos fundamentales. Las geniales teoras de G()del y Turing sobre la
indecidibilidad y la computabilidad, aparecidas en la dcada de los
treinta, cuentan entre sus principales cosechas con el corazn o parte
del corazn de las teoras que estn a la base de la explosin de la
informtica 3^ la tecnologa de la comunicacin, cuyo imperio en el
resto del siglo se ha tornado hegemnico, desde el advenimiento de
los ordenadores en los aos cuarenta, hasta la reciente emergencia
de Internet, La lgica de la computacin es, en cierto modo, el a
priori de la informtica, que no impulsa ni menos an constituye los
avances de sta, pero los condiciona cannicamente. En el nuevo captulo sobre Internet aprovecho el comentario al programa ofrecido
en red Tarskis World para dar una versin ms (ideada por Lorenzen
y Hintikka) de las reglas de la lgica comojuego dialgico.
Y una ltima observacin. Es bien sabido, por una parte, que el
extraordinario desarrollo de los formalismos subsiguiente al intento, protagonizado en el tercio inicial del siglo por Russell, Brouwer y Hilbert, de fundamentar lgicamente las teoras matemticas
tuvo por consecuencia un cierto alejamiento de la lgica respecto
de la filosofa. Pero no es menos sabido, por otra, que a partir ms
o menos de los aos sesenta se han reanudado a fondo las relaciones de la nueva lgica con el lenguaje ordinario, el sentido comn y
las cuestiones perennes del filosofar. A aclarar de alguna manera
las ideas del lector sobre las relaciones de la lgica con la filosofa
y con la matemtica quisiera contribuir la breve historia de la lgica que figura como anexo alfinal de este libro.

15

.OGICA SIMBOLICA

Los ttulos marcados con asterisco y los pasajes y notas escritos en tipografa de menor tamao son aclaraciones especiales,
histricas o terminolgicas de las que se puede prescindir en una
lectura rpida. Para una informacin sumaria de las tcnicas de la
lgica elemental no hace falta leerse todo el libro. Bastan los captulos II-VI y VIII~X. E incluso dentro de esta acotacin el lector
puede restringir su estudio a un solo mtodo deductivo, sea sintctico o semntico, concediendo menos atencin al alternativo. En las
ltimas pginas, el lector que quiera saber ms encontrar una
orientacin bibliogrfica de libros y artculos de revista que le servir de ayuda para profundizar su conocimiento en el sentido que estime oportuno.
Doy las gracias por sus crticas, comentarios y correcciones a
los catedrticos de Lgica Rafael Beneyto, Alfonso Garca Surez,
Jos Sanmartn y Luis Manuel Valds, como tambin a Editorial
Tecnos por el inters y cuidado que ha puesto en la confeccin de
este libro. De un modo ms general, quisiera agradecer asimismo su
annima colaboracin a las numerosas promociones de alumnos
universitarios de lgica que asistieron a mis clases. De ellos no
aprend menos que ellos de m.
M, G.

INTRODUCCION

CAPITULO 1

QU ES LA LGICA?
A.
1.

La l g ic a f o r m a l

El uso de argumentos

Uno de los rasgos que distinguen al hombre de sus antepasados

antropoides es el uso del lenguaje. Y un rasgo tpico del lenguaje es
el uso de argumentos.
Un argumento o razonamiento es una serie de frases en la cual,
de la posicin o afirmacin de las que preceden se sigue necesariamente la posicin o afirmacin de la que va al final.
La mejor manera de entender qu sea un argumento es considerar unos cuantos ejemplos muy sencillos. He aqu uno:
(1)

Si hay riesgo de lluvia, baja el barmetro; pero el barmetro no baja. Por tanto, no hay riesgo de lluvia.

Y he aqu otro:
(2)

Todo hombre es mamfero y todo mamfero es vertebrado. Por tanto, todo hombre es vertebrado.

Las principales partes o unidades lingsticas que integran un

argumento son las proposiciones o enunciados. Un enunciado o proposicin es una frase que tiene un sentido completo y que puede ser
afirmada con verdad o falsedad. As son enunciados las expresiones
hay riesgo de lluvia, el barmetro baja o todo mamfero es
vertebrado. Los enunciados iniciales de un argumento reciben el
nombre especfico de premisas, y el final el de conclusin.
El empleo de argumentos tiene lugar tanto en la vida cotidiana
como en el ejercicio de las tareas cientficas. Su utilidad resulta obvia
si se considera que, gracias a ellos, podemos ampliar reflexivamente
nuestro conocimiento. Es claro que la observacin lo ampla. Pero al
pasar de las premisas de un argumento a su conclusin, incrementando as con sta el repertorio de las proposiciones que conocemos,
[19]

LOGICA SIMBOLICA

20

no ponemos en prctica nuestra capacidad de observacin, sino de reflexin. El hecho de que adems de observar podamos discurrir o razonar aumenta nuestra probabilidad de sobrevivir en el mundo,
Pero veamos todava otro par de ejemplos. Uno de ellos es ui
argumento que alcanz una cierta resonancia en la historia de la biologa. En la teora de la herencia biolgica se ha debatido mucho la
cuestin de saber si los caracteres que un individuo adquiere durante
su vida pueden transmitirse hereditariamente a su prole. Un bilogo
de finales del siglo pasado, We s s m a n n , dio una prueba, que muchos especialistas aceptaron, de que los caracteres adquiridos no se
heredan. Esa prueba consisti en amputar la cola a ratas durante
veinte generaciones seguidas y comprobar despus que la generacin veintiuna no mostraba en su cola la ms leve modificacin. El
curso del razonamiento de Weissmann se podra resumir as:
(3)

Si los caracteres adquiridos son hereditarios, entonces

la amputacin de un rgano, reiteradamente efectuada
a travs de una serie de generaciones consecutivas,
debiera ser heredada por la prole. Pero no es el caso
que una tal amputacin sea heredada por la prole. Por
tanto, los caracteres adquiridos no son hereditarios.

Y he aqu, finalmente, un cuarto ejemplo:

(4)

2.

Todo nmero natural es racional y todo nmero racional es real. Por tanto, todo numero natural es real.

La forma de los argumentos

La simple inspeccin de estos cuatro casos de argumentos permite advertir que el primero y el tercero (el razonamiento del barmetro y el razonamiento de los caracteres hereditarios) son estructuralmente homologables.
Si en el primer ejemplo se sustituyen los enunciados hay riesgo
de lluvia y baja el barmetro por los smbolos A y B, respectivamente, resultara el siguiente esquema:
Si A, entonces B;
pero no B.
Por tanto, no A,

QUE ES LA LGICA?

21

que es el mismo al que se llegara efectuando una sustitucin similar

en el razonamiento de los caracteres hereditarios. En cada uno de
estos dos casos el argumento consiste en la conexin o articulacin
de dos enunciados mediante las partculas si..., entonces...,
pero no... y por tanto... en la forma que indica el esquema.
Y algo parecido sucede con los ejemplos segundo y cuarto (el
argumento de los vertebrados y el de los nmeros). Representando
por P, Q, R nombres cualesquiera del tipo de hombre o nmero,
resultara la siguiente disposicin estructural comn a ambos:
Todo P q s Q y todo Q es R.
Por tanto, todo P es R.
La semejanza o identidad estructural entre los diferentes casos
de argumentos se pone de relieve con slo dejar como estaban los
rasgos comunes (los elementos invariantes o constantes) de los
ejemplos en cuestin y cambiar por smbolos cualesquiera, desprovistos de significado o contenido concreto, las partes diferenciales
(los elementos varza/c^ en cada caso). El resultado es un esquema
formal o abstracto, vaco de contenido. A un esquema de esa ndole
le daremos el nombre e figura o forma lgica de argumento. (De
hecho, el primero de los dos esquemas obtenidos es la forma lgica
de un tipo de argumento que fue formulado ya por los filsofos estoicos y ha recibido ms tarde el nombre de modus tollens. El segundo esquema es la forma lgica de un tipo de argumento que fue
formulado ya por Aristteles: el modo de silogismo de la primera figura, al que los lgicos medievales llamaran barbara.)
Un anlisis detenido de la estructura formal de estos esquemas
tendr lugar ms adelante. Por el momento, baste tomar nota de que
hemos advertido una doble dimensin en los argumentos: de un lado
la materia o contenido, y de otro la forma o estructura, que es una dimensin esencial desde el punto de vista lgico. Bertrand Russell sola decir que al comprobar la solidez de un razonamiento se pierde el
tiempo atendiendo a la materia, porque es la forma lo que ante todo
hay que ex aminar. Su fuerza est en su forma.
3.

La lgicaformal

En realidad, los casos de argumento considerados hasta ahora

son triviales y no hace falta ser ningn experto en lgica para deci-

22

LOGICA SIMBOLICA

dir si valen o no. Pero basta incrementar levemente su grado de

complejidad para que no resulte tan fcil resolver el problema. He
aqu, a ttulo de ilustracin, un argumento tomado de la aritmtica
elemental (la demostracin del teorema de Euclides, segn el cual
hay infinitos nmeros primos):
El sucesor del factorial de un nmero primo a cualquiera
no es divisible por ningn nmero primo que divida a dicho factorial. Pero ese sucesor, o bien es primo y mayor
que a, puesto que sucede al factorial de ste o bien es compuesto, en cuyo caso contiene necesariamente como factor
un primo que, por la antedicha razn, es mayor que a. Por
tanto, cualquiera que sea el nmero primo a, siempre habr
otro mayor que l.
La simple lectura de las premisas de este argumento no le basta
al lector medio para aceptar su conclusin, y ello a pesar de ser sta
la prueba de un teorema matemtico elemental. Pero nos invita a
presumir que la dificultad de comprensin de la citada prueba no
est slo en nuestra falta de familiaridad con la terminologa matemtica, sino en su estructura lgica.
Expresando en trminos ms generales esta misma presuncin:
si el argumento es un utensilio al que constantemente se recurre en
el discurso de la vida ordinaria, en las controversias polticas y en
las pruebas cientficas, parece que tiene inters y sentido la tarea de
estudiar los diferentes tipos de esquemas o patrones de confeccin
de tales utensilios, o dicho ms precisamente, la tarea de llevar a
cabo un inventario de formas o figuras abstractas de razonamiento y
proceder al anlisis y clasificacin de ellas,^^
^^
As es como surge la tarea de l lgica formal, y as es como se
la plantearon los filsofos griegos desde Aristteles y los estoicos:
como un anlisis de formas abstractas que tiene cierta semejanza
con el trabajo del gemetra. Pues as como los antiguos gemetras
consideraban la forma o figura de los objetos fsicos en abstracto,
prescindiendo o abstrayendo de la materia de que se componen (por
ejemplo: la forma o figura de un objeto esfrico, prescindiendo del
hecho de que sea bronce o mrmol la materia que lo constituya), as
tambin los lgicos griegos se interesaron por la foma o figura de
los argumentos, haciendo abstraccin de su materia o contenido.
Alicia en el pas de
las maravillas \?i nia que lo protagoniza encuentra en el bosque un

QU ES LA LOGICA?

23

extrao y sonriente felino, el gato de Cheshire, qne aparece y desaparece en todo o en parte, segn se le antoja, ante la mirada del espectador. En una ocasin desapareci primero su cuerpo, quedando
slo la cabeza, y luego tambin sta, quedando slo la sonrisa del
gato. Este inslito fenmeno que deja perpleja a Alicia, la sonrisa
sin gato, es una ilustracin en el mundo del sueo, donde transcurre la accin del cuento, de nuestra capacidad imaginativa de abstraer figuras, de figurarnos formas.
De acuerdo con lo dicho, cabe definir la lgica formal como una
ciencia abstracta que tiene por objeto el anlisis formal de los argumentos, o tambin, y ms concisamente, como teora formal del razonamiento.
En lo que sigue, y por economa verbal, la palabra lgica ' se
entender principalmente en el sentido de lgica formal. Pero
conviene no ignorar que sta no agota el mbito de los estudios lgicos. Tambin pueden considerarse parte de la lgica la teora de la
ciencia, que estudia ms en concreto la metodologa de las distintas
ciencias particulares, y Id. filosofa de la lgica, que se ocupa de
cuestiones tales como saber en qu consiste la verdad lgica, cmo
se explica el acuerdo de las leyes lgicas con la realidad, cul es el
status cientfico de esas leyes, si son-o no equiparables a las leyes de
la fsica o la psicologa, etc.

' Nota sobre la palabra lgica. Esta palabra pertenece desde muy antiguo al lxico filosfico y cientfico, y forma parte tambin del uso ordinario del lenguaje,
pues es dificil encontrar una persona que no la utilice (como cuando decimos esto es
lgico, esto no es lgico, como es natural y lgico, etc.).
Etimolgicamente, la voz lgica proviene del trmino griego lgos, que significa algo as como discurso, y entraa a un mismo tiempo el triple significado de
razn, de idea y de palabra.
En la historia de la filosofa, el tnnino lgica ha cobrado acepciones tan diversas que apenas si admiten denominador comn. Los griegos llamaron lgica, y
tambin, casi indistintamente, dialctica, a la silogstica de A r is t t e l e s y a la teora estoica de la proposicin, es decir, a lo que ms tarde, y desde K a n t , se ha dado
en denominar tcnicamente lgica formal. Por su parte, el propio Ka n t da el nombre de lgica trascendental a su crtica filosfica del conocimiento cientfico, es
decir, a lo que ms bien sera, al menos parcialmente, competencia de la teora de ia
ciencia y de la filosofa de la lgica. Luego H e g e l llamar lgica, y tambin dialctica, a la metafsica misma. De l se hicieron eco los filsofos marxistas al hablar
asimismo de dialctica en un sentido filosfico opuesto al de lgica formal, aunque sin implicar por fuerza incompatibilidad con esta ltima. La lgica simblica,
lgica matemtica o logstica es una nueva denominacin de la lgica formal en
su actual estado de desarrollo.

24

LOGICA SIMBOLICA

B.
4.

La l g ic a s im b l ic a

La matematizacin de la lgica

La lgica formal naci hace dos mil quinientos aos, cuando

Ar is t t e l e s y los e s t o ic o s se interesaron por la construccin y el
anlisis de esquemas de argumentos.
Desde entonces, y a diferencia de otras ciencias, no ha experimentado desarrollos de gran consideracin hasta mediados del siglo XX.
Un pensador tan avanzado en su tiempo como Ka n t , que someti a una revisin dursima la metafsica tradicional, escribe en el
prlogo a la segunda edicin de su Crtica de la razn pura que la
lgica desde Aristteles no ha tenido que dar un paso atrs ni
tampoco hasta ahora ha podido dar un paso adelante. As pues, segn toda apariencia, hllase conclusa y perfecta l
Esto fue escrito en 1787. Pero el curso de los acontecimientos
ha venido a desautorizar un tanto la visin kantiana de la inmovilidad de la lgica. Porque no haba de transcurrir mucho ms de
medio siglo a partir de esa fecha, cuando se inicia un progreso de la
lgica formal que no encuentra precedente desde la poca de los
griegos.
La clave de este progreso se halla en las revolucionarias aportaciones del ingls Bo o l e (hacia la mitad del siglo pasado) y del
alemn Fr e c e (ltimo tercio del xix) relativas a lo que suele denominarse la matematizacin de la lgica. Por matematizacin
se entiende en metodologa cientfica la subordinacin de una
ciencia al mtodo de la matemtica. De las ventajas inherentes a la
matematizacin es claro ejemplo el caso de la fsica, que comenz
marchar por el camino seguro del progreso cientifico desde que,
en el siglo xvii, Galileo la someti al rigor del mtodo matemtico.
De una matematizacin de la lgica puede hablarse en la medida
en que sta incorpora plena y eficazmente a sus tcnicas de trabajo
la exactitud y el rigor del mtodo matemtico. Condiciones necesarias de ello son la construccin de un lenguaje simblico adecuado
y la formulacin precisa de las reglas de operacin, que son la base
de los clculos.

Critica de la razn

B VIIL

QU ES LA LGICA?

.25

5. El uso de smbolos
En realidad, al uso de smbolos recurrieron ya los lgicos
griegos, al emplear esquemas argumntales del tipo de: Si A,
entonces B; pero no B, Por tanto, no A y otros similares. Pero
tal simbolizacin quedaba restringida a los elementos variables
de los esquemas lgicos. Los elementos constantes de dichos esquemas (esto es, las partculas lingsticas del tipo de todo,
es, si..., entonces..,, no, por tanto, etc., que constituyen, por as decirlo, el tema propio de la lgica) no fueron an
simbolizados. Y justamente una de las ms radicales innovaciones que entraa la matematizacin de la lgica reside en la formalizacin o simbolizacin de esas constantes. Si se conviene,
por ejemplo, en representar la partcula si..., entonces por una
flecha: -^, la partcula no por el smbolo: ^ , y la partcula por tanto por el smbolo: h, y se toma el acuerdo de
dejar a un lado de momento, por innecesaria, la palabra pero,
el esquema de argumento que se acaba de resear (y que es,
como se indic en pgina anterior, el clsico modus tollens) quedara formulado as:
A ^ B, IB p- IA.
Hasta qu punto la potencia operativa del clculo depende de la
formalizacin del lenguaje en que se apoya, es algo que puede comprobarse ensayando la realizacin de multiplicaciones y divisiones
sin recurrir al simbolismo aritmtico, con la sola ayuda del lenguaje
ordinario. Aunque se dominen las reglas de operacin, la falta de
simbolismo adecuado dificulta extraordinariamente la marcha del
clculo.
Pero hay una segunda ventaja, no menos importante, que la
matematizacin del clculo lgico lleva consigo. El uso de un
simbolismo adecuado no slo permite un mayor grado de seguridad y exactitud en la construccin de argumentos, sino tambin una mayor precisin en la formulacin de las reglas que
los gobiernan. De hecho, la expresin A
B, -n B h
A,
no es, propiamente hablando, un argumento, sino una regla
de argumento, o mejor , la formulacin precisa y exacta de la
estrategia lgica que sirve de base a los argumentos del tipo
modtis tollens, y que se enuncia verbalmente as: si de una hiptesis se sigue una consecuencia y esa consecuencia no se da.

26

LOGICA SIMBOLICA

la hiptesis en cuestin debe ser rechazada. La distincin, asimismo introducida por la nueva lgica entre lengaje objeto, o
lenguaje acerca del cual se habla, y metalenguaje, o lenguaje
en el cual se habla acerca de otro lenguaje, ayuda a establecer
con ms nitidez la diferencia entre un razonamiento y sus
reglas.
La matematizacin de la lgica ha tenido como resultado un
mayor y ms perfecto control tcnico en la prctica del razonamiento, un mejor conocimiento terico de las leyes lgicas y el
descubrimiento de nuevos y variados sistemas de reglas de razonamiento que de otro modo no es fcil que hubieran sido detectados.
En el actual desarrollo de la ciencia y la tecnologa informticas
la lgica simblica ha cumplido una importante funcin.
6.

Lgica tradicional y lgica simblica

A la lgica formal tal y como ha venido siendo clsicamente

cultivada, desde Aristteles a Kant, se le suele dar el nombre de
lgica tradicional. A la lgica formal en su actual estado de matematizacin o plena formalizacin, se le han dado los nombres
de lgica simblica, lgica matemtica y logstica (a propuesta
de Go u t u r a t , ITELSON y La l a n d e en el Congreso Internacional de Filosofa de Ginebra de 1904), y tambin el de lgebra
La cuestin de las relaciones entre la lgica tradicional y la
lgica simblica divide a los autores. Hay quienes opinan que la
nica lgica que merece el nombre de ciencia es la lgica tradicional y la lgica simblica es tan slo un arte tan enrevesado
como superfluo. El punto de vista opuesto est representado por
los que piensan que las enseanzas de la lgica tradicional son o
intiles o falsas. Probablemente sea ms sensato considerar que
las relaciones entre la lgica tradicional y la lgica simblica no
son de oposicin, sino de evolucin: las que hay entre una ciencia en su estado inicial de constitucin y esa misma ciencia en su
estado de madurez, como las que se dan entre la matemtica de
logstica se remontan a LrfBNiz.
La denominacin lgica simblica tiene su origen en V e n n . La de lgebra lgica se debe a B o o l f .

QU ES LA LGICA?

27

Pitgoras o Euclides y la moderna matemtica. (Aunque tampoco

se puede descartar el punto de vista de que la lgica de Aristteles y la lgica de Boole y Frege representan paradigmas del razonamiento humano que no son del todo conmensurables.) La etiqueta lgica simblica o lgica matemtica no es, pues, sino
una nueva manera de denominar la lgica formal, aludiendo a su
actual estado de desarrollo, es decir, a la lgica formal form alizada.
En un sentido ms preciso, sin embargo, cabra distinguir las denominaciones de lgica simblica y lgica matemtica, entendiendo por esta ltima la aplicacin o extensin de la lgica simblica a cuestiones matemticas.