SEOANE, JOSÉ - Lógica y Argumento
SEOANE, JOSÉ - Lógica y Argumento
SEOANE, JOSÉ - Lógica y Argumento
José Seoane
Lógica y Argumento
La publicación de este libro ue realizada con el apoyo de la Comisión Sectorial de Enseñanza (CSE) de
la Universidad de la República.
© José Seoane
© Departamento de Publicaciones, Unidad de Comunicación de la Universidad de la República
(UCUR)
José Enrique Rodó 1827 − Montevideo CP: 11200
Tels.: (+598) 2408 5714 − (+598) 2408 2906
Teleax: (+598) 2409 77 20
www.universidadur.edu.uy/bibliotecas/dpto_publicaciones.htm
inoed@edic.edu.uy
ISBN:
Contenido
Prólogo .............................................................................................................................................................................................9
C 1. E ........................................................................................................................11
Enunciados y argumentos ...................................................................................................................................11
La reflexión meta-argumental ..........................................................................................................................14
La noción intuitiva de consecuencia lógica ............................................................................................19
El valor del recurso a la orma .........................................................................................................................21
El objeto de la lógica ..............................................................................................................................................23
C 2. C ............................... 27
Introducción.................................................................................................................................................................27
Conjuntos .......................................................................................................................................................................27
Subconjunto, conjunto vacío y conjunto potencia............................................................................29
Operaciones conjuntísticas ................................................................................................................................30
Producto cartesiano. Relaciones ...................................................................................................................34
Relaciones de equivalencia. Particiones ....................................................................................................37
Relaciones de orden ................................................................................................................................................40
Funciones .......................................................................................................................................................................42
Cardinalidad .................................................................................................................................................................45
Teoría intuitiva y teoría ormal .......................................................................................................................51
C 3. L : ...........................................................................53
Introducción.................................................................................................................................................................53
Lenguaje ormal: motivación e ideas intuitivas ..................................................................................55
El lenguaje ormal proposicional ...................................................................................................................58
Decidibilidad del conjunto de las órmulas ............................................................................................64
Inducción y propiedades de órmulas .......................................................................................................65
Síntesis .............................................................................................................................................................................69
C 4. L : ......................................................................73
Introducción .................................................................................................................................................................73
Interpretar el lenguaje ormal (desde el punto de vista intuitivo)...........................................73
Interpretación de L (desde un punto de vista ormal) ....................................................................78
El problema de la corrección argumental ................................................................................................82
La evaluación de las órmulas: método tabular ...................................................................................84
Un método más elegante para evaluar órmulas: tablas analíticas ...........................................88
Conjuntos adecuados de conectivos ............................................................................................................93
Tautologías amosas .................................................................................................................................................95
Síntesis .............................................................................................................................................................................97
C 5. L : .............................................101
Introducción .................................................................................................................................................................101
La noción de argumento idealmente justificado .................................................................................102
Sistemas deductivos: nociones generales ..................................................................................................103
Un sistema axiomático ormal para el lenguaje proposicional...................................................106
Teoría axiomática ormal: el sistema M .....................................................................................................108
Sistema de deducción natural: reglas de inerencia ..........................................................................110
Sistema de deducción natural: ejemplos de pruebas .......................................................................113
Estrategias demostrativas y reglas derivadas: ideas generales ...................................................114
Estrategias demostrativas, conectores, reglas derivadas y teoremas ....................................116
Síntesis ............................................................................................................................................................................124
C 6. L : ..........................................................................................127
Introducción .................................................................................................................................................................127
La «ampliación» del lenguaje ...........................................................................................................................128
Lenguajes de orden uno (desde el punto de vista inormal) ......................................................131
Lenguajes de orden uno (desde el punto de vista ormal) ...........................................................132
Traducciones y expresividad de L.................................................................................................................140
Síntesis .............................................................................................................................................................................142
C 7. L : .......................................................................................145
Introducción .................................................................................................................................................................145
Interpretación de los lenguajes de orden uno
(desde un punto de vista intuitivo) ...............................................................................................................145
Interpretación de los lenguajes de orden uno
(desde el punto de vista ormal) ......................................................................................................................152
Expresividad «teórico-modélica» ...................................................................................................................156
Consecuencia semántica y validez.................................................................................................................157
Síntesis .............................................................................................................................................................................161
C 8. L : .............................................................. 163
Introducción.................................................................................................................................................................163
Tablas analíticas cuantificacionales...............................................................................................................164
Sistemas deductivos para lenguajes de orden uno.............................................................................. 167
Axiomas y reglas para la igualdad .................................................................................................................174
Ejemplos de teorías axiomáticas en orden uno ....................................................................................176
Síntesis .............................................................................................................................................................................179
C 9. T ...........................................................................181
Introducción.................................................................................................................................................................181
La estrategia traducción–cálculo ...................................................................................................................181
La riqueza de las relaciones entre lógica y argumentación:
usando los modelos tradicionales ...................................................................................................................183
La riqueza de las relaciones lógica y argumentación: ensayando otros modelos ...........187
La riqueza de las relaciones entre lógica y argumentación: la crítica argumental........189
Síntesis .............................................................................................................................................................................192
Bibliograía ....................................................................................................................................................................................195
Índice analítico ...........................................................................................................................................................................197
Prólogo
Este libro es obra esencialmente colectiva. Su origen reside en los cursos de
lógica de la Facultad de Humanidades y Ciencias de la Educación. Estos se orien-
tan a estudiantes de las licenciaturas de Filosoía y Lingüística; para ayudarlos,
comencé redactando unas notas introductorias a los distintos tópicos del curso y,
con el paso del tiempo, amplié y proundicé las mismas. En tal trabajo me bene-
ficié de los conocimientos y el compañerismo de diversos equipos; integraron los
mismos, en dierentes momentos, Soledad Caño, Ignacio Cervieri, Aníbal Corti,
Matías Gariazzo, Gonzalo Hernández, Claudia Márquez, María Fernanda Pallares,
Facundo Ponce de León, Luciano Silva, Ignacio Vilaró y un conjunto amplísimo de
muchachas y muchachos, la totalidad de cuyos nombres me es imposible recordar
así como su entusiasmo, inteligencia y calidez me es imposible olvidar. Pero, muy
especialmente, estas páginas mantienen una deuda enorme con todos los estudian-
tes que participaron de mil ormas cooperativas en aquellos cursos.
Asimismo, este libro abreva en un conjunto rico de manuales de lógica.
Seguramente las obras de las que más me he servido son la ormidable introducción
a la lógica escrita por Cori y Lascar (muy principalmente, su primer tomo) y el
excelente libro de Manzano sobre la teoría de modelos. He pretendido en prolijas
notas al pie dar cuenta de las diversas deudas intelectuales pero, seguramente, no
he logrado hacer justicia a una gama tan variada de autores y textos. En particular,
aunque no me he apoyado en este libro específicamente en ningún texto suyo, qui-
siera dejar constancia de mi gratitud intelectual y personal a mi antiguo proesor de
lógica Enrique Caorsi. Asimismo expresar mi reconocimiento al grupo de lógicos
y filósoos de los Coloquios Cono Sur de Filosoía de las Ciencias Formales, en
especial, a mi amigo Abel Lassalle Casanave, creador y organizador entusiasta de
estos eventos.
Finalmente, debo agradecer el trabajo inteligente, cuidadoso y sacrificado de
María Fernanda Pallares así como de Alejandro Chmiel y Matías Osta, en la edi-
ción y corrección de los originales; sin sus esuerzos, no existiría este libro. Dicho
trabajo ue apoyado por la Comisión Sectorial de Enseñanza de la Universidad de la
República en el marco de su llamado a la elaboración de manuales didácticos para
la enseñanza de grado (2010).
Recuerdo cuánto me conmovió, en la lejana década del 80, el descubrimiento de
la belleza y la proundidad de la lógica matemática; espero poder transmitir en las a
z
páginas que siguen algo de aquella ascinación. n
a
ñ
e
s
n
E
José Seoane e
d
l
a
i
r
o
t
c
e
S
n
ó
i
s
i
m
o
C
9
C APÍTULO 1
El objeto de la lógica
Enunciados y argumentos
Oraciones
enunciados
no-enunciados
Como en otras ciencias, un buen punto de partida es empezar con una noción
esquemática, pero valiosa a la luz de ciertos fines o de ciertos supuestos asumidos. La
orma de entender «argumento» en este contexto exhibe esas cualidades. 4E n las líneas
que siguen se caracteriza este concepto de un modo habitual en la literatura lógica.
En primer término, un argumento e s una cierta estructura lingüística conorma-
da por enunciados. La peculiaridad de la misma reside en que se afirma una relación
entre determinados enunciados —denominados «premisas»— y un enunciado —
denominado «conclusión»— que puede pararasearse así: la conclusión se sigue o se
desprende o se extrae de las premisas . Un ejemplo nos ayudará a comprender mejor
tal relación:
Ejemplo 1
La reflexión meta-argumental
Antes del surgimiento de la lógica como disciplina —que se sitúa en Grecia,
a
c
i
l
aproximadamente en el siglo IVa ntes de Cristo— obviamente se ormularon y dis-
b
ú
p
e
cutieron argumentos. Y, naturalmente, los argumentos eran evaluados. Es decir, se
R
a
l
aceptaban algunos como correctos, se rechazaban otros por incorrectos, se calibra-
e
d
d
ban respecto de su uerza probatoria, se comparaban en relación con su capacidad
a
d
i
s
persuasiva, etc. Una rica práctica argumental pues precedió a la emergencia de una
r
e
v
i
reflexión meta−argumental lógica. Quizá convenga detenerse brevemente a analizar
n
U las dos características que hemos adjudicado a esta reflexión original. Por una parte,
14
a h
Obsérvese que esta diagonal es la hipotenusa de los respectivos triángulos rec- a
z
n
tángulos cuyos ángulos rectos están indicados en el diagrama. Dado que el valor de a
ñ
e
s
los lados es 1, podemos inerir, aplicando el Teorema de Pitágoras, que h 2 =1 2+12 n
E
e
=2 o sea h= d
l
a
i
r
o
t
c
e
S
n
5 La emergencia de estas preocupaciones intelectuales en la filosoía pre−aristotélica es un intere- ó
i
s
i
sante problema histórico que hasta donde sé no se ha explorado suficientemente. m
o
C
6 Véase al respecto Kneale y Kneale (1984).
15
Para los pitagóricos los números se reducían a los racionales, esto es, los enteros
y las razones de enteros. Además tal restricción era esencial a su cosmovisión, lo
que hacía de esta convicción un postulado indiscutible. El punto es: ¿ es racional?
La respuesta negativa debida, según la tradición, a Hipaso de Metaponto, signi-
ficó un auténtico escándalo para la secta pitagórica. He aquí una argumentación a
avor (una prueba o demostración) de que no es racional:
Supongamos que es racional. Entonces es susceptible de escribirse como
a/b, donde a y b son enteros (b ≠0). Dado que siempre podemos simplificar
una racción hasta que numerador y denominador no tengan actores comu-
nes (excepto el 1), asumamos que a y b satisacen esta condición —lo que
suele expresarse diciendo que a y b son primos entre sí. Se tiene entonces
=a/b. Luego a= .b y así a2 =2b2. Así tenemos que a 2 es par. Como sabemos
que un entero z es par si y solo si z 2 es par, a es par. Pero entonces a puede
escribirse como 2c para algún entero c. Así pues, ya que sabemos que a 2 =2b2,
4c2=2b2. Entonces b2=2c2 y así b 2 es par y, por idéntica razón que arriba
respecto de a, b es par. Pero entonces 2 es un actor común de a y b, lo cual
contradice la suposición de que son primos entre sí. Esto es absurdo, por lo
tanto no es racional.
Hemos visto pues una argumentación matemática que, aunque no desarrollada
de orma absolutamente fidedigna desde el punto de vista histórico, comparte la es-
tructura con la prueba geométrica que se supone ue la original. 7D iscutamos ahora
una argumentación filosófica.
Zenón de Elea ue un filósoo que vivió en el siglo Va ntes de Cristo y que, sim-
plificando extremadamente la historia, se dedicó, undamentalmente, a mostrar que,
si se admite que el ser es múltiple, esto implica consecuencias inaceptables. Esta
estrategia era la usada por él para mostrar la necesidad de aceptar la unicidad del
ser.8E
l siguiente es un pasaje de Zenón 9r epresentativo de su modo de argumentar:
Si las cosas son múltiples es necesario que sean todas las que son, y no más ni
menos que éstas. Pero si son todas las que son, son en número limitado.
Si las cosas son múltiples, son también infinitas: ya que siempre hay otras in-
termedias entre los entes, y nuevamente otras en el intervalo entre éstas, y así
los entes son de número infinito.
La conclusión que —en la intención de Zenón— debe extraerse es: las co-
sas no son múltiples. Reconstruyamos el argumento para poder discutirlo mejor:
Supongamos que las cosas son múltiples. Entonces ellas son una cantidad, por así
decir, «definida» y, consecuentemente, su número es finito. Pero, por otro lado,
a
c
i
l
b
ú
p
7 Véase al respecto, por ejemplo, Eves (1964).
e
R
a
l
8 Es obvio que debería aclararse qué es lo que debe entenderse por «ser». Como tal concepto, a
e
d
los fines presentes, no juega ningún papel esencial, aquellos que no se encuentren interesados en
d
a esta temática pueden apreciar el argumento que sigue como limitado a intentar demostrar ciertas
d
i
s
r
consecuencias indeseables de asumir que «las cosas son múltiples». Esa es la estrategia, por otra
e
v
i
n
parte, que sigue el texto.
U
9 Está tomado de Mondolo (1974) p. 84.
16
dado que entre dos entes cualesquiera debe haber algo intermedio, y, respecto de
estas dos, puede repetirse el argumento y así sucesivamente, entonces su número no
es finito –tal argumento parece apoyarse esencialmente en la suposición pitagórica
de que el espacio vacío es también un ente. Pero esto es absurdo pues su número
debiera ser finito y no finito. En conclusión, las cosas no son múltiples.
No es diícil advertir cierta semejanza entre el argumento matemático y el argu-
mento filosófico. En ambos casos se parte de una suposición ( es racional, el ser es
múltiple), a partir de la cual se pretende extraer una consecuencia contradictoria o
absurda (a y b son primos entre sí y no son primos entre sí, el número de las cosas
es finito y no es finito) y, finalmente, se concluye afirmando la negación de la supo-
sición ( no es racional, las cosas no son múltiples). El siguiente esquema puede
reflejar lo anterior:
Argumento por absurdo (descripción general)
Se supone A, a partir de esta suposición se muestra B
y no es cierto B, luego no es cierto A.
pasos intermedios
B y no B contradicción
No es cierto A conclusión
17
como «se sigue» a partir de ciertos enunciados otros enunciados. O, puesto de otro
modo, a dierencia del modelo 1, se representa de esta orma cómo ciertos enuncia-
dos justifican a su vez otros enunciados y éstos a su vez otros y así, a través de una
especie de cadena justificadora, se llega al «último eslabón» que es, precisamente, la
conclusión. Podría objetarse, no obstante, que quizá uera conveniente representar
(fiel al modelo 1) a todo lo que se ubica «por encima» o «antes» de la conclusión en
nuestro esquema como «premisas». Sin embargo, si adoptamos tal política —puede
replicarse— estamos perdiendo algo undamental: no se encuentra en la misma rela-
ción la segunda premisa con la primera premisa del ejemplo I que la contradicción
con el supuesto de nuestro último diagrama. En el primer caso podríamos decir que
son «independientes»; en el último caso queremos evidenciar que es, precisamente, la
asunción del supuesto lo que lleva a la contradicción. Construyamos pues una segunda
orma de representar o entender argumentos:
Modelo 2: Pre1, Pre2, … , Pren Pas 1, Pas2, … ,Pask / Con
—donde Pasi (1 ≤i≤k, siendo i un entero positivo) son los pasos aludidos.
Se tienen entonces dos modos o formas de representar o entender argumentos.10
¿Se encuentran estos modos relacionados? La respuesta es: sí. Adviértase que, en un
sentido muy preciso, las premisas justifican los pasos.11 Luego, para que la cadena
justificacional uncione, tenemos que tener trabajando la relación de justificación
entre premisas y pasos. Es en este sentido que podríamos sostener que el modelo 1
es más básico que el modelo 2. Asumamos pues el modelo 1 como punto de partida;
más adelante tendremos oportunidad de encontrar una motivación específica para
el uso del modelo 2.
Es conveniente advertir que hemos introducido estos nuevos ejemplos de textos
argumentales a los eectos de motivar undamentalmente la introducción del mo-
delo 2 de representar argumentos; todo lo que hemos hecho hasta ahora es explorar
ormas o modalidades de representar argumentaciones.
Problemas y tareas
1. Revise la demostración por el absurdo expuesta antes. Identifique un enun-
ciado que juegue en la misma el papel de premisa y un enunciado que juegue
el papel de paso en dicha prueba.
2. Procure en algún texto de matemática una demostración por el absurdo .
Identifique, en ese caso, un enunciado que cumpla el papel de premisa, un
a
enunciado que oficie de paso en la prueba y, finalmente, la conclusión del
c
i
l
b
ú
argumento.
p
e
R
a
l
10 La distinción ue introducida exactamente en estos términos en Seoane (1999). Como a veces
e
d
ocurre, posteriormente uno descubre que algunas de las ideas que sostuvo como propias ya ha-
d
a bían sido deendidas por autores distantes en el espacio y/o en el tiempo. Esto me sucedió con
d
i
s
r
Parsons (1996) y, de una orma sorprendente, con Corcoran (1972). Hay matices pero ciertas
e
v
i
n
ideas básicas son compartidas.
U
11 Esta afirmación podrá ser mejor entendida más adelante.
18
En síntesis, hemos visto que la lógica es una reflexión meta−argumental . Los ar-
gumentos pueden representarse o entenderse, en este contexto, ya apelando al mo-
delo 1, ya apelando al modelo 2. Dado el carácter básico del primero, asumiremos
el mismo como punto de partida. Pero la reflexión lógica no queda caracterizada,
como hemos dicho, por su status meta−argumental; le interesa la evaluación de los
argumentos en términos de su corrección. Este es el aspecto que abordaremos en la
próxima sección.
inicial) en caracterizar una cierta relación de justificación. Esta puede entenderse e
d
l
a
i
como el criterio o el patrón que aplicará el lógico a la hora de evaluar la corrección r
o
t
c
argumental. Dicho sintéticamente, desde el punto de vista lógico, un argumento e
S
n
será correcto si y solo si la conclusión es consecuencia lógica de las premisas.
ó
i
s
i
m
o
C
19
En este capítulo daremos la noción intuitiva de tal relación; el resto del libro puede
entenderse como un esuerzo por elucidar, es decir, esclarecer, rigorizar esta noción
básica. El concepto intuitivo de consecuencia lógicap uede caracterizarse como sigue:
Noción intuitiva de consecuencia lógica
Sea Гu na colección de enunciados y sea φu n enunciado. Diremos que φ es
consecuencia lógica de Гs i y solamente si necesariamente si todos los enunciados
pertenecientes a Гs on verdaderos, φe s verdadero.
O, dicho de otra orma, si no es posible que todos los enunciados pertenecientes a
Гs ean verdaderos y φs ea also.
de hecho la conclusión sea verdadera o que al menos una de las premisas sea alsa;
se exige que si las premisas son verdaderas necesariamente la conclusión lo sea. O,
dicho de otro modo, que sea imposible la verdad de todas las premisas y la alsedad
de la conclusión. Luego tampoco en este caso estamos rente a un argumento lógi-
camente correcto ya que la conclusión no es consecuencia lógica de sus premisas.
Ejemplos de tal transmisión necesaria de la verdad (es decir, de corrección lógica)
son el argumento (c) y el argumento del Ejemplo I.
En síntesis, un argumento es correcto —desde el punto de vista lógico— si,
siempre que las premisas son verdaderas, su conclusión lo es. O, dicho de otro
modo, si es imposible que las premisas sean verdaderas y la conclusión sea alsa. En
este caso se dice que la conclusión es consecuencia lógica de las premisas o que éstas
implican la conclusión. La argumentación que exhibe tal relación entre premisas y
conclusión se denomina deductivamente correcta. 13
Adviértase que tanto la conclusión del ejemplo I (p. 11) como la del ejemplo II
parecen desprenderse con igual necesidad de las respectivas premisas, no importan-
do que, en el primer caso, se hable de sirenas y, en el segundo, se hable de lógicos.
Luego ese «desprenderse con necesidad» de la conclusión a partir de las premisas
no puede deberse a los respectivos contenidos de los argumentos sino a la orma o
estructura compartida por ambos. Pues bien, ¿cuál es dicha estructura?
La pregunta no es ácil pero una estrategia intuitiva destinada a responderla
podría consistir en determinar cuáles son las porciones lingüísticas que tanto el
ejemplo I como el II poseen en común. Éstas serán precisamente las responsables
de la corrección lógica. Al igual que en el caso del esquema de argumentación por
el absurdo podemos colocar letras para representar aquellas expresiones lingüísti-
cas en que se producen las variaciones que —atendiendo a estos casos— no son
relevantes para los actuales propósitos. El resultado de tal operación podría quizá
esquematizarse así:
El objeto de la lógica
Si se atiende a los desarrollos anteriores pueden orecerse una primera caracteri-
zación del objeto de la lógica. La misma podría expresarse así: la lógica se ocupa del
estudio de la argumentación deductiva.
Se puede encontrar en la literatura —como hemos señalado— dos usos de la pa-
labra «deductivo». En algunos casos, se habla de «argumento deductivo» solo cuando
la conclusión es consecuencia lógica de las premisas y luego las nociones de «argu-
mento deductivo», «argumento lógicamente correcto» y «argumento válido» coin-
ciden. En otros casos se entiende por «argumento deductivo» aquellos argumentos
en que se pretende o se aspira a que las premisas impliquen la conclusión. Luego, si
la relación de implicación se da, se dice que son correctos (válidos) y si la relación
de implicación no se da, se dice que son incorrectos (inválidos). En este libro, como
dijimos, este último uso será el predilecto. La caracterización preliminar del objeto
de la lógica dada arriba adquiere un significado quizá algo dierente dependiendo
del uso escogido. Si entiendo bien, es más hospitalaria si coincide con nuestra elec-
ción terminológica pero aún así la misma parece excesivamente restrictiva. Veamos
brevemente este aspecto.
Existe cierto tipo de argumentos que exhiben estas dos inquietantes cualida- a
z
des: no son correctos pero lo parecen. Se les han denominado, tradicionalmente, n
a
ñ
e
falacias. La lógica tradicional les prestó atención e intentó orecer una teoría de s
n
E
los mismos, identificando diversos tipos de argumentos alaces. Los lógicos aban- e
d
l
a
i
donaron el interés por las alacias —por razones que no viene al caso analizar— y r
o
t
c
desarrollaron una teoría matemática poderosa y refinada de la argumentación válida e
S
n
o lógicamente correcta descuidando tal tipo de estudios. Recientemente el interés ó
i
s
i
m
o
C
23
a
z
n
a
ñ
e
s
n
E
e
d
l
a
i
r
o
t
c
e
S
n
ó
i
s
i
17 Como respecto de otros tópicos básicos discutidos en este capítulo, puede resultar muy útil la m
o
C
lectura del capítulo 2 del libro de Haack (1991).
25
C APÍTULO 2
Conceptos elementales
de teoría intuitiva de conjuntos
Introducción
En el capítulo anterior describimos (en orma amplia) el objeto de la teoría ló-
gica. Esta se ocupa de una orma de corrección argumental caracterizada por la
exigencia de la relación de consecuencia lógica entre conclusión y premisas. 18 El
lógico apela al análisis ormal o estructural de los argumentos como recurso meto-
dológico para llevar adelante su estudio de tal relación. Esta estrategia da origen a
la emergencia de lenguajes artificiales —como hemos dicho antes— construidos a
la medida de su propósito. Tales lenguajes se denominan lenguajes formales —es-
tudiaremos los mismos a partir del próximo capítulo. Pero para definir y explorar
estos lenguajes la teoría lógica apela al poder expresivo y analítico de la teoría de
conjuntos. Esta es la razón por la cual oreceremos ahora una presentación rudimen-
taria de esta última en su parte más básica. Nuestra preocupación undamental se
reducirá a especificar su lenguaje y definir sus conceptos elementales en términos
intuitivos o informales. Una comprensión más prounda de la teoría de conjuntos
y, en particular, de sus presentaciones ormales 19 presupone el conocimiento que
aspira a orecer este libro. 20
Conjuntos
Se entenderá por conjunto u na colección de objetos. Los objetos que pertenecen
al conjunto se denominan elementos del conjunto. Aunque las aproximaciones de
arriba exhiban un grado considerable de ambigüedad, se ha optado por mantenerlas
pues son útiles desde el punto de vista intuitivo; debiera consignarse, no obstante,
que los conceptos de conjunto y elemento , en esta teoría, son conceptos primitivos, es
decir, conceptos que carecen de definición explícita en la teoría.
Los objetos deben ser absolutamente identificables y, dado un objeto y un con- a
z
junto, este pertenece o no al conjunto pero no ambos casos. Se notará que un objeto n
a
ñ
e
s
n
E
e
18 En general, cuando hablemos de «consecuencia» entenderemos que nos estamos refiriendo a d
l
a
i
«consecuencia lógica». r
o
t
c
19 Las nociones de ormal e inormal poseen, en este contexto, un sentido preciso; el lector podrá e
S
n
entender cabalmente los mismos en los próximos capítulos. ó
i
s
i
20 Orayen ha creído ver una paradoja en esta suerte de circularidad. El lector interesado puede m
o
C
inormarse sobre este tópico en Moretti y Hurtado (2003).
27
ap
ertenece a un conjunto A del modo siguiente: a∈ A . Se notará que el objeto a no
pertenece al conjunto A como: a∉ A .
Se suelen identificar dos modalidades de definir conjuntos: por extensión
y por comprensión. Se define un conjunto por extensión nombrando a todos los
elementos que lo integran y encerrando sus nombres entre llaves. Por ejemplo:
A={11,12,13,14}. Se define un conjunto por comprensión escribiendo la propie-
dad que poseen todos y solo los objetos que pertenecen a ese conjunto. El esquema
de definiciones de este tipo es el siguiente: A={x: P(x)}, donde «P» está en lugar de
la descripción de la propiedad en cuestión. El esquema anterior puede leerse así: el
conjunto de los x tales que x posee la propiedad P . Un ejemplo de esto podría ser:
B={x: x es un número natural y 10<x<15}.
La propiedad en este caso sería «ser un número natural mayor estricto que 10 y
menor estricto que 15».
Como el lector seguramente advirtió, el mismo conjunto ue definido por las
dos modalidades estudiadas. Una pregunta razonable es si siempre podemos ope-
rar así, es decir, si escoger una u otra modalidad para definir un cierto conjunto es
siempre posible. La respuesta es: no. La motivación, precisamente, de introducir las
definiciones por comprensión reside en que, respecto de ciertos conjuntos, puede
resultar incómodo o directamente imposible definirlos por extensión. Tal es el caso
de conjuntos «muy grandes» o infinitos, como por ejemplo: el conjunto de los nú-
meros naturales impares.
Problemas y tareas
1. Sea el conjunto de los números naturales.
Orezca una caracterización por extensiónd e estos conjuntos:
a. {x:x∈ y 5 <x<9}
b. {x:x∈ y 17 ≤ x ≤ 20}
c. {x:x es un color del arco iris}
d. {x:x∈ y x >4 y x<6 y x no es par}
Orezca una caracterización por comprensiónd e conjuntos que contengan exclusi-
vamente los elementos que se sugieren en cada uno de los casos siguientes:
e. 2, 4, 6, 8, 10,…
. 2, 4, 8, 16, 32,…
g. lunes, martes, miércoles, jueves, viernes
a
c
i
l
b
h. a, b, c, d
ú
p
e
R
a
l
e
d
d
a
d
i
s
r
e
v
i
n
U
28
29
respuesta es: sí. Un muy conocido ejemplo de esto es el denominado conjunto poten-
cia (de un cierto conjunto dado). El conjunto potencia de un conjunto A es, preci-
samente, la colección de todos los subconjuntos de A. Es decir, sea A un conjunto,
el conjunto potencia de A es el conjunto cuyos elementos son los X (y solo ellos)
tales que X⊆A. Se le nota ℘(A) y puede leerse «potencia de A» o «partes de A».
Ejemplos:
A={1,2}, ℘(A)={∅,{1,2},{1},{2}}
B={1}, ℘(B)={∅,{1}}
Nótese que ℘(∅)={∅}
Operaciones conjuntísticas
Si se piensa en términos gráficos parece ácil construir conjuntos a partir de
conjuntos previamente dados. Por ejemplo, dados A y B, podríamos pensar en
construir un conjunto que contenga tanto a los elementos de A como a los de B o
uno que solo contenga a los elementos comunes a ambos. A continuación se verán
algunas operaciones entre conjuntos que recogen (entre otras) estos modos intuiti-
vamente descriptos de construir conjuntos.
En primer lugar, dados dos conjuntos A y B, la operación denominada intersec-
ción—
se nota A ∩B— consiste, intuitivamente hablando, en «agrupar» los elemen-
tos comunes a A y B. Es decir:
A∩B={x: x∈A y x∈B}.
Por ejemplo: sean A={1,2} y B={1,3,4}, tenemos que A ∩B={1}.
Esta operación puede representarse así: (el sombreado indica donde se encuen-
tran los elementos del conjunto reerido)
A∩B
A B
⊃
X= {z: para todo X∈C, z∈X}.
s
r
e
v
i
n
U X C
∈
30
A B
Esta operación, tal como la hemos estudiado hasta aquí, genera un conjunto a
partir de dos conjuntos. Puede generalizarse la misma de modo que permita generar
un conjunto a partir de un conjunto (finito o infinito) de conjuntos cualesquiera. Es
decir, dado un conjunto⊃C de conjuntos podemos hacer la unión de todos los ele-
mentos de C, esto es, X= {z: para algún X∈C, z∈X}. Como es obvio, los
X ∈C
elementos que integran este conjunto son exclusivamente aquellos que pertenecen
a algún conjunto perteneciente a C.
Ejemplos:
A={1,2,3} B={6,5,2} A∪B={1,2,3,5,6}
A={∅} A∪∅={∅} ⊃ a
z
n
C={{1,2},{3,1},{2,3,1,4},{5,4,1}} X= {1,2,3,4,5} a
ñ
e
s
X ∈C n
E
e
d
l
a
i
Sean A y B conjuntos, la operación denominada diferencia —se denota A-B— r
o
t
c
consiste, intuitivamente hablando, en «agrupar» los elementos que pertenecen al e
S
n
conjunto A pero no pertenecen al conjunto B. Es decir, ó
i
s
i
m
o
C
31
A-B={x:x∈A y x∉B}.
Ejemplo:
Sean A={1, 2, 3} y B= {1,3} , A - B={2}.
Gráficamente representada la operación dierencia luciría así:
A − B
A B
32
33
4. Demuestre (al modo de las pruebas dadas en las proposiciones p. 30) los
enunciados siguientes:
a. X∪∅=X
b. X∩X =∅
c. Si X⊆Y entonces X∪Y=Y
d. Si X∪Y=Y entonces X⊆Y
5. Si observa los enunciados demostrados en 4, se advierte que si sustituimos
unión (intersección) por intersección (unión) los enunciados resultantes son
alsos. Proponga modificaciones a estos últimos a fin de obtener enunciados
verdaderos. Demuéstrelos.
6. Demuestre:
a. X∩∅=∅
b. X∪X =U
c. Si X⊆Y entonces X∩Y=X
d. Si X∩Y=X entonces X⊆Y
Proposición
<a,b>=<a’,b’> si y solamente si a=a’ y b=b’.
Prueba: ( ⇒) Supongamos que <a,b>=<a’,b’>, probaremos que a=a’ y b=b’. Por
la suposición se tiene que {{a},{a,b}}={{a’},{a’,b’}}. Supongamos que a=b. Entonces
{{a},{a,b}}={{a},{a}}={{a}}. Por suposición inicial, {{a}}={{a’},{a’,b’}}, es decir, a’=b’
y luego la igualdad puede escribirse así {{a}}={{a’}}. Y así {a}={a’} i.e. a=a’ y, como
b=a’, b=b’. Supongamos ahora que a≠b. De aquí se deduce que a’ ≠b’ pues si no
uera el caso resultaría que dos conjuntos iguales poseen número distinto de ele-
mentos lo cual es absurdo. Luego, dado que {a} ≠ {a’,b’} —por argumento análogo
al anterior— se tiene que {a}={a’} i.e. a=a’. Y, por argumento análogo al de arriba,
{a,b}≠{a’} se tiene que {a,b}={a’,b’}. Como a=a’ y b’≠a’, b=b’. La parte (⇐) es dejada
al lector.
A partir de la noción de par ordenado puede obtenerse ácilmente —como se
dijo— la de tríada ordenada, cuádrupla ordenada,…, n–tupla ordenada —donde n es
un entero positivo. Por ejemplo, la noción de tríada ordenada puede ser definida así:
<a,b,c> =<<a,b>,c>.
Estas nociones permiten definir así un concepto que jugará un papel esencial en
nuestro estudio: el concepto de relación( binaria, ternaria, …, n–aria).
Concentrémonos en un caso básico: la relación binaria; la generalización es
directa. A los eectos de caracterizar el concepto de relación binaria, se definirá
previamente el concepto de producto cartesiano . La idea intuitiva del producto car-
tesiano de A por B —se nota AxB— es simple: tomar el conjunto de todos los pa-
res ordenados tales que la primera proyección pertenece al conjunto A y la segunda
proyección pertenece al conjunto B. Más ormalmente:
AxB={<x,y>:x∈A e y∈B}.
Ejemplo:
Sea A={1,2} y B={3,4}, AxB={<1,3>,<1,4>,<2,3>,<2,4>}.
Un diagrama sagital de este último ejemplo puede ayudar a intuir la peculiaridad
de esta estructura —donde las flechas «salen» de las primeras proyecciones y «lle-
gan» a las segundas respectivas—:
a
1 3 z
n
a
ñ
e
s
2 4 n
E
e
d
l
a
i
r
o
t
c
e
S
n
Ahora estamos en condiciones de definir relaciones binarias. Simplemente se de- ó
i
s
i
fine una relación de A en B como un subconjunto de AxB. Es decir, R es relación m
o
C
35
36
a
b
1 3
2 4
37
Las relaciones que —como Igu— gozan de las tres propiedades antedichas,
es decir, son reflexivas, simétricas y transitivas se dice que son relaciones de equi-
valencia. Cada elemento x del Dom R —cuando R es de equivalencia— permite
definir el conjunto denominado clase de equivalencia de x módulo R : el conjunto de
todos los objetos que se encuentran relacionados con x por R.E ste conjunto puede
notarse así: [x]R. Escrito en términos de esta notación, la caracterización de arriba
puede lucir así: [x]R={y: <y,x>∈ R}.
Pueden orecerse obviamente otros casos de relación de equivalencia. Por ejem-
plo, sea T un conjunto de personas, sea E ⊆TxT la relación definida así:
{<x,y>: x,y∈T y x tiene la misma edad que y}.
Es claro que E es una relación reflexiva, simétrica y transitiva i.e. E es de
equivalencia.
Sea Ese l conjunto ormado por todas las palabras del idioma español admitidas
por la Real Academia. Sea PI⊆ Esx Es la relación definida así:
{<x,y>: x,y∈ Esy x tiene el mismo número de letras que y}.
Es ácil ver que PI es una relación de equivalencia.
Un concepto que es útil introducir ahora, por su estrecha conexión con estas
ideas, es el de partición. Se dice que el conjunto P es una partición del conjunto A
si P es un conjunto de subconjuntos de A tal que: a) cada conjunto es no vacío, b)
para dos elementos cualesquiera de A su intersección es vacía y c) la unión de todos
los elementos de P es A. Más ormalmente expresado, P es una partición de A si
P⊆℘(A) y cumple las condiciones siguientes:
a. Para todo X∈P, X≠∅;
⊃ dos elementos cualesquiera (distintos) X,Y∈P , X∩Y=∅;
b. Dados
c. X=A.
X ∈P
que existe z∈[x]R pero z ∉ [y] R. Por suposición existe z’ que pertenece a ambos. Por
lo tanto <x,z’>∈ R e <y,z’> ∈ R, pero como R es simétrica, <z’,x>, y, luego, como R
es transitiva, <y,x>∈ R. Como <x,z> ∈ R y Re s transitiva <y,z> ∈ Ri .e. z ∈[y]R, lo cual
es absurdo. El mismo argumento puede hacerse suponiendo que el elemento que
permite distinguir los conjuntos pertenece a [y] R. Luego [x]R∩[y]R=∅. Esto prueba
el punto b. ⊃
Es claro que X⊆A y, dado que para todo a∈A, a∈[a]Ry esta última pertenece
⊃X P ∈ ⊃
a P, luego a∈ X i.e. A⊆ X. Esto prueba el punto c.
X∈P X∈P
39
Relaciones de orden
En la sección anterior hemos visto ciertas propiedades de las relaciones: reflexi-
vidad, simetría y transitividad. La posesión por parte de una relación de estas tres
propiedades la caracteriza como una relación de equivalencia. Un procedimiento
análogo seguiremos aquí. Identificaremos primero algunas propiedades de relacio-
nes y luego caracterizaremos las relaciones de orden.
Sea Ru na relación en A.
Denominaremos a una relación R como irreflexiva si para todo x∈A, <x,x>∉ R.
Denominaremos a una relación R como asimétrica si para todo x,y∈A, si
<x,y>∈ Re ntonces <y,x>∉ R.
Denominaremos a una relación R como antisimétrica si para todo x,y∈A, si
<x,y>∈ R e <y,x>∈ R, entonces x=y.
Es ácil encontrar ejemplos de relaciones que ilustren estas propiedades. Sea T
un conjunto de personas, sea D={ <x,y>: x,y∈T y x es progenitor masculino de y}. La
relación D es obviamente irreflexiva y asimétrica. Sea A un conjunto. La relación ⊆
definida en ℘(A) es claramente antisimétrica.
Diremos que una relación R en A es una relación de orden débil en A si R es
reerirnos a los segundos (relaciones de orden estricto o uerte). A veces resulta útil
hablar de conjuntos ordenados y los definimos mediante el par <A, R>, donde R es
el orden y A el conjunto en el que la relación R esta definida.
Un modo de pensar la relación entre órdenes y órdenes estrictos lo condensa el
siguiente teorema21
Teorema
a. Sea Ru n orden en A. Sea S la relación definida en A del modo siguiente:
para todo x,y∈A <x,y>∈S si y solamente si <x,y>∈ R y x ≠y. Luego, S e s un
orden estricto en A.
b. Sea S u n orden estricto en A. Sea R la relación definida en A del modo si-
guiente: para todo x,y∈A <x,y>∈ Rs i y solamente si <x,y>∈ S o x=y. Luego,
Re s un orden en A.
Sea R una relación de orden en A. Sean a, b ∈A. Decimos que a y b son compa-
rables si <a,b>∈ R o <b,a>∈ R; en otro caso, decimos que a y b son incomparables. El
mismo concepto se aplica al caso de órdenes estrictos. Esta noción de comparabili-
dad nos permite definir el concepto de orden total .
Un orden R en A es denominado total o lineal si para todo a, b∈A, a y b son
comparables.
A los eectos de que la exposición de algunas importantes nociones relacionadas
con órdenes se torne más intuitiva establezcamos algunas convenciones notaciona-
les. Si Re s una relación de orden y <a,b>∈ R, entonces asumiremos que a es menor
que b y, por ello, escribiremos a ≤b (si Re s un orden estricto, escribiremos: a <b).
Sea ≤ un orden en A. Sea X ⊆A. Un elemento x ∈X diremos que es un mínimo
de X (para la relación ≤) si, para todo y∈X, x≤y y un elemento x ∈X se dice mini-
mal si no hay ningún y (y ≠x) tal que y≤x. Pueden definirse análogamente máximo
y maximal.
Pueden existir varios elementos minimales pero (si existe) hay un solo elemento
mínimo. Representemos dos órdenes (donde la dirección de las flechas indica el
orden de lectura del par i.e. el «primer» elemento leído es el inerior):
Ejemplo 1 Ejemplo 2
f e e
d d
a b
f a
z
n
a
ñ
En el caso del ejemplo 1, no hay mínimo y hay dos minimales (a y b). En el caso e
s
n
E
del ejemplo 2 hay mínimo () y éste también es minimal —en el caso de órdenes e
d
l
a
totales no hay dierencia entre ambos conceptos. En el caso del ejemplo 1, no hay i
r
o
t
c
máximo y hay dos maximales ( y e). En el caso del ejemplo 2, el máximo y el maxi- e
S
n
mal coinciden. ó
i
s
i
m
o
C
21 Este teorema aparece, por ejemplo, en Hrbacek y Jech (1978) p. 37.
41
Existe una rica variedad de conceptos que permiten comprender más finamente
las relaciones de orden pero a los modestos fines de este curso de lógica se conside-
ran suficientes las arriba estudiadas.
Funciones
Las estructuras denominadas funciones —cuya importancia diícilmente puede
sobrestimarse— son, precisamente, un tipo particular de relaciones. Su particulari-
dad consiste en que para cada elemento del dominio de la relación existe un y sola-
mente un elemento en su rango. Es decir, si es una unción de A en B —se nota
: A→B— se tiene que si <x,y> ∈ y <x,z>∈, entonces y=z.
Ejemplo:
Sea Suc: → , definida así Suc(x)=x+1. La misma puede representarse así:
0 1
1 2
n n+1
a
c
i
l
b
ú <5,1> 6
p
e <3,4> 7
R
a
l <9,8> 17
e
d
d
a
d
i
s
r
e
v
i
n
U
42
A B
a
c
b
d e
A B
a c
b d
Función biyectiva
A B
a a’
b b’
c c’
a
z
n
a
En general, hablaremos de la imagen de una unción para el elemento ad e su do-
ñ
e
s
n
minio, como el valor que la unción toma para ese elemento. Generalizando la idea, E
e
d
l
si : A→B, la imagen de A 1⊆A por la unción —lo notamos [A 1]— al conjunto a
i
r
o
t
de todos las imágenes de los elementos de A 1i .e. [A]={y: existe x ∈A tal que (x)=y}. c
e
S
n
ó
i
s
i
m
o
C
43
Ejemplos de unciones:
1 : → , 1(x)=2.x ;
1, si x no es par
2: →{0,1}, 2(x)= { 0, si x es par
2. Sean 1, 2 y 3 definidas como en los ejemplos dados anteriormente en esta
sección. Decida si son verdaderos o alsos (V/F) los enunciados siguientes:
V/F
1 es inyectiva
2 es inyectiva
3 es inyectiva
1e s sobreyectiva
2e s sobreyectiva
2−1e s una unción
1−1e s una unción
Cardinalidad23
A pesar del carácter elemental y básico de los desarrollos anteriores, éstos nos
permiten esbozar una respuesta a la ascinante pregunta: ¿cómo medir el «tamaño»
de un conjunto?
Una contestación a tal interrogante, expuesta en términos intuitivos, es la si-
guiente: dos conjuntos tienen el mismo «tamaño» si con cada elemento de uno po-
demos «aparear» uno del otro y cubrimos los dos conjuntos —es decir, no nos queda
en ninguno de los dos conjuntos algún elemento sin «pareja». El siguiente diagrama
permite ilustrar la idea
A B
a a’
b b’
c c’
a
z
n
Esta idea parece capturar muy bien la igualdad de tamaño: si se puede producir a
ñ
e
el «apareamiento» descripto los conjuntos poseen el mismo tamaño, si no se puede s
n
E
e
producir el mismo, difieren en tamaño. Esta noción intuitiva de «apareamiento» d
l
a
i
queda prolijamente elucidada por el concepto preciso de biyección. Luego dos con- r
o
t
c
e
juntos poseen el mismo tamaño o, más técnicamente, poseen la misma cardinalidad S
n
ó
i
s
i
23 Este capítulo es algo más exigente que los anteriores pero alcanza con capturar las ideas básicas m
o
C
para la comprensión del resto de este libro.
45
si es posible definir una biyección entre ellos. Podemos resumir tal situación del
modo siguiente.
Sean A y B conjuntos cualesquiera, card(A)=card(B) (leemos: cardinal de A es
igual a cardinal de B) si existe una : A →B y es biyección. A veces se dice que A
y B son biyectables o equipotentes y se nota «A≈B». Diremos que card (A) ≤ card(B)
Construimos una serie de conjuntos, siendo A 0=A−B, A1= [A0], A2= [A1], …
Veamos gráficamente la situación:
A
A0 =A-B f B
. f …
.
A3
f f A1
A2
⊃
Sea D= Ai .
i ∈N
a
Sea *: A→B, definida así:
c
i
l
b
ú
p
e
*(a)=(a) si a∈D
R
a
l *(a)=a si a∉D.
e
d
d
a
d
i
24 En la exposición presente hemos usado varias uentes; en particular, en la demostración de este teo-
s
r
e
rema hemos seguido a Malitz (1987), Algunas obras orecen pruebas más rigurosas pero requieren
v
i
n conceptos cuyo estudio excede esta breve introducción. El lector interesado puede consultar textos
U
de teoría de conjuntos como, por ejemplo, Hrbacek y Jech (1978) o Roitman (1990).
46
47
hay un y∈A tal que g((y))=x, obviamente (y) ∈B y así x∈g[B], es decir, x∈B1. Luego
tenemos que C∈B1∈A y, como habíamos probado que card(A)=card(C), aplicando
el teorema anterior, obtenemos card(A)=card(B1). Pero g es una unción biyectiva
de B a B1, es decir, card(B1)=card(B) y luego card(A)=card(B).
En realidad, en el caso de los conjuntos finitos, la caracterización de la igualdad
de cardinalidad —o «tamaño»— como la equipotencia o biyectabilidad de los con-
juntos no parece exhibir problema alguno. Si comparáramos respecto de su tamaño
los conjuntos A y B del primer diagrama de esta sección, es decir, comparáramos el
número de elementos de A con el número de elementos de B, la respuesta es uní-
voca: poseen el mismo número de elementos y esto parece quedar asegurado por la
existencia de una biyección. Pero, ¿qué ocurre cuando nos enrentamos con conjun-
tos infinitos? Galileo ya había notado en 1638 una peculiaridad desconcertante (a
veces denominada paradoja de Galileo ): el conjunto de los cuadrados de los enteros
positivos puede «aparearse» con el conjunto de los enteros positivos. Es decir, de
acuerdo con la caracterización anterior de igualdad de tamaño, el conjunto de los
enteros positivos y el conjunto de los cuadrados de enteros positivos poseerían…
igual tamaño. Pero, a su vez, el conjunto de los cuadrados de enteros positivos es un
subconjunto propio de los enteros positivos. ¿Cómo es posible que la parte tenga
el mismo tamaño que el todo ? La respuesta positiva a tal interrogante contradice
un axioma de la geometría euclídea que afirma que el todo es mayor que las partes.
El creador de la teoría de conjuntos Georg Cantor se preocupó por estudiar —
entre 1874 y 1897— las posibilidades de establecer biyecciones entre conjuntos
infinitos.25 La paradoja de Galileo —como se observó— se basa en la existencia
de una biyección entre los conjuntos involucrados. La idea de su construcción es
simple: a cada n2l e asocia n —con n entero positivo. Pero, además, estos conjuntos
son biyectables —es decir, puede construirse una biyección— con . Cuando un
conjunto dado puede biyectarse con se dice que es numerable . A veces se deno-
mina, en general, contable si puede biyectarse con A ⊆ .
Dado que se sabe que, por ejemplo, los enteros y los racionales son numerables,
una pregunta interesante es la siguiente: ¿son también numerables los números rea-
les? La respuesta es negativa y ue obtenida por Cantor a través de un legendario
teorema. La idea —el uso del denominado «método de la diagonal»— es esta: tómese
el intervalo real 0<x<1. Pueden escribirse todos los reales de este intervalo como
25 Expuesta de una orma grosera, podríamos decir que los deensores del «infinito potencial»
conciben el mismo como ilimitación, como la posibilidad de adicionar o sustraer ilimitada-
a
c
mente. Desde este punto de vista, por ejemplo, los números naturales son infinitos en el sentido
i
l
b
ú
en que, para cualquier número natural n, puede calcularse un número natural mayor (digamos
p
e n+1). Podríamos decir que, en esta perspectiva, la infinitud nunca se da plenariamente sino solo
R
a
l en tanto posibilidad. Por oposición, el partidario del concepto de «infinito actual» entiende el
e
d mismo no como una posibilidad que nunca se actualiza cabalmente sino como algo totalmente
d
a
d
i
dado. Desde este punto de vista, los números naturales son actualmente una totalidad infinita,
s
r
e
plenamente dada. Fraenkel entiende que la construcción de la teoría de conjuntos supone «la
v
i
n conquista del infinito actual» y tal hazaña implica una «ampliación del horizonte científico» tan
U
extraordinaria como, por ejemplo, la revolución copernicana —véase Fraenkel (1966).
48
racciones decimales tales que su primer dígito significativo se encuentra después del
punto y es seguido por infinitos dígitos que no son 0 —si la racción poseyera una
lista infinita de 0’s ponemos 9’s en su lugar. Supongamos que se pudiera construir
una lista exhaustiva de los reales de este intervalo: x 0, x1, …. Luego enumeramos tam-
bién los dígitos después del punto de cada uno de ellos y los ordenamos en una tabla.
.x00 x01 x02 x03 …
.x10 x11 x12 x13 …
.x20 x21 x22 x23 …
.x30 x31 x32 x33 …
… … … …
Se puede, siguiendo la flecha, construir la siguiente racción decimal: .x’ 00 x’ 11
x’22 x’ 33 … donde x’ii difiere de x ii de modo de obtener una racción decimal que esté
escrita del modo prescrito. Obviamente la misma pertenece al intervalo. Pero x’ 00
difiere de la primera racción pues difiere en las décimas, de la segunda difiera en
las centésimas y así sucesivamente. De ese modo se ha construido una racción que,
perteneciendo al intervalo, «escapa» a la numeración. En consecuencia no existe
una enumeración completa del intervalo: siempre es posible construir una racción
que no cae dentro de la enumeración. Para obtener la prueba sobre R directamente
alcanza con escribir cada real como característica más mantisa y aplicar el anterior
procedimiento a las mantisas. Los conjuntos que, al igual que R, no son biyectables
con se dice que son no -numerables.
El resultado obtenido es sorprendente: se tiene (hablando intuitivamente) por lo
menos dos infinitos de distinto «tamaño». O, expresado más técnicamente, todos los
conjuntos infinitos no poseen la misma cardinalidad. Como se acaba de demostrar,
R no posee la misma cardinalidad que . Pero quizá aún más intrigante resulte el
resultado siguiente, también debido a Cantor. 26
Teorema
Sea A un conjunto cualesquiera. Entonces card(A) < card( ℘(A)).
Prueba. Sea : A→℘(A) tal que para x∈A, (x)={x}. Esta unción es obviamente
inyectiva por definición, entonces card(A) ≤ card( ℘(A)). Mostraremos ahora que
no puede haber unción sobreyectiva de A en ℘(A). Argumentaremos por absurdo.
Supongamos que existe una : A →℘(A) tal que es sobreyectiva. Sea B= {x∈A: a
z
n
x∉(x)}. Es evidente que B ∈℘(A) y, dado que por hipótesis es sobreyectiva, exis- a
ñ
e
te y ∈A tal que (y)=B. Sabemos que y ∈B o y∉B. Supongamos que y∈B, entonces s
n
E
e
y∉(y), es decir, y ∉B. Supongamos ahora que y∉B. Esto quiere decir que y ∉(y), es d
l
a
i
decir, y∈B. En cualquier caso, llegamos a una contradicción. Por absurdo, no existe r
o
t
c
e
S
n
26 El teorema y la prueba se encuentran expuestos en diversos textos de teoría de conjuntos. Hemos ó
i
s
i
seguido aquí básicamente la obra antes citada de Hrbacek y Jech (1978). Consultamos también m
o
C
la exposición de Partee, et al. (1993).
49
C APÍTULO 3
b) Si A, entonces B
A
B
Es ácil convertir b) en un enunciado si se recuerda que la barra es una abrevia-
tura de «por lo tanto» o «en consecuencia». Así se tiene:
c) Si A entonces B y A, por lo tanto B.
Cabría, no obstante, una pregunta: ¿puede colocarse en lugar de «A» y «B» cual-
quier expresión del idioma español y se obtendrá siempre, mediante este expediente,
un argumento deductivo? No es necesario intentarlo para advertir que no: por lo
menos debo poner oraciones en lugar de «A» y «B» y no, por ejemplo, sustantivos o
combinaciones de palabras que violenten las reglas gramaticales. Pero más aún: ¿pue-
de ponerse en lugar de «A» y «B» cualquier oración, por ejemplo, interrogaciones u
órdenes? La respuesta es: no. La razón es simple: si en lugar de premisas y conclusión
se insertan expresiones que no son enunciados, la sustitución no dará como resulta-
do un argumento —tal cual ue definido este último concepto. De modo que una
restricción esencial debe imponerse a los segmentos lingüísticos que pueden aspirar
a sustituir a «A» y «B» en el esquema b) —y, obviamente, lo mismo vale para c)—, a
saber: las letras «A» y «B» solo pueden ser sustituidas por enunciados.
El esquema b) parece expresar entonces la siguiente idea: coloque los enuncia-
dos que desee en lugar de «A» y «B», obtendrá un argumento lógicamente correcto.
a
c
i
l
Véase que, en último término, la corrección —por ahora intuitivamente considerada
b
ú
p
e
—depende, en orma exclusiva, del modo cómo están «conectados» los enunciados.
R
a
l
Es decir, la garantía de la corrección del argumento descansa en las «conexiones»
e
d
d
entre enunciados. Podría decirse entonces que, a los eectos de identificar la correc-
a
d
i
s
ción argumental en estos casos, es especialmente útil atender, en orma exclusiva, a
r
e
v
i
n
tales conexiones; es decir, aislar su estructura proposicional o enunciativa. El estudio
U
de estas estructuras es el objeto del lenguaje lógico proposicional .
54
Esa ambigüedad —como se verá más adelante— aecta las condiciones en que
se consideraría verdadero el enunciado; dicho muy groseramente, si a Juana le gusta
bañarse en el mar 1) es also —porque afirma incondicionalmente que no le gus-
ta— mientras que 2) no necesariamente lo es. Dado que se construye un lenguaje
artificial a los eectos de rigorizar y clarificar el análisis argumental, eliminar la am-
bigüedad es, como se ha dicho, un objetivo importante.
Si la parárasis de e) en nuestro lenguaje ormal uera del tipo de ) la ambigüe-
dad no se habría eliminado: la órmula es tan ambigua como el enunciado. Para evi-
tar situaciones de este tipo y asegurar que las expresiones del lenguaje proposicional
que estamos construyendo posean una única lectura, es decir, no sean ambiguas, se
introducen en el vocabulario de dicho lenguaje los paréntesis. Es esta la única mo-
tivación por la cual expandimos tal vocabulario e incluimos: (,). Luego si lo que se
quiere afirmar es 1) —y mantenemos la idea de flanquear siempre toda órmula por
paréntesis— entonces se tiene:
g) ((A1→A2) ∧¬A3).
Y si lo que se quiere afirmar es 2) entonces se tiene:
h) (A1→(A2∧¬A3)).
En consecuencia, los paréntesis son los que nos permiten asegurar que las ex-
presiones de este lenguaje posean una lectura única. Así pues sumaremos a los
símbolos básicos del mismo, además de las letras de enunciados y los conectivos,
los paréntesis.
Parece existir una cierta dierencia de status —desde el punto de vista intuiti-
vo— entre estas tres categorías de símbolos que se pretende conormen el lenguaje
artificial proposicional: conectivos y letras de enunciados parecen imprescindibles,
los paréntesis puede dudarse si son necesarios. La justificación que se desarrolló en
las líneas anteriores muestra que la exclusiva finalidad de su introducción radica en
la necesidad de asegurar la univocidad de las expresiones del lenguaje ormal. Una
pregunta razonable podría ser la siguiente: ¿es mediante la introducción de parénte-
sis el único modo de asegurar la univocidad?
La respuesta es: no. Una orma de conseguir univocidad prescindiendo del uso de
paréntesis es conocida: la denominada «notación polaca». La idea de esta notación
consiste en colocar los conectivos precediendo a las letras de enunciados, dispen-
sándonos así del uso de los paréntesis sin por ello perder univocidad. Simplemente a
z
a los eectos de orecer una idea rápida del uncionamiento de tal notación digamos n
a
ñ
que la expresión g) se escribiría: e
s
n
E
e
d
∧→A1A2 ¬A3 l
a
i
r
o
t
c
y la expresión (h) e
S
n
ó
i
s
i
→A1 ∧A2 ¬A3. m
o
C
57
En realidad, en tal notación se escriben los conectivos con ciertas letras latinas
mayúsculas pero la idea esencial es la que ha sido expuesta. 33
En síntesis, hemos visto que los paréntesis son prescindibles. Sin embargo, la
notación con paréntesis es ampliamente usada. El lenguaje que se construirá aquí
seguirá tal tradición.
Como el lector seguramente sospecha, existen ciertas cadenas o secuencias de
símbolos del vocabulario del lenguaje artificial que admitiremos y otras no. Dada
la discusión anterior, seguramente no debiera admitirse una expresión como ). En
cambio, g) o h) parecen plenamente aceptables. En la próxima sección ormalizare-
mos nuestro lenguaje, entre otras razones para poder definir —rigurosamente— las
cadenas o secuencias de signos admisibles o legítimas.
33 Una exposición breve, estimulante y adecuado a este nivel de estudio, puede encontrarse en
Naishtat (1986).
a
34 Un mismo lenguaje puede ser, en un contexto, lenguaje objeto y en otro contexto, meta−lengua-
c
i
l
b
je. Eventualmente aún en el mismo lenguaje podemos reerirnos a él mismo y usarlo así como
ú
p
e
meta−lenguaje; el lenguaje natural cuenta con ese poder expresivo y la conusión de niveles que
R
a
l
propicia puede considerarse una buena motivación para la construcción de lenguajes ormales.
e
d 35 La mayoría de los detalles técnicos del enoque que se desarrolla aquí se inspiran en la exposi-
d
a
d
i
ción del excelente Logique Mathématique de Cori y Lascar (1993). Asimismo se ha consultado
s
r
e
la ya mencionada obra de Naishtat (1986). Estos libros son, por así decir, matemáticamente más
v
i
n «duros»; se ha pretendido en las páginas que siguen orecer una versión más didáctica de algunos
U
de los conceptos undamentales.
58
a. LP ⊂ For; e
d
l
a
i
b. si ϕ∈For entonces ¬ϕ∈For; r
o
t
c
c. si ϕ, ψ∈For entonces (ϕ * ψ)∈For —donde * ∈K−{¬}. e
S
n
ó
i
La definición 1 podría también ormularse así: s
i
m
o
C
59
Definición 2
Sea For ⊂ Pal(A) tal que:
a) LP ⊂ For;
b) si ϕ∈For entonces ¬ϕ∈For;
c) si ϕ, ψ∈For entonces (ϕ * ψ)∈For —donde * ∈K–{¬};
d) si ϕ∈For, entonces esto es el resultado de aplicar a)−c).
Hemos puesto estas dos variantes para estudiar mejor cómo se define el conjun-
to de las órmulas. Empecemos por lo que tienen las definiciones 1 y 2 en común.
La cláusula a) afirma que el conjunto de las letras proposicionales está incluido en
el conjunto For. Es decir, las letras proposicionales son órmulas. La cláusula b)
asegura que si algo es una órmula, tal órmula precedida por la negación también
es una órmula. La cláusula c) garantiza que, dadas dos órmulas ϕ y ψ, la cadena
que comienza con un paréntesis curvo izquierdo, luego ϕ, luego un conector cua-
lesquiera (menos la negación), luego ψ y, finalmente, un paréntesis curvo derecho
es también una órmula. Estudiemos ahora el aspecto en que difieren. La definición
1 exige que For sea el conjunto más pequeño que cumple estas condiciones y la
definición 2 pide que nada «entre» a For si no lo hace por aplicación de las cláusulas
a)−c). Ambas exigencias cumplen la misma unción: evitar que, además de las expre-
siones que «ingresan» a For por dichas cláusulas, se introduzcan otros elementos.
Esta definición del conjunto For es un ejemplo de una estrategia definicional es-
pecialmente útil en lógica. Se denominan a tales definiciones definiciones inductivas.
Aunque la teoría de tales definiciones no será estudiada en este libro, podemos no
obstante orecer una idea general acerca de las mismas.
Conjunto inductivo
Definición
Sea A un conjunto, sea B un subconjunto no vacío de A y sea O un conjunto de
operaciones definidas en A (esto es, unciones en A), entonces un subconjunto C de
A se dice que es inductivo s i se cumple que
a) B⊆C
b) C es cerrado bajo las operaciones pertenecientes a O —es decir, si o es una
operación n−aria perteneciente a O, el resultado de aplicar o a n elementos
de C, está también en C.
Un conjunto D es caracterizado o definido o generado inductivamente si es el
a
c
menor conjunto inductivo contenido en A. O, si se prefiere, si D es la intersección
i
l
b
ú
p
de todos los conjuntos inductivos de A —asumiendo naturalmente la base B y las
e
R
a
operaciones O.36E s ácil ver cómo la definición 1 del conjunto For es una instancia
l
e
d
de esta estrategia general.
d
a
d
i
s
r
e
v
i
n
U
36 He seguido aquí algunas observaciones que aparecen en Franco Oliveira (2004).
60
Fórmulas
(Lenguaje L)
no-fórmulas
62
⊃
z
n
a
ñ
Sea For 1 definido así: For 1= Gi. e
s
n
E
i ∈ e
d
Demuestre que For 1 ≠ For. l
a
i
r
o
t
c
e
• Sea For como lo hemos presentado en la definición 1 de Conjunto de ór- S
n
ó
mulas. Sea el conjunto de los números naturales. Sea <G i> con i∈ una i
s
i
m
serie de conjuntos construida del modo siguiente: o
C
63
a. G0=LP;
b. Sea Gn + 1=Gn ∪{¬ϕ:ϕ∈Gn}∪{ (ϕ * ψ): ϕ, ψ∈G0} con *∈K−{¬}.
⊃
Sea For 1 definido así: For 1= Gi.
i ∈
Demuestre que For 1≠For.
• Sea For como lo hemos presentado en la definición 1 de Conjunto de
órmulas. Sea el conjunto de los números naturales. Sea <G i> con i∈
una serie de conjuntos construida del modo siguiente:
a. G0=LP;
b. Sea Gn + 1=G0∪{¬ϕ:ϕ∈Gn }∪{(ϕ * ψ): ϕ, ψ∈Gn} con *∈K −{¬}.
⊃
Sea For1 definido así: For 1= Gi.
i ∈
Verifique si For1=For.
4. Construya problemas análogos a los propuestos en los ejercicios 1 y 2
anteriores.
66
Usamos aquí las mismas letras que señalan cada paso en el esquema para acilitar la
identificación de los mismos.
a. Sea F∈LP. Luego opi[F]=0=opd[F] y así opi[F]=opd[F].
b. Sea F≡¬G. Probaremos que la propiedad vale para ¬G, esto es, F. Por hi-
pótesis inductiva opi[G]=opd[G], entonces trivialmente opi[ ¬G]=opd[¬G]
i.e. opi[F]=opd[F].
c. Sea F≡(G*H). Probaremos que la propiedad vale para (G*H), es decir, F
Por hipótesis inductiva, opi[G]=opd[G] y opi[H]=opd[H]. Entonces tene-
mos que opi[(H*G)]=opi[H]+opi[G]+1= opd[H]+opd[G]+1=opd[(H*G)].
Es decir, opi[F]=opd[F].
Como es obvio, esto completa la prueba y demuestra la propiedad en cuestión
para toda órmula
Proposición
Para toda F∈For, op[F]+1 ≤ lar[F].
a
Prueba. Nuevamente, demostraremos siguiendo el esquema de prueba de arriba. z
n
a
ñ
a. Sea F∈LP. Entonces op[F]=0 y lar[F]=1 i.e. op[F]+1 ≤lar[F]. e
s
n
E
e
b. Sea F≡¬G. Probaremos que la propiedad vale para ¬G, esto es, F. Sabemos d
l
a
i
que op[F]=op[G] ya que F no tiene más paréntesis que G. Y sabemos tam- r
o
t
c
e
bién que lar[F]=lar[G]+1, por la presencia del conectivo negación. Por hi- S
n
ó
i
s
i
41 He usado paréntesis rectos a los eectos de que sean gráficamente dierentes los paréntesis co- m
o
C
rrespondientes a la órmula F de los paréntesis pertenecientes a la unción en cuestión.
67
Síntesis
El objetivo de esta primera parte de nuestro estudio residía, en términos gene-
rales, en comenzar el estudio de las estructuras argumentales más simples, a saber,
las estructuras proposicionales. La lógica que estudia tales estructuras se denomina
lógica proposicional o enunciativa. Desde el punto de vista histórico curiosamente
no ue el estudio de ésta el que se desarrolló primeramente en orma más prounda.
La lógica aristotélica —la lógica desde Aristóteles hasta mediados del siglo XIX—
no privilegia el estudio de las estructuras proposicionales. Como señalan Kneale y
Kneale,43 la peripatética —continuadora de Aristóteles— y la estoica —continua-
dora de la tradición megárica— ueron las dos grandes escuelas lógicas de la anti- a
z
n
güedad. El origen de la lógica proposicional se remonta, precisamente, a la escuela a
ñ
e
estoica. Este hecho, no obstante, escapó a la percepción de los historiadores hasta s
n
E
e
que en la década del 30 del siglo pasado Jan Lukasiewicz, un lógico y filósoo polaco, d
l
a
i
lo puso de manifiesto.44 Lukasiewicz muestra la orma correcta de entender textos r
o
t
c
e
S
n
43 Véase Kneale y Kneale (1984) p. 107. ó
i
s
i
44 Puede consultarse especialmente Lukasiewicz (1975) donde el autor señala que deendía tal m
o
C
posición desde la década del 20. El trabajo clásico sobre la lógica megárico-estoica es La lógica
69
producidos por los estoicos como el siguiente —que eran conocidos pero interpre-
tados en otra «clave»:
Si lo primero, entonces lo segundo,
es así que lo primero;
luego lo segundo.
Escribe Lukasiewicz:45
En esta órmula, las palabras «lo primero» y «lo segundo» son variables porque
los estoicos no representaban las variables con letras sino con números ordi-
nales. Es claro que tampoco estas variables pueden ser sustituidas con sentido
por otra cosa que no sean proposiciones; por ejemplo, «es de día», «hay luz».
Al realizar esta sustitución obtenemos la inerencia que aparece una y otra vez
como ejemplo escolar en los textos estoicos: «Si es de día, entonces hay luz; es
así que es de día; luego hay luz».
Así, aunque comienza en orma prácticamente contemporánea a la obra de
Aristóteles, el desarrollo de tal lógica solo tiene lugar muy posteriormente. El pro-
pio Lukasiewicz señala que el «undador» de la lógica proposicional moderna es
Gottlob Frege; este último desarrolla un sistema lógico más poderoso —pero que
captura rigurosamente las inerencias proposicionales— en la segunda mitad del si-
glo XIX. Tal sistema es presentado en una obra titulada Conceptografía —aparecida
en 1879— y que es una piedra undacional de la lógica matemática moderna. El
objetivo general de la empresa es allí descripto de esta orma: 46
para que no pudiera introducirse inadvertidamente algo intuitivo, se debió
llegar a suprimir toda laguna en la cadena de inerencias. Al procurar cumplir
lo más rigurosamente posible con este requerimiento me encontré, junto con
las dificultades que surgen de la expresión, un obstáculo en la inadecuación
del lenguaje: cuanto más complicadas eran las relaciones tanto menos podía
alcanzar la exactitud requerida por mi propósito. De estas necesidades nació
la idea de la presente conceptograía. Por lo pronto, ésta debe servir para pro-
bar de la manera más segura la precisión de una cadena de inerencias y para
denunciar toda proposición que quisiera colarse inadvertidamente y poder
investigarla en su origen.
Aquí aparece nítidamente establecida la necesidad de un lenguaje especial par-
ticularmente preciso. La historia de la construcción de lenguajes ormales es, como
se dijo antes, muy rica y no ha sido el resultado del esuerzo de un único pensador.
Sin embargo, Frege juega en tal empresa —junto a otros autores como Hilbert o
Tarski— un papel muy destacado. Estas líneas suyas permiten ejemplificar las moti-
a
c
i
l
vaciones para construir lenguajes lógicos ormales. En particular, para construir un
b
ú
p
e
lenguaje artificial adecuado para capturar las estructuras argumentales deductivas
R
a
l
proposicionales, como el que acabamos de estudiar en su aspecto sintáctico.
e
d
d
a
d
i
s
de los estoicos, Mates (1985).
r
e
v
i
n
45 Lukasiewicz (1975) p. 89.
U
46 Véase Frege (1972).
70
a
z
n
a
ñ
e
s
n
E
e
d
l
a
i
r
o
t
c
e
S
n
ó
i
s
i
47 Es más ajustado decir que cumple con el teorema de lectura única y que la unicidad de lectura m
o
C
es un prerrequisito de la univocidad pretendida.
71
C APÍTULO 4
b) (A1→A2)
A1
A2 a
z
n
a
ñ
e
Un modo razonable de comenzar a interpretar nuestro lenguaje consiste en atri- s
n
E
buir «significado» a las letras proposicionales. Estas se caracterizan, precisamente, por e
d
l
a
i
«nombrar» enunciados. Estos, a su vez, son oraciones que o bien son verdaderas o bien r
o
t
c
son alsas. Dado que no nos interesa el «contenido» del enunciado que la letra propo- e
S
n
ó
sicional representa sino solo el valor de verdad del mismo, un modo natural de inter- i
s
i
m
pretar aquélla parece ser atribuirle exclusivamente el valor de verdad del enunciado. o
C
73
A1 A2 (A1∧A2)
V V V
F V F
V F F
F F F
La idea intuitiva es obvia: la conjunción será verdadera si sus dos componentes
son verdaderos. Si usamos el ejemplo de arriba, solo en el caso que el gato duerma
la siesta y la mariposa revolotee en el jardín diremos que es verdad la conjunción c).
Debe advertirse que el conectivo «conjunción» puede —al igual que cuales-
quiera de los restantes— aplicarse a fórmulas de cualquier complejidad , esto es, no
necesariamente a letras proposicionales. Por ello, preeriremos orecer la definición
de los mismos usando, por así decir, «meta–variables»: letras que representarán una
órmula cualquiera del lenguaje. Repetimos ahora la definición de la «conjunción»
usando tales letras —para expresar claramente que nuestra definición se aplica no
meramente a la conjunción de dos letras de enunciados sino a la conjunción de dos
fórmulas cualesquiera —:
Conjunción (se asocia a expresiones como «y», «pero» y «además»)
ϕ ψ (ϕ∧ψ)
V V V
F V F
V F F
F F F
Este conectivo puede leerse (en el lenguaje ormal) como «y» o «conjunción». a
z
n
a
Recuerde: una conjunción solo es verdadera cuando sus dos componentes son ñ
e
s
n
verdaderos. E
e
d
Argumentos similares al reerido a la conjunción, apoyados en las intuiciones l
a
i
r
semánticas que gobiernan el uso de las partículas lingüísticas respectivas en el len- o
t
c
e
S
guaje ordinario, permiten justificar (inormalmente) las definiciones siguientes: n
ó
i
s
i
m
o
C
75
a
La interpretación de este conector supone entenderlo como afirmando que se
c
i
l
b
ú
cumple o no se cumplen ambos enunciados componentes. Este conector puede
p
e
R
leerse (en el lenguaje ormal) «si y solo si» o «bicondicional». Ejemplo del uso del
a
l
e
d
conector en el lenguaje ordinario: «Un triángulo es rectángulo si y solamente si tiene
d
a
d
un ángulo recto». Recuerde: un bicondicional es verdadero (falso) si y solo si sus
i
s
r
e
componentes coinciden (no coincidan) en el valor de verdad.
v
i
n
U
76
la verdad del antecedente. Este conector puede leerse (en el lenguaje ormal) «si …
entonces…» o «condicional». Ejemplo del uso del conector en el lenguaje ordinario:
«Si Juan gana la lotería, entonces paga su deuda». Recuerde: Un condicional es falso
si y solo si su antecedente es verdadero y su consecuente falso.
Como el lector habrá advertido los conectores ya analizados poseen la peculia-
ridad de conectar dos fórmulas (de cualquier complejidad). A tales conectores se
les denomina binarios. En el caso del conector « ¬» —denominado «negación»— se
aplica a una órmula (de cualquier complejidad) y por ello se le denomina unario .
En consonancia con la última observación, la tabla solo debe contemplar los dos
valores posibles que puede tener la órmula a la cual se aplica el operador; la defi-
nición es la esperada:
Negación (asociada con las expresiones «no», «no es cierto que»)
ϕ ¬ϕ
V F
F V
Se lee «no» o «negación» en el lenguaje ormal. Ejemplo del uso del conector en
el lenguaje ordinario: «No es cierto que 5 sea mayor que 6».
Dado que los paréntesis cumplen simplemente el papel de signos de puntuación,
queda así delineado —desde el punto de vista intuitivo— cuál será el concepto de
interpretar o cómo se construye la semánticad e los lenguajes proposicionales. En la
próxima sección ormalizaremos estas ideas.
Problemas y tareas
1. Los enunciados «Juan es sano» y «Juan es rico» pueden permitirnos gene-
rar nuevos enunciados aplicando los conectivos ya estudiados. Orezca diez
ejemplos de enunciados que surgen de tales aplicaciones. Escriba las órmulas
correspondientes a cada uno de ellos.
2. Las «tablas de verdad» exhiben el significado de los conectores respectivos.
Construya tablas de verdad que capturen el significado:
a. de algún conector binario que no ha sido caracterizado arriba;
b. de un conector unario distinto de la negación;
c. del conector binario siguiente —cuya expresión en el lenguaje natural
aparece subrayada—: Juan ni es sano, ni es rico.
a
c
i
l
Interpretación de L (desde un punto de vista formal)
b
ú
p
e
R
La idea consiste, brevemente expresada, en definir una interpretación I del len-
a
l
e
guaje proposicional como una unción que otorga valores a todas las órmulas del
d
d
a
lenguaje y que, además, satisace ciertas restricciones, esto es, «respeta» las opera-
d
i
s
r
e
ciones. Para ormalizar estas ideas, debemos establecer algunas definiciones.
v
i
n
U
78
79
Sea Gu n conjunto de órmulas de L. Sea I ju na interpretación que hace verdaderas
todas las órmulas de G. Decimos que I j es un modelo de G. Cuando una órmula ϕ
Consecuencia teórico-modélica
Definición
Sea G un conjunto de órmulas de L. Sea ϕ ∈ For. Se dirá que ϕ es consecuen-
cia teórico–modélica de G —se nota G ϕ - si y solamente si, todo modelo de G, es
modelo de ϕ.
Recuérdese que un «modelo» es una interpretación —es decir, una I j. Para que
exista la relación de consecuencia teórico –modélica lo que estamos exigiendo enton-
ces es que, toda interpretación que verifica las órmulas de G, verifique también ϕ.
Otro importante concepto intuitivo es el de «verdad lógica». A veces se caracte-
riza inormalmente al mismo como «verdad en todo mundo posible». En este libro
no nos ocuparemos especialmente de tal concepto. Su contrapartida ormal es la
noción de validez: una órmula es válida si es verdadera en toda interpretación.
Validez proposicional
Definición
Sea ϕ∈For. Se dice que ϕ es válida si y solamente si ϕ es verdad en toda
interpretación.
Otras importantes nociones de las cuales tenemos cierta comprensión intuiti-
va adquieren también aquí un significado matemático preciso. Las nociones de
consistencia e inconsistencia pueden pensarse que, en este contexto, corresponde
entenderlas como satisacibilidad e insatisacibilidad.
Conjunto de fórmulas satisfacible
Definición
Sea G un conjunto de órmulas. Diremos que G es satisfacible si y solamente si
existe al menos una interpretación que es modelo de G. En otro caso diremos que
G es insatisfacible .
Problemas y tareas
1. Una a.v.v. es una unción que otorga valores a todas las letras proposicionales
de nuestro lenguaje. Defina cinco unciones de este tipo —por simplicidad
denomínalas 1, 2, 3, 4, 5. Como recuerda, dos asignaciones de valores de
verdad son distintas si para al menos una letra proposicional difieren en el
a
valor que le otorgan. z
n
a
ñ
2. Cada una de las a.v.v. anteriormente definidas caracteriza una interpretación: e
s
n
E
I 1, I 2,… Construya, para cada una de estas cinco interpretaciones, tres órmu- e
d
l
las (moleculares) que sean verdaderas y una órmula (molecular) que sea alsa. a
i
r
o
t
3. Construya tres modelos dierentes para las órmulas siguientes (es decir, cada c
e
S
81
del lenguaje natural al lenguaje ormal L. 53 Es decir, tenemos un cierto argumento
en el lenguaje natural, digamos:
Si Juan es vampiro, entonces posee un castillo.
1.
Juan es vampiro.
Juan posee un castillo.
Como el lector seguramente recuerda, este argumento posee la misma estructu-
ra que el argumento a) del capítulo anterior. Luego lo traducimos a L, por ejemplo:
2. (A1→A2)
A1
A2
Esta «traducción» puede entenderse simplemente como una especie de escritura
en L del esquema b) del capítulo anterior. Y, teniendo en cuenta el significado de la
barra que separa premisas de conclusión, tal esquema puede reducirse a una expre-
sión —como c) del capítulo anterior. La escritura de la misma en L puede lucir así:
Si analizamos el trabajo que hemos hecho —al que hemos denominado tra-
ducción— quizá sea conveniente distinguir dos momentos de la misma. En primer
término, el pasaje del argumento en el lenguaje natural 1) al esquema argumental
escrito en el lenguaje ormal 2). Este pasaje no ha ocupado la atención de la lógica
matemática. No poseemos aquí ningún procedimiento estándar más allá del sugeri-
do por la asociación lingüística ya señalada entre ciertas partículas del lenguaje or-
dinario y nuestros conectivos de L. En segundo término, tenemos la transormación
de nuestro esquema argumental 2) en la órmula 3): esta es absolutamente mecánica.
Podemos generalizarla así. Si nuestro esquema argumental es
Pre1
Pre2
:
:
Pren a
z
n
Con a
ñ
e
s
n
E
e
—donde Prei( 1 ≤i≤n) representa órmulas de L que uncionan como premisas de d
l
a
i
la órmula de L tomada como conclusión Con— entonces: r
o
t
c
e
S
n
ó
i
s
i
53 Este tipo de problemas no se atienden en este curso; el lector interesado puede consultar, por m
o
C
ejemplo, Quine (1967) o Deaño (1974).
83
((Pre1∧Pre2…∧Pren)→Con)
es la órmula correspondiente.
Pero ahora nos debemos preguntar si el argumento inicial es lógicamente co-
rrecto y para ello deberíamos ser capaces de evaluar, en este caso específico, si la
conclusión es consecuencia lógica (consecuencia teórico-modélica) de las premisas.
Este problema naturalmente se reduce aquí a evaluar la órmula que expresa la re-
lación entre premisas y conclusión.
Adviértase que hemos llegado así a la necesidad de encontrar procedimientosq ue
nos permitan resolver el problema específico de la evaluación de las órmulas que
expresan la relación entre premisas y conclusión. 54 Esta tarea es la que ocupará las
dos secciones siguientes.
Podemos sustituir las interrogaciones por números que indiquen el orden en que
tengo que calcular los valores de verdad de las órmulas involucradas:
A1 A2 (((A1→A2)∧A1)→ A2)
V V 1 2 3
Adviértase que se trata de una interpretación, a saber, cuando ambas letras pro-
posicionales son verdaderas. Pero ¿hay otras interpretaciones? Obviamente sí. Es
más, en este caso resulta claro que hay tres y solo tres interpretaciones más —ya que
en las definiciones de los conectivos se encuentran expresadas todas las interpreta-
ciones posibles de las letras ocurrentes en la órmula.
Para calcular pues el valor de la órmula para todas las interpretaciones posibles
de A1 y A 2b asta pues con construir una tabla como la que sigue:
a
z
A1 A 2 (((A 1→A2)∧A1)→ A 2) n
a
ñ
e
V V V V V s
n
E
V F F F V e
d
l
a
F V V F V i
r
o
t
c
F F V F V e
S
n
ó
i
s
i
m
o
C
85
«conectándolas» con los conectores apropiados. Describa cómo construir una e
d
l
a
i
órmula tautológica a partir de: r
o
t
c
a. una órmula contradictoria y una órmula contingente; e
S
n
ó
i
s
i
m
o
C
55 Véase Quine (ob.cit.).
87
1) (((A1→A2)∧(A2→A3))→(A1→A3))
Si existiera una asignación de valores de verdad o veritativos para las letras pro-
posicionales que ocurren en (1) que la hiciera alsa, debiera ser tal que el valor del
antecedente —para esa asignación— uera verdadero y el valor del consecuente —
para esa asignación— uera also. Para que resulte más intuitivo, podemos describir
la situación así:
2) (((A1→A2)∧(A2→A3))→(A1→A3))
V F
a
c
i
l
luego solo puede ser tal que otorgue V a A 1y F a A 3, pues en otro caso no haría
b
ú
p
also el consecuente:
e
R
a
l
e
d
d
3) (((A1→A2)∧(A2→A3))→(A1→A3))
a
d
i
s
r
V F V FF
e
v
i
n
U
88
Ahora bien, como ya he atribuido valores a A1 y A 3l a situación debe describirse
así
4) (((A1→A2)∧(A2→A3))→(A1→A3))
V V F V F F
Pero entonces, para que el antecedente sea verdadero, deben hacerse verdaderos
los dos componentes de la conjunción. El único modo de hacer verdadero (A 1→A2)
es:
5) (((A1→A2)∧(A2→A3))→(A1→A3))
V V V ? V ? F V F F
Pero, como es obvio, asignar V a A2 hace also el segundo componente de la
conjunción (A2→A3). Luego, para que el antecedente uese verdadero, se necesita-
ría una atribución de valores que hiciera a A 2 … ¡verdadera y alsa a la vez! Hemos
llegado así a un absurdo, a partir de la idea de que existe una asignación de valores
veritativos a las letras proposicionales ocurrentes en 1) que puede hacer alsa 1). La
conclusión es pues que no existe tal asignación, es decir, que 1) es una tautología.
Repárese que el argumento ha consistido, básicamente, en suponer que hay una
atribución de valores a las letras proposicionales de 1) que la hace alsa y, a partir
de tal suposición, llegar a una contradicción consistente en tener que asumir que
tal asignación debiera otorgar a una letra proposicional los valores V y F. Luego
concluimos que tal atribución no existe, es decir, no hay atribución que haga alsa
1) i.e. 1) es tautología. Como el lector seguramente ya advirtió, la idea que subyace
al procedimiento es la de la argumentación por absurdo. El próximo paso consistirá
en ormalizar el mecanismo descrito.
Tal método —como se dijo— puede denominarse método de tablas analíticas.
Seguiremos la presentación que hace R. Smullyan 56 y agregaremos al sistema pro-
puesto por este autor reglas para el bicondicional y la disyunción exclusiva. En reali-
dad tal operación no acrecienta el poder expresivo del cálculo (esto resultará claro a
partir de la sección Conjuntos adecuados de conectivos ). La razón de tal «ampliación»
es simplemente que luzca adecuado para trabajar con un lenguaje como el definido.
Se parte de ciertos «hechos» semánticos, en relación con el comportamiento de
los conectivos:
1. Si ¬A es verdadera, A es alsa a
z
n
a
Si ¬A es alsa, A es verdadera. ñ
e
s
n
2. Si A∧B es verdadera, A es verdadera y B es verdadera E
e
d
l
Si A∧B es alsa, A es alsa o B es alsa a
i
r
o
3. Si A∨B es verdadera, A es verdadera o B es verdadera t
c
e
S
Si A∨B es alsa, A es alsa y B es alsa n
ó
i
s
i
m
o
C
56 Smullyan (1968). En español puede consultarse Garrido (1974).
89
90
¬(((A1→A2)∧(A2→A3))→(A1→A3))+
(A1→A2)∧(A2→A3)
¬(A1→A3) +
A1
¬A3
¬(((A1→A2)∧(A2→A3))→(A1→A3))+
(A1→A2)∧(A2→A3)+
¬(A1→A3)+
A1
¬A3
A1→A2
A2→A3
¬(((A1→A2)∧(A2→A3))→(A1→A3))+
(A1→A2)∧(A2→A3)+
¬(A1→A3)+
A1
¬A3
A1→A2+
A2→A3 a
z
n
a
¬A1 A2 ñ
e
s
n
x E
e
d
l
a
i
r
o
t
c
e
S
n
ó
i
s
i
57 Se copia todo lo ya construido para que se aprecie el desarrollo del procedimiento y la estruc- m
o
C
tura del mismo.
91
92
a. Orezca para estos conectores reglas análogas a las establecidas para los de
L a los eectos de desarrollar las tablas analíticas;
b. ¿Encuentra alguna relación entre las reglas para «x» y «x’ » y las de algunos
de los conectores de L?
93
94
95
PI. (A1↔A1)
PTE. (A1∨¬A1)
PNC. ¬(A1∧¬A1)
La validez de estas órmulas orma parte del corazón mismo de la lógica clásica.
Algunas teorías lógicas divergentes o no–clásicas han cuestionado, precisamente,
tal validez. Por ejemplo, la lógica intuicionista rechaza PTE y la lógica paraconsis-
tente objeta PNC.
Respecto de cada conectivo existen una serie de «verdades» sobre los mismos
que resulta útil conocerlas.
Comencemos estudiando algunas propiedades de la conjunción y la disyunción
inclusiva. Si se inspecciona las definiciones de estos conectores puede ácilmente
advertirse que ambos son operadores conmutativos, es decir
MP. ((A1→A2)∧A1)→A2
Modus Tollens:
(A1→A2)
¬A2
¬A1
Resulta útil, a los eectos de evitar errores muy comunes, recordar dos leyes
usuales, las denominadas leyes de De Morgan:
DM1. ¬(A1∧A2)↔(¬A1∨¬A2)
DM2. ¬(A1∨A2)↔(¬A1∧¬A2)
Estas dos leyes, por otra parte, nos recuerdan la posibilidad de expresar el signi-
ficado de un conectivo a través de otro, como vimos en la sección Conjuntos adecua-
dos de conectivos. Por ejemplo, dadas las equivalencias anteriores parece obvio que
(A1∧A2)↔¬(¬A1∨¬A2)
(A1∨A2)↔¬(¬A1∧¬A2)
Es decir, si, por ejemplo, contamos en un cierto lenguaje proposicional con los
conectivos disyunción inclusiva y negación, podemos prescindir de la conjunción.
Lo mismo respecto de la disyunción, si contamos con conjunción y negación. En
realidad, como hemos demostrado, tal enómeno es más general.
Síntesis
Una de las motivaciones centrales de la lógica, tal como ue discutido en el
capítulo 1, consiste en la evaluación de argumentos. En este contexto, tal tarea se
concentra en la evaluación de la relación entre premisas y conclusión. Más específi-
camente, determinar si un argumento es lógicamente correcto quiere decir establecer a
z
n
a
que su conclusión es consecuencia lógica de sus premisas. Dada la naturaleza se- ñ
e
s
n
mántica de tal relación, resulta de indudable interés construir la dimensión semán- E
e
d
l
ticad el lenguaje ormal caracterizado en el capítulo anterior. a
i
r
o
t
c
e
S
n
ó
i
s
i
m
o
C
97
98
a
z
n
a
ñ
e
s
n
E
e
d
l
a
i
r
o
t
c
e
S
n
ó
i
s
i
m
o
C
59 El último capítulo de este libro sugiere la posibilidad de deender un punto de vista alternativo.
99
C APÍTULO 5
101
Pues es una propiedad de tal trama, a saber, el carácter auto–evidente , esencial para
cualificarlo como correcto. Esta propiedad reclama naturalmente elucidación.
Un modo de entender esta auto–evidencia consistiría en que el pasaje de un
paso al otro sea el resultado indiscutible de la aplicación de una regla de legitimi-
dad indudable. La indiscutibilidad de que se trata de la aplicación de una cierta
regla podría resultar de la claridad propia de la regla, es decir, de la naturaleza de
las condiciones que la misma impone. Veremos que, dado su carácter puramente
sintáctico, ciertas reglas gozan de esa transparencia. La indubitabilidad, en cambio,
de su legitimidad, podría derivar de la evidencia respecto a la transmisión necesaria
de la verdad de las premisas a la conclusión obtenida por aplicación de la misma. Es
decir, la satisacción de la exigencia de consecuencia lógica.
Esta explicación obviamente supone una cierta reducción de este segundo cri-
terio de corrección al primero y, en ese sentido, la noción intuitiva de consecuen-
cia lógica posee una especie de primacía respecto de esta noción de argumento
idealmente justificado. Tal atribución a la noción intuitiva semántica de un carác-
ter básico y undamental seguramente no resultará unánimemente aceptada. Esta
concepción debe entenderse que unciona como un presupuesto conceptual de la
estructura y motivación generales de este libro pero no aecta el contenido técnico
del mismo (que, naturalmente, es el estándar).
Asumida esta articulación entre ambas concepciones intuitivas, cabe pregun-
tarse cómo rigorizar o ormalizar esta noción de argumento idealmente justificado.
La respuesta será el concepto de sistema deductivo (también hablaremos de sistema
deductivo formal o, brevemente expresado, sistema formal ).
103
1
..
k (((A1→A2)∧A1)→A2)
{ pasos justificados por axiomas y reglas
64 Quizá sea útil recordar que los sistemas de deducción natural aparecen mucho más naturalmente
a
c
i
asociados a la concepción de la lógica como un conjunto de reglas de naturaleza meta–teórica
l
b
ú (podríamos decir, lógica como «lógica subyacente» a diversas teorías) y los sistemas axiomáticos
p
e
R
más próximos a una percepción de la lógica como teoría acerca de cierto tipo de «verdades», a
a
l
e
saber, las «verdades lógicas».
d
d
a
65 Véase Mendelson (1987).
d
i
s
r
66 Véase Mates (1965).
e
v
i
n 67 En este punto así como en el sistema axiomático escogido —como se adelantó— se sigue
U
Mendelson (ob. cit.).
106
108
b) (A∨B)≡de ( ¬A→B)
c) (A↔B)≡de ((A→B)∧(B→A)).
Esto completa la presentación de axiomas y reglas de inerencia de M. Un tra-
tamiento detallado de este sistema se encuentra en la obra ya citada de Mendelson.
Número de premisa
.. .. ..
. . .
{n} n ϕ j P
... ... ...
Número de línea
111
b) Puedo escribir en una línea k, α→ϕs i en una línea anterior a k tengo ¬ϕ→¬α.
Condicionalización (C)
Intuitivamente, esta regla me permite, a los eectos de demostrar un condicional,
introducir el antecedente del mismo como premisa o supuesto y cuando demuestro
el consecuente, puedo escribir el condicional y «liberar» a tal condicional de la de-
pendencia de la premisa o del supuesto antes introducido. Formalmente:
a) Los números de premisa serán todos los números de premisa de la línea en
que ocurre ϕ, excepto (si es conveniente a los eectos de la prueba) el número
de línea de α( cuando el condicional que introduzco por la regla es α→ϕ). Un
uso habitual de esta regla lo ejemplifica el caso siguiente
.. .. ..
{n} n ϕk P
.. .. ..
{a,j,n} n+m ϕ j
{a,j} n+m+1 ϕk→ ϕ j C n+m
112
A→B
B→C
A→C
Veamos otro ejemplo. Pensémosle directamente como regla:
¬A→¬B
B
A
El lector seguramente ya advirtió que esta nueva regla se trata de una orma de
Modus Tollens. Como se ha dicho, este sistema es básicamente el que introduce
Mates en «Lógica matemática elemental». Un tratamiento detallado se encuentra
pues en dicha obra, aunque en las secciones siguientes oreceremos una discusión
didáctica a los eectos de elaborar demostraciones en el mismo.
{1} 1 g1 P
{2} 2
k
g2
gk
..
.. {
P
P
G, premisas
..
..
a
z
.. ¿? n
a
ñ
e
s
k+n ϕ Conclusión n
E
e
d
l
a
i
r
o
t
c
e
S
n
ó
i
s
i
m
o
C
115
116
A→B
B→C
A→C
117
T1. A→A
T2. ((A→(B→C))→(B→(A→C)))72
Negación
Supongamos que se tiene una órmula negada como conclusión, es decir, la ór-
mula que pretendemos demostrar (que no tenemos demostrada o asumida) posee,
como conector principal, la negación. Una estrategia especialmente importante es
la de las demostraciones por absurdo (sobre la cual discutimos, en términos inorma-
les, en el capítulo 1). Una orma de ormalizar la misma que puede resultar útil es
la siguiente:
(Abs.)
A→B
A→¬B
¬A
{1} 1 A1→A 2 P
a
c
i
l
b
{2} 2 A 2→¬(A3→¬A 4) P
ú
p
e
R
{3} 3 A1→(A4→¬A3) P
a
l
e
{4} 4 A1 P suposición
d
d
a
d
{1,4} 5 A 2 MP 1,4
i
s
r
e
v
i
n
U
72 Este teorema ue demostrado en la página anterior.
118
Uso la doble barra para indicar que puede leerse la regla en las dos direcciones
(descendente como es habitual y también ascendente). Como en casos anteriores,
el conjunto de números de premisa de la conclusión es el conjunto de números de
premisa de la premisa usada en la regla.
Existen asimismo otros teoremas de gran utilidad:
a
c
i
l
b
He aquí la prueba:
ú
p
e
R
a
l
{1} 1 A1→(A 2∧A3) P
e
d
d
{2} 2 A 2→A 4 P
a
d
i
s
r
{3} 3 A3→A5 P
e
v
i
n
{4} 4 A1 P
U
120
Disyunción inclusiva
Supongamos que se espera probar como conclusión una órmula cuyo conector
principal es la disyunción inclusiva. La regla estructuralmente paradigmática es
RD1. Es decir, si debo probar una disyunción inclusiva me alcanza con probar una
de las órmulas conectadas por ella. Esto es:
RD1
A B
A∨B A∨B
El conjunto de números de premisa de la conclusión (de la regla) es la unión del
conjunto de números de premisa de ambas premisas de la regla.
Supongamos que se tiene ahora una premisa cuyo conector principal es una
disyunción inclusiva. Explotar esta premisa (desde el punto de vista estructural)
querrá decir, como en los casos anteriores, extraer nuevas órmulas a partir de ella.
La regla paradigmática aquí es RD2. Esta regla puede resultar quizá un poco menos
intuitiva que la regla correspondiente de la conjunción. La razón es que cuando
tenemos una disyunción inclusiva verdadera A ∨B no podemos saber si es verdadera
exclusivamente porque A es verdadera o exclusivamente porque B es verdadera o
porque ambas son verdaderas. Todo lo que sabemos es que al menos una de las
fórmulas componentes es verdadera. Luego no podemos aseverar A ni podemos
aseverar B sin más. Así lo que esta regla explota es la idea de que, sea A o sea B
verdadera, C tendrá que serlo si ella es implicada tanto por A como por B. La regla
puede expresarse así
RD2
A∨B a
z
A→C n
a
ñ
B→C e
s
n
E
C e
d
l
a
i
r
o
t
El conjunto de números de premisa de la conclusión de la regla es la unión de los c
e
S
121
La idea más importante aquí es advertir que la estrategia inducida por RD2
consiste en, dada la disyunción A ∨B (primera premisa de la regla), suponer A como
premisa y demostrar una cierta órmula C y luego condicionalizar (así obtener la se-
gunda premisa de la regla). Entonces suponer B como premisa, demostrar C y luego
condicionalizar (y así obtener la tercera premisa de la regla). Finalmente aplicar la
regla y obtener C. Como será evidente en el ejemplo debemos escoger C de modo
que nos proporcione la conclusión o nos acerque a la misma.
Ejemplo: Supongamos que se quiere demostrar que:
A 1→(A4∨A5)
es consecuencia lógica de las premisas:
A 1→(A2∨A3)
A 2→A4
A 3→A5
He aquí la prueba:
{1} 1 A1→(A 2∨A3) P
{2} 2 A 2→A 4 P
{3} 3 A3→A5 P
{4} 4 A1 P
{1,4} 5 A 2∨A3 MP 1,4 1.a premisa RD 2
{6} 6 A 2 P
{2,6} 7 A 4 MP 2,6
{2,6} 8 A 4∨A5 RD1 7
{2} 9 A 2→(A 4∨A5) C8 2.a premisa RD 2
{10} 10 A 3 P
{3,10} 11 A5 MP 3,10
{3,10} 12 A4∨ A5 RD1 11
{3} 13 A3→(A4∨ A5) C 12 3.a premisa RD2
{1,2,3,4} 14 A4∨ A5 RD25 ,9,13 conclusión RD 2
{1,2,3} 15 A1→(A4∨ A5) C 14
Hemos acentuado la aplicación de RD2 por resultar algo más compleja.
Observaciones pedagógicas análogas a partir de reglas similares pueden desa-
a
c
i
l
rrollarse para los conectivos restantes. Pero a partir de éstas que hemos orecido
b
ú
p
e
el trabajo de construcción de pruebas ya se torna mucho más accesible. El lector
R
a
l
puede continuar estableciendo reglas derivadas y estrategias asociadas a las mismas.
e
d
d
Asimismo dejamos como tarea para el lector la justificación de aquellas reglas deri-
a
d
i
s
r
vadas que hemos dado y que no hemos demostrado.
e
v
i
n
U
122
Problemas y tareas
1. Leer las siguientes pruebas incompletas. Completar las mismas agregando
órmulas, justificaciones y conjuntos de números de premisa que altan.
a) {(A1→A2), (A1→A3), ((A2∧A3)→A4)} (A1→A4)
{1} 1 A1→A 2 P
{2} 2 A 1→A 3 P
{3} 3 (A2∧A3)→A4
{4} 4 A1
5 A 2 MP
6 A 3
7 RC1 5,6
8 A 4
{1,2,3} 9 → C8
b) {(A1→(A2∧A3)), (A2→A4), (A3→A5), ((A4∧A5)→A6)} (A1→(A6∨A7))
{1} 1 P
{2} 2 P
{3} 3
{4} 4 P
5
6 A 2∧A3
7
8
9 RC2
10 A5
11
12 A6 MP
13 RD1
14 A1→ C
2. Demuestre las reglas derivadas orecidas en la sección Estrategias demostrati-
vas, reglas derivadas y teoremas: conectores .
a
z
n
a
ñ
e
s
n
E
e
d
l
a
i
r
o
t
c
e
S
n
ó
i
s
i
m
o
C
123
3. Demuestre:
a. {(A1→(A2∧A3)), (¬A4 →¬A2), (A5→¬A3), ((A4∧¬A5)→A6)} (A1→(A6∨A7))
b. {(A1→(A2∨A3)), (¬A4 →¬A2), (A5→¬A3), ((A4∨¬A5)→A6)} (A1→(A6∨A7))
c. {(A1→(¬A2∧A3)), (¬A4 →A2), ((A4∨A5) →¬A6), (A3→(¬A6→A7))} (A1→A7)
d. {(A1∨A2), (A1→(A3→A4)), (A5→(A2→A4)), (A3∧A5), (¬A6→¬A4)} A6
e. {(A1→(¬A2∧¬A3)), (A4→A2), (¬A3→¬A5)} (A1→(¬A4∧¬A5))
. {(A1→(¬A2∨¬A3)), (A4→A2), (¬A3→¬A4) , (¬A4→¬A5), (A1→A5)} ¬A1
g. {(A1→¬A2), (A1→A3), (¬(¬A3∨A2)→¬A4) , (¬A4→¬A5), (A1→A5)} ¬A1
Síntesis
Los desarrollos de este capítulo encuentran una importante motivación en el
denominado Modelo 2. Si evaluar un argumento quiere decir (cuando se piensa
en el Modelo 1) determinar si la conclusión es consecuencia teórico-modélica (es
decir, consecuencia lógica) de las premisas, aquí podría pensarse que evaluar quiere
decir determinar si la conclusión se deduce de las premisas —es decir, si existe un
argumento idealmente justificado que legitime la conclusión a partir de las premi-
sas. Para ormalizar esta última noción se construyeron dos sistemas deductivos: un
sistema axiomático y un sistema de deducción natural.
En cualquiera de los dos casos se ha pretendido capturar la noción intuitiva de
argumento idealmente justificado mediante la noción técnica, ormal, de prueba o
demostración74—i.e. el concepto de consecuencia teórico-demostrativa. Podríamos
preguntarnos cuál es la relación entre nuestra noción de consecuencia teórico-mo-
délica ( ) y la noción de consecuencia teórico—demostrativa ( ). La respuesta es
que, en el caso del lenguaje proposicional, son coextensionales. Este resultado suele
dividirse en los dos teoremas siguientes:
Teorema de corrección: Si G ϕe ntonces G ϕ
Teorema de completud: Si G ϕe ntonces G ϕ
Luego, el teorema de corrección nos asegura que si ϕ puede deducirse de G en-
a
c
i
tonces eso quiere decir que ϕe s consecuencia teórico-modélica de G. El teorema de
l
b
ú
p
e
R
a
l
e
d
d
a
d
i
s
r
e
74 Por razones de claridad expositiva, se ha preerido incluir ambos tipos de sistema en un mis-
v
i
n mo esuerzo elucidatorio; existen, no obstante, dierencias interesantes entre uno y otro en este
U
punto.
124
a
z
n
a
ñ
e
s
n
E
e
d
l
a
i
r
o
t
c
e
S
n
ó
i
s
i
75 Sobre algunos problemas conceptuales vinculados a estos teoremas volveremos más adelante en m
o
C
este libro cuando estudiemos el caso de los lenguajes de orden uno.
125
C APÍTULO 6
127
128
Alcanza un poco de reflexión para advertir que e) presenta también sus propios
desaíos a un lenguaje ormal que pretenda ser capaz de describir, desde un punto
de vista lógico, su estructura: en tal lenguaje ormal debería existir una «traducción»
para, por ejemplo, «5 menos 3» y para «5 es mayor que 3». Resulta nuevamente evi-
dente que, a los eectos de realizar tal tarea, el alabeto del lenguaje proposicional
es insuficiente.
La alternativa consiste pues en la ampliación de dicho alabeto y en la redefini-
ción consiguiente del conjunto de cadenas de símbolos admisibles (i.e. del conjunto
de las órmulas); este nuevo lenguaje permitirá expresar propiedades lógicas más
sofisticadas; a este estrato de la lógica se le suele denominar a veces cálculo de pre-
dicados o lógica de predicados .
Podría construirse ahora un lenguaje para el cálculo predicativo como se hace
en muchos manuales de lógica. Sin embargo —como se hace también en algunos
otros— se optará por una alternativa algo dierente. La justificación de la misma
es la siguiente. Como sabemos, uno de los objetivos de la lógica es la evaluación
argumental. En particular, un contexto privilegiado del uso de la lógica es la evalua-
ción de argumentos en el ámbito del conocimiento científico. Dicho conocimiento
se suele expresar —aunque no exclusivamente— en un tipo especial de entidad, a
saber, las teorías científicas. Las diversas teorías científicas —como es obvio— po-
seen lenguajes peculiares adecuados a sus respectivos objetos. Sin embargo, podría
pensarse —o, si se prefiere, podría asumirse provisionalmente— que usanl a misma
lógica. En principio, se tiene de hecho un importante conjunto de teorías que toman,
como lógica subyacente, precisamente la lógica de predicados —e) puede uncionar
como un ejemplo intuitivo al respecto. Por ello, en lugar de estudiar el lenguaje del
cálculo predicativo, por así decir, «aislado», nos ocuparemos de los lenguajes en que
se ormulan tales teorías y que poseen como «núcleo lógico» dicho cálculo.
Estos lenguajes poseen un poder expresivo considerable. Por ello los mismos
permiten ormalizar importantes teorías deductivas. Cada teoría habla —eventual-
mente— de propiedades, relaciones, unciones e individuos específicos y, en conse-
cuencia, exige una adaptación d el lenguaje a sus necesidades expresivas particulares
–si se piensa en e), por ejemplo, parecería que debiéramos contar en el lenguaje con
«nombres» para objetos como 0, 3 y 5. Por ello, el lenguaje del cálculo de predica-
dos tal cual se presentará aquí podría pensarse como el «lenguaje básico» al que, de
acuerdo a las peculiaridades de la teoría en cuestión, se le agregarían los símbolos
específicos correspondientes. Los lenguajes que ormalizan dichas teorías y que
cuentan con los recursos lógicos del cálculo de predicados se denominan lenguajes
de orden uno.78
Esta situación sugiere el tratamiento del lenguaje de la lógica de predicados en el
contexto de los lenguajes de orden uno; estudiaremos pues en lugar de unl enguaje
a
c
i
l
b
específico, una clase de lenguajes que comparten el «núcleo lógico», a saber, los
ú
p
e
recursos del cálculo de predicados. Una aproximación inormal a las categorías de
R
a
l símbolos de dicha clase de lenguajes se desarrolla en la sección siguiente.
e
d
d
a
d
i
s
r
e
78 Esta ordenación de los lenguajes depende —como se explicará más adelante— sobre qué tipo de
v
i
n variables es permitido cuantificar en los mismos: los de orden uno permiten cuantificar exclusi-
U
vamente sobre variables de individuo.
130
cuantificador universal, las «v» con subíndice son variables de individuo, las letras
mayúsculas representan propiedades y la «c 3» representa a Sócrates:
∀ν0(H1ν0→M1ν0)
H1c3
M1c3
Se puede leer así: si se asume que para todo v ,
0
si v0 tiene la propiedad H 1 en-
tonces tiene la propiedad M 1 y el individuo c 3 tiene la propiedad H ,
1
entonces c 3 tiene
la propiedad M 1. El lenguaje será caracterizado en detalle, desde un punto de vista
sintáctico, en la próxima sección.
• una secuencia de conjuntos <R i> con i ∈N’, donde cada Ri es un conjunto
de letras de predicado (o predicativas) de aridad i —es decir, símbolos de
relación que «exigen» un número i de argumentos; usaremos superíndices
para distinguir letras de predicado de la misma aridad, por ejemplo, R 12, R22;
• una secuencia de conjuntos <Fi > con i ∈N’, donde cada Fie s un conjunto
de letras de función (o funcionales) de aridad i —es decir, símbolos de
unción que «exigen» un número i de argumentos; usaremos superíndices
para distinguir letras de unción de la misma aridad, por ejemplo, 13, 23;
• un conjunto C d e las constantes de individuo (o individuales)— usaremos
subíndices eventualmente para distinguir los elementos de C, por ejem-
plo, c1,c2;
• dada la importancia de la relación de igualdad, se usará un símbolo espe-
cial para designarla y es el siguiente: ≈.
Se usará habitualmente las letras «R», «» y «c» con subíndices y, eventualmente,
superíndices, como, respectivamente, símbolos de relación, de unción y constantes.
El alabeto de un lenguaje de primer orden en consecuencia queda definido una
vez que se definen las secuencias de símbolos de relación y de unción y puede ca-
racterizarse así —con I⊆N’ y J⊆N’—:83
A=V∪{(,),¬,∧,∨,→,↔,∀,$}∪C∪⊃R ∪⊃F i i
i∈I i∈J
134
Puede resultar útil pensar las pruebas inductivas aquí también a través de un
esquema análogo al orecido en el capítulo 3.
Sea P una propiedad cualquiera, para demostrar que toda t ∈TER(A) posee la
propiedad P, deben recorrerse los pasos siguientes:
a. Sea t∈V. Debemos demostrar que t posee la propiedad P;
b. Sea t∈C. Debemos demostrar que t posee la propiedad P;
c. Sea t≡ nt1…tn —donde t1∈TER(A). Debe demostrarse, asumiendo la hi-
pótesis inductiva, o sea, asumiendo que cada uno de los t 1, t2…tnp oseen la
propiedad P, que t la posee.
Como en el caso proposicional, oreceremos un ejemplo de prueba inductiva
sobre TER(A):
Proposición
Sea t∈TER(A). Sea ovc(t) la unción que da el número de ocurrencias de variables
y constantes en t. Entonces ovc(t)≥1.
Prueba: Por inducción.
1. Sea t∈V. Entonces ovc(t)=1, pues t es una variable de individuo. Luego
obt(t)≥1.
2. Sea t∈C. Entonces ovc(t)=1, pues t es una constante de individuo. Luego
ovc(t)≥1.
3. Sea t≡ nt1…tn —donde t1, t2…tn∈TER(A). Por hipótesis inductiva ovc(t 1)≥1,
ovc(t2)≥1,….ovc(tn)≥1. Como n es un entero positivo, es inmediato que ovc(t) ≥1.
Al igual que en el caso proposicional, puede demostrarse aquí un teroema de
lectura única; es decir, existe una y solo una lectura para cada término o, dicho de
otro modo, los términos no exhiben ambigüedad sintáctica alguna.
Problemas y tareas
1. Los términos de los lenguajes de orden uno, como acaba de estudiarse, per-
miten (intuitivamente hablando) nombrar individuos. Dé contrapartidas en el
lenguaje ormal de las siguientes ormas de nombrar individuos:
a. Pedro
b. 0
c. 2–1
a
d. 3x4 z
n
a
ñ
2. Sea ot(t) una unción que da el número de ocurrencias de términos que ocu- e
s
n
E
rren en t (sin contar el propio t) y ol(t) una unción que da el número de e
d
l
a
ocurrencias de letras uncionales en t. Demuestre, por inducción, que para i
r
o
t
c
todo t∈TER(A), ol(t)≤ot(t). e
S
n
3. Sea ovc(t) una unción que da el número de ocurrencias de constantes y va- ó
i
s
i
m
riables en t y ol(t) una unción que da el número de ocurrencias de letras o
C
135
136
137
138
139
Traducciones y expresividad de L
Una duda que le puede surgir al lector es cuán expresivo es el lenguaje ormal
que acaba de construirse. Para responder a tal inquietud podría sugerirse la estra-
tegia de explorar hasta qué punto pueden obtenerse en L buenas «traducciones» de
enunciados del lenguaje natural. Este «test» posee un sabor relativamente empírico.
No obstante, se espera poder convencer al escéptico mediante algunos ejemplos
selectos. Por otra parte, tales ejercicios permiten cierta ganancia en amiliaridad
con los recursos del lenguaje ormal L. Más adelante —cuando ya se cuente con una
semántica ormal para este lenguaje— se entenderá «expresividad» en un sentido
diverso al que se acaba de sugerir aquí.
Como se recuerda, Aristóteles elaboró una lógica de los enunciados de la orma
sujeto–predicado. Tales enunciados —tradicionalmente— se clasifican en cuatro
tipos: universal afirmativo, universal negativo, particular afirmativo y particular ne-
gativo. He aquí ejemplificados cada uno de los tipos:
1. Todo gato es misterioso.
2. Ningún gato es misterioso.
3. Algún gato es misterioso.
4. Algún gato no es misterioso.
Es ácil construir las respectivas traducciones:
1’. ∀ν1(R11ν1→R21ν1);
2’. ∀ν1(R11ν1→¬R21ν1);
3’. $ν1(R11ν1∧R21ν1);
4’. $ν1(R11ν1∧¬R21ν1).
Todo lo expresable pues en ese marco es expresable en orden uno. Sobre la vali-
dez de las inerencias tradicionales y las inerencias clásicas deben hacerse algunas
salvedades pero, desde el punto de vista expresivo (en el sentido convenido), nuestro
lenguaje parece comportarse satisactoriamente. Por lo tanto estructuras como las
silogísticas pueden capturarse perectamente 84e n L. Así, por ejemplo, la siguiente:
Ningún estudiante de lógica es perezoso. Todo estudiante de filosofía es estudiante
de lógica. Luego ningún estudiante de filosofía es perezoso.
Tiene como traducción:
(∀ν1(R11ν1→¬R21ν1)∧∀ν1(R31ν1→R11ν1))→∀ν1(R31ν1→¬R21ν1)
a
c
Pero ciertamente este lenguaje permite «traducir» expresiones más complejas e
i
l
b
ú
interesantes. En el capítulo 2 de este libro se presentó (inormalmente) una serie de
p
e
R
a
l
e
d 84 Todos los «modos» válidos tradicionales no son válidos en orden uno pero, adecuadamente expli-
d
a
d
i
citados los supuestos (tradicionales), puede orecerse una reconstrucción aceptable de aquéllos.
s
r
e
Esta observación pueden considerarse problemática. En particular, las «traducciones» propuestas
v
i
n son objetadas por Lukasiewicz —véase Lukasiewicz (1977). Strawson defiende una posición
U
distinta —véase Strawson (1952).
140
∀ν1∀ν2(Aν1ν2↔$ν3(Pν1ν3∧Pν3ν2)),
donde «A» representa la relación ser abuelo/a y «P» la relación ser progenitor/a
de .
Luego de nuestro estudio semántico retornaremos al problema de cómo expresar
en orden uno enunciados del lenguaje ordinario.
Síntesis
El punto de partida de este capítulo es la constatación de los límites del len-
guaje proposicional para capturar ciertas estructuras argumentales cuya naturaleza
deductiva puede diícilmente cuestionarse. ¿Por qué es insuficiente el lenguaje pro-
posicional? Básicamente porque la representación de tales estructuras argumentales
exige un análisis más fino: supone capturar no ya meramente relaciones entre enun-
ciados inanalizados sino «introducirse» al interior de los mismos y describir nuevos
rasgos estructurales. Para poder realizar tal tarea la estrategia consiste en ampliar
el lenguaje ormal de los capítulos anteriores. Esta ampliación consiste, en primer
término, en incorporar al vocabulario del lenguaje proposicional símbolos que per-
mitan describir los novedosos rasgos estructurales relevantes. Tal operación supone,
naturalmente, la redefinición de aquellas cadenas que se consideran legítimas en el
lenguaje i.e. la redefinición del conjunto de las órmulas. Estas modificaciones con-
ducen a los lenguajes de orden uno .
Se ha optado por estudiar, en vez de un lenguaje de orden uno particular, una
especie de esquemad e estos lenguajes; así, en lugar de definir una labeto particular,
se orece una caracterización general de las categorías de símbolos que intervienen
en el alabeto de un lenguaje de orden uno. Es decir, se ha preerido presentar,
no un lenguaje del cálculo de predicados, por así decir, «a secas», sino una clase
de lenguajes (los lenguajes de orden uno) que utilizan los recursos del cálculo de
predicados: éste unciona como el «núcleo lógico» de tales lenguajes. La idea es
acentuar el poder expresivo y la plasticidad de los mismos en la ormalización de
argumentos. En el estudio de la sintaxis y semántica de estos lenguajes ormales se
mantendrá esta especie de «inmersión» en el cálculo de predicados; en el estudio de
los mecanismos de evaluación de órmulas, el cálculo de predicados será estudiado
en orma más aislada.
¿Cómo se ha enriquecido el stock de recursos expresivos del lenguaje proposi-
cional para obtener lo que se deseaba? Se ha adicionado a los paréntesis y conec-
tores del lenguaje proposicional, los cuantificadores, las variables de individuo, las
a
c
i
l
b
constantes de individuo, las letras relacionales, el símbolo de igualdad y las letras
ú
p
e
uncionales. Este enriquecimiento ha tornado más compleja la tarea de definir fór-
R
a
l mula que en el caso proposicional. Tal tarea se realiza, básicamente, en dos etapas:
e
d
d
a
primero se ha definido término y , a partir de esta definición, se ha obtenido la defini-
d
i
s
r
ción de fórmula. Al igual que en el lenguaje proposicional, es conveniente recordar
e
v
i
n
U
142
que los lenguajes de orden uno son sintácticamente unívocos, es decir, puede de-
mostrarse el teorema de lectura única respecto de los mismos.
Dado que hemos construido dos lenguajes ormales (el lenguaje proposicional, el
lenguaje de orden uno) es quizá un buen momento para pensar, en términos gene-
rales, la estructura, por así decir, de las caracterizaciones sintácticas respectivas. Es
decir, podemos apreciar, digamos, el método común a tales construcciones. Descrito
en orma grosera, podríamos decir que en ambos casos partimos de un alfabeto (lo
hemos llamado A, nuevamente, para evitar una prolieración excesiva de símbolos)
y luego caracterizamos el conjunto de cadenas legítimas o admisibles de ocurrencias
de elementos de ese alabeto, es decir, definimos nuestras fórmulas (nuevamente,
mantuvimos la misma notación, FOR(A), por razones de economía). Identificamos
así un lenguaje con el conjunto infinito de las secuencias legítimas de símbolos de
su alabeto; tal conjunto (en la terminología de este curso, el de las órmulas) se en-
cuentra rigurosamente caracterizado y admite así su estudio matemático. He acen-
tuado este aspecto metodológico porque es, obviamente, generalizable; además de
aprender ciertos lenguajes ormales específicos es interesante entender los mismos
como instancias de una estrategia general extremadamente rica y sugestiva tanto
desde el punto de vista técnico como desde el punto de vista conceptual.
a
z
n
a
ñ
e
s
n
E
e
d
l
a
i
r
o
t
c
e
S
n
ó
i
s
i
m
o
C
143
C APÍTULO 7
145
147
a) ∀ν1$ν2 R 2ν2ν1
b) $ν1$ν2 R 2ν1ν2.
A la luz de la interpretación anterior, resulta claro que a) es alsa, pues no es
cierto que para todo natural exista un natural menor estricto que él, ya que no hay
ningún natural menor estricto que 0. En cambio b) es verdad, debido a que es cierto
que existe al menos un natural que es menor estricto que algún natural: digamos el
0 respecto del 1.
Adviértase que tanto en el caso de a) como en el caso de b), dada la interpreta-
ción del lenguaje antes orecida, no ha existido ninguna dificultad para determinar
su valor de verdad. Podríamos preguntarnos si esto es cierto para cualquier órmula.
Supóngase ahora que se debe responder, para la interpretación dada, cuál es el
valor de verdad de la órmula de L1s iguiente:
c) R12ν1c2
Parece que la respuesta no puede darse, pues no se sabe qué valor denota la
variable . Lo que expresa c) es que el individuo al cual refiere ν1 es estrictamente
menor que 0. Mientras no se sepa cuál es el individuo denotado por esta variable la
pregunta sobre el valor de verdad de c) no puede responderse. Obsérvese que aquí
no basta la interpretación construida. Otro ejemplo puede ser:
d) R12ν3c4
Tampoco es posible determinar el valor de verdad de d). El problema surge, en
ambos casos, a partir de una limitación básica: los términos no quedan interpretados
y, luego, las fórmulas no poseen significado .
Quizá ayude a percibir más nítidamente esta situación notar que, por ejemplo, si
asumimos como se dijo arriba que la letra uncional « 1» denota la unción sucesor,
respecto de:
e) 1 v3
no puede determinarse qué número natural denota, hasta tanto no se sepa qué
número denota la variable. En cambio
) 1c1
dada la interpretación de la constante orecida antes, es obvio que este término
a
c
denota el número 1.
i
l
b
ú
Si se comparan a) y b) con c) y d) quizá el lector sospeche ya dónde radica la
p
e
R
a
dierencia respecto de las órmulas: en a) y b) no ocurren variables que no caigan
l
e
d
bajo el alcance de algún cuantificador ; en c) y d), en cambio, sí ocurren variables
d
a
d
i
que no son alcanzadas o gobernadas por ningún cuantificador . Estas últimas ocu-
s
r
e
v
i
rrencias se denominan libres; las que son alcanzadas o gobernadas por algún cuan-
n
U tificador se denominan ligadas. Este contraste resulta muy intuitivo si pensamos
148
en la inormación semántica que aporta la, por así decir, acción cooperativa del
cuantificador y la variable respectiva en el caso en que el primero «liga», «alcanza» o
«aecta» a la segunda. Por ejemplo,
g) ∀ν1R1ν1
afirma que todos los individuos tienen la propiedad R 1. Pero
h) ∀ν1R1ν2
ciertamente no dice lo mismo, ya que el trabajo cooperativo aludido no se pro-
duce. Una órmula sin ocurrencias libres de variables (o, más directamente, sin va-
riables libres) se denomina cerrada; en otro caso se denomina abierta. Más adelante
oreceremos una definición precisa de estos conceptos; por ahora estos desarrollos
serán suficientes.
La dierencia entonces entre órmulas cerradas y órmulas abiertas en este as-
pecto podría resumirse en el éxito (racaso) de las primeras (segundas) en términos
de significatividad. Podemos decir, grosso modo, que las primeras poseen signifi-
cado y las segundas carecen del mismo, una vez especificado el significado de las
diversas categorías sintácticas (exceptuando las variables).
¿Cómo enrentar pues el problema del significado de las órmulas abiertas?
Rápidamente podría responderse así: «haciendo» denotar a todos los términos que
ocurren en la órmula. Para solucionar el problema de orma radical, esto es, para
que toda fórmulaa dquiera un valor de verdad, es necesario dotar de significado a todo
término del lenguaje. Lograr esto —una vez que se ha definido una interpretación
como la de arriba— requiere una sola operación adicional: asignar valores a todas
las variables de individuo del lenguaje. Por ejemplo, es claro que si asignamos a νi el
número natural i-1, entonces c) y d) son satisechas para esa asignación por la inter-
pretación anteriormente orecida de los símbolos del lenguaje. ¿Por qué? Porque 0 es
menor estricto que 1 y 2 es menor estricto que 3. Ahora si asignamos a νie l número
natural i, entonces c) no es satisecha mientras d) sí lo es. Se tiene entonces que c) y d)
son satisechas para algunas asignaciones de valores a las variables y para algunas no
lo son. Esto es, que c) y d) queden interpretadas no depende solo de interpretaciones
de los símbolos del lenguaje como la de arriba sino que, además, debe establecerse la
asignación de valores a las variables . En síntesis, para que todas las fórmulas adquie-
ran significado es necesario ofrecer una interpretación como la ejemplificada arriba
y, además, interpretar las variables. La próxima sección está orientada —como se a
z
prometió— a amiliarizar al lector con los conceptos antes expuestos. n
a
ñ
e
s
n
E
e
d
l
a
i
r
o
t
c
e
S
n
ó
i
s
i
m
o
C
149
150
11≈> 11(x)=x2
12≈> 12(x,y)=x+y
Cualquier órmula cerrada de L 2 posee un significado bajo esta interpretación.
Por ejemplo
∀ν1(R12c1ν1→R12ν1 11ν1)
es alsa —bajo esta interpretación. Esta órmula afirma que, si un número natu-
ral es mayor que cero, entonces su cuadrado es mayor que él. Esto no es cierto, pues
12=1. Otro ejemplo:
∀ν1∀ν2( 12ν1ν2≈ 12ν2ν1)
posee un significado preciso; es verdadera, bajo esta interpretación. ¿Por qué?
Porque esta órmula (bajo esta interpretación) afirma que la suma es conmutativa.
Si se desea que toda órmula posea significado —y no solo las órmulas cerra-
das— entonces se le asigna a cada variable un elemento del dominio i.e. un número
natural. Por ejemplo:
νi≈>i+5.
Luego una órmula como R 11ν3 posee un significado preciso.
Las ideas intuitivas introducidas en «Interpretación» y ejemplificadas en esta
sección se precisan y desarrollan a partir de la sección «Interpretación de los len-
guajes de orden uno (desde el punto de vista ormal)».
Problemas y tareas
1. Construya una interpretación (en el sentido ejemplificado en «Ejemplo en
detalle de interpretación») que haga verdaderas las siguientes órmulas:
∀ν1$ν2R12ν1ν2
$ν1∀ν2R22ν1ν2
∀ν1 12c1ν1≈c1
2. Asumiendo la interpretación descrita en «Ejemplo en detalle de interpreta-
ción», escriba tres órmulas que sean verdaderas en tal interpretación y tres
órmulas que sean alsas en dicha interpretación.
3. Formule un ejercicio análogo al descrito en 1. a
z
n
4. Formule un ejercicio análogo al descrito en 2. a
ñ
e
s
n
E
e
d
l
a
i
r
o
t
c
e
S
n
ó
i
s
i
m
o
C
151
153
superíndice a un símbolo del alabeto denota el objeto que la estructura ao torga a
dicho símbolo. Luego:
a. si t≡νk(k∈N), aI(t)=I(t)=I(νk);
b. si t≡c j (j ∈N), aI(t)=c ja.
c. si t≡ jnt1…tn, aI( jnt1…tn)= jna aI(t1)… aI(tn).
Interpretación de fórmulas
Como se discutió antes, desde el punto de vista intuitivo, para poder dar signifi-
cado a la totalidad de las órmulas de un lenguaje de orden uno es necesario atribuir
valores a las variables libres que intervienen en ella. Usaremos para ello, como era
de esperar, el concepto de asignación. Lo que corresponde es definir rigurosamente
el resultado de aplicar una interpretación aI a una órmula de L. Pero antes de
hacerlo deberemos introducir un concepto técnico: el de asignación variante . El
mismo se define así:
Asignación variante
a
c
i
l
Definición
b
ú
p
e
R
Sea I una asignación i.e. I: V →A. La asignación variante Ixa se define así:
a
l
e
d
d
Ixa =(I–{<x,I(x)>} )∪{<x,a>}.
a
d
i
s
r
e
v
i
n
U
88 Se sigue en la exposición de las nociones técnicas, básicamente, a Manzano (1989).
154
La idea es que la asignación variante se comporta igual que I en todos los casos,
excepto (eventualmente) en que atribuye a la variable x el objeto a ∈A.
La definición prometida podría lucir luego así:
Satisfacción
Definición
Sea a una estructura–L. Sea I una asignación i.e. I:V →A. Diremos que la inter-
155
Expresividad «teórico-modélica»
En el capítulo anterior se estudió la expresividad de los lenguajes de orden uno
en el sentido de su capacidad de permitir «parárasis» o «traducciones» aceptables
de enunciados (del lenguaje natural) o de conceptos (definidos en el lenguaje natu-
ral). El propósito de esta sección es sugerir un segundo modo de entender la «expre-
sividad» de los lenguajes de orden uno.
Un ejemplo puede ayudar a introducir este concepto. Se ha usado reiteradamen-
te en este curso —como mecanismo de prueba— la inducción. La inspiración de
tales usos ha sido la inducción aritmética. El Principio de Inducción en el campo
de la aritmética de los naturales puede expresarse inormalmente así (llamémosle
Principio de Inducción Inormal):
(PII) Si 0 posee una propiedad y si un natural n cualesquiera la posee, entonces
también la posee el sucesor de n, entonces todos los naturales poseen la propiedad
en cuestión.
Usando los recursos de orden uno podría expresarse así (llamémosle Principio
de Inducción en Orden Uno):
(PIOU) (R1c1∧∀ν1(R1ν1→R1 11ν1))→∀ν1R1ν1;
Donde R está en lugar de cualquier letra de predicado unario, c 1 debe inter-
pretarse como 0 y 11d ebe interpretarse como la unción sucesor (i.e. (x)= x+1) y el
universo es .
Si se piensa en términos de modelos, la situación puede verse bajo una nueva luz.
Lo que afirma PIOUp arece ser lo siguiente: para cualquier letra de predicado una-
rio R, si 0 posee la propiedad denotada por R y para cualquier natural, si él posee la
propiedad denotada por R, entonces su sucesor la posee, eso quiere decir que todo
natural tiene la propiedad denotada por R. Adviértase en esta parárasis conceptual
de PIOU una dierencia sustancial: se habla de toda letra de predicado unario R y
de todo número natural . ¿Por qué? Planteado el problema de otro modo, ¿por qué
no decir para toda propiedad R ? La respuesta es simple: porque no se cuenta —en
orden uno— con cuantificadores que cuantifiquen sobre variables de propiedades.
Dicho de una orma grosera: no puede decirse en orden uno, para toda propiedad
(de números naturales) pero sí puede decirse para todo número (natural); en orden
uno —como se recuerda— existe un solo tipo de variables: las variables de indivi-
duo. La generalidad de PIOU luego consiste en ser un «esquema» que tiene tantas
instancias como letras de predicado unario tenga el lenguaje. Es esencial observar
a
c
i
que el número total de instancias puede ser a lo sumo numerable, ya que tal es la
l
b
ú
p
cardinalidad de los lenguajes que se han definido. Pero ¿cuál es el número total de
e
R
a
l
propiedades de ? Ciertamente ℘( ) i.e. no–numerable. Luego parece existir un
e
d cierto déficit expresivo en PIOU: el número de propiedades que toma en cuenta (i.e.
d
a
d
i
s
las letras de predicado) es numerable mientras que el número de propiedades de
r
e
v
i
n
es no–numerable.
U
156
157
a
c
i
l
b
ú
p
e
R
a
l
e
d
d
a
d
i
s
r
89 Baste recordar que algunos autores definen la lógica matemática como el estudio de los lenguajes
e
v
i
n
ormales.
U
90 Se sigue en este caso a Manzano (1989).
158
Pre1
Pre2
.
(I)
.
.
Pren
Con
donde «Prei»(1≤i≤n) representan premisas y «Con» la conclusión. El primer paso
en el análisis del mismo —en términos de corrección ormal— consistía en eectuar
una «traducción» de sus enunciados (pertenecientes al lenguaje natural) al lenguaje
ormal apropiado. Representamos tal proceso así:
Pre’1
Pre’2
.
(II)
.
.
Pre’n
Con’
El segundo paso consistía en la evaluación de la órmula
(III) (Pre’1∧Pre’2∧…∧Pre’n)→Con’
Esta evaluación permitía responder —en términos proposicionales— a la cues-
tión de si se estaba rente a un argumento lógicamente correcto. Según se sabe, si
(III) es una tautología, entonces ( I) es un argumento lógicamente correcto. La mo-
tivación para la construcción del cálculo de predicados —como se recuerda— es
que la conversa no vale: hay argumentos ormalmente correctos cuya traducción no
es una tautología. La pregunta entonces es ¿cuál es la propiedad semántica equi-
valente, en el cálculo de predicados, a la tautologicidad? La respuesta es la validez
teórico -modélica (entendiendo «modelo» en el sentido actual).
A partir de la definición expuesta resulta perectamente claro qué debe enten-
derse por validez de una órmula. En algunos casos es muy evidente que una cierta
órmula posee, precisamente, esta propiedad. Por ejemplo:
a
z
∀ν1(R11 ν1→R11 ν1) n
a
ñ
e
s
n
parece —indiscutiblemente— que se trata de una órmula válida: para cualquier E
e
interpretación aI se tiene que, para todo elemento a ∈A, aIaν (R11 ν1→R11 ν1), es
d
l
a
i
1 r
decir, para todo elemento a∈A, aIaν R11 ν1 o aIaν R11 ν1. Luego hemos mostrado
1 1
o
t
c
e
S
la validez de la órmula. En otros casos es igualmente evidente que se está rente a n
ó
i
s
órmulas no válidas. Por ejemplo: i
m
o
C
159
$ν1∀ν2R12 ν1ν2
no es válida; para advertirlo alcanza con tomar la relación como mayor estricto y
como dominio de la interpretación .
Una cuestión que surge de orma muy natural es cómo puede determinarse, una
vez que se dispone de una semántica para el lenguaje de orden uno, si una cierta
órmula del lenguaje es o no válida. Si se evoca el caso proposicional, la interro-
gación podría incluso reclamar más inormación: ¿existe algún procedimiento de
decisión —es decir, un procedimiento mecánico— que permita determinar, dada
una órmula ϕd e este lenguaje, si ella es o no válida? Entre otras, de estas cuestiones
se ocupa, precisamente, el próximo capítulo.
Problemas y tareas
1. Si su dominio de interpretación es el conjunto de los números naturales.
Defina interpretaciones posibles para las siguientes letras de predicado:
a. R11
b. R21
c. R31
d. R12
e. R22
. R32
2. Si su dominio de interpretación es el conjunto de números enteros. Defina
interpretaciones posibles para las siguientes letras de unción:
a. 11
b. 21
c. 31
d. 12
e. 22
. 32
3. Proponga un lenguaje de orden uno seleccionando letras de predicado y le-
tras de unción de las listas de arriba. Construya una interpretación para el
mismo.
4. Sea L5 un lenguaje de orden uno que posee tres símbolos de relación: R1, R12,
a
c
R22 y dos constantes: c1, c2. Construya una interpretación para tal lenguaje. 91
i
l
b
ú
p
5. Sea L6 un lenguaje de orden uno que posee tres símbolos de relación: R1, R12,
e
R
a
R22. Construya una interpretación para tal lenguaje.
l
e
d 6. Sea L7 un lenguaje de orden uno que posee tres símbolos de unción:.
d
a
d
i
s
Construya una interpretación para tal lenguaje.
r
e
v
i
n 91 Si encuentra dificultades en este ejercicio o en el anterior, consulte la sección «Interpretación
U
de los lenguajes de orden uno (desde el punto de vista ormal)».
160
7. Sea L8u n lenguaje de orden uno que posee tres símbolos de unción: 1, 12, 22
y dos constantes: c1, c2. Construya una interpretación para tal lenguaje.
8. Sea L9 un lenguaje de orden uno que posee tres símbolos de unción R1, R12,
R22y una constante: c 1. Construya una interpretación para tal lenguaje.
9. Sea L10 un lenguaje de orden uno que posee tres símbolos de unción R1,
R12, R22d os símbolos de unción 1, 2y una constante: c 1. Construya una inter-
pretación para tal lenguaje.
10. Para cada uno de los lenguajes reeridos arriba, construya dos órmulas verda-
deras y dos órmulas alsas (en las interpretaciones respectivas que ha cons-
truido). Obviamente, tales órmulas deben ser cerradas.
11. Para cada uno de los lenguajes reeridos arriba, construya cuatro órmulas
abiertas. Dotando de interpretación a las variables logre, para cada caso, que
dos de ellas sean verdaderas y dos de ellas alsas (en las interpretaciones res-
pectivas que ha construido).
12. Un conjunto de órmulas se dice satisacible o consistente si todas las órmu-
las pertenecientes al mismo son satisechas por una interpretación. Proponga
tres ejemplos de conjuntos satisacibles.
13. Un conjunto de órmulas se dice insatisacible o inconsistente si no existe
una interpretación que verifique todas las órmulas pertenecientes al mismo.
Proponga tres ejemplos de conjuntos insatisacibles.
Síntesis
En este capítulo se construyó una semántica o, más precisamente, se caracterizó
una orma de proveer semánticas para los lenguajes ormales estudiados en el ca-
pítulo anterior. Dado que los lenguajes de primer orden son sintácticamente más
complejos, esta tarea se vuelve más dificultosa que en el caso del lenguaje proposi-
cional. En primer lugar, cabe distinguir, en el vocabulario, dos «tipos» de símbolos:
(a) aquellos que pertenecen a todo lenguaje (conectores, cuantificadores, igualdad,
variables) y (b) la parte descriptiva del lenguaje (letras de predicado, letras de un-
ción, constantes) que varía de acuerdo a cada lenguaje particular. La interpretación
(la atribución de significado al lenguaje) atiende a esta dierencia; la parte (a) es
constante para toda interpretación —excepto las variables, como se verá enseguida;
la parte (b), en cambio, varía, podríamos decir que es la responsable de la diversidad
de interpretaciones.
Los símbolos de la parte a) se interpretan de la orma siguiente: los conecto- a
z
n
res, como es habitual, son asociados a unciones veritativas, la igualdad posee la a
ñ
e
s
interpretación obvia y el cuantificador universal se interpreta como «todo (objeto n
E
e
del dominio)» y el cuantificador existencial como «algún (objeto del dominio)». La d
l
a
i
pregunta es: ¿cuál es el «dominio»? El conjunto en el cual toman valor las variables. r
o
t
c
e
Pero ¿cuál es ese conjunto? La respuesta a esta interrogante debe (también) ore- S
n
ó
cerla la interpretación. i
s
i
m
o
C
161
a
c
i
l
b
ú
p
e
R
a
l
e
d
92 El carácter rápido reside en que dejamos auera la atribución de significado a los símbolos ló-
d
a gicos. La justificación es que, dado que tal atribución se mantiene fija, nos concentramos en la
d
i
s
r
parte dinámica.
e
v
i
n 93 Una creciente bibliograía revela la importancia filosófica del problema; puede consultarse al
U
respecto una obra ya clásica de Etchemendy (1990).
162
C APÍTULO 8
165
Ejemplo
Se trata de evaluar si el argumento de abajo es correcto:
∀ν1(R11 ν1→R21 ν1)
∀ν1(R21 ν1→R31 ν1)
∀ν1(R11 ν1→R31 ν1)
4. $ν1R11 ν1 +
5. $ν1R21 ν1 +
6. ∀ν1¬(R11 ν1∧R21 ν1) +
7. R11 c1
8. ¬(R11 c1∧ R21 c1) +
9. ¬R11 c1 10. ¬R c 2
1 1
X 11. R21 c2
La órmula no es válida, ya que queda una rama «abierta». Al igual que el caso
proposicional, puede «leerse» una interpretación bajo la cual la órmula inicial se
convierte en alsa.
Este procedimiento permite resolver (mecánicamente) el problema de la correc-
ción argumental —es decir, determinar la existencia de la relación de consecuencia
lógica entre premisas y conclusión— en aquellos casos en que las órmulas en juego
poseen a lo sumo letras de predicado unarias. 95
Como se dijo, procedimientos de esta naturaleza solo pueden construirse para el
análisis de las relaciones lógicas entre órmulas monádicas; el estudio general de la
lógica de predicados exige el recurso a estrategias diversas.
Problemas y tareas
1. Evaluar la corrección de los siguientes esquemas argumentales (vía tablas
analíticas):
a. ((∀ν1(R11 ν1∨R21 ν1)∧$ν1¬R11 ν1)→$ ν1 R11 ν1)
b. (((∀ν1(R11 ν1∨R21 ν1)∧$ν1¬R11 ν1)∧∀ ν1 (R21 ν1→R31 ν1))→$ν1R31 ν1)
2. Evaluar la validez de las siguientes órmulas (vía tablas analíticas):
a. ¬((∀ν1R11 ν1∧∀ ν1 R21 ν1)∧¬∀ν1(R11 ν1∧ R21 ν1))
b. (¬∀ν1(R11 ν1→R21 ν1)∨($ν1R11 ν1→$ ν1R21 ν1))
3. Si la regla VE careciera de la restricción relacionada con la constante intro-
ducida, no sería correcta. Denominémosle VEm (por mala) a la regla VE sin
la restricción.¿Puede orecer un ejemplo de argumento que es intuitivamente
incorrecto pero que, si aceptamos VEm en lugar de VE en nuestro procedi-
miento de tablas analíticas, salvaría el test de estas «tablas»?
A1. A→(B→A)
A2. (A→(B→C))→((A→B)→(A→C))
A3. (¬B→¬A)→((¬B→A)→B)
A4. (∀νiA→(t/νi)A)
A5. (∀νi(A→B)→(A→∀νiB)) siempre que A no posea ocurrencias libres
de νi.
Reglas básicas
Cuantificación existencial (E)
Intuitivamente, esta regla nos dice que afirmar que hay al menos un individuo
que satisace una cierta propiedad es lo mismo que decir que no todos los indivi-
duos no la satisacen. Más ormalmente:
a. El conjunto de números de premisa de la línea n+m es el conjunto de núme-
ros de premisas de n
.. .. ..
{a,i} n ¬∀νi¬ϕ
.. .. ..
{a,i} n+m. $νiϕ E en n
b. si tenemos como premisa (en la línea n) ¬∀νi¬ϕ, puede escribirse (en una
línea n+m posterior a n) $νiϕ.
Especificación universal ( EU )
Intuitivamente, esta regla nos permite «ejemplificar» una órmula cuantificada
universalmente, predicando de un individuo específico (en la conclusión) lo que se
afirma de todos los individuos (en la premisa). Más ormalmente:
a. El conjunto de números de premisa de la línea n+m es el conjunto de núme-
ros de premisas de n
.. .. ..
{a,i} n ∀νiϕ
.. .. ..
{a,i} n+m (c/νi)ϕ EU en n
b. si tenemos como premisa (en la línea n) ∀vi ϕ, puede escribirse (en una línea
n+m posterior a n) (c/v i)ϕ.
Generalización universal ( GU )
Intuitivamente, esta regla nos permite, en condiciones especiales, pasar de la afir-
mación que lo predicado de un individuo a la afirmación que se cumple para todos a
z
los individuos. Es evidente que del mero hecho de que un individuo satisaga una n
a
ñ
propiedad no se sigue que todos la satisagan. Luego resulta crucial especificar e
s
n
E
cuáles deben ser esas «condiciones especiales» arriba reeridas que nos garanticen e
d
l
a
la legitimidad del pasaje. La idea intuitiva que subyace a las mismas es que si para i
r
o
t
c
demostrar que cierto individuo posee una propiedad no uso ningún rasgo peculiar, e
S
n
específico, propio de este individuo he demostrado en realidad la posesión de dicha ó
i
s
i
m
propiedad, digámoslo así, para cualquier individuo. Luego, podríamos decir, lo he o
C
169
demostrado para todos —ya que cualquiera que tome, tiene la propiedad en cues-
tión. Veamos cómo podemos ormalizar estas ideas.
a. Como en las reglas anteriores, el conjunto de números de premisa de la línea
n+m es el conjunto de números de premisas de n
.. .. ..
{a,i} n (c/νi)ϕ
.. .. ..
{a,i} n+m ∀νiϕ GU en n
b. Si tenemos como premisa (en la línea n) (c/ νi)ϕ, puede escribirse (en una línea
n+m posterior a n) ∀νi ϕ, si se cumple que a) c no ocurre en ϕy b) c no ocurre
en ninguna de las órmulas cuyos números de línea pertenecen al conjunto de
números de premisas de n (es decir, a,i).
Como esta última regla presenta restricciones a su uso y éstas quizá no resulten
ácilmente comprensibles, estudiaremos las mismas en detalle. En primer término,
enoquemos el problema de la razón de ser de tales restricciones.
Si se eliminase la restricción a), la regla permitiría inerencias incorrectas.
Supongamos que nuestro dominio de interpretación es un conjunto ormando por
triángulos y rectángulos, entonces, interpretando « R12» cono la relación «ser la mis-
ma figura geométrica que», la siguiente órmula es verdadera:
∀ν1R12ν1ν1
de aquí por EUs e deduce:
R12c1c1
pero, si eliminamos la restricción a), sería posible inerir mediante GU
∀ν1R12ν1c1 (¿?)
pues no es cierto que todo sea triángulo y no es cierto que todo sea rectángulo
(en el dominio). Es decir, la regla (sin la restricción) no asegura la preservación ne-
cesaria de la verdad.99
Si se eliminase la restricción b), nuevamente la regla permitiría inerencias inco-
rrectas. Supongamos que se tiene estas premisas:
a
c
i
{1} 1. (R11c1→R21c2)
l
b
ú
p
e
{2} 2. R11c1
R
a
l
e
d
de estas premisas se puede inerir, legítimamente,
d
a
d
i
s
r
e
{1,2} 3. R21c2
v
i
n
U
99 El ejemplo estudiado es, básicamente, el ejemplo orecido por Mates (1965).
170
b. si tenemos como premisa (en la línea n) (c/νi)ϕ, puede escribirse (en una línea
n+m posterior a n) $νiϕ.
Especificación existencial ( EE )
Intuitivamente, esta regla nos permite, a partir de la afirmación de que hay al
menos un individuo que posee una propiedad, afirmar que un cierto individuo par-
ticular la posee —como es obvio, este pasaje debe estar sometido a ciertas condi-
ciones. Más ormalmente
a. El conjunto de números de premisa de la línea n es el conjunto de números
de premisas de j unión el conjunto de números de premisa de m (excepto k).
.. .. ..
{a,i} j $νiϕ a
z
n
a
.. .. .. ñ
e
s
n
{k} k (c/νi)ϕ P E
e
d
l
.. .. .. a
i
r
o
t
c
{a,b,i,k} m ψ e
S
n
.. .. .. ó
i
s
i
m
{a,b,i} n ψ EE en j,k,m o
C
171
b. si tenemos (en la línea j) $νiϕ, (en la línea k) (c/ νi)ϕ (como premisa) y (en la
línea m) ψ, puede escribirse (en la línea n) ψ, siempre que se cumplan las con-
diciones siguientes: 1) c no ocurre en ϕ, 2) c no ocurre en ψy 3) c no ocurre
en ninguna de las líneas (excepto k) cuyos números figuran en el conjunto de
números de premisa de m.
Al igual que en el caso de la regla GU, existe aquí un conjunto de restricciones
sin las cuales la regla racasa. Dado que no es obvia la contribución de las mismas a
corregir su uso, estudiaremos brevemente cada una de ellas.
Si se abandona la restricción 1), la siguiente inerencia ilegítima debería aceptar-
se (adviértase que c1 ocurre en ϕ). Tómese como ejemplo:
{1} 1. $ν1R12 ν1c1 P
{2} 2. ∀ν1(R12 ν1ν1→R11 c2) P
{2} 3. R12 c1 c1→R11 c2 EU en 2
{4} 4. R12 c1 c1 P
{2,4} 5. R11 c2 MP 3,4
{1,2} 6. R11 c2 EE 1,4,5 ¿?
{1} 1. $ν1R11 ν1 P
{2} 2. R11 c1→R21 c2 P
{3} 3. R11 c1 P
{1,2,3} 4. R21 c2 MP
{1,2} 5. R21 c2 EE 1,3,4 ¿?
a
c
Se deja al lector el trabajo de mostrar cómo en estos casos la verdad de las premi-
i
l
b
ú
p
sas no es preservada por la conclusión. La justificación de estas reglas puede leerse
e
R
a
l
en Mates.100
e
d
d
a
d
i
s
r
e
v
i
n
U
100 Véase Mates (1965) pp. 152—160.
172
Estrategias y ejemplos
Las ideas sobre cómo construir pruebas en orden uno se basan en considera-
ciones análogas a las que expresamos respecto al lenguaje proposicional. Podemos
distinguir, como en tal contexto, cuando tenemos (digamos, como premisa) una
órmula cuantificada universal o existencialmente y cuando pretendemos demostrar
(digamos, como conclusión) una tal órmula.
Supongamos pues que tenemos como premisa una cuantificación universal.
¿Cómo explicitar el contenido inormativo de la misma? Mediante la regla EU.
Ejemplo 1
{1} 1. ∀ν1∀ν2(R12 ν1ν2→R12 ν2ν1) P
{2} 2. R12 c1 c2 P
{1} 3. ∀ν2(R12 c1ν2→R12 ν2c1) EU en 1
{1} 4. R12 c1 c2→ R12 c2 c1 EU en 3
{1,2} 5. R12 c2 c1 MP 4,2
173
Veamos por qué puede aplicarse EE. En primer término, c 2n o ocurre en ϕ( ór-
mula encerrada en la elipse en el paso 3), c 2 no ocurre en ψ (órmula encerrada en
la elipse en el paso 9) y, finalmente, c 2 no ocurre en ninguna de las órmulas cuyos
números de línea pertenecen al conjunto de números de premisa de la línea 9 (ex-
cepto 4). El «4» se encuentra tachado (en el conjunto de premisas de la línea 10)
para mostrar el número de premisa eliminado.
Si tenemos ahora que obtener una órmula existencial como conclusión, la estra-
tegia es la inducida por la regla GE. Dado que es muy simple, ya que carece de res-
tricción puede tomarse como ejemplo de aplicación de la misma la anterior prueba,
concentrándonos en los pasos 8 y 9.
174
Los siguientes axiomas recogen las ideas inormales anteriores. Algunas de ellas
directamente: es aquello que, manifiestamente, «expresan» los axiomas; las restantes,
por así decirlo, indirectamente: las órmulas que las expresan pueden deducirse de
los axiomas.
He aquí los axiomas:
A6. t≈t —donde t∈TER(A);
A7. (t1≈t2→(A→A’)) —donde t1, t2∈TER(A) y A’ es el resultado de substituir
en A, t1 por t 2 en no necesariamente todas las ocurrencias de t 1 en A.
Dejamos al lector la prueba de la proposición que expresa que la igualdad es una
relación de equivalencia.
Proposición
Sean t, t1, t2, t3∈TER(A). En toda teoría de orden uno con igualdad se tiene que:
a. (t≈t);
b. (t1≈t2→t2≈t1);
c. (t1≈t2)→(t2≈t3→t1≈t3).
En el sistema de deducción natural es posible también agregar reglas que regla-
mentan el uso del operador de igualdad. Podemos agregar como reglas de nuestro
sistema precisamente las que expresan los axiomas 6 y 7. Solamente para comodi-
dad del lector expresamos las mismas (siguiendo, como antes, el sistema de Mates):
Regla de identidad uno (RI1)
Intuitivamente, siempre podemos introducir un símbolo de identidad flanquea-
da por dos ocurrencias del mismo nombre. Más ormalmente,
a. El conjunto de premisas es ∅:
.. .. ..
∅ n t≈t RI1
.. .. ..
175
.. .. ..
{a,b} j t1≈t2
.. .. ..
{c,d} m ϕ
.. .. ..
{a,b,c,d} n (t1 / t2 )ϕ RI2 en j y m
b. Si tenemos (en la línea j) t 1≈t2y (en la línea m) ϕ, puede escribirse (en la línea
n) (t2/t1)ϕ, recordándose que la sustitución no tiene por qué ser en todas las
ocurrencias de t1.
La aplicación de estas reglas (como el lector seguramente ya advierte) es sencilla.
Una discusión detallada puede consultarse, obviamente, en la obra de Mates 101
177
4. $ν1R11 ν1
5. $ν1R11 ν1∨$ν1R21 ν1
6. R11 c1→$ν1R11 ν1∨$ν1R21 ν1
7. $ν1R21 ν1
8. $ν1R11 ν1∨$ν1R21 ν1
9. R21 c1→$ν1R11 ν1∨$ν1R21 ν1 C8
10. $ν1R11 ν1∨$ν1R21 ν1
c.
1. ∀ν1(R11 ν1→(R21 ν1∨R31 ν1))
2. ¬R21 c1
3. ¬R31 c1
{4} 4. ∀ν1R11 ν1
5. R11 c1
6. R11 c1→(R21 c1∨R31 c1)
7. R21 c1∨R31 c1
8. R21 c1
9. ∀ν1R11 ν1 →R21 c1
10. ∀ν1R11 ν1 →¬R21 c1
11. ¬∀ν1R11 ν1
12. R21 c1→¬∀ν1R11 ν1
13. R31 c1
11. ∀ν1R11 ν1
12. ∀ν1R11 ν1→R31 c1
13. ∀ν1R11 ν1→¬R31 c1
14. ¬∀ν1R11 ν1
15. R31 c1→¬∀ν1R11 ν1
16. ¬∀ν1R11 ν1
178
Síntesis
Este capítulo encuentra una motivación undamental en la siguiente cuestión:
¿cómo es posible evaluar argumentaciones, desde el punto de vista de la lógica
predicativa o de orden uno? O aún una interrogante más específica: ¿es posible
evaluar mecánica o algorítmicamente argumentaciones, desde el punto de vista de
la lógica de orden uno? La respuesta a esta pregunta ormulada generalmente es:
no. Un espectacular resultado de la investigación lógica del siglo pasado (obtenido,
independientemente, por A. Church y A. Turing) es que el conjunto de las órmulas
válidas de la lógica de orden uno es indecidible , es decir, no es posible construir un
algoritmo que permita resolver, para una órmula cualesquiera, si pertenece o no a
este conjunto. Sin embargo, si se restringe la atención a aquellas órmulas en las que
intervienen —a lo sumo— letras de predicado unarias, la respuesta a la cuestión
arriba planteada es positiva.
De acuerdo a esta última respuesta existe una solución algorítmica para la cues-
tión de determinar la validez de las órmulas pertenecientes a ese subconjunto de
las órmulas: el procedimiento mecánico estudiado ha sido el denominado «ta-
blas analíticas» —que, como se recuerda, extiende el construido para el lenguaje
proposicional.
La respuesta negativa a la cuestión general (i.e. a la existencia de solución algo-
rítmica para el problema de la validez de una órmula en orden uno) es una extraor-
dinaria motivación para construir alternativas de evaluación no–algorítmicas: los
sistemas deductivos presentados.
Dado el poder expresivo de orden uno, una empresa especialmente importante
ha sido la formalización de teorías científicas en tales lenguajes. Este contexto hace
especialmente valiosa la noción de «teoría axiomática ormal».
Como se recordará, una teoría axiomática ormal supone,
a. la formalización del lenguaje,
b. la definición de un conjunto (decidible) de órmulas denominadas « axiomas»
y a
z
c. un elenco de reglas de inferencia( decidibles). n
a
ñ
e
s
Hemos presentado algunos ejemplos sencillos pero el interés matemático y con- n
E
e
ceptual de la empresa ormalizadora es enorme. Una discusión pormenorizada de d
l
a
i
r
este punto excede los modestos límites de este curso. o
t
c
e
Como el lector recuerda del capítulo 5, la ormalización nos permite obtener S
n
ó
i
una caracterización precisa de prueba o demostración (en un sistema dado) y obtener s
i
m
o
C
179
a
c
i
l
b
ú
p
e
R
a
l
e
d
d
a
d
i
s
r
e
v
i
n
U
180
C APÍTULO 9
La estrategia traducción–cálculo
¿Cuáles son los modelos argumentales asumidos en la teoría lógica? Respuestas
a esta cuestión han sido planteadas en las páginas anteriores; el siguiente puede ser
un resumen de dichos desarrollos:
a
z
n
a
ñ
e
s
n
E
102 Usada esta expresión en su acepción filosófica común; no en la acepción lógica técnica que hemos e
d
usado páginas anteriores. l
a
i
r
o
103 Este escrito usa libremente Seoane, J. (2004). Como ya comentamos, ideas similares se encuen- t
c
e
tran en Corcoran, J. (1972). Existe, no obstante, una dierencia importante entre este trabajo y el S
n
de Corcoran en lo que refiere a la explotación de ciertas distinciones en la aplicación de la teoría ó
i
s
i
lógica a la evaluación argumental. Deseo expresar, finalmente, mi recomendación entusiasta de m
o
C
la lectura del escrito de Corcoran.
181
183
185
186
187
188
a
En términos generales, puede decirse que si se difiere exclusivamente en Pas
c
i
l
b
ú
—i.e. no se difiere en MJ— el problema reside en que se objeta la aplicación
p
e
R
de algún mecanismo de justificación aceptado (pues no se difiere en MJ). Pero
a
l
e
d
si se difiere en MJp uede no objetarse ninguna aplicación (por incorrecta) de
d
a
d
un mecanismo justificatorio sino simplemente objetarse el o los mecanismos
i
s
r
e
v
justificatorios usados. Una crítica del primer tipo es uertemente interna; una
i
n
U
190
crítica del segundo tipo es de una naturaleza más bien externa. También cae
en esta última categoría la crítica caracterizada como caso 1.
Es evidente que estas ideas estructurales pueden uncionar como guía heu-
rística tanto de la comprensión como del desarrollo crítico o constructivo de
argumentos.
b. Aceptación de la conclusión.N uevamente, explotando el modelo, la represen-
tación general podría ser la siguiente
<Pre, Pas, Con, MJ>
=
Dado que no se acepta el argumento pero no se rechaza la conclusión, las po-
sibilidades consisten en el rechazo de al menos una de las otras proyecciones
de la cuádrupla. Básicamente, al igual que en el caso a), conviene distinguir
1. <Pre, Pas, Con, MJ>
? =
2. <Pre, Pas, Con, MJ>
? =
3. <Pre, Pas, Con, MJ>
= ?
Cada una de estas alternativas, como en el caso a), permite apreciar relevantes
dierencias estructurales. Puede resultar útil reconstruir aquí el, por así decir,
«equivalente» del primer ejemplo estudiado en el caso a). Es decir,
<<Pre1,…,Pre j, Pre j+1,…,Pren>,<Pas1,…,Pask,Pask+1,…,Pasm>, Con, MJ>
= =
? ? ? ?
191
Síntesis
La perspectiva propuesta puede sintetizarse en la tesis de la riqueza esencial de
las relaciones entre lógica y argumentación. 111 Entendido en términos críticos, tal
punto de vista se opone a la reducción de aquellas relaciones a un patrón exclusivo,
a saber, la estrategia traducción –cálculo. Entendido en términos positivos, supone
identificar y promover una variedad de ormas de interacción entre el conocimiento
lógico y la comprensión y evaluación argumentales.
El blanco de la crítica son ciertas posiciones extremas de autores que suelen
ubicarse en la denominada teoría de la argumentación. La idea que parece subyacer
a la postura reduccionista de las relaciones en cuestión se vincula con una cierta
concepción de la teoría lógica. Simplificando las cosas podríamos decir que tal
concepción es, básicamente, sintactista. Por oposición, la concepción que subyace
al enoque propuesto aquí es, en esencia, de énasis semántico . Esta oposición cruda
no es totalmente justa pero captura, desde el punto de vista analítico, una tensión
a
esencial y resulta, al menos en algunos casos, sugestiva, desde el punto de vista de
c
i
l
b
ú
la explicación histórica. Tal énasis semántico puede verse auspiciado y, a la vez,
p
e
R ortalecido por la atención a las relaciones entre los planos pre –matematizado y
a
l
e
d
matematizado en la teoría lógica como teoría matemática. Esta atención conduce,
d
a
d
i
por una parte, a valorizar la exploración del concepto semántico pre –matematizado
s
r
e
v
i
n 111 No he encontrado esta tesis en la literatura pero creo que algunos esuerzos reflexivos resultan
U
afines a la misma —por ejemplo, este es el caso de Parsons, T. (1996).
192
a
z
112 Y eventualmente también del concepto pre–teórico de inspiración demostrativa o justificacional. n
a
ñ
e
113 Véase Pereda, C. (1999). s
n
E
114 Dicho de una orma cruda, puede deenderse una suerte de tesis de la ubicuidad de la teoría e
d
l
lógica, es decir, vindicarse un papel para la misma aún en la comprensión y evaluación de la a
i
r
o
argumentación subdeterminada (lo cual no equivale a la reducción de estas últimas a casos de la t
c
e
primera). Como el lector seguramente advierte, la tesis de la riqueza relacional (deendida aquí) y S
n
esta tesis de la ubicuidad apenas sugerida resultan complementarias. Expresado en orma primiti- ó
i
s
i
va, este punto de vista es deendido en Seoane, J. (1997). Se espera desarrollarlo adecuadamente m
o
C
en trabajos uturos.
193
Bibliografía
Barwise, J. y Etchemendy, J. (1999). Language, Proof and Logic, New York/London, Seven Bridges
Press.
Copi, I. (1994). Introducción a la lógica, Buenos Aires, EUDEBA.
Corcoran, J. (1972). «Conceptual Structure o Classical Logic», Philosophy and Phenomenological
Research, 33, pp. 25–47.
Cori, R. y Lascar, D. (1993). Logique Mathématique, Paris, Masson.
Deaño, A. (1974). Introducción a la lógica formal , Madrid, Alianza.
Dopp, J. (1969). Nociones de Lógica Formal , Madrid, Tecnos.
Enderton, H. (1972). A mathematical introduction to logic , New York/London, Academic Press.
Etchemendy, J. (1983). «The Doctrine o Logic as Logical Form», Linguistic and Philosphy, 6 (3).
———(1990). The Concept of Logical Consequence , Cambridge, Harvard University Press.
Eves, H. (1964). An Introduction to the History of Mathematics, New York, Holt, Rinehart and
Winston.
Fraenkel, A.A. (1966). Set theory and logic , Massachusetts, Addison–Wesley Publishing.
Franco Oliveira, A. (2004). Lógica e Aritmética, Brasilia, Editora Universidade de Brasilia.
Frege, G. (1972). Conceptografía, Los Fundamentos de la Aritmética y otros estudios filosóficos ,
México, UNAM.
Garrido, M. (1974). Lógica Simbólica, Madrid, Tecnos.
Haack, S. (1991). Filosofía de la lógica, Madrid, Cátedra.
Hamblin, C.L. (1970). Fallacies, London, Methuen.
Hrbacek, K.; Jech, T. (1978). Introduction to Set Theory, New York, Marcel Dekker.
Kneale, W. y Kneale, M. (1984). The Development of Logic, New York, Oxord University Press.
Lukasiewicz, J. (1975). «Para la historia de la lógica de proposiciones» , Estudios
de Lógica y Filosofía,
Madrid, Biblioteca de la Revista de Occidente.
———(1977) La silogística de Aristóteles desde el punto de vista de la moderna lógica formal ,
Madrid, Tecnos.
Machover, M. (1996). Set Theory, Logic and their limitations, New York, Cambridge Press.
Malitz, J. (1987) Introduction to Mathematical Logic , New York, Springer-Verlag.
Manzano, M. (1989) Teoría de Modelos , Madrid, Alianza.
Mates, B. (1965). Lógica matemática elemental , Madrid, Tecnos.
———(1985). La Lógica de los Estoicos, Madrid, Tecnos.
Mendelson, E. (1987). Introduction to Mathematical Logic , Caliornia, Wadsworth & Brooks/Cole
Advanced Books & Sofware.
Mondolo, R. (1974). El pensamiento antiguo , Tomo I, Buenos Aires, Losada.
Moretti, A. y Hurtado, G. (2003). La paradoja de Orayen, Buenos Aires, EUDEBA.
a
Naishtat, F. (1986). Lógica para computación, Buenos Aires, EUDEBA. z
n
a
Orayen, R. (1989). Lógica, significado y ontología, México, UNAM. ñ
e
s
n
Parsons, T. (1996). «What is an argument?», The Journal of Philosophy, Vol. XCIII, n.°4. E
e
d
l
Partee, B.; ter Meulen, A. y Wall, R.E. (1993). Mathematical Methods in Linguistics, Boston, Kluwer a
i
r
Academics. o
t
c
e
Pereda, C. (1995). «Teorías de la argumentación», en Olivé, L. ed., Racionalidad epistémica, Madrid, S
n
ó
Trotta–CSIC. i
s
i
m
o
C
195
a
c
i
l
b
ú
p
e
R
a
l
e
d
d
a
d
i
s
r
e
v
i
n
U
196
Índice analítico
Alabeto
• de la lógica proposicional
• de la lógica de primer orden
Algoritmo
Altura de una órmula
Análisis veritativo–uncional
Argumento/Argumentar/Argumentación
• deductivo
• idealmente justificado
• lógicamente correcto
• por absurdo
• válido
Asignación de valores de verdad
• variante
Axioma/s
• de Extensionalidad
• de Par
• del conjunto potencia
• esquemas de
• lógicos
Bicondicional
Cardinalidad
Clase propia
Compacidad
Complemento
Composición de unciones
Condicional
• transitividad del
Condicionalización
Conectivos
Conectores a
z
n
Conjunción a
ñ
e
• propiedades de la s
n
E
e
Conjunto/s d
l
a
i
• adecuado de conectivos r
o
t
c
e
• de las órmulas S
n
ó
• de los términos i
s
i
m
• definición por comprensión o
C
197
198
• atómica
• cerrada
• cuantificacional monádica
• interpretación de
Función
• biyectiva
• imagen (de una unción)
• inyectiva
• sobreyectiva
• total
• veritativa asociada
Igualdad
Inclusión
• estricta
Inconsistencia
Inducción
• principio de
• principio de inducción ampliada
Intercambio definicional
Interpretación
• de L
• de términos
Isomorfismo
Lenguaje
• de orden uno
• ormal
• lógico proposicional
Letras
• de enunciado
• de unción
• de predicado
Leyes de De Morgan
Lógica de predicados
Metalenguaje
Modelo
Modus Ponens a
z
n
a
Modus Tollens ñ
e
s
n
Monotonía E
e
d
Negación l
a
i
r
o
Palabra t
c
e
S
Par ordenado n
ó
i
s
Paradoja de Russell i
m
o
C
199
Partición
Principio de composicionalidad
Principios lógicos
• de identidad
• de no contradicción
• del tercero excluido
Producto cartesiano
Prueba
• por absurdo
• por inducción
Realización de L
Reglas
• de igualdad
• de inerencia
Relación
• antisimétrica
• asimétrica
• binaria
• de equivalencia
• de justificación
• de orden
• de orden débil
• de orden estricto o uerte
• de orden total
• inversa
• irreflexiva
• reflexiva
• simétrica
• transitiva
Reemplazo de órmulas equivalentes
Satisacción
Semántica
• denotacional
• extensional
Sentido
Símbolos
a
c
i
l
• auxiliares
b
ú
p
e
• de constante
R
a
l
Sistema/s
e
d
d
• axiomáticos
a
d
i
s
r
• de deducción natural
e
v
i
n
• deductivos
U
200
• ormal
Subconjunto
• propio
Tablas analíticas
Tautología
Teorema
Teoría
• axiomática ormal
• de conjuntos Zermelo–Fraenkel
Términos
Transmisión de la verdad
Validez
• teórico–modélica
Variables
• de enunciado
• de individuos
• libres
a
z
n
a
ñ
e
s
n
E
e
d
l
a
i
r
o
t
c
e
S
n
ó
i
s
i
m
o
C
201