Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Dowek, Gilles - La Logica PDF
Dowek, Gilles - La Logica PDF
Traduccin de
M. G. BENTEZ TORIELLO
Gilles Dowek
LA LGICA
Una explicacin para comprender
Un ensayo para reflexionar
))((1
siglo
veintiuno
editores
siglo veintiuno editores, s.a. de c.v.
CERRO DEL AClUA 248, DELEGACIN COYOACN, 04310, MXICO, D.F.
'
PRLOGO
tl 9
LA LGICA
10
LAS REGLAS PARA RAZONAR
13
LA LGICA
14
LAS REGLAS PARA RA:f.ONAII
Cierta vaguedad
15
1
LA LGICA
16
LAS REGLAS PARA RAZONAR
:;
~.
lil1
~, "Sherlock Holmes es detective': "Arsenio Lupin no es detec-
'\ tive': Pero Aristteles no se interes tanto en las proposicio-
:\,, nes que se refieren a un objeto particular. Ms bien, dirigi
su atencin a las proposiciones generales* que relacionaban
} propiedades entre s: las que expresan que en todos los obje-
~ tos en los que se verifica una propiedad A se verifica de igual
manera una propiedad B ("Todos los detectives son inteli-
gentes"), y las que enuncian que en algunos objetos en los
que se verifica la propiedad A se verifica, asimismo, la pro-
piedad B ("Algunos detectives son famosos"), as como las
formas negativas de esas proposiciones.
Los objetos fueron integrados a los mecanismos de Aris-
~- tteles por Guillermo de Ockhan1 (1285-ca. 1349), lo que
permite, por ejemplo, formular el siguiente razonamiento:
"Todos los detectives son inteligentes; Sherlock Holmes es
detective; por lo tanto, Sherlock Holmes es inteligente:'
Con los estoicos aparece asimismo la nocin de proposi-
cin formada con la contnbucin de conjunciones. Por
ejemplo, con la conjuncin y y con las proposiciones "Sher-
lock Holmes es detective" y "Arsenio Lupin es ladrn" pue-
de formarse la proposicin "Sherlock Holmes es detective y
Arsenio Lupin es ladrn".
As pues, los lgicos de la Antigedad y de la Edad Media
disponan del concepto de propiedad de un objeto, si bien
no disponan todava del concepto de relacin entre varios
objetos. En la proposicin "Romeo ama a Julieta'; ellos dis-
tinguan una propiedad, amar a Julieta, que se aplicaba a
un objeto, Romeo, y no una relacin, amar, que se aplicaba
a dos objetos: Romeo y fulieta. De esta manera, los antiguos
trataban de manera global la locucin amar a Julieta sin lle-
gar jams a descomponerla, por lo que era imposible que
consideraran en su razonamiento proposiciones tales como
"Todo el mundo ama a alguien" o "Todo el mundo ama a
17
LA LGICA
18
LAS REGLAS PARA RAZONAR
\
Un lenguaje para razonar
19
LA LGICA
AIUTIIIIBTIOII:II PRI1CCIPI4.
f 1. De ...-11 el do aUitlue.
..,_
8lpo
3r
1
- .......
ut&a. '"'"""' poollhol.
+t ..,...,.,alfto,Pt..L
111 '""''" Rec ut ....._ eipa .,........._
....... etoi ~ocie. olpl .,...... -
1,
J.
s.
JIK.
arK .. o.-
.rx.o:::a-"""''--
-
t. ~5-erX:o--'O
5.. - l . tll'q).a(X.
&. oULO+Htr.
"i. ,r.x.:):--+1 -+1.
a. -o-+t-~1.
t. HK,,J U.. .-<X.6UI O.&'+ 1 Uuo.lfot.
10.
~--
2=-l+J;3=-t+J;4-.S+J;etc.
...
-
~
n. ulf.
20
LAS REGLAS PARA RAZONAR
21
LA LGICA
22
LAS REGLAS PARA RAZONAR
23
LA LGICA
24
..
25
LA LGICA
25
LA LGICA
26
LAS REGLAS PARA RAZONAR
27
LA LGICA
28
lf. LAS REGLAS PARA RAZONAR.
29
OBSERVACIONES, CLCULOS Y RAZONAMIENTOS
30
OBSERVACIONES, CLCULOS Y RAZONAMIENTOS
Clculos y razonamientos
31
----------------------
LA LGICA
32
ly.
! OBSERVACIONES, CLCULOS Y RAZONAMIENTOS
33
LA LGICA
34
OBSERVACIONES 1 CLCULOS Y RAZONAMIF.NTOS
35
,.
LA L(HCA
'
OBSERVACIONES, CLCULOS Y RAZONAMIENTOS
, El resultado es 4.
" A efecto de rawnar sobre esos nmeros representados
por bastones se emplean dos axiomas: "Para todo xy para
todo y, (x+ 1) +y= x+ (y+ 1)': y"para todo x, o+ x= x".
Para demostrar que 2 + 2 es igual a 4 se comienza por rem-
plazar x por o + r y y por o + 1 + 1 en el primer axioma. Se
obtiene as la proposicin (o+ 1 + 1)+(o + 1 + 1) =(o+ 1)
+(o+ 1 + r + 1), es decir, 2 + 2 = 1 + 3. De la misma mane-
ra se establece 1 + 3 = o + 4, y por ltimo, con el segundo
37
I.A I.GICA
39
LALGJCA
40
LA IMPOSIBILIDAD DE REDUCIR
EL RAZONAMIENTO AL CLCULO
41
LA LGICA
42
LA IMPOSIBIUDAD DE REDUCIR EL RAZONAMIENTO AL CLCULO
43
j
------------------------
LA LGICA
El problema de la intermisin
44
LA IMPOSIDILillAil DE Rl!.DUCIR EL RA#,()NI\MII\N-111 1\1 1 All llllt
45
LA LGICA
La biblioteca de Babel
47
LA LGICA
49
LA LGICA
'1
! 1 1
50
NI S NI NO
,
'e
~
UANDO SE quiere establecer por medio del clculo la
verdad de la proposicin "18 x 37 = 666': se efecta el
clculo y se concluye que esa proposicin es verdadera.
Cuando se quiere establecer la verdad de la proposicin
"18 x 37 = 667: se efecta el clculo y se concluye que la pro-
posicin es falsa. La verdad de la proposicin ''18 x 37 "#- 667''
se establece de la misma manera. El clculo jams responde
no s. David Hilbert, un optimista incorregible, pensaba que
lo mismo suceda con el razonamiento. Afirmaba que en las
matemtica.~ cada problema tenia solucin. Pensar esto l-
timo equivale a pensar que cuando no es posible demostrar
una proposicin siempre podr demostrarse su negacin.
51
LA LGICA
El roble y la caa
53
LA LGICA
54
NI Sf NI NO
55
LA LGICA
57
LA LGICA
59
LA LGICA
6o
LA SEGURIDAD Di!L RAZONAMIENTO
61
LA LGICA
62
LA SEGURIDAD DEL RAZONAMIENTO
l
~ ella permite igualmente establecer la proposicin "1 + 2 + 3
~ + ... + 100 = 5 050", que es verdadera, entonces esa teora es
~ incoherente.
,: La bsqueda de coherencia es, as, una autntica bsque-
:r da de la verdad de las proposiciones demostradas. En efecto,
J si la teora en cuyo marco se razona es coherente y permite
~ simular el clculo, entonces todas las proposiciones accesi-
t bies al clculo y demostradas son verdaderas para el clculo.
' Por lo que se refiere a las proposiciones que no son accesi-
~
bJes al clculo, slo se les juzgar a partir de sus consecuen-
cias. En ltima instancia, poco importa que una proposicin
general sea verdadera o falsa en el sentido del razonamien-
l . to: slo cuentan sus consecuencias accesibles al clculo. Por
' ejemplo, la proposicin "para todo x, x + 1 = :X' es falsa
1
66
LA SEGURIDAD DEL RAZONAMIENTO
68
LA SEGURfiJAD ll:CL RAZONAMIENTO
El clculo y el razonamiento
70
LA SEGURIDAD DEL RAZONAMIENTO
71
El sentido comn es la cosa mejor repartida
en el mundo
KEN DESCARTES
74
tLA COSA MEJOR REPARTIDAt
75
MS PREGUNTAS
Las computadoras
77
LA LGICA
79
LA LGICA
So
MS RESPUESTAS
81
I.A LGICA
Dos axiomas de la geometria. Por dos pumas distintos pasa una y slo
una recta (arriba). Por un punto exterior a una recta pasa una y slo unat
recta que no corta a la primera (abaje).
82
MS ltESPUEiSTAS
frambuesa limn
albaricoque
albaricoque-kiwi
0--+0
1--+2
2--+ 4
3--+ 6 etc.
86
MS RESPUESTAS
87
MEJORES RESPUESTAS
88
MEJORES RESPUESTAS
Lo infinitamente pequeo
90
El tercero excluido
91
LA LGICA
92
MEJORES RESPUESTAS
Demostraciones constructivas
93
LA LGICA
94
MEJORES RESPUESTAS
95
LA LGICA
97
ANEXOS
GLOSARIO
99
LA LGICA
100
ANEXOS
101
LA LGICA
102
AHhll41"
103
LA LGICA
104
BIBLIOGRAFA
NOCIONES BSICAS
Cori, R. y D. Lascar, Logique mathmatique, Masson, rol. "Axio-
mes", 1993.
Gochet, P. y P. Gribomont, Logique, Hermes, 1990.
LGICA Y LENGUAS NATURALES
Nef, F., La logiquc du langage naturet Hermes, 1989.
AXIOMAS
Hilbert, D. Les fondements de la gomtrie, 1899, Dunod, 1971.
Poincar, H., La science et l'hypothese, 1902, Flammarion, roL
"Champs': 1968.
LGICA Y MUNDO REAL
Dununett, M., Les origines de la philosophie analytique, 1987, Galli-
mard, rol. "Essais': 1991.
Nef, R, Logique, langage ct realit, ditions universitaires, 1991.
TEOREMA DE GDEL
Glldel, K., E. Nagel, J.R.Newman y J.-Y. Girard, Le thoreme de
Giide~ Le Seuil, 1989.
Smullyan, R., Les thoremes d'incompltude de Gi!del, Ma~son, roL
"Axiomes': 1993.
INTIDCION1SMO Y NATURALEZA DE LA VERDAD MATEMTICA
Dummet, M., Philosophic de la /ogique, 1978, Minuit, coL "Propo-
sitions'; 1991.
Largeault, J., CTntuitionisme, Presses universitarics de Pranoe, coL
"Que sais-je?': 1992.
105
NDICE TEMTICO
106
ANI\XOH
107
LA LGICA
108
ANEXOS
109
GILLES DOWEK es investigador del lnsttut Natonal de Recherche
en Informatique et en Automatique. Sus trabajos se ocupan de los
sistemas de procesamiento de las demostraciones. Ha sido galardo-
nado con el European Philips Con test for Young Scientists and In-
vcntors. Tambin ha participado en las actividades de difusin de
los conocimientos cientificos de la Association Nationale Sccnces
Techniques Jeunesse.
T
NDICE
,.
1
Prlogo 9
1
Anexos 98
SE TERMIN DE IMPRIMIR ESTA OBRA
EN EL MES DE SEPTIEMBRE DE 2001 EN LOS TALLERES DE
IMPRESORES ALDINA, S. A.
Obrero Mundial, 201 - 03100 Mxico, D. F.
LA EDICIN CONSTA DE 4000 EJEMPlARES
MS SOBRANTES PARA REPOSICIN
1 .1