Académique Documents
Professionnel Documents
Culture Documents
3.1. Introduccion
Dentro de la logica se distinguen tres grandes ramas y otra externa que
incluye los estudios sobre ella1 . Se puede representar en un arbol como el de la
figura 3.1.
Empezamos analizando los sistemas logicos existentes, preguntandonos que
es un sistema logico, para pasar a fijarnos en la logica clasica, en los fundamen-
tos.
la definicion algebraica de logica, como una estructura formada por un conjunto de formulas
y la relacion binaria de consecuencia, y justifica este razonable slogan: dos logicas son la
misma syss definidas como pre-ordenes
hAL , L i (siendo L una relacion reflexiva y transitiva)
son equivalentes
3.2. Que es un sistema logico? 21
tambien es parcial.
22 Captulo 3. Que es esa cosa llamada logica?
viendo que son necesarios para que la construccion intuitiva de la jerarqua pueda llevarse a
buen termino.
24 Captulo 3. Que es esa cosa llamada logica?
Invariancia
Teora de Modelos6
Esta rama de la logica se ocupa de las relaciones entre los lenguajes formales
y sus interpretaciones en estructuras o modelos adecuados. El puente entre estos
dos tipos de realidades es el concepto de verdad; concretamente, la nocion
()
x An
A1
A2
Rt
la estructura A es modelo de
1 2 ... n ...
A 1 1 ... 0 ...
2
1
n Th (A )
...
1. Dada una teora T , que se puede decir sobre la clase de todos sus mode-
los?, hay construcciones interesantes que nos permitan definirlos?, que
grado de similitud guardan entre s?, es T categorica?
2. Dada una clase de estructuras, que se puede decir sobre el conjunto de las
sentencias verdaderas en todas ellas?, hay un conjunto finito o recursivo
de axiomas para generar T h(K)?, es axiomatizable?, que sucede cuando
la clase K contiene una unica estructura A?
Cada modelo A selecciona del conjunto de todas las formulas a las que son
verdaderas en el, siendo T h(A) una descripcion de A como aparece en la
figura 3.4
Imaginad que pudieramos construir una tabla de verdad infinita en donde
situar a todas las formulas y a todos los modelos ver la figura 3.5
3.3. Que es la logica? 27
1 2 ... n ...
A1 1 1 ... 0 ...
A2 1 1 ... 0 ...
...
...
...
...
...
...
Am 1 1 ... 0 ...
...
...
...
...
...
...
VAL
...
...
Vemos que todas las teoras comparten un nucleo, el conjunto VAL de las
formulas validas7 , que al ser comunes a todas las descripciones de modelos no
describen a ninguno en particular. La pregunta pertinente es
Caracterizan algo estas formulas?
En ellas esta lo que es comun a todas las teoras, describen a la logica.
Teora de la Demostracion8
Afortunadamente hay otro modo de saber si |= que no es la mera
verificacion directa de la conclusion en cada modelo de , se trata de inferir
a partir de usando unas sencillas reglas de transformacion de formulas (lo
escribimos, ` ). Obviamente, les exigimos que conformen un calculo correcto
y tambien deseamos que sea un calculo completo
|= si y solo si `
tabilidad.
30 Captulo 3. Que es esa cosa llamada logica?
Cuando decimos que una funcion es recursiva, que significa ser recursiva?
Hay varias definiciones precisas, equivalentes entre s, de este concepto.
La nocion intuitiva correspondiente a ser recursiva es la de ser efectivamen-
te computable, poseer un algoritmo. Claramente, si no se hubiera inventado
la teora de las funciones recursivas en logica, se habra hecho, mas tarde, en
informatica. Sin embargo, no fue una casualidad historica: hay aspectos fun-
damentales de la logica que requieren el concepto de procedimiento efectivo.
De hecho, donde por vez primera se define con precision fue en el artculo de
Godel de la incompletud de la logica superior. Y, por supuesto, se usa de ma-
nera esencial en la prueba de Church de indecidibilidad de la logica de primer
orden. La razon es sencilla: para demostrar que un conjunto es decidible basta
con proporcionar el algoritmo que lo genera, pero para demostrar que no lo es
necesitamos una definicion matematica precisa del concepto de computabilidad
efectiva, o algoritmo. Hay varias maneras equivalentes de matematizar este con-
cepto intuitivo, algunas aparecieron en los anos 30 para captar nociones que en
un principio parecan diferentes: la primera era la caracterizacion de Godel de
las funciones definidas mediante recursion, la segunda era la nocion de funcion
definible con el operador , que Church y Kleene introdujeron, y la tercera, era
la de funcion computable mediante una maquina abstracta, las maquinas de
Turing. Pronto se demostro que las tres nociones definan las mismas funciones.
Por esas mismas fechas Church se pregunto si el concepto de recursividad de
Turing se corresponda con la nocion intuitiva de computabilidad efectiva. Su
respuesta, conocida como tesis de Church, es que s11 ; por supuesto, esta tesis
no se puede demostrar matematicamente, aunque sea mundialmente admitida.
En vez de proponerse como tesis podra haber tenido el status de definicion,
pero nunca el de teorema.
En este contexto parece natural y esperable el resultado de Feferman [8]
que relaciona las operaciones logicas invariantes bajo homomorfismos con las
-definibles.
Conclusion12
Si analizamos las distintas propuestas de esta seccion vemos que en la nu-
mero 1, desde la Logica Basica, se caracteriza a la logica clasica como aquella
cuyo concepto de consecuencia cumple los requisitos de reflexividad, monoto-
na y corte; desde la Teora de Conjuntos y desde la Teora de la Recursion
se emplea la invariancia para caracterizar las nociones logicas; en la numero
2, en Teora de Modelos, se la identifica con la menor teora, en la propuesta
numero 3 son las reglas del calculo, concretamente las de introduccion de los
11 Esta problematica se aborda en [22] y en [3].
12 Sobre este mismo tema aparecera proximamente publicado un trabajo algo mas extenso
[27].
3.4. Que es la Logica Universalis? 31
1. T CnT (reflexividad)
2. Si T U entonces Cn CnU (monotona)
3. CnCnT CnT (corte)
hS, Cni
y la clase
T = {T (S) | T = CnT }
de todas sus teoras; la definicion de consecuencia semantica que se propone es
\
T |= syss {U | T U T }
A1 := 1 2 Si S entonces S {1 } C y S {2 } C
A2 := 1 2 Si S entonces S {1 } C o S {2 } C
Bibliografa
[1] Abramsky, S, Gabbay, D. y Maibaum, T. editores. [1992-2000]. Handbook
of Logic in Computer Science. vol 1 a 6. OUP. Oxford. U.K.
[8] Feferman, S. [1999]. Logic, logics and logicism. Notre Dame Journal of
Formal Logic.
[13] Gerbrandy, J. y otros eds. JFAK. Essays Dedicated to Johan van Benthem
on the Ocassion of his 50th birthday. Amsterdam University Press.
[22] Manzano, M. [1997]. Alonzo Church: His Life, His Work and Some of His
Miracles. History and Philosophy of Logic.
[25] Manzano, M. ed. [2004]. Summa logicae en el siglo XXI. Ediciones Uni-
versidad de Salamanca. (tambien en http://logicae.usal.es)
[34] Straburger. [2005]. What is a Logic and What is a Proof?. (en [5])
[35] Tarski, A. [1986] What are logical notions. History and Philosophy of
Logic. vol 7 (texto de la conferencia de Tarski del mismo ttulo, editado
por Corcoran.)