Académique Documents
Professionnel Documents
Culture Documents
Jos Seoane
Lgica y Argumento
La publicacin de este libro fue realizada con el apoyo de la Comisin Sectorial de Enseanza (CSE) de
la Universidad de la Repblica.
Jos Seoane
Departamento de Publicaciones, Unidad de Comunicacin de la Universidad de la Repblica
(UCUR)
Jos Enrique Rod 1827 Montevideo CP: 11200
Tels.: (+598) 2408 5714 (+598) 2408 2906
Telefax: (+598) 2409 77 20
www.universidadur.edu.uy/bibliotecas/dpto_publicaciones.htm
infoed@edic.edu.uy
ISBN:
Contenido
Prlogo..............................................................................................................................................................................................11
Captulo 1. El objeto de la lgica.........................................................................................................................13
Enunciados y argumentos....................................................................................................................................13
La reflexin meta-argumental...........................................................................................................................16
La nocin intuitiva de consecuencia lgica.............................................................................................21
El valor del recurso a la forma..........................................................................................................................23
El objeto de la lgica...............................................................................................................................................25
Captulo 2. Conceptos elementales de teora intuitiva de conjuntos................................29
Introduccin..................................................................................................................................................................29
Conjuntos........................................................................................................................................................................29
Subconjunto, conjunto vaco y conjunto potencia.............................................................................31
Operaciones conjuntsticas.................................................................................................................................32
Producto cartesiano. Relaciones ....................................................................................................................36
Relaciones de equivalencia. Particiones.....................................................................................................39
Relaciones de orden.................................................................................................................................................42
Funciones........................................................................................................................................................................44
Cardinalidad..................................................................................................................................................................47
Teora intuitiva y teora formal........................................................................................................................53
Captulo 3. Lenguaje lgico proposicional: sintaxis............................................................................55
Introduccin..................................................................................................................................................................55
Lenguaje formal: motivacin e ideas intuitivas ...................................................................................57
El lenguaje formal proposicional....................................................................................................................60
Decidibilidad del conjunto de las frmulas.............................................................................................66
Induccin y propiedades de frmulas ........................................................................................................67
Sntesis..............................................................................................................................................................................71
Captulo 4. Lenguaje lgico proposicional: semntica.......................................................................75
Introduccin..................................................................................................................................................................75
Interpretar el lenguaje formal (desde el punto de vista intuitivo)............................................75
Interpretacin de L (desde un punto de vista formal).....................................................................80
El problema de la correccin argumental.................................................................................................84
La evaluacin de las frmulas: mtodo tabular ....................................................................................86
Un mtodo ms elegante para evaluar frmulas: tablas analticas............................................90
Conjuntos adecuados de conectivos.............................................................................................................95
Tautologas famosas..................................................................................................................................................97
Sntesis..............................................................................................................................................................................99
Captulo
5. Lenguaje lgico proposicional: sistemas deductivos..............................................103
Introduccin..................................................................................................................................................................103
La nocin de argumento idealmente justificado..................................................................................104
Sistemas deductivos: nociones generales...................................................................................................105
Un sistema axiomtico formal para el lenguaje proposicional....................................................108
Teora axiomtica formal: el sistema M......................................................................................................110
Sistema de deduccin natural: reglas de inferencia ...........................................................................112
Sistema de deduccin natural: ejemplos de pruebas ........................................................................115
Estrategias demostrativas y reglas derivadas: ideas generales ....................................................116
Estrategias demostrativas, conectores, reglas derivadas y teoremas .....................................118
Sntesis .............................................................................................................................................................................126
Captulo 6. Lenguajes de orden uno: sintaxis ...........................................................................................129
Introduccin..................................................................................................................................................................129
La ampliacin del lenguaje ...........................................................................................................................130
Lenguajes de orden uno (desde el punto de vista informal) .......................................................133
Lenguajes de orden uno (desde el punto de vista formal) ............................................................134
Traducciones y expresividad de L..................................................................................................................142
Sntesis..............................................................................................................................................................................144
Captulo 7. Lenguajes de orden uno: semntica........................................................................................147
Introduccin..................................................................................................................................................................147
Interpretacin de los lenguajes de orden uno
(desde un punto de vista intuitivo)................................................................................................................147
Interpretacin de los lenguajes de orden uno
(desde el punto de vista formal).......................................................................................................................154
Expresividad terico-modlica....................................................................................................................158
Consecuencia semntica y validez..................................................................................................................159
Sntesis..............................................................................................................................................................................163
Captulo 8. Lenguajes de orden uno: sistemas deductivos...............................................................165
Introduccin..................................................................................................................................................................165
Tablas analticas cuantificacionales................................................................................................................166
Sistemas deductivos para lenguajes de orden uno...............................................................................169
Axiomas y reglas para la igualdad..................................................................................................................176
Ejemplos de teoras axiomticas en orden uno.....................................................................................178
Sntesis..............................................................................................................................................................................181
Captulo 9. Teora lgica y modelos argumentales ............................................................................183
Introduccin..................................................................................................................................................................183
La estrategia traduccinclculo....................................................................................................................183
La riqueza de las relaciones entre lgica y argumentacin:
usando los modelos tradicionales....................................................................................................................185
La riqueza de las relaciones lgica y argumentacin:
ensayando otros modelos .....................................................................................................................................189
La riqueza de las relaciones entre lgica y argumentacin:
la crtica argumental................................................................................................................................................191
Sntesis..............................................................................................................................................................................194
Bibliografa.....................................................................................................................................................................................197
Prlogo
11
Captulo 1
El objeto de la lgica
Enunciados y argumentos
Usamos el lenguaje en formas muy variadas; expresamos emociones, formulamos
interrogaciones o aseveramos opiniones. Dependiendo de las motivaciones que nos
animan, escogemos una u otra de esas variadas formas. Cuando nuestro inters fundamental es la transmisin de informacin, solemos construir oraciones de un cierto tipo
caracterstico, a saber, oraciones susceptibles de ser evaluadas en trminos de verdad
o falsedad. Es decir, oraciones de las cuales puede decirse sensatamente que son
verdaderas o que son falsas. Llamaremos enunciados a las oraciones de esta clase.1
Es obvio que no todas las oraciones son enunciados; respecto de la oracin
Qu hora es? carece de sentido decir tanto que es verdadera como que es falsa,
en consecuencia, ella es un ejemplo de oracin que no es enunciado. Un ejemplo de
enunciado es el siguiente: Hoy llueve en la ciudad de Tacuaremb. Otro ejemplo
es, naturalmente, Hoy no llueve en la ciudad de Tacuaremb.
Si se piensa la coleccin de todas las (posibles) oraciones en un idioma determinado por ejemplo, el espaol puede dividrsela en dos subcolecciones: la de los
enunciados y la de los no-enunciados:
Oraciones
enunciados
A veces estamos interesados en afirmar enunciados aislados pero, frecuentemente, deseamos establecer ciertas relaciones entre enunciados. Por ejemplo, aspiramos
a convencer a determinado interlocutor de que, si admite la necesidad de aumentar
1 Dada la naturaleza introductoria de este libro, no se enfrentan algunas cuestiones filosficas
acerca de la lgica, en beneficio de la claridad en la exposicin de los rudimentos de la disciplina;
se intentar, no obstante, advertir al lector. En este caso, el problema en cuestin es el de los
portadores de verdad. Se asume aqu pues que pueden tomarse como tales lo que hemos denominado enunciados pero existe una amplia discusin. El lector interesado puede consultar, por
ejemplo, Haack (1991), o un tratamiento ms minucioso del punto en Orayen (1989).
no-enunciados
13
Universidad de la Repblica
la productividad, entonces debe admitir los beneficios de ciertas formas de renovacin tecnolgica. Ese esfuerzo por mostrar que la admisin de ciertos enunciados
que suelen denominarse premisas obliga o, por lo menos, induce a admitir
otro que suele denominarse conclusin es lo que podramos entender como
primera aproximacin por argumentar. Es decir, ofrecer razones que evidencien
que determinada conclusin se sigue (con mayor o menor necesidad o fuerza) de
ciertas premisas. O, algo ms abstractamente, el argumento revela que la informacin codificada en las premisas permite, en algn sentido que habr que especificar
despus, obtener la informacin expresada en la conclusin.2
Debe reconocerse que la palabra argumento es ampliamente usada. Se exige a
un legislador que argumente, por ejemplo, las bondades de un proyecto de ley o se
pide a un crtico del mismo que argumente sus inconvenientes. Esta exigencia no
es un reclamo que se considere intrascendente o banal: muchas veces tal peticin se
hace para poder tomar posicin respecto del proyecto de ley en cuestin. Cuando,
por ejemplo, en un debate televisivo entre dos personas el conductor otorga el mismo tiempo a cada una para que exponga sus razones, lo que intenta es ser ecunime
en la distribucin del tiempo a los efectos de dar la misma oportunidad de argumentar a ambas partes (para que tengan la misma oportunidad de convencer al espectador) y, a su vez, a los efectos de ofrecer la posibilidad al espectador de, a partir
de esas argumentaciones, encontrarse en una situacin adecuada para extraer sus
conclusiones, es decir, habiendo podido apreciar igualmente ambos puntos de vista.
Los participantes del debate ciertamente pueden adoptar actitudes muy variadas, pero dicha variacin no es ilimitada: si, por ejemplo, uno de ellos comenzara
a apedrear al otro contendiente ciertamente el debate se suspendera y se considerara tal comportamiento como inadmisible (para el debate). Es decir, difcilmente
alguien sostendra que tal actitud forma parte del debate.
El ejemplo es grosero y seguramente convendran precisiones y matices; sin embargo, bsicamente, puede hacerse acuerdo en que un debate consiste fundamentalmente en cierta interaccin lingstica entre los participantes. Esto limita
la interaccin pero todava no permite excluir casos en los cuales, en principio, no
parecera sensato sostener que se asiste a una confrontacin polmica (por ejemplo, si uno o ambos, la nica actividad que realizan es insultar). Se espera que estas
modestas observaciones contribuyan a convencer al lector acerca de que, a pesar de
parecer muy intuitivo lo que se quiere decir con argumentar, es una tarea sofisticada precisar el alcance del vocablo argumento.3
14
2 Esta concepcin basada en la nocin de informacin encuentra una poderosa justificacin filosfica en Barwise y Etchemendy (1999). Una consecuencia importante de este nfasis informacional es que podra ampliarse, por as decir, la nocin de argumento arriba ofrecida, permitiendo
formas o modalidades no lingsticas de codificar la informacin.
3 La discusin en torno a la nocin de argumento ha cobrado un nfasis especial en los ltimos
tiempos. El lector interesado en internarse en la selva de literatura relativamente reciente sobre tal
nocin puede consultar, por ejemplo, Van Eemeren, Grootendorst y Kruiger (1987). Un ejemplo
de tratamiento filosfico de la cuestin puede apreciarse, por ejemplo, en Parsons (1996).
Como en otras ciencias, un buen punto de partida es empezar con una nocin
esquemtica, pero valiosa a la luz de ciertos fines o de ciertos supuestos asumidos. La
forma de entender argumento en este contexto exhibe esas cualidades.4 En las lneas
que siguen se caracteriza este concepto de un modo habitual en la literatura lgica.
En primer trmino, un argumento es una cierta estructura lingstica conformada por enunciados. La peculiaridad de la misma reside en que se afirma una relacin
entre determinados enunciados denominados premisas y un enunciado
denominado conclusin que puede parafrasearse as: la conclusin se sigue o se
desprende o se extrae de las premisas. Un ejemplo nos ayudar a comprender mejor
tal relacin:
Ejemplo I
Si Juana es sirena, entonces es cantautora.
Juana es sirena.
Premisas
Juana es cantautora.
Conclusin
donde las Prei (1in, siendo i un entero positivo) representan premisas, Con
representa la conclusin y / la relacin de justificacin. Es interesante advertir
que identificar un argumento, desde esta perspectiva, querr decir precisamente ser capaz de reconocer estos tres componentes. Pero advirtase que tal tarea
4 Una discusin acerca de ciertos fines o supuestos que guan la construccin de este concepto de
argumento correcto desde el punto de vista de la lgica (y que resultan relevantes para el propio
modelo de argumento expuesto) puede leerse en Seoane (2004).
Modelo 1:
15
Problemas y tareas
1. Construya un argumento, guindose por el ejemplo I. Use la conclusin de
su argumento, para construir un segundo argumento en que la misma oficie
de premisa.
2. Los siguientes textos periodsticos poseen evidentes pretensiones argumentales. Identifique premisas y conclusin en cada caso:
si la mutua competencia [entre marcas de cigarrillos] fuera la nica causa de
los gastos multimillonarios en el rubro publicitario, la lgica dira que las
grandes compaas deberan unirse para apoyar a los gobiernos que promueven la supresin de la publicidad de cigarrillos, favoreciendo as un statu quo
que protegera a las poderosas marcas lderes de las amenazas de los pequeos
competidores. Por cierto que en todo el mundo, y tambin en Uruguay, sucede exactamente lo contrario. (Daniel Kliman, Cortinas de humo, Relaciones,
marzo 1998).
Si el atentado al que el dictador [Pinochet] sobrevivi en septiembre de 1986
hubiese tenido xito la transicin chilena hubiese sido completamente distinta.
Para algunos simplemente no hubiese existido transicin sino un bao de sangre. Para otros, el propio rgimen militar, presionado por la oposicin interna
y por las fuerzas democrticas externas, dentro y fuera de Amrica Latina, sin
el factor de unidad que ha sido el dictador, habra ido cediendo espacios y la
Concertacin habra asumido en condiciones ms favorables, menos atadas
(J. Cayuela, Chile: apuntes para el fin del siglo, Brecha, ao 13, n. 640).
Universidad de la Repblica
La reflexin meta-argumental
16
b
Teorema de Pitgoras: h2 =a2 + b2
Obsrvese que esta diagonal es la hipotenusa de los respectivos tringulos rectngulos cuyos ngulos rectos estn indicados en el diagrama. Dado que el valor de
los lados es 1, podemos inferir, aplicando el Teorema de Pitgoras, que h2 =12+12
=2 o sea h=
5 La emergencia de estas preocupaciones intelectuales en la filosofa prearistotlica es un interesante problema histrico que hasta donde s no se ha explorado suficientemente.
6 Vase al respecto Kneale y Kneale (1984).
17
Para los pitagricos los nmeros se reducan a los racionales, esto es, los enteros
y las razones de enteros. Adems tal restriccin era esencial a su cosmovisin, lo
que haca de esta conviccin un postulado indiscutible. El punto es: es racional?
La respuesta negativa debida, segn la tradicin, a Hipaso de Metaponto, signific un autntico escndalo para la secta pitagrica. He aqu una argumentacin a
favor (una prueba o demostracin) de que no es racional:
Supongamos que
es racional. Entonces es susceptible de escribirse como
a/b, donde a y b son enteros (b0). Dado que siempre podemos simplificar
una fraccin hasta que numerador y denominador no tengan factores comunes (excepto el 1), asumamos que a y b satisfacen esta condicin 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 a2 es par. Como sabemos
que un entero z es par si y solo si z2 es par, a es par. Pero entonces a puede
escribirse como 2c para algn entero c. As pues, ya que sabemos que a2 =2b2,
4c2=2b2. Entonces b2=2c2 y as b2 es par y, por idntica razn que arriba
respecto de a, b es par. Pero entonces 2 es un factor comn de a y b, lo cual
contradice la suposicin de que son primos entre s. Esto es absurdo, por lo
tanto
no es racional.
Universidad de la Repblica
La conclusin que en la intencin de Zenn debe extraerse es: las cosas no son mltiples. Reconstruyamos el argumento para poder discutirlo mejor:
Supongamos que las cosas son mltiples. Entonces ellas son una cantidad, por as
decir, definida y, consecuentemente, su nmero es finito. Pero, por otro lado,
18
dado que entre dos entes cualesquiera debe haber algo intermedio, y, respecto de
estas dos, puede repetirse el argumento y as sucesivamente, entonces su nmero no
es finito tal argumento parece apoyarse esencialmente en la suposicin pitagrica
de que el espacio vaco es tambin un ente. Pero esto es absurdo pues su nmero
debiera ser finito y no finito. En conclusin, las cosas no son mltiples.
No es difcil advertir cierta semejanza entre el argumento matemtico y el argumento filosfico. En ambos casos se parte de una suposicin ( es racional, el ser es
mltiple), 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 nmero de las cosas
es finito y no es finito) y, finalmente, se concluye afirmando la negacin de la suposicin ( no es racional, las cosas no son mltiples). El siguiente esquema puede
reflejar lo anterior:
Argumento por absurdo (descripcin general)
Se supone A, a partir de esta suposicin se muestra B
y no es cierto B, luego no es cierto A.
B y no B
No es cierto A
19
donde Pasi (1ik, 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. Advirtase que, en un
sentido muy preciso, las premisas justifican los pasos.11 Luego, para que la cadena
justificacional funcione, tenemos que tener trabajando la relacin de justificacin
entre premisas y pasos. Es en este sentido que podramos sostener que el modelo 1
es ms bsico que el modelo 2. Asumamos pues el modelo 1 como punto de partida;
ms adelante tendremos oportunidad de encontrar una motivacin especfica para
el uso del modelo 2.
Es conveniente advertir que hemos introducido estos nuevos ejemplos de textos
argumentales a los efectos de motivar fundamentalmente la introduccin del modelo 2 de representar argumentos; todo lo que hemos hecho hasta ahora es explorar
formas o modalidades de representar argumentaciones.
Universidad de la Repblica
Problemas y tareas
20
1. Revise la demostracin por el absurdo expuesta antes. Identifique un enunciado que juegue en la misma el papel de premisa y un enunciado que juegue
el papel de paso en dicha prueba.
2. Procure en algn texto de matemtica una demostracin por el absurdo.
Identifique, en ese caso, un enunciado que cumpla el papel de premisa, un
enunciado que oficie de paso en la prueba y, finalmente, la conclusin del
argumento.
10 La distincin fue introducida exactamente en estos trminos en Seoane (1999). Como a veces
ocurre, posteriormente uno descubre que algunas de las ideas que sostuvo como propias ya haban sido defendidas por autores distantes en el espacio y/o en el tiempo. Esto me sucedi con
Parsons (1996) y, de una forma sorprendente, con Corcoran (1972). Hay matices pero ciertas
ideas bsicas son compartidas.
11 Esta afirmacin podr ser mejor entendida ms adelante.
En sntesis, hemos visto que la lgica es una reflexin metaargumental. Los argumentos pueden representarse o entenderse, en este contexto, ya apelando al modelo 1, ya apelando al modelo 2. Dado el carcter bsico del primero, asumiremos
el mismo como punto de partida. Pero la reflexin lgica no queda caracterizada,
como hemos dicho, por su status metaargumental; le interesa la evaluacin de los
argumentos en trminos de su correccin. Este es el aspecto que abordaremos en la
prxima seccin.
21
En este captulo daremos la nocin intuitiva de tal relacin; el resto del libro puede
entenderse como un esfuerzo por elucidar, es decir, esclarecer, rigorizar esta nocin
bsica. El concepto intuitivo de consecuencia lgica puede caracterizarse como sigue:
Nocin intuitiva de consecuencia lgica
Sea una coleccin de enunciados y sea un enunciado. Diremos que es
consecuencia lgica de si y solamente si necesariamente si todos los enunciados
pertenecientes a son verdaderos, es verdadero.
O, dicho de otra forma, si no es posible que todos los enunciados pertenecientes a
sean verdaderos y sea falso.
Universidad de la Repblica
22
a.
b.
c.
de hecho la conclusin sea verdadera o que al menos una de las premisas sea falsa;
se exige que si las premisas son verdaderas necesariamente la conclusin lo sea. O,
dicho de otro modo, que sea imposible la verdad de todas las premisas y la falsedad
de la conclusin. Luego tampoco en este caso estamos frente a un argumento lgicamente correcto ya que la conclusin no es consecuencia lgica de sus premisas.
Ejemplos de tal transmisin necesaria de la verdad (es decir, de correccin lgica)
son el argumento (c) y el argumento del Ejemplo I.
En sntesis, un argumento es correcto desde el punto de vista lgico si,
siempre que las premisas son verdaderas, su conclusin lo es. O, dicho de otro
modo, si es imposible que las premisas sean verdaderas y la conclusin sea falsa. En
este caso se dice que la conclusin es consecuencia lgica de las premisas o que stas
implican la conclusin. La argumentacin que exhibe tal relacin entre premisas y
conclusin se denomina deductivamente correcta.13
Un problema importante es cmo identificar la presencia de la relacin de consecuencia lgica entre premisas y conclusin. Es decir, cmo, dado un argumento especfico, determinar si su conclusin es consecuencia lgica de sus premisas.
Precisamente para resolver este problema es que recurrimos al anlisis formal o
estructural de los argumentos.
Volvamos brevemente a nuestras dos argumentaciones de la seccin La reflexin meta-argumental. Basta un poco de reflexin sobre ellas para advertir que
en un caso el tema o el contenido del argumento se ubica en la teora de nmeros
y en el otro pertenece a la metafsica una rama tradicional de la filosofa. Pero,
independientemente de la diversa naturaleza temtica, ambos argumentos poseen
una cierta semejanza: pueden entenderse como instancias de los esquemas de argumentacin por el absurdo arriba establecidos. Esta similitud podramos denominarla estructural o formal.
Pero, cmo podra ayudarnos tal consideracin formal o estructural a la hora de
evaluar la relacin de consecuencia lgica? O por qu analizar los argumentos en
trminos de su forma? Esta es una pregunta clave. La respuesta podra formularse
as: porque se advierte la existencia de ciertas estructuras argumentales que garantizan la informacin contenida en la conclusin, dada la informacin codificada en
las premisas independientemente del tipo o naturaleza de la informacin en cuestin. Para expresarlo con una terminologa ms habitual: se nota que tal estructura o
forma asegura la verdad de la conclusin, asumida la verdad de las premisas.
Para retornar a nuestros ejemplos, se aprecia que si un supuesto (a partir de
premisas verdaderas y por mecanismos argumentales legtimos) conduce a una
13 El adjetivo deductivo puede usarse como sinnimo de lgicamente correcto (en tal caso,
carece de sentido la expresin argumento deductivo incorrecto) o puede usarse como sinnimo
de argumento que se pretende lgicamente correcto. Este ltimo uso ser el que frecuentemente adoptaremos en el presente libro.
23
Advirtase que tanto la conclusin del ejemplo I (p. 15) como la del ejemplo II
parecen desprenderse con igual necesidad de las respectivas premisas, no importando que, en el primer caso, se hable de sirenas y, en el segundo, se hable de lgicos.
Luego ese desprenderse con necesidad de la conclusin a partir de las premisas
no puede deberse a los respectivos contenidos de los argumentos sino a la forma o
estructura compartida por ambos. Pues bien, cul es dicha estructura?
La pregunta no es fcil pero una estrategia intuitiva destinada a responderla
podra consistir en determinar cules son las porciones lingsticas que tanto el
ejemplo I como el II poseen en comn. stas sern precisamente las responsables
de la correccin lgica. Al igual que en el caso del esquema de argumentacin por
el absurdo podemos colocar letras para representar aquellas expresiones lingsticas en que se producen las variaciones que atendiendo a estos casos no son
relevantes para los actuales propsitos. El resultado de tal operacin podra quiz
esquematizarse as:
Universidad de la Repblica
24
Si A entonces B
A
B
14 Existen aqu diversas cuestiones conceptuales sutiles y profundas. Pero, en beneficio de la claridad expositiva, prescindiremos en este momento de la exposicin de discutirlas; ms adelante nos
referiremos a algunas de ellas. El enfoque presentado sigue las ideas expuestas en Etchemendy
(1983).
Si se atiende a los desarrollos anteriores pueden ofrecerse una primera caracterizacin del objeto de la lgica. La misma podra expresarse as: la lgica se ocupa del
estudio de la argumentacin deductiva.
Se puede encontrar en la literatura como hemos sealado dos usos de la palabra deductivo. En algunos casos, se habla de argumento deductivo solo cuando
la conclusin es consecuencia lgica de las premisas y luego las nociones de argumento deductivo, argumento lgicamente correcto y argumento vlido coinciden. En otros casos se entiende por argumento deductivo aquellos argumentos
en que se pretende o se aspira a que las premisas impliquen la conclusin. Luego, si
la relacin de implicacin se da, se dice que son correctos (vlidos) y si la relacin
de implicacin no se da, se dice que son incorrectos (invlidos). En este libro, como
dijimos, este ltimo uso ser el predilecto. La caracterizacin preliminar del objeto
de la lgica dada arriba adquiere un significado quiz algo diferente dependiendo
del uso escogido. Si entiendo bien, es ms hospitalaria si coincide con nuestra eleccin terminolgica pero an as la misma parece excesivamente restrictiva. Veamos
brevemente este aspecto.
Existe cierto tipo de argumentos que exhiben estas dos inquietantes cualidades: no son correctos pero lo parecen. Se les han denominado, tradicionalmente,
falacias. La lgica tradicional les prest atencin e intent ofrecer una teora de
los mismos, identificando diversos tipos de argumentos falaces. Los lgicos abandonaron el inters por las falacias por razones que no viene al caso analizar y
desarrollaron una teora matemtica poderosa y refinada de la argumentacin vlida
o lgicamente correcta descuidando tal tipo de estudios. Recientemente el inters
El objeto de la lgica
25
Universidad de la Repblica
26
Problemas y tareas
1. Si tuviera que evaluar la comprensin de este captulo, cules seran las preguntas que propondra? Formule seis interrogantes.
2. Responda las siguientes cuestiones:
a. Qu se entiende aqu por enunciado?
b. Qu se entiende por argumento?
c. Cules son los dos modelos argumentales estudiados?
d. Cmo se caracteriza la relacin de consecuencia lgica?
e. Cul es el objeto de la lgica?
17 Como respecto de otros tpicos bsicos discutidos en este captulo, puede resultar muy til la
lectura del captulo 2 del libro de Haack (1991).
27
Captulo 2
Conceptos elementales
de teora intuitiva de conjuntos
Introduccin
En el captulo anterior describimos (en forma amplia) el objeto de la teora lgica. Esta se ocupa de una forma de correccin argumental caracterizada por la
exigencia de la relacin de consecuencia lgica entre conclusin y premisas.18 El
lgico apela al anlisis formal o estructural de los argumentos como recurso metodolgico para llevar adelante su estudio de tal relacin. Esta estrategia da origen a
la emergencia de lenguajes artificiales como hemos dicho antes construidos a
la medida de su propsito. Tales lenguajes se denominan lenguajes formales estudiaremos los mismos a partir del prximo captulo. Pero para definir y explorar
estos lenguajes la teora lgica apela al poder expresivo y analtico de la teora de
conjuntos. Esta es la razn por la cual ofreceremos ahora una presentacin rudimentaria de esta ltima en su parte ms bsica. Nuestra preocupacin fundamental se
reducir a especificar su lenguaje y definir sus conceptos elementales en trminos
intuitivos o informales. Una comprensin ms profunda de la teora de conjuntos
y, en particular, de sus presentaciones formales19 presupone el conocimiento que
aspira a ofrecer este libro.20
Se entender por conjunto una coleccin de objetos. Los objetos que pertenecen
al conjunto se denominan elementos del conjunto. Aunque las aproximaciones de
arriba exhiban un grado considerable de ambigedad, 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 teora, son conceptos primitivos, es
decir, conceptos que carecen de definicin explcita en la teora.
Los objetos deben ser absolutamente identificables y, dado un objeto y un conjunto, este pertenece o no al conjunto pero no ambos casos. Se notar que un objeto
18 En general, cuando hablemos de consecuencia entenderemos que nos estamos refiriendo a
consecuencia lgica.
19 Las nociones de formal e informal poseen, en este contexto, un sentido preciso; el lector podr
entender cabalmente los mismos en los prximos captulos.
20 Orayen ha credo ver una paradoja en esta suerte de circularidad. El lector interesado puede
informarse sobre este tpico en Moretti y Hurtado (2003).
Conjuntos
29
Problemas y tareas
1. Sea el conjunto de los nmeros naturales.
Ofrezca una caracterizacin por extensin de estos conjuntos:
a. {x:x
y 5<x<9}
b. {x:x
y 17 x 20}
Ofrezca una caracterizacin por comprensin de conjuntos que contengan exclusivamente los elementos que se sugieren en cada uno de los casos siguientes:
e. 2, 4, 6, 8, 10,
Universidad de la Repblica
f. 2, 4, 8, 16, 32,
g. lunes, martes, mircoles, jueves, viernes
30
h. a, b, c, d
{a,b} {b,c,a}
{0,1,2} {0,1,a}
{a,b} {a,b}
31
respuesta es: s. Un muy conocido ejemplo de esto es el denominado conjunto potencia (de un cierto conjunto dado). El conjunto potencia de un conjunto A es, precisamente, la coleccin 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 XA. 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}}
Operaciones conjuntsticas
Si se piensa en trminos grficos parece fcil construir conjuntos a partir de
conjuntos previamente dados. Por ejemplo, dados A y B, podramos 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 continuacin se vern
algunas operaciones entre conjuntos que recogen (entre otras) estos modos intuitivamente descriptos de construir conjuntos.
En primer lugar, dados dos conjuntos A y B, la operacin denominada interseccin se nota AB consiste, intuitivamente hablando, en agrupar los elementos comunes a A y B. Es decir:
AB={x: xA y xB}.
Por ejemplo: sean A={1,2} y B={1,3,4}, tenemos que AB={1}.
Esta operacin puede representarse as: (el sombreado indica donde se encuentran los elementos del conjunto referido)
AB
32
Universidad de la Repblica
XC
B={6,5,2} AB={2}
A=
A={1,2,3}
C={{1,2},{3,1},{2,3,1,4},{5,4,1}}
X={1}
XC
Sean A y B conjuntos, la operacin denominada unin se nota AB consiste, intuitivamente hablando, en agrupar todos los elementos que pertenecen al
menos a uno de los dos conjuntos en cuestin. Es decir, AB={x:xA o xB}.
Ejemplo:
Sean A={1,2} y B={1,3,4}, AB={1,2,3,4}. Representada grficamente la operacin unin lucira as:
AB
Esta operacin, 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 unin de todos los eleX= {z: para algn XC, zX}. Como es obvio, los
mentos de C, esto es,
XC
elementos que integran este conjunto son exclusivamente aquellos que pertenecen
a algn conjunto perteneciente a C.
Ejemplos:
A={} A={}
C={{1,2},{3,1},{2,3,1,4},{5,4,1}}
X= {1,2,3,4,5}
XC
33
A-B={x:xA y xB}.
Ejemplo:
Sean A={1, 2, 3} y B= {1,3} , A - B={2}.
Grficamente representada la operacin diferencia lucira as:
AB
Universidad de la Repblica
Proposiciones
34
Problemas y tareas
1. Caracterice por extensin el conjunto (a) cuando
a. A={2}
b. A={2,3}
c. A={,{2}}
2. Sea A={1,2}, B={3,1} y C es un conjunto cualquiera. Indique si los enunciados que se listan a continuacin son V (verdaderos), F (falsos) o I (indeterminados, en el sentido que, en base a la informacin de la que disponemos, no
podemos afirmar si son verdaderos o falsos):
Enunciados
V/F/I
AB={1,2,3}
AB{5,6,1,7,9}
{1,2,3}AB
A=A
CA o AC
A=A
AC BC
ABC
Si AC y BC entonces ABC
35
4. Demuestre (al modo de las pruebas dadas en las proposiciones de la p. 35) los
enunciados siguientes:
a. X=X
b. XX =
c. Si XY entonces XY=Y
d. Si XY=Y entonces XY
5. Si observa los enunciados demostrados en 4, se advierte que si sustituimos
unin (interseccin) por interseccin (unin) los enunciados resultantes son
falsos. Proponga modificaciones a estos ltimos a fin de obtener enunciados
verdaderos. Demustrelos.
6. Demuestre:
a. X=
b. XX =U
c. Si XY entonces XY=X
d. Si XY=X entonces XY
Universidad de la Repblica
<a,b>={{a},{a,b}}.
36
Proposicin
<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 suposicin se tiene que {{a},{a,b}}={{a},{a,b}}. Supongamos que a=b. Entonces
{{a},{a,b}}={{a},{a}}={{a}}. Por suposicin 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 ab. De aqu se deduce que ab pues si no
fuera el caso resultara que dos conjuntos iguales poseen nmero distinto de elementos lo cual es absurdo. Luego, dado que {a} {a,b} por argumento anlogo
al anterior se tiene que {a}={a} i.e. a=a. Y, por argumento anlogo al de arriba,
{a,b}{a} se tiene que {a,b}={a,b}. Como a=a y ba, b=b. La parte () es dejada
al lector.
A partir de la nocin de par ordenado puede obtenerse fcilmente como se
dijo la de trada ordenada, cudrupla ordenada,, ntupla ordenada donde n es
un entero positivo. Por ejemplo, la nocin de trada 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 relacin (binaria, ternaria, , naria).
Concentrmonos en un caso bsico: la relacin binaria; la generalizacin es
directa. A los efectos de caracterizar el concepto de relacin binaria, se definir
previamente el concepto de producto cartesiano. La idea intuitiva del producto cartesiano de A por B se nota AxB es simple: tomar el conjunto de todos los pares ordenados tales que la primera proyeccin pertenece al conjunto A y la segunda
proyeccin pertenece al conjunto B. Ms formalmente:
AxB={<x,y>:xA e yB}.
Ejemplo:
Sea A={1,2} y B={3,4}, AxB={<1,3>,<1,4>,<2,3>,<2,4>}.
Ahora estamos en condiciones de definir relaciones binarias. Simplemente se define una relacin de A en B como un subconjunto de AxB. Es decir, R es relacin
37
son:
y x<y}
y x=y}
y x=2y}
Universidad de la Repblica
Problemas y tareas
38
y m=n}.
Como es obvio solo pertenecen a Igu los pares de naturales tales que la primera
y segunda proyeccin son iguales. Obsrvese que para todo x , <x,x>Igu. Por
esto podemos decir que Igu es una relacin reflexiva.
Expresado en forma general, una relacin R en A se dice que es reflexiva si y
solamente si para todo xA, <x,x>R. La idea bsica de esta propiedad podra
representarse as:
b
c
39
Las relaciones que como Igu gozan de las tres propiedades antedichas,
es decir, son reflexivas, simtricas y transitivas se dice que son relaciones de equivalencia. Cada elemento x del DomR cuando R es de equivalencia permite
definir el conjunto denominado clase de equivalencia de x mdulo R: el conjunto de
todos los objetos que se encuentran relacionados con x por R. Este conjunto puede
notarse as: [x]R. Escrito en trminos de esta notacin, la caracterizacin de arriba
puede lucir as: [x]R={y: <y,x>R}.
Pueden ofrecerse obviamente otros casos de relacin de equivalencia. Por ejemplo, sea T un conjunto de personas, sea ETxT la relacin definida as:
{<x,y>: x,yT y x tiene la misma edad que y}.
Es claro que E es una relacin reflexiva, simtrica y transitiva i.e. E es de
equivalencia.
Sea Es el conjunto formado por todas las palabras del idioma espaol admitidas
por la Real Academia. Sea PIEsxEs la relacin definida as:
{<x,y>: x,yEs y x tiene el mismo nmero de letras que y}.
Es fcil ver que PI es una relacin de equivalencia.
Un concepto que es til introducir ahora, por su estrecha conexin con estas
ideas, es el de particin. Se dice que el conjunto P es una particin del conjunto A
si P es un conjunto de subconjuntos de A tal que: a) cada conjunto es no vaco, b)
para dos elementos cualesquiera de A su interseccin es vaca y c) la unin de todos
los elementos de P es A. Ms formalmente expresado, P es una particin de A si
P(a) y cumple las condiciones siguientes:
Universidad de la Repblica
XP
40
que existe z[x]R pero z [y]R. Por suposicin existe z que pertenece a ambos. Por
lo tanto <x,z>R e <y,z>R, pero como R es simtrica, <z,x>, y, luego, como R
es transitiva, <y,x>R . Como <x,z>R y R es transitiva <y,z>R i.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.
XA y, dado que para todo aA, a[a]R y esta ltima pertenece
Es claro que
XP
X i.e. A
a P, luego a
XP
XP
Problemas y tareas
41
Universidad de la Repblica
Relaciones de orden
42
En la seccin anterior hemos visto ciertas propiedades de las relaciones: reflexividad, simetra y transitividad. La posesin por parte de una relacin de estas tres
propiedades la caracteriza como una relacin de equivalencia. Un procedimiento
anlogo seguiremos aqu. Identificaremos primero algunas propiedades de relaciones y luego caracterizaremos las relaciones de orden.
Sea R una relacin en A.
Denominaremos a una relacin R como irreflexiva si para todo xA, <x,x>R.
Denominaremos a una relacin R como asimtrica si para todo x,yA, si
<x,y>R entonces <y,x>R.
Denominaremos a una relacin R como antisimtrica si para todo x,yA, si
<x,y>R e <y,x>R, entonces x=y.
Es fcil encontrar ejemplos de relaciones que ilustren estas propiedades. Sea T
un conjunto de personas, sea D={<x,y>: x,yT y x es progenitor masculino de y}. La
relacin D es obviamente irreflexiva y asimtrica. Sea A un conjunto. La relacin
definida en (a) es claramente antisimtrica.
Diremos que una relacin R en A es una relacin de orden dbil en A si R es
transitiva, reflexiva y antisimtrica.
Diremos que una relacin R en A es una relacin de orden estricto o fuerte en A
si y solamente si R es transitiva e irreflexiva. Tambin es posible exigir aqu transitividad y asimetra.
Por qu es posible definir de las dos formas arriba descriptas la relacin de orden estricto? La respuesta es fcil: si tenemos una relacin R transitiva e irreflexiva,
sta es asimtrica. Supongamos que R es transitiva e irreflexiva y sea <a, b>R,
supongamos (para demostrar por absurdo) que <b, a>R, entonces, como R es
transitiva, <a, a>R, pero esto es absurdo, pues R es irreflexiva. Luego <b, a>R
i.e. R es asimtrica. Supongamos ahora que R es transitiva y asimtrica. La antisimetra excluye la posibilidad de que, para algn x, <x, x>R i.e. R es irreflexiva.
Veamos algunos ejemplos de relaciones de orden. Las relaciones (menor o
igual) definidas en los reales, racionales, naturales son ejemplos de orden dbil y las
respectivas relaciones < (menor) son ejemplos de orden fuerte. Sea A un conjunto,
la relacin de inclusin en (a) es un orden dbil y la relacin de inclusin estricta en (a) es un orden estricto o fuerte. Frecuentemente hablamos de rdenes
para referirnos a los primeros (relaciones de orden dbil) y de rdenes estrictos para
referirnos a los segundos (relaciones de orden estricto o fuerte). 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 relacin R esta definida.
Un modo de pensar la relacin entre rdenes y rdenes estrictos lo condensa el
siguiente teorema21
Teorema
a. Sea R un orden en A. Sea S la relacin definida en A del modo siguiente:
para todo x,yA <x,y>S si y solamente si <x,y>R y xy. Luego, S es un
orden estricto en A.
b. Sea S un orden estricto en A. Sea R la relacin definida en A del modo siguiente: para todo x,yA <x,y>R si y solamente si <x,y>S o x=y. Luego,
R es un orden en A.
Sea R una relacin de orden en A. Sean a, bA. Decimos que a y b son comparables 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 nocin de comparabilidad nos permite definir el concepto de orden total.
Un orden R en A es denominado total o lineal si para todo a, bA, a y b son
comparables.
A los efectos de que la exposicin de algunas importantes nociones relacionadas
con rdenes se torne ms intuitiva establezcamos algunas convenciones notacionales. Si R es una relacin de orden y <a,b>R, entonces asumiremos que a es menor
que b y, por ello, escribiremos a b (si R es un orden estricto, escribiremos: a<b).
Sea un orden en A. Sea XA. Un elemento xX diremos que es un mnimo
de X (para la relacin ) si, para todo yX, xy y un elemento xX se dice minimal si no hay ningn y (yx) tal que yx. Pueden definirse anlogamente mximo
y maximal.
Pueden existir varios elementos minimales pero (si existe) hay un solo elemento
mnimo. Representemos dos rdenes (donde la direccin de las flechas indica el
orden de lectura del par i.e. el primer elemento ledo es el inferior):
Ejemplo 1
e
d
a
e
d
En el caso del ejemplo 1, no hay mnimo y hay dos minimales (a y b). En el caso
del ejemplo 2 hay mnimo (f) y ste tambin es minimal en el caso de rdenes
totales no hay diferencia entre ambos conceptos. En el caso del ejemplo 1, no hay
mximo y hay dos maximales (f y e). En el caso del ejemplo 2, el mximo y el maximal coinciden.
21 Este teorema aparece, por ejemplo, en Hrbacek y Jech (1978) p. 37.
Ejemplo 2
43
Funciones
Las estructuras denominadas funciones cuya importancia difcilmente puede
sobrestimarse son, precisamente, un tipo particular de relaciones. Su particularidad consiste en que para cada elemento del dominio de la relacin existe un y solamente un elemento en su rango. Es decir, si f es una funcin de A en B se nota
f: AB se tiene que si <x,y>f y <x,z>f, entonces y=z.
Ejemplo:
Sea Suc:
0
1
1
2
n+1
Universidad de la Repblica
44
<5,1>
<3,4>
<9,8>
6
7
17
B
c
b
d
d
e
En general, hablaremos de la imagen de una funcin para el elemento a de su dominio, como el valor que la funcin toma para ese elemento. Generalizando la idea,
si f: AB, la imagen de A1A por la funcin f lo notamos f [A1] al conjunto
de todos las imgenes de los elementos de A1 i.e. f [A]={y: existe xA tal que f(x)=y}.
Funcin biyectiva
45
Ejemplos de funciones:
f1 :
, f1(x)=2.x ;
f2:
{0,1}, f2(x)=
1, si x no es par
0, si x es par
, f4(x,y)=x.y
Dadas dos funciones f y g tales que f: AB y g: BC podemos formar la composicin de f y g. Notaremos tal objeto g f y queda definido as:
g f={<x,y>: <x,z>f y <z,y>g}.
Obviamente, se trata de una funcin que va de A en C. A veces tambin se le
caracteriza as: g f : AC, (g f) (x)=g(f(x)).
Una interesante aplicacin de la nocin de biyeccin es la siguiente definicin.
Isomorfismo
Definicin
Decimos que f es un isomorfismo entre dos conjuntos ordenados <A,R> y <B,S>
si y solamente si f es tal que f: AB, f es biyectiva y para todo x,yA, <x,y>R si
y solamente si <f(x),f(y)>S.
La nocin de isomorfismo puede presentarse en una forma ms general pero
hemos optado por esta forma ms restringida para que pueda ser fcilmente comprendida y pueda as advertirse el tipo de similaridad que la relacin de isomorfismo
asegura. Como se suele decir, implica una suerte de identidad estructural. Cuando
la formulamos en toda su generalidad, lo que garantiza es que funciones y relaciones
son preservadas (de una estructura a otra) por la funcin de isomorfismo.22
Problemas y tareas
Universidad de la Repblica
1. Para cada una de las funciones definidas abajo, proponga una funcin caracterizada en forma anloga (es decir, identifique la idea que subyace a cada una
de las definiciones propuestas)
46
Cardinalidad23
Esta idea parece capturar muy bien la igualdad de tamao: si se puede producir
el apareamiento descripto los conjuntos poseen el mismo tamao, si no se puede
producir el mismo, difieren en tamao. Esta nocin intuitiva de apareamiento
queda prolijamente elucidada por el concepto preciso de biyeccin. Luego dos conjuntos poseen el mismo tamao o, ms tcnicamente, poseen la misma cardinalidad
23 Este captulo es algo ms exigente que los anteriores pero alcanza con capturar las ideas bsicas
para la comprensin del resto de este libro.
A pesar del carcter elemental y bsico de los desarrollos anteriores, stos nos
permiten esbozar una respuesta a la fascinante pregunta: cmo medir el tamao
de un conjunto?
Una contestacin a tal interrogante, expuesta en trminos intuitivos, es la siguiente: dos conjuntos tienen el mismo tamao si con cada elemento de uno podemos aparear uno del otro y cubrimos los dos conjuntos es decir, no nos queda
en ninguno de los dos conjuntos algn elemento sin pareja. El siguiente diagrama
permite ilustrar la idea
47
si es posible definir una biyeccin entre ellos. Podemos resumir tal situacin 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 f: AB y f es biyeccin. A veces se dice que A
y B son biyectables o equipotentes y se nota AB. Diremos que card (A) card(B)
si existe una inyeccin f: AB.
Es importante observar que nuestra notacin se encuentra plenamente justificada ya que tal como hemos definido esta relacin es un orden. La reflexividad
y transitividad de tal relacin son fcilmente demostrables. La antisimetra es ms
difcil de demostrar: es conocida como Teorema de Cantor-Bernstein. Estudiemos
una demostracin bsica del mismo. Previamente, demostramos el siguiente24
Teorema
Si CBA y card(A)=card(C) entonces card(A)=card(B).
Prueba. Dado que card(A)=card(C), existe f: AC, f siendo una biyeccin.
Construimos una serie de conjuntos, siendo A0=AB, A1= f [A0], A2= f [A1],
Veamos grficamente la situacin:
A
A0 =A-B
C
.
A3
f
A2
A1
Sea D=
Universidad de la Repblica
iN
48
Ai.
si aD
si aD.
24 En la exposicin presente hemos usado varias fuentes; en particular, en la demostracin de este teorema hemos seguido a Malitz (1987), Algunas obras ofrecen pruebas ms rigurosas pero requieren
conceptos cuyo estudio excede esta breve introduccin. El lector interesado puede consultar textos
de teora de conjuntos como, por ejemplo, Hrbacek y Jech (1978) o Roitman (1990).
Dado que los casos son exhaustivos, hemos probado la inyectividad de f*.
Ahora probaremos que f es sobreyectiva. Sea bB. Si bD, entonces, dado que
bA pues BA, f*(b)=b, es decir, bRan f*. Si bD, entonces bAi con i1, pues
bA y bB, luego bAB, es decir, bA0. Ya que bAi, bf [Ai1], luego existe
a1Ai1 tal que f(a1)=b. Como a1D, f*(a1)=f(a1)=b, es decir, bRanf*. Esto demuestra que f* es sobreyectiva.
Dado que hemos demostrado que f* es inyectiva y sobreyectiva, tenemos que es
una biyeccin, es decir, card (A)=card(B).
Podemos demostrar el teorema de Schrder- Bernstein o Cantor-Bernstein (al
parecer no es sencillo establecer en forma precisa la autora del mismo) fcilmente
a partir de este resultado..
Teorema CantorSchrder-Bernstein
49
Universidad de la Repblica
hay un yA tal que g(f(y))=x, obviamente f(y)B y as xg[B], es decir, xB1. Luego
tenemos que CB1A y, como habamos probado que card(A)=card(C), aplicando
el teorema anterior, obtenemos card(A)=card(B1). Pero g es una funcin 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 caracterizacin de la igualdad
de cardinalidad o tamao como la equipotencia o biyectabilidad de los conjuntos no parece exhibir problema alguno. Si comparramos respecto de su tamao
los conjuntos A y B del primer diagrama de esta seccin, es decir, comparramos el
nmero de elementos de A con el nmero de elementos de B, la respuesta es unvoca: poseen el mismo nmero de elementos y esto parece quedar asegurado por la
existencia de una biyeccin. Pero, qu ocurre cuando nos enfrentamos con conjuntos infinitos? Galileo ya haba 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 caracterizacin anterior de igualdad de tamao, el conjunto de los
enteros positivos y el conjunto de los cuadrados de enteros positivos poseeran
igual tamao. Pero, a su vez, el conjunto de los cuadrados de enteros positivos es un
subconjunto propio de los enteros positivos. Cmo es posible que la parte tenga
el mismo tamao que el todo? La respuesta positiva a tal interrogante contradice
un axioma de la geometra eucldea que afirma que el todo es mayor que las partes.
El creador de la teora 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 biyeccin entre los conjuntos involucrados. La idea de su construccin es
simple: a cada n2 le asocia n con n entero positivo. Pero, adems, estos conjuntos
son biyectables es decir, puede construirse una biyeccin con . Cuando un
conjunto dado puede biyectarse con se dice que es numerable. A veces se denomina, 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 tambin numerables los nmeros reales? La respuesta es negativa y fue obtenida por Cantor a travs de un legendario
teorema. La idea el uso del denominado mtodo de la diagonal es esta: tmese
el intervalo real 0<x<1. Pueden escribirse todos los reales de este intervalo como
50
25 Expuesta de una forma grosera, podramos decir que los defensores del infinito potencial
conciben el mismo como ilimitacin, como la posibilidad de adicionar o sustraer ilimitadamente. Desde este punto de vista, por ejemplo, los nmeros naturales son infinitos en el sentido
en que, para cualquier nmero natural n, puede calcularse un nmero natural mayor (digamos
n+1). Podramos decir que, en esta perspectiva, la infinitud nunca se da plenariamente sino solo
en tanto posibilidad. Por oposicin, el partidario del concepto de infinito actual entiende el
mismo no como una posibilidad que nunca se actualiza cabalmente sino como algo totalmente
dado. Desde este punto de vista, los nmeros naturales son actualmente una totalidad infinita,
plenamente dada. Fraenkel entiende que la construccin de la teora de conjuntos supone la
conquista del infinito actual y tal hazaa implica una ampliacin del horizonte cientfico tan
extraordinaria como, por ejemplo, la revolucin copernicana vase Fraenkel (1966).
fracciones decimales tales que su primer dgito significativo se encuentra despus del
punto y es seguido por infinitos dgitos que no son 0 si la fraccin poseyera una
lista infinita de 0s ponemos 9s en su lugar. Supongamos que se pudiera construir
una lista exhaustiva de los reales de este intervalo: x0, x1, . Luego enumeramos tambin los dgitos despus del punto de cada uno de ellos y los ordenamos en una tabla.
x03
x13
x23
x33
x02
x12
x22
x32
x01
x11
x21
x31
.x00
.x10
.x20
.x30
Teorema
Prueba. Sea f: A(A) tal que para xA, f(x)={x}. Esta funcin es obviamente
inyectiva por definicin, entonces card(A) card((A)). Mostraremos ahora que
no puede haber funcin sobreyectiva de A en (A). Argumentaremos por absurdo.
Supongamos que existe una f: A(A) tal que f es sobreyectiva. Sea B={xA:
xf(x)}. Es evidente que B(A) y, dado que por hiptesis f es sobreyectiva, existe yA tal que f(y)=B. Sabemos que yB o yB. Supongamos que yB, entonces
yf(y), es decir, yB. Supongamos ahora que yB. Esto quiere decir que yf(y), es
decir, yB. En cualquier caso, llegamos a una contradiccin. Por absurdo, no existe
26 El teorema y la prueba se encuentran expuestos en diversos textos de teora de conjuntos. Hemos
seguido aqu bsicamente la obra antes citada de Hrbacek y Jech (1978). Consultamos tambin
la exposicin de Partee, et al. (1993).
51
Problemas y tareas
Universidad de la Repblica
52
a. XX (reflexividad)
b. Si XY, entonces YX (simetra)
c. Si XY y YZ, entonces XZ (transitividad).
27 Este resultado figura como ejercicio ms abajo.
28 Nuevamente, esta respuesta puede encontrarse en los libros de texto sobre teora de conjuntos
citados. Por ejemplo, puede leerse el captulo 4 de Machover (1996). Las breves observaciones
histricas de este ltimo prrafo han seguido tambin los comentarios de este autor.
53
Captulo 3
Estructuras proposicionales
30 En honor a la verdad debiera agregarse, por las mismas razones estructurales o algo equivalente. Para el lector principiante que pretende capturar la idea intuitiva, esta nota quiz es prescindible; la misma se escribi entonces pensando en el lector ya avisado (y ms bien obsesivo).
55
Sin embargo, existe algo que este esquema no capta, a saber, que lo colocado
en los primeros puntos suspensivos despus del Si debe ser idntico a lo
colocado en los terceros puntos suspensivos los correspondientes a la segunda
premisa y que lo colocado en los ltimos puntos suspensivos correspondiente
a la conclusin debe ser idntico a lo colocado en los segundos puntos suspensivos. Un modo de expresar esta situacin consiste en escribir letras en lugar de los
puntos suspensivos con la exigencia obvia de que cuando se sustituye A por
una cierta expresin E, esto se haga para todas las ocurrencias de A: cada vez que
aparece A debe escribirse E. El esquema podra quedar as:
b)
Si A, entonces B
A
B
Es fcil convertir b) en un enunciado si se recuerda que la barra es una abreviatura de por lo tanto o en consecuencia. As se tiene:
Universidad de la Repblica
56
Cabra, no obstante, una pregunta: puede colocarse en lugar de A y B cualquier expresin del idioma espaol 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 ms an: puede ponerse en lugar de A y B cualquier oracin, por ejemplo, interrogaciones u
rdenes? La respuesta es: no. La razn es simple: si en lugar de premisas y conclusin
se insertan expresiones que no son enunciados, la sustitucin no dar como resultado un argumento tal cual fue definido este ltimo concepto. De modo que una
restriccin esencial debe imponerse a los segmentos lingsticos 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 enunciados que desee en lugar de A y B, obtendr un argumento lgicamente correcto.
Vase que, en ltimo trmino, la correccin por ahora intuitivamente considerada
depende, en forma exclusiva, del modo cmo estn conectados los enunciados.
Es decir, la garanta de la correccin del argumento descansa en las conexiones
entre enunciados. Podra decirse entonces que, a los efectos de identificar la correccin argumental en estos casos, es especialmente til atender, en forma exclusiva, a
tales conexiones; es decir, aislar su estructura proposicional o enunciativa. El estudio
de estas estructuras es el objeto del lenguaje lgico proposicional.
d) a(b+c)=ab+ac.
57
honor a la verdad, la situacin es algo ms compleja; tendremos oportunidad de afinar estas ideas cuando estudiemos, en el captulo siguiente, los aspectos semnticos
del lenguaje proposicional pero por ahora esta aproximacin intuitiva es suficiente.
Si este lenguaje debe ser capaz de expresar estructuras como la representada en
b, entonces debiera contar al menos con smbolos para expresar aquellas porciones lingsticas que como en b) juegan un papel lgicamente esencial en la
estructura argumental. En el caso de nuestro ejemplo, la relacin entre enunciados
expresada a travs del giro lingstico sientonces cumple un papel de este tipo.
En nuestro lenguaje artificial, se representarn tales expresiones a travs de smbolos que se denominarn conectivos o conectores. As, en el ejemplo de arriba, el
conectivo en cuestin se llama condicional y se nota as: . La primera premisa
de b) luego podra escribirse en nuestro lenguaje artificial de la siguiente forma en
lugar de A y B usaremos, por razones de comodidad, la letra A con subndice,
pues mediante este expediente obtengo un stock infinito numerable de letras de
enunciados:32 (A1A2).
El lector habr advertido que hemos encerrado entre parntesis la expresin
del lenguaje artificial correspondiente a la premisa en cuestin. El motivo de tal
operacin es asegurar uno de los objetivos pretendidos con la construccin de un
lenguaje artificial, a saber, la univocidad. Es verdad que, en el caso de esta expresin condicional, si eliminramos sus parntesis la univocidad no parece peligrar: si
careciera de parntesis es obvio que admite una sola lectura eso hace que, en la
prctica, se acuerde no escribir los parntesis en estos casos. Sin embargo, es fcil
imaginar situaciones en las cuales los parntesis se convierten en tiles recursos
desambiguadores.
As, por ejemplo, considrese la expresin siguiente:
e) Si la lluvia cae suavemente, entonces Juana gusta de pasear por la playa y
no le gusta baarse en el mar.
La frmula (sin parntesis) podra lucir as donde est en lugar de y y
est en lugar de no:
f) A1A2A3.
Universidad de la Repblica
58
En consecuencia, los parntesis son los que nos permiten asegurar que las expresiones de este lenguaje posean una lectura nica. As pues sumaremos a los
smbolos bsicos del mismo, adems de las letras de enunciados y los conectivos,
los parntesis.
Parece existir una cierta diferencia de status desde el punto de vista intuitivo entre estas tres categoras de smbolos que se pretende conformen el lenguaje
artificial proposicional: conectivos y letras de enunciados parecen imprescindibles,
los parntesis puede dudarse si son necesarios. La justificacin que se desarroll en
las lneas anteriores muestra que la exclusiva finalidad de su introduccin radica en
la necesidad de asegurar la univocidad de las expresiones del lenguaje formal. Una
pregunta razonable podra ser la siguiente: es mediante la introduccin de parntesis el nico modo de asegurar la univocidad?
La respuesta es: no. Una forma de conseguir univocidad prescindiendo del uso de
parntesis es conocida: la denominada notacin polaca. La idea de esta notacin
consiste en colocar los conectivos precediendo a las letras de enunciados, dispensndonos as del uso de los parntesis sin por ello perder univocidad. Simplemente
a los efectos de ofrecer una idea rpida del funcionamiento de tal notacin digamos
que la expresin g) se escribira:
A1A2 A3
y la expresin (h)
A1 A2 A3.
h) (A1(A2A3)).
59
En realidad, en tal notacin se escriben los conectivos con ciertas letras latinas
maysculas pero la idea esencial es la que ha sido expuesta.33
En sntesis, hemos visto que los parntesis son prescindibles. Sin embargo, la
notacin con parntesis es ampliamente usada. El lenguaje que se construir aqu
seguir tal tradicin.
Como el lector seguramente sospecha, existen ciertas cadenas o secuencias de
smbolos del vocabulario del lenguaje artificial que admitiremos y otras no. Dada
la discusin anterior, seguramente no debiera admitirse una expresin como f). En
cambio, g) o h) parecen plenamente aceptables. En la prxima seccin formalizaremos nuestro lenguaje, entre otras razones para poder definir rigurosamente las
cadenas o secuencias de signos admisibles o legtimas.
Universidad de la Repblica
33 Una exposicin breve, estimulante y adecuado a este nivel de estudio, puede encontrarse en
Naishtat (1986).
60
34 Un mismo lenguaje puede ser, en un contexto, lenguaje objeto y en otro contexto, metalenguaje. Eventualmente an en el mismo lenguaje podemos referirnos a l mismo y usarlo as como
metalenguaje; el lenguaje natural cuenta con ese poder expresivo y la confusin de niveles que
propicia puede considerarse una buena motivacin para la construccin de lenguajes formales.
35 La mayora de los detalles tcnicos del enfoque que se desarrolla aqu se inspiran en la exposicin del excelente Logique Mathmatique de Cori y Lascar (1993). Asimismo se ha consultado
la ya mencionada obra de Naishtat (1986). Estos libros son, por as decir, matemticamente ms
duros; se ha pretendido en las pginas que siguen ofrecer una versin ms didctica de algunos
de los conceptos fundamentales.
Smbolo
formal
Nombre
Se lee
Ejemplos en
lenguaje natural
negacin
no
conjuncin
Traduccin al
lenguaje formal
A1
(A1A2)
(A1A2)
(A1wA2)
(A1A2)
disyuncin inclusiva
disyuncin exclusiva
oo
condicional
bicondicional
si y solo si
(A1A2)
Llamamos For Pal(A) al conjunto ms pequeo tal que cumple con las condiciones siguientes:
a. LP For;
b. si For entonces For;
c. si , For entonces ( * )For donde * K{}.
La definicin 1 podra tambin formularse as:
61
Definicin 2
Sea For Pal(A) tal que:
a) LP For;
Conjunto inductivo
Definicin
Universidad de la Repblica
62
Fi.
y puede demostrarse.
Podemos pensar este modo alternativo de definir el conjunto de las frmulas de
L como una caracterizacin ms constructiva. En ella se puede apreciar la gnesis de cada frmula: se parte desde las letras de enunciados y se va armando, en
cada nivel, sus partes ms complejas hasta componerla definitivamente. Solo como
ejemplo, cmo se puede visualizar la construccin de la frmula ((A1A2)(A1
A2))? Primero A1,A2 F0. Luego A1 F1, (A1A2) F1. Es obvio que
(A1A2) F2. Pero, como (A1A2) F1 y la serie es creciente (A1A2)
F2. As ((A1A2)(A1vA2))F3. La constructividad de la tarea resulta evidente
por el hecho de que, en cada paso, para definir el Fi en cuestin, usamos un cierto
conjunto Fi1 del cual ya tenemos una receta de cmo construirlo.
La idea ms importante a la que hemos arribado es que podemos dar una caracterizacin matemticamente precisa de nuestro lenguaje; a partir de este momento,
tal lenguaje se identifica con For ms all de cul de las alternativas que hemos
expuesto sea la escogida para definirlo. Es decisivo advertir que esta caracterizacin
es puramente sintctica, es decir, en la delimitacin del conjunto de las frmulas no
hemos apelado sino a la forma de los smbolos. Esta explicitacin rigurosa de las
63
Frmulas
(Lenguaje L)
no-frmulas
Un poco de reflexin nos lleva a considerar que, independientemente de los rasgos intuitivos, las caracterizaciones ofrecidas de For parecen cumplir con aquello
que, desde el punto de vista informal, demandamos de las mismas. Es decir, hacen
el trabajo para el cual las diseamos, a saber, nos permiten delimitar de un modo
riguroso el conjunto de palabras (desde un punto de vista intuitivo) significativas.
Un modesto test lo constituyen los ejemplos i) y j). Es relativamente inmediato advertir cmo podramos mostrar que, por ejemplo, nuestra definicin 1 de Conjunto
de las frmulas aprueba el ejemplo j) Para hacerlo podramos construir una prueba
de ello del modo siguiente:
1. A1For, por definicin 1 de For (a).
2. A2For, por definicin 1 de For (a).
3. (A1A2 )For, por 1, 2 y por definicin 1 de For (c).
En los pasos 1 y 2 justifico que las letras proposicionales en cuestin son frmulas y en 3, a partir de expresiones que ya prob son frmulas, construyo una nueva
frmula. Otro ejemplo puede permitir entender mejor la estrategia. Tomemos la
palabra ((A1A2)(A5A6)).
He aqu una prueba de que se trata de una frmula:
1. A1For, por definicin 1 de For (a).
2. A2 For, por definicin 1 de For (a).
Universidad de la Repblica
64
Problemas y Tareas
1. Para definir L hemos caracterizado, bsicamente, tres conjuntos: A, Pal y
For este ltimo, como el lector recuerda, ha sido definido inductivamente.
Teniendo el caso de la definicin de L en mente:
a. Proponga un alfabeto B (modesto) y caracterice Pal y For para tal alfabeto.
b. Sea un alfabeto C={a,b}. Caracterice Pal y For para tal alfabeto pero
guiada la definicin de For por la idea intuitiva siguiente: son frmulas a y b y secuencias de smbolos de C que empiezan y terminan con a. Ejemplos: aaa, aba, aabaa. (Hay varias posibilidades).
c. Sea un alfabeto D={1,2,3}. Caracterice Pal y For para tal alfabeto pero
guiada la definicin de For por la idea intuitiva siguiente: son frmulas 1,
2 y 3 y secuencias de smbolos de D que empiezan con 1 y terminan
con 2 o 3. Ejemplos: 112, 123, 1212323. (Hay varias posibilidades).
2. Demuestre que las siguientes palabras de A son frmulas i.e. pertenecen a
For:
a. ((A1A22)A5)
b. (((A2A5)(A2A3))(A5A3))
c. (A1(A3(A6A1)))
3. Como recuerda del captulo anterior, dos conjuntos son distintos si hay al
menos un elemento que pertenece a uno y no al otro. Luego, para demostrar que dos conjuntos son distintos alcanza con encontrar ese elemento
diferenciador
Sea For como lo hemos presentado en la definicin 1 de Conjunto de
frmulas. Sea N el conjunto de los nmeros naturales. Sea <Gi> con i
una serie de conjuntos construida del modo siguiente:
b. Sea Gn + 1=Gn {a : aG 0}{(a* b):a, bGn } con *K{}.
Gi.
Sea For como lo hemos presentado en la definicin 1 de Conjunto de frmulas. Sea el conjunto de los nmeros naturales. Sea <G i> con i una
serie de conjuntos construida del modo siguiente:
a. G0=LP;
65
a. G0=LP;
b. Sea Gn + 1=Gn {:Gn}{ ( * ): , G0} con *K{}.
Gi.
Gi.
Universidad de la Repblica
66
El problema arriba planteado acerca de la posibilidad de decidir, ante una palabra cualquiera del alfabeto A, si se trata o no de una frmula requiere para ser
adecuadamente enfrentado una cierta clarificacin del concepto decidir. Es
decir, cundo se puede decidir si un cierto objeto pertenece o no a un conjunto
determinado? Cuando se cuenta con un procedimiento mecnico u algortmico que
ofrece la respuesta buscada. Un procedimiento de esta naturaleza se caracteriza po
r informalmente hablando proveer un mtodo que puede ser llevado adelante sin necesidad de apelar a la intuicin, a la inteligencia o al ingenio esto es,
que puede ser seguido por una mquina y, en un nmero finito de pasos, permite
arribar a la solucin deseada. Usualmente se ejemplifica este concepto recurriendo
a operaciones aritmticas elementales como la suma o el producto. En este caso
especfico, el algoritmo adecuado sera un procedimiento mecnico que permitiera,
aplicado a una palabra dada, en un nmero finito de pasos, determinar si tal palabra
pertenece o no al conjunto de las frmulas.
En trminos generales, si se cuenta con tal procedimiento decimos que la cuestin es decidible tambin decimos, si se trata de la pertenencia o no a un cierto
conjunto, como en el caso presente, que el conjunto es decidible. Si no puede obtener un procedimiento de tal naturaleza, se habla de indecidibilidad. La rigorizacin
de estas nociones escapa a los lmites de este libro de lgica pero, naturalmente, no
escapa a las preocupaciones intelectuales lgicas. Ms an, la elucidacin matemtica de la nocin intuitiva de algoritmo se cuenta entre los resultados fundamentales
de nuestra disciplina.
38 A los efectos de poseer una idea de cmo funciona un procedimiento tal puede consultarse la
descripcin de un algoritmo destinado a resolver este problema en Naishtat (1986).
39 Una posibilidad de apreciar un algoritmo que hace este trabajo admitidas ciertas restricciones
en el lenguaje (en realidad se trata de un lenguaje ms sofisticado, ya que trabaja para lgica de
orden uno) resulta de ejecutar el programa Tarskis World que acompaa el ya mencionado libro
de Barwise y Etchemendy (1999). Existe ahora una cuidadosa versin espaola de dicho libro y
del software que le acompaa. Recomendamos enfticamente tanto la lectura del libro como el
uso del software respectivo. Algunas ideas de este texto se inspiran en esa fantstica obra.
40 Este contraste es frecuentemente resaltado en los textos aparece, por ejemplo, en Enderton
(1972).
67
Universidad de la Repblica
68
Proposicin
Para toda FFor, opi[F]=opd[F].
Prueba. Demostraremos siguiendo el esquema de prueba expuesto en arriba.
Usamos aqu las mismas letras que sealan cada paso en el esquema para facilitar la
identificacin de los mismos.
a. Sea FLP. Luego opi[F]=0=opd[F] y as opi[F]=opd[F].
b. Sea FG. Probaremos que la propiedad vale para G, esto es, F. Por hiptesis 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 hiptesis inductiva, opi[G]=opd[G] y opi[H]=opd[H]. Entonces tenemos 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 cuestin
para toda frmula
Proposicin
Prueba. Nuevamente, demostraremos siguiendo el esquema de prueba de arriba.
a. Sea FLP. Entonces op[F]=0 y lar[F]=1 i.e. op[F]+1lar[F].
b. Sea FG. Probaremos que la propiedad vale para G, esto es, F. Sabemos
que op[F]=op[G] ya que F no tiene ms parntesis que G. Y sabemos tambin que lar[F]=lar[G]+1, por la presencia del conectivo negacin. Por hi41 He usado parntesis rectos a los efectos de que sean grficamente diferentes los parntesis correspondientes a la frmula F de los parntesis pertenecientes a la funcin en cuestin.
69
Es decir op[F]+1lar[F]).
Universidad de la Repblica
70
Problemas y tareas
1. Sea fFor, sea npi(f) la funcin que da el nmero de ocurrencias de parntesis
izquierdos de f, sea npd(f) la funcin que da el nmero de parntesis derechos
de f, sea op(f) la funcin que da el nmero de ocurrencias de parntesis de f
42 Una demostracin de este teorema puede encontrarse en, por ejemplo, Naishtat (ob. cit.) y Cori
y Lascar (ob. cit.).
,sea olp(f) la funcin que da el nmero de ocurrencias de letras proposicionales en f, sea oc(f) es nmero de ocurrencias de conectivos en f, sea ocb(f) da
el nmero de ocurrencias de conectivos binarios (K{}) en f.
a.
b.
c.
d.
e.
f.
g.
h.
i.
2. Sea For1 definida igual que For solo que la introduccin de la negacin supone parentizar la frmula negada, es decir, el caso 2 es f (G). Sea fFor1,
oc(f) el nmero de ocurrencias de conectivos en f, np(f) el nmero de parntesis en f. Demostrar que 2oc(f)=np(f).
3. En el tem 1 del apartado de Problemas y tareas de la seccin El lenguaje
formal proposicional, se pide que se definan sendos lenguajes. Proponga
una propiedad que valga para cada uno de ellos e intente demostrarlas
inductivamente.
4. Justifique que las siguientes palabras no son frmulas: (Sugerencia: use en
algunos casos resultados ya probados por induccin)
a. [(A1A2)A3]
b. (A1(A23A5)
c. (A2A3)(A1A88)
El objetivo de esta primera parte de nuestro estudio resida, en trminos generales, en comenzar el estudio de las estructuras argumentales ms simples, a saber,
las estructuras proposicionales. La lgica que estudia tales estructuras se denomina
lgica proposicional o enunciativa. Desde el punto de vista histrico curiosamente
no fue el estudio de sta el que se desarroll primeramente en forma ms profunda.
La lgica aristotlica la lgica desde Aristteles hasta mediados del siglo XIX
no privilegia el estudio de las estructuras proposicionales. Como sealan Kneale y
Kneale,43 la peripattica continuadora de Aristteles y la estoica continuadora de la tradicin megrica fueron las dos grandes escuelas lgicas de la antigedad. El origen de la lgica proposicional se remonta, precisamente, a la escuela
estoica. Este hecho, no obstante, escap a la percepcin de los historiadores hasta
que en la dcada del 30 del siglo pasado Jan Lukasiewicz, un lgico y filsofo polaco,
lo puso de manifiesto.44 Lukasiewicz muestra la forma correcta de entender textos
43 Vase Kneale y Kneale (1984) p. 107.
44 Puede consultarse especialmente Lukasiewicz (1975) donde el autor seala que defenda tal
posicin desde la dcada del 20. El trabajo clsico sobre la lgica megrico-estoica es La lgica
Sntesis
71
producidos por los estoicos como el siguiente que eran conocidos pero interpretados en otra clave:
Si lo primero, entonces lo segundo,
es as que lo primero;
luego lo segundo.
Escribe Lukasiewicz:45
En esta frmula, las palabras lo primero y lo segundo son variables porque
los estoicos no representaban las variables con letras sino con nmeros ordinales. Es claro que tampoco estas variables pueden ser sustituidas con sentido
por otra cosa que no sean proposiciones; por ejemplo, es de da, hay luz.
Al realizar esta sustitucin obtenemos la inferencia que aparece una y otra vez
como ejemplo escolar en los textos estoicos: Si es de da, entonces hay luz; es
as que es de da; luego hay luz.
Universidad de la Repblica
72
Aqu aparece ntidamente establecida la necesidad de un lenguaje especial particularmente preciso. La historia de la construccin de lenguajes formales es, como
se dijo antes, muy rica y no ha sido el resultado del esfuerzo de un nico pensador.
Sin embargo, Frege juega en tal empresa junto a otros autores como Hilbert o
Tarski un papel muy destacado. Estas lneas suyas permiten ejemplificar las motivaciones para construir lenguajes lgicos formales. En particular, para construir un
lenguaje artificial adecuado para capturar las estructuras argumentales deductivas
proposicionales, como el que acabamos de estudiar en su aspecto sintctico.
de los estoicos, Mates (1985).
45 Lukasiewicz (1975) p. 89.
46 Vase Frege (1972).
47 Es ms ajustado decir que cumple con el teorema de lectura nica y que la unicidad de lectura
es un prerrequisito de la univocidad pretendida.
Un aspecto fundamental de tal lenguaje es (como hemos visto) su carcter formal. Ello quiere decir como resumen que basta para caracterizarlo con recurrir
a la pura sintaxis, sin necesidad de apelar al plano de los significados o las denotaciones de sus smbolos. Cmo lo hemos construido?
El primer paso consisti en definir un alfabeto A integrado por un conjunto
(infinito numerable) de letras proposicionales, un conjunto de smbolos lgicos denominados conectores y dos smbolos auxiliares: los parntesis curvos. Cualquier
cadena de smbolos del alfabeto A se denomina palabra y al conjunto de todas las
palabras del alfabeto se lo nota Pal(A). Entre las palabras de A se privilegia algunas
que resultan interesantes pues pueden representar (desde el punto de vista intuitivo)
estructuras argumentales o, si se prefiere, enunciados a partir del captulo
siguiente estas razones intuitivas se refinarn. Cules son esas palabras? Las hemos
denominado frmulas y hemos estudiado dos definiciones precisas del conjunto de
las frmulas. En realidad, sabemos que tal conjunto es decidible, pues se ha ofrecido
un algoritmo que permite, dada una palabra, determinar si se trata de una frmula. Hemos visto asimismo que es posible justificar, mediante las definiciones de
Conjunto de las frmulas, que una cadena determinada es una frmula.
Una pregunta razonable es cmo podemos estudiar, desde el punto de vista sintctico, ese tipo de palabras especiales que denominamos frmulas. O, quiz puesto
de forma ms intuitiva, si es posible identificar ciertas propiedades sintcticas que
comparten todas las frmulas. Si For fuera finito entonces la pregunta resultara
ociosa pero como se trata de un conjunto infinito ms precisamente, infinito numerable es en extremo pertinente: no puedo analizar las frmulas, por as decir,
una a una. La estrategia es usar las denominadas pruebas por induccin.
Este mtodo nos permite probar que el lenguaje construido posee una de las
propiedades que motivan la construccin del lenguaje artificial, a saber, la univocidad.47 Este es el significado conceptual del denominado Teorema de Lectura nica.
Este teorema nos asegura que, tal cual lo pretendamos, el lenguaje construido es
sintcticamente unvoco.
73
Captulo 4
b)
(A1A2)
A1
A2
Un modo razonable de comenzar a interpretar nuestro lenguaje consiste en atribuir significado a las letras proposicionales. Estas se caracterizan, precisamente, por
nombrar enunciados. Estos, a su vez, son oraciones que o bien son verdaderas o bien
son falsas. Dado que no nos interesa el contenido del enunciado que la letra proposicional representa sino solo el valor de verdad del mismo, un modo natural de interpretar aqulla parece ser atribuirle exclusivamente el valor de verdad del enunciado.
Si retratamos la estructura de la argumentacin anterior recurriendo a los recursos del lenguaje formal construido en el captulo anterior obtenemos:
75
Universidad de la Repblica
76
A2
(A1A2)
V
F
V
F
V
V
F
F
V
F
F
F
V
V
F
F
()
V
F
F
F
V
F
V
F
77
V
F
V
F
V
V
F
F
()
V
V
V
F
V
F
V
F
V
V
F
F
(w)
F
V
V
F
Universidad de la Repblica
V
F
V
F
78
V
V
F
F
()
V
F
F
V
La caracterizacin semntica del condicional posee algunos aspectos menos intuitivos. Como cualquiera de los conectores arriba estudiados, este operador conecta dos frmulas: llamaremos a la frmula que se ubica a la izquierda del mismo
antecedente y a la que se ubica a la derecha consecuente. Empecemos por su ncleo
intuitivo: un condicional en que el antecedente es verdadero y el consecuente es
falso, no puede admitirse como verdadero. Si afirmo si gano la lotera, entonces
pagar mis deudas y gano la lotera pero no pago mis deudas ciertamente no dije
la verdad cuando afirm el condicional anterior. Igualmente indiscutible es que si
tanto antecedente como consecuente son verdaderos, entonces el condicional es
verdadero. Expresando estos casos en la tabla se tiene:
V
F
V
F
V
V
F
F
()
V
V
F
V
F
V
V
F
F
( )
V
V
F
V
79
la verdad del antecedente. Este conector puede leerse (en el lenguaje formal) si
entonces o condicional. Ejemplo del uso del conector en el lenguaje ordinario:
Si Juan gana la lotera, 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 peculiaridad de conectar dos frmulas (de cualquier complejidad). A tales conectores se
les denomina binarios. En el caso del conector denominado negacin se
aplica a una frmula (de cualquier complejidad) y por ello se le denomina unario.
En consonancia con la ltima observacin, la tabla solo debe contemplar los dos
valores posibles que puede tener la frmula a la cual se aplica el operador; la definicin es la esperada:
Negacin (asociada con las expresiones no, no es cierto que)
V
F
F
V
Problemas y tareas
Universidad de la Repblica
1. Los enunciados Juan es sano y Juan es rico pueden permitirnos generar nuevos enunciados aplicando los conectivos ya estudiados. Ofrezca diez
ejemplos de enunciados que surgen de tales aplicaciones. Escriba las frmulas
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 algn conector binario que no ha sido caracterizado arriba;
b. de un conector unario distinto de la negacin;
c. del conector binario siguiente cuya expresin en el lenguaje natural
aparece subrayada: Juan ni es sano, ni es rico.
80
f j(An)=
V, si n>23
F, en otro caso
Interpretacin
Definicin
Sea f j una asignacin de valores de verdad. Notaremos con f j(A1), f j (A2),, f j
(An), los valores que, respectivamente, f j da a A1, A2, , An, . Sea j, yFor.
Definimos la funcin If j: ForVal del modo siguiente:
1. If j (j)=f j (j) si LP;
81
Modelo
Universidad de la Repblica
Definicin
82
Consecuencia terico-modlica
Definicin
Sea G un conjunto de frmulas de L. Sea j For. Se dir que j es consecuencia tericomodlica de G se nota G j - si y solamente si, todo modelo de G, es
modelo de j.
Recurdese que un modelo es una interpretacin es decir, una If j. Para que
exista la relacin de consecuencia tericomodlica lo que estamos exigiendo entonces es que, toda interpretacin que verifica las frmulas de G, verifique tambin j.
Otro importante concepto intuitivo es el de verdad lgica. A veces se caracteriza informalmente al mismo como verdad en todo mundo posible. En este libro
no nos ocuparemos especialmente de tal concepto. Su contrapartida formal es la
nocin de validez: una frmula es vlida si es verdadera en toda interpretacin.
Validez proposicional
Definicin
Sea jFor. Se dice que j es vlida si y solamente si j es verdad en toda
interpretacin.
Otras importantes nociones de las cuales tenemos cierta comprensin intuitiva adquieren tambin aqu un significado matemtico preciso. Las nociones de
consistencia e inconsistencia pueden pensarse que, en este contexto, corresponde
entenderlas como satisfacibilidad e insatisfacibilidad.
Problemas y tareas
83
Universidad de la Repblica
84
del lenguaje natural al lenguaje formal L.53 Es decir, tenemos un cierto argumento
en el lenguaje natural, digamos:
1.
Como el lector seguramente recuerda, este argumento posee la misma estructura que el argumento a) del captulo anterior. Luego lo traducimos a L, por ejemplo:
2.
(A1A2)
A1
A2
Pren
Con
donde Prei (1in) representa frmulas de L que funcionan como premisas de
la frmula de L tomada como conclusin Con entonces:
53 Este tipo de problemas no se atienden en este curso; el lector interesado puede consultar, por
ejemplo, Quine (1967) o Deao (1974).
Pre1
Pre2
:
:
85
((Pre1Pre2Pren)Con)
es la frmula correspondiente.
Pero ahora nos debemos preguntar si el argumento inicial es lgicamente correcto y para ello deberamos ser capaces de evaluar, en este caso especfico, si la
conclusin es consecuencia lgica (consecuencia terico-modlica) de las premisas.
Este problema naturalmente se reduce aqu a evaluar la frmula que expresa la relacin entre premisas y conclusin.
Advirtase que hemos llegado as a la necesidad de encontrar procedimientos que
nos permitan resolver el problema especfico de la evaluacin de las frmulas que
expresan la relacin entre premisas y conclusin.54 Esta tarea es la que ocupar las
dos secciones siguientes.
A2
(((A1A2)A1) A2)
?
A2
(((A1A2)A1) A2)
Universidad de la Repblica
86
A1
A2
Podemos sustituir las interrogaciones por nmeros que indiquen el orden en que
tengo que calcular los valores de verdad de las frmulas involucradas:
A1
A2
(((A1A2)A1) A2)
1
A2
(((A1A2)A1) A2)
V
A2
(((A1A2)A1) A2)
V
A2
(((A1A2)A1) A2)
V
A1
A2
(((A1A2)A1) A2)
V
Advirtase que se trata de una interpretacin, a saber, cuando ambas letras proposicionales son verdaderas. Pero hay otras interpretaciones? Obviamente s. Es
ms, en este caso resulta claro que hay tres y solo tres interpretaciones ms ya que
en las definiciones de los conectivos se encuentran expresadas todas las interpretaciones posibles de las letras ocurrentes en la frmula.
Para calcular pues el valor de la frmula para todas las interpretaciones posibles
de A1 y A2 basta pues con construir una tabla como la que sigue:
87
Universidad de la Repblica
Este mtodo puede denominarse tabular. Quiz convenga explicitar el procedimiento de forma tal que se evidencie algo ms claramente su carcter algortmico
o mecnico:
Sea FFor,
1. Se determina el nmero de letras proposicionales que ocurren en la frmula
(digamos, n) y se calcula el nmero de renglones (2n) que deber poseer la tabla;
2. Se escriben ordenadas por subndice las letras proposicionales que ocurren
en F a la izquierda de la misma y debajo de cada una se completan los 2n
renglones as: se toma la ms a la izquierda y se escribe una columna donde
en el primer rengln aparece V, en el segundo F, en el tercero V y as hasta
el ltimo; se toma la prxima letra a la derecha y se conforma la columna
respectiva escribiendo V en los dos primeros renglones y F en los renglones
tercero y cuarto y as hasta el final; se toma la prxima letra de la derecha y se
conforma la columna ahora con cuatro renglones V y cuatro F y as hasta el
final, etc. Como se ve la idea es duplicar en cada columna (despus de la primera) el nmero de V (F) que aparecen seguidas en la columna inmediata
anterior: en la primera letra se escribe una vez cada valor, en la segunda dos,
en la tercera cuatro y as sucesivamente. Esto permite confeccionar todas las
interpretaciones de las letras proposicionales que ocurren en la frmula.
3. En cada rengln se comienza calculando el valor de las variables negadas (si
las hay). Luego se calcula el valor de las frmulas ms internas, es decir, se
va de adentro hacia fuera. Primero se calcula las frmulas en que los conectivos binarios afectan solo a letras proposicionales (si las hay), luego las que
se componen de por lo menos una frmula de este tipo y as sucesivamente.
Se va de las frmulas ms simples a las ms complejas en virtud de que
es necesario, para calcular el valor de las ltimas, contar con es decir, ya
haber calculado el valor de las primeras.
4. El procedimiento finaliza cuando se ha calculado el valor de la frmula para
las 2n interpretaciones.
88
Luego, si se piensa en la aplicacin de la teora lgica a la evaluacin de argumentaciones en lenguaje natural, dada una argumentacin, podemos traducirla, como dijimos antes, al lenguaje formal, construyendo la frmula asociada a la
misma y luego aplicar el algoritmo antes descripto. El aspecto esencial es entonces
que puede decidirse, mediante esta estrategia, si la argumentacin en cuestin es
lgicamente correcta. Basta con aplicar el mtodo tabular a la frmula que expresa
el argumento e inspeccionar si, para toda interpretacin, la misma toma el valor
V en este caso se dice que la frmula es tautolgica o que es una tautologa. Si la
frmula entonces es tautolgica, nos encontramos frente a un argumento deductivo
correcto. En otro caso, no se tratar de un argumento lgicamente correcto en
trminos del lenguaje o clculo proposicional.
Represe en que hemos logrado una forma de evaluacin argumental que nos
permite decidir, en un nmero finito de pasos, si una frmula es o no tautolgica y,
Problemas y tareas
1. Aplique el mtodo tabular a las siguientes frmulas y determine si se trata de
tautologas, contingencias o contradicciones:
a. (((A1A2)A1)A2)
b. (((A1A2)A2)A1)
c. (((A1A2)A2)A1)
d. ((A1A2)(A1A2))
e. ((A1A2)(A1A2))
f. ((A1A2)(A1A2))
g. ((A1A2)(A1 A2))
h. ((A0A1)(A1A0))
i. ((A0 A1)(A1A0))
j. ((A1A1)(A1A1))
l. (((A0A1)((A1A2)(A0A2)))A2)
m. (((A0A1)(A0A2))(A1A2))
2. Pueden construirse frmulas ms complejas a partir de frmulas ms simples
conectndolas con los conectores apropiados. Describa cmo construir una
frmula tautolgica a partir de:
a. una frmula contradictoria y una frmula contingente;
55 Vase Quine (ob.cit.).
k. (((A0A1)(A1A2))(A0A2))
89
(((A1A2)(A2A3))(A1A3))
Si existiera una asignacin de valores de verdad o veritativos para las letras proposicionales que ocurren en (1) que la hiciera falsa, debiera ser tal que el valor del
antecedente para esa asignacin fuera verdadero y el valor del consecuente
para esa asignacin fuera falso. Para que resulte ms intuitivo, podemos describir
la situacin as:
2)
(((A1A2)(A2A3))(A1A3))
Universidad de la Repblica
90
luego solo puede ser tal que otorgue V a A1 y F a A3 , pues en otro caso no hara
falso el consecuente:
3)
(((A1A2)(A2A3))(A1A3))
F V FF
as
(((A1A2)(A2A3))(A1A3))
V
V F F
Pero entonces, para que el antecedente sea verdadero, deben hacerse verdaderos
los dos componentes de la conjuncin. El nico modo de hacer verdadero (A1A2)
es:
(((A1A2)(A2A3))(A1A3))
V V V ? V ? F
V F F
5)
91
j
j
RCJ 1)
RCJ 2)
RD 1)
j
j
RCD 1)
RDE 1)
RB 1)
RD 2)
RCD 2)
(j)
jw
(j)
j
j
(j)
RDE 2)
(jw)
RB 2)
(j)
Universidad de la Repblica
1) (((A1A2)(A2A3))(A1A3))
92
Luego aplicamos la regla correspondiente a la falsedad del condicional (y marcamos con una + la frmula que usamos como premisa de la aplicacin de la regla):
(((A1A2)(A2A3))(A1A3))+
(A1A2)(A2A3)
(A1A3)
(A1A2)(A2A3)
(A1A3) +
A1
A3
(A1A2)(A2A3)+
(A1A3)+
A1
A3
A1A2
A2A3
(A1A2)(A2A3)+
(A1A3)+
A1
A3
A1A2+
A2A3
A1
A2
x
57 Se copia todo lo ya construido para que se aprecie el desarrollo del procedimiento y la estructura del mismo.
(((A1A2)(A2A3))(A1A3))+
93
Universidad de la Repblica
Problemas y tareas
94
c. Si la venta de manzanas disminuyera sensiblemente, el precio de la manzana bajara. Y si bajara, Juan comera dos manzanas en vez de una en el
postre. Pero Juan solamente come una manzana en el postre. Por lo tanto,
la venta de manzanas no ha disminuido sensiblemente.
2. Supngase que se tiene los conectores siguientes:
A
AxB
A x B
A x B
a. Ofrezca para estos conectores reglas anlogas a las establecidas para los de
L a los efectos de desarrollar las tablas analticas;
b. Encuentra alguna relacin entre las reglas para x y x y las de algunos
de los conectores de L?
se tendra una cierta funcin f : Val3 Val tal que, por ejemplo, para el caso en
que A1 y A2 son F y A3 es V, da el valor V es decir, f(F,F,V)=V y para el caso
en que A1 es V, A2 y A3 son F, da F es decir, f(V,F,F)=F. Resulta obvio que, con
cada For, puede asociarse una funcin f: Valn Val, donde n es el nmero de
letras proposicionales que ocurren en . Por otra parte, una funcin puede expresarse a travs de diversas frmulas. La condicin que deben cumplir dos frmulas
para expresar la misma funcin es ser equivalentes, es decir, y expresan la misma
frmula si y solo si es tautologa. Llamemos a estas funciones que asociamos
a las frmulas funciones veritativas la denominacin evoca el dominio y el rango
de tales funciones.
En particular, sea For tal que en ella solo ocurren las letras proposicionales
A1, A2,, An , si una funcin veritativa f (v1, v2,,vn) donde vj , con 1jn, son
valores veritativos da V (F) exactamente en los casos en que , al interpretar
todas las letras proposicionales A1, A2,, An que ocurren en ella por v1, v2,, vn
((A1A2)A3)
95
Proposicin
Sea For. Existe For tal que:
a) en solo ocurren negacin, conjuncin y disyuncin y
b) es tautologa.
Prueba. Sea j una frmula contradictoria, es decir, para toda atribucin de valores veritativos a las letras enunciativa que en ella ocurren toma el valor falso. Luego
tomemos (A1A1). Es obvio se cumplen a) y b). Sea j una frmula no contradictoria, i.e. existe al menos una atribucin de valores a las n letras enunciativas
que en ella ocurren tal que j toma el valor verdadero. Luego existen k ntuplas
(1k2n) v1, v2,, vn tales que f(v1, v2,, vn)=V siendo f la funcin veritativa asociada a y cada vi (1in), como es obvio, representa un valor de verdad. Luego
para cada ntupla k y para cada letra proposicional i (1in) que ocurre en ,
definimos i,k del modo siguiente:
si vi=V entonces i,ki ;
Universidad de la Repblica
96
Como se prometi en la seccin Un mtodo ms elegante para evaluar frmulas: tablas analticas, resulta ahora claro por qu la introduccin de las reglas para
la disyuncin exclusiva y el bicondicional no agregan nada en el sentido preciso de
que frmulas en las que interviniesen esos conectores pueden traducirse a frmulas
que en las cuales solo ocurren conectores para los cuales ya contamos con sus respectivas reglas y luego podemos tratarlas perfectamente prescindiendo de aqullas
reglas. Puede ocurrir, no obstante, que estemos interesados en lenguajes que poseen
determinado elenco especfico de reglas. En particular, vase que tal es el caso de
L. La razn para ello radica en la ganancia en claridad de las relaciones entre L y
el lenguaje natural.
Es fcil intuir que el conjunto adecuado de conectivos formado por la negacin,
la conjuncin y la disyuncin no es el nico conjunto adecuado posible. Para encontrar un tratamiento ms detallado de la cuestin podemos recurrir a Mendelson
(1987).
Una leccin importante que podemos extraer de este resultado para nuestro
curso es la multiplicidad de posibilidades de caracterizacin de lenguajes proposicionales de igual poder expresivo. Esta observacin permite apreciar que podemos
entender nuestro estudio sobre L ms que como un estudio sobre un lenguaje especfico, un estudio sobre una clase de lenguajes lgicos, a saber, los lenguajes lgicos
proposicionales.
Problemas y tareas
1. Sea For. Demostrar que existe jFor tal que:
a) en j solo ocurren negacin y conjuncin y
b) j j es tautologa.
2. Sea For. Demostrar que existe jFor tal que:
a) en j solo ocurren negacin y disyuncin y
b) jj es tautologa.
Tautologas famosas
Como el lector ya sabe el conjunto de las tautologas es infinito. Algunas de ellas
son ms usuales que otras o poseen un cierto valor conceptual; se han seleccionado
aqu un nmero pequeo de las mismas que merecen especial atencin.
En la lgica tradicional han ocupado un lugar muy relevante los denominados
Principios Lgicos. Ellos son: el principio de identidad, el principio del tercero
97
(A1A1)
(A1A1)
(A1A1)
La validez de estas frmulas forma parte del corazn mismo de la lgica clsica.
Algunas teoras lgicas divergentes o noclsicas han cuestionado, precisamente,
tal validez. Por ejemplo, la lgica intuicionista rechaza PTE y la lgica paraconsistente objeta PNC.
Respecto de cada conectivo existen una serie de verdades sobre los mismos
que resulta til conocerlas.
Comencemos estudiando algunas propiedades de la conjuncin y la disyuncin
inclusiva. Si se inspecciona las definiciones de estos conectores puede fcilmente
advertirse que ambos son operadores conmutativos, es decir
CC. (A1A2)(A2A1)
(conmutativa de la conjuncin).
CD. (A1A2)(A2A1)
(conmutativa de la disyuncin).
(distributiva de por )
DD. (A1(A2A3))((A1A2)(A1A3))
(distributiva de por ).
Universidad de la Repblica
98
Modus Ponens:
(A1A2)
A1
A2
58 Por razones de comodidad y claridad de lectura, obviaremos los parntesis externos cuando no
pongamos con ello en peligro la univocidad.
Sntesis
99
Universidad de la Repblica
100
El punto de partida de tal construccin consisti en interpretar los componentes fundamentales del lenguaje L: letras de enunciados y conectores. Hemos hecho
primero tal trabajo intuitivamente. Luego, explotando los recursos matemticos
estudiados en el captulo 2, dimos una caracterizacin rigurosa de interpretacin
para el lenguaje proposicional L. Las ideas fundamentales son las siguientes. La
interpretacin de las letras de enunciados son valores de verdad, es decir, una funcin que asigna a cada letra proposicional, los valores V o F. La interpretacin de
los conectores consiste en funciones. Si el conector es la negacin, es una funcin
que asigna a V (F) el valor de verdad F (V). Si el conector es un conector binario, la
funcin asigna a cada par de valores de verdad, el valor de verdad que la definicin
intuitiva tabular ensea.
Una interpretacin es una funcin que, a partir de una asignacin de valores de
verdad a las letras proposicionales y de las funciones que dan el significado de los
conectores, otorga a cada frmula del lenguaje un valor de verdad. Suele denominarse extensional o denotacional a una semntica de esta naturaleza.
Segn Frege cabe distinguir entre la denotacin y el sentido de una expresin
lingstica. La denotacin es aquello a lo cual la expresin refiere; el sentido es una
nocin ms difcil de caracterizar pero puede decirse que, en palabras de Frege, recoge el modo de presentacin de la referencia o denotacin. Un ejemplo ayudar a
entender en forma bsica la cuestin. El manco de Lepanto y Cervantes refieren
al mismo individuo, es decir, ambas expresiones poseen la misma denotacin, pero
lo hacen de formas evidentemente diferentes, es decir, ambas expresiones poseen
sentidos diferentes. Como se ha dicho antes, Frege considera que la denotacin de
un enunciado verdadero es un objeto, a saber, lo Verdadero y la denotacin de un
enunciado falso es otro objeto, a saber, la Falsedad.
La rigorizacin de las ideas semnticas iniciales permite la obtencin de contrapartidas matemticas precisas de importantes ideas intuitivas. En particular, se
obtienen los conceptos de consecuencia tericomodlica (que puede pensarse
como contrapartida rigurosa del concepto de consecuencia lgica), y validez (que
puede pensarse como contrapartida rigurosa del concepto intuitivo de verdad lgica). El valor de conceptos como satisfacibilidad e insatisfacibilidad se conectarn
ms adelante con las ideas de consistencia e inconsistencia. Advirtase, no obstante, que podemos usar el concepto de insatisfacibilidad para caracterizar tambin
consecuencia, en el sentido en que una frmula j es consecuencia del conjunto de
frmulas si y solamente si {} es insatisfacible.
En general, los desarrollos semnticos estudiados permiten enfrentar el problema de la evaluacin de argumentaciones especficas, desde el punto de vista de su
correccin lgica (proposicional). Esta ltima tarea puede esquematizarse as (donde significa la relacin de justificacin deductiva pretendida entre premisas y
conclusin):
((Pre1Pre2Pren) Con)
59 El ltimo captulo de este libro sugiere la posibilidad de defender un punto de vista alternativo.
101
Captulo 5
Problemas y tareas
1. Revise la siguiente demostracin ofrecida en el captulo 2. Hemos puesto en
itlica algunas partes del texto en que la legitimidad del pasaje de una aseveracin a otra se apoya en el significado de un conector. Explicite la justificacin de tales pasos.
conduce a discriminar en las premisas (en sentido lato) entre aquellos enunciados asumidos y ciertas consecuencias de stos. Pero advirtase que si evaluamos tal
argumento desde el punto de vista de la relacin de consecuencia lgica (semntica,
intuitiva) parecera que los pasos devienen algo superfluos; si la pregunta fundamental es si la relacin se da entre premisas (en sentido lato) y conclusin, en el caso
que la misma se diera, el argumento debera catalogarse como correcto. Pero, y la
relacin entre las premisas (en sentido estricto) y los pasos?, y la relacin entre los
pasos y la conclusin? Y, fundamentalmente, dado que la funcin caracterstica de
los pasos es evidenciar o exhibir la conexin entre las premisas (en sentido estricto)
y la conclusin, cmo evaluar si la cumplen? Este captulo intenta responder tales
preguntas en el contexto del lenguaje lgico proposicional.
103
Universidad de la Repblica
104
Pues es una propiedad de tal trama, a saber, el carcter autoevidente, esencial para
cualificarlo como correcto. Esta propiedad reclama naturalmente elucidacin.
Un modo de entender esta autoevidencia consistira en que el pasaje de un
paso al otro sea el resultado indiscutible de la aplicacin de una regla de legitimidad indudable. La indiscutibilidad de que se trata de la aplicacin de una cierta
regla podra resultar de la claridad propia de la regla, es decir, de la naturaleza de
las condiciones que la misma impone. Veremos que, dado su carcter puramente
sintctico, ciertas reglas gozan de esa transparencia. La indubitabilidad, en cambio,
de su legitimidad, podra derivar de la evidencia respecto a la transmisin necesaria
de la verdad de las premisas a la conclusin obtenida por aplicacin de la misma. Es
decir, la satisfaccin de la exigencia de consecuencia lgica.
Esta explicacin obviamente supone una cierta reduccin de este segundo criterio de correccin al primero y, en ese sentido, la nocin intuitiva de consecuencia lgica posee una especie de primaca respecto de esta nocin de argumento
idealmente justificado. Tal atribucin a la nocin intuitiva semntica de un carcter bsico y fundamental seguramente no resultar unnimemente aceptada. Esta
concepcin debe entenderse que funciona como un presupuesto conceptual de la
estructura y motivacin generales de este libro pero no afecta el contenido tcnico
del mismo (que, naturalmente, es el estndar).
Asumida esta articulacin entre ambas concepciones intuitivas, cabe preguntarse cmo rigorizar o formalizar esta nocin de argumento idealmente justificado.
La respuesta ser el concepto de sistema deductivo (tambin hablaremos de sistema
deductivo formal o, brevemente expresado, sistema formal).
Antes de desarrollar un sistema deductivo en particular, ofreceremos una aproximacin intuitiva a la tarea que aspiramos realicen tales sistemas. La idea ms bsica
y general es que pretendemos que estos sistemas nos permitan deducir o probar
ciertas relaciones entre frmulas o, en algunos casos, ciertas frmulas. Dicho de otra
forma, procuramos que tales sistemas sean capaces de representar, en nuestro lenguaje formal proposicional, la trama argumentativa justificadora que, partiendo de
las premisas, permite arribar a la conclusin. O, an puesto de otro modo, esperamos, a travs de estos sistemas, rigorizar o formalizar la tarea justificadora encarnada
en los pasos del segundo modelo argumental.
Si retomamos uno de nuestros ejemplos favoritos, un sistema adecuado debiera
ser capaz de permitirnos probar la correccin (intuitivamente obvia) del argumento
que tiene como premisas los enunciados:
Si Juana es sirena, entonces es cantautora
Juana es sirena
y como conclusin el enunciado:
Juana es cantautora
105
(A1A2)
premisa
premisa
A1
...
...
n
...
A2
Universidad de la Repblica
Las reglas de inferencia se aplicaran a las premisas y se extraeran ciertas conclusiones que se podran usar como premisas para nuevas aplicaciones de las reglas y as
sucesivamente hasta llegar a la conclusin pretendida en un nmero finito de pasos.
Tales sistemas se suelen llamar sistemas de deduccin natural. Es evidente que tales
sistemas parecen capturar de forma perspicua la idea de cadena de justificacin de
la conclusin a partir de las premisas, aludida en el concepto intuitivo de argumento
idealmente justificado. En las caractersticas de las reglas de inferencia escogidas
recaer (por lo menos, en forma sustancial aunque quiz no exclusiva) la responsabilidad de asegurarnos la auto-evidencia requerida por dicho concepto.62
106
61 La relacin entre tales tipos y las variedades al interior de cada uno de ellos excede los propsitos de este libro.
62 Un sistema de deduccin natural puede contar con axiomas, adems de reglas de inferencia. Por
otra parte en un clculo de secuentes y aunque tal sistema es caracterizado por un conjunto de
reglas de inferencia, las pruebas no lucen exactamente como la que aqu aparece. Se prefiri ofrecer un esquema general y, posteriormente, introducir los matices y las precisiones pertinentes, en
virtud de consideraciones de ndole didctica.
Podra, atendindose al segundo modo de enfrentar la cuestin arriba planteada, construirse un sistema en el que se pudiera probar, directamente, la frmula
(((A1A2)A1)A2).
En este caso el sistema contar con una serie de frmulas iniciales (o esquemas
de frmulas) que sern aceptados como una suerte de stock de verdades primitivas
stas no precisarn de demostracin y podrn introducirse en cualquier paso de
una prueba. En tal sistema se tendr adems algunas reglas de inferencia que operarn como en el caso anterior. Estas verdades iniciales se denominan axiomas y
tales sistemas se denominan sistemas axiomticos. Esta visin inicial de los sistemas
axiomticos ha sido abandonada por una concepcin de los mismos donde el lenguaje en que se construyen es un lenguaje formal y, en consecuencia, los axiomas
no son verdades autoevidentes sino simplemente un cierto elenco de frmulas
ininterpretadas. Esta concepcin subyace a los que denominaremos sistemas axiomticos formales un ejemplo de tal concepto se estudiar en este libro. Algunos
autores han sealado el contraste entre la primera y la ltima concepcin de los
sistemas axiomticos acentuando en la primera etapa la preocupacin por la unificacin y sistematizacin conceptual, y enfatizando en la segunda la bsqueda de una
suerte de caracterizacin (va definicin implcita) de ciertos objetos matemticos,
en el talante de una concepcin ms general y abstracta de las matemticas.63 Una
prueba o demostracin en un sistema axiomtico formal lucira ms o menos as:
(((A1A2)A1)A2)
63 Una discusin de la evolucin de las diversas concepciones de los sistemas axiomticos puede
leerse, por ejemplo, en Torretti (1993).
1
...
107
deduccin natural y pueden asumirse hiptesis en un sistema axiomtico. No obstante, la diferencia de nfasis entre unos y otros sistemas es indudable.64
Una situacin que no debe pasar inadvertida por el lector es que, intuitivamente, parecera que se tiene ahora si el sistema deductivo se comporta bien un
modo alternativo de evaluar un argumento: si a partir de las premisas, mediante los
recursos del sistema deductivo, puede inferirse o demostrarse la conclusin, entonces nos encontramos frente a un argumento correcto. Como se advierte la nocin
de sistema deductivo formal puede pensarse como la rigorizacin o formalizacin
de las ideas involucradas en la nocin preformal de argumento idealmente justificado. As como se entendi la nocin tericomodlica de consecuencia como
elucidacin de la nocin intuitiva de consecuencia lgica, veremos cmo, a partir
de la construccin de sistemas deductivos formales, puede obtenerse la contrapartida elucidatoria de la nocin preformal de argumento idealmente justificado. Esta
ltima nocin formal se explicitar ms adelante.
Se exponen a continuacin un sistema axiomtico y un sistema de deduccin
natural. El sistema axiomtico es muy popular; es presentado en el clsico manual
de E. Mendelson.65 No se le estudiar en detalle pues todo lo que se pretende es
exponer brevemente la estructura de las teoras axiomticas formales. Las razones
para ello son, bsicamente, de tipo histrico: es la forma axiomtica la presentacin
clsica de los sistemas deductivos y la misma ha revelado un extraordinario potencial en el estudio de teoras deductivas. El sistema de deduccin natural que se estudiar es tambin muy conocido; se trata de una ligera variante del presentado en el
manual de B. Mates.66 Este ltimo ser el que usaremos en este curso para probar
correccin lgica (en los lenguajes proposicionales primero y, agregndole algunas
reglas, en los lenguajes de orden uno despus).
Universidad de la Repblica
108
64 Quiz sea til recordar que los sistemas de deduccin natural aparecen mucho ms naturalmente
asociados a la concepcin de la lgica como un conjunto de reglas de naturaleza metaterica
(podramos decir, lgica como lgica subyacente a diversas teoras) y los sistemas axiomticos
ms prximos a una percepcin de la lgica como teora acerca de cierto tipo de verdades, a
saber, las verdades lgicas.
65 Vase Mendelson (1987).
66 Vase Mates (1965).
67 En este punto as como en el sistema axiomtico escogido como se adelant se sigue
Mendelson (ob. cit.).
Consecuencia terico-demostrativa
Sea G un conjunto de frmulas, sea j una frmula. Se dir que j es consecuencia
tericodemostrativa de G (se nota: G j) si y solo si hay una secuencia 1, 2,,n de
frmulas tales que nj y, para cada k con 1kn, se tiene que
a) kAXI o
b) kG o
c) k es consecuencia directa por una regla Ri de (i) frmulas que aparecen en
la secuencia antes que k.
La secuencia 1, 2,,n se denomina una prueba o una demostracin de j a partir de G; las frmulas que pertenecen a G pueden denominarse premisas o hiptesis
en esta demostracin.
68 Como el lector recuerda, usamos Z+ para referirnos a los nmeros enteros positivos.
Definicin
109
Universidad de la Repblica
110
Interdefinibilidad de conectores
Sean A, BFor(A), entonces:
a) (AB)def (AB)
b) (AB)def (AB)
c) (AB)def((AB)(BA)).
69 Advirtase que si estamos pensando en esta teora como lgica subyacente de un lenguaje de
orden uno dado este L ser, precisamente, tal lenguaje.
Definicin
111
Esto completa la presentacin de axiomas y reglas de inferencia de M. Un tratamiento detallado de este sistema se encuentra en la obra ya citada de Mendelson.
justificacin de 1
justificacin de 2
justificacin de n
Pero hay un aspecto importante a tener en cuenta: tambin aparecer eventualmente a la izquierda del nmero de lnea, flanqueado por llaves, ciertos nmeros que
denominaremos nmeros de premisa. Cules sern tales nmeros es algo que nos
lo ensearn nuestras reglas de inferencia. Por ello cuando estudiemos tales reglas
podemos, a los efectos didcticos, dividir su contenido en a) cmo se comportan
respecto de los nmeros de premisa y b) cmo se comportan respecto de la o las
frmulas en cuestin. Describamos entonces dichas reglas de inferencia siguiendo
esta observacin.
Reglas de inferencia
Universidad de la Repblica
112
Nmero de premisa
..
..
..
.
.
.
{n}
n
j
..
..
..
.
.
.
Nmero de lnea
..
..
{n}
..
..
..
{a,j}
n+m
j k
..
..
..
{n,a,j} n+m+s
MP n, n+m
..
..
{a,j}
j k
..
..
..
{a,j}
n+m
kj
CP n
Contraposicin (CP)
113
Condicionalizacin (C)
Intuitivamente, esta regla me permite, a los efectos 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 dependencia de la premisa o del supuesto antes introducido. Formalmente:
a) Los nmeros de premisa sern todos los nmeros de premisa de la lnea en
que ocurre , excepto (si es conveniente a los efectos de la prueba) el nmero
de lnea de a (cuando el condicional que introduzco por la regla es ). Un
uso habitual de esta regla lo ejemplifica el caso siguiente
..
{n}
..
..
n
..
..
k
..
{a,j,n} n+m
j
{a,j} n+m+1 k j
C n+m
Universidad de la Repblica
114
1
2
3
4
5
6
A1A2
A2A3
A1
A2
A3
A1A3
P
P
P
MP 1,3
MP 2,4
C5
Es evidente que podemos extraer de aqu una nueva regla (podramos bautizarla:
RTC, regla de la transitividad del condicional):
AB
BC
AC
Veamos otro ejemplo. Pensmosle directamente como regla:
{1}
{2}
{1}
{1,2}
1
2
3
4
AB
B
BA
A
P
P
C P1
MP 3,2
AB
B
A
115
El lector seguramente ya advirti que esta nueva regla se trata de una forma de
Modus Tollens. Como se ha dicho, este sistema es bsicamente el que introduce
Mates en Lgica matemtica elemental. Un tratamiento detallado se encuentra
pues en dicha obra, aunque en las secciones siguientes ofreceremos una discusin
didctica a los efectos de elaborar demostraciones en el mismo.
Universidad de la Repblica
En una lnea o paso cualquiera de una prueba puedo introducir una instancia de
sustitucin de este teorema. Por ejemplo,
116
..
..
..
n
..
(A1A2)((A1A2)A5)
TEO
..
k
..
{a,b}
..
n
..
(A1A21) (A1A2)
(A1A21) (A1A2)
..
RE en k
1
2
P
P
..
..
P
..
..
..
k+n
G, premisas
?
Conclusin
{1}
{2}
117
Podramos identificar bsicamente dos estrategias muy generales para la bsqueda de las frmulas llamadas a llenar los puntos suspensivos que constituyen
el corazn de la prueba pretendida. Por una parte, una estrategia descendente que
consiste en intentar explotar las posibilidades que brindan nuestras premisas y, sucesivamente, cada nuevo paso demostrativo, hasta llegar a la conclusin. Las reglas
con subndice 1 (RC1, RD1 y, por supuesto, MP) que discutiremos a continuacin
son especialmente tiles en tal alternativa. Por otra parte, una estrategia ascendente
que procura indagar primero qu frmulas me permitiran deducir la conclusin y
luego, sucesivamente, cada una de las frmulas a las que voy reduciendo el problema
de la prueba, hasta desembocar en las premisas. Las reglas con subndice 2 (RC2,
RD2) y por supuesto P, son especialmente tiles aqu. Pero, como resultar evidente, puede convenir apelar a unas y a otras en forma variada y tambin combinar ambas estrategias. Estas orientaciones poseen exclusivamente una finalidad heurstica.
Grficamente podemos imaginar la situacin as:
{1}
{2}
1
2
1
2
descendente
k
P
P
..
..
ascendente
P
..
..
..
{1,2,,k} k+n
Apoyndonos en este marco general, en la prxima seccin discutiremos ideas
especficas relacionadas con los diferentes tipos de premisas y conclusiones.
Universidad de la Repblica
Condicional
118
Supongamos que se pretende demostrar una frmula condicional como conclusin, es decir, la frmula que esperamos demostrar (que no tenemos demostrada o
asumida) posee, como conector principal, el condicional. La estrategia sugerida es la
nsita en la regla C: asuma el antecedente (introduciendo tal frmula por P), demuestre el consecuente y aplique la regla C (que, como se recuerda, le permite cancelar la
suposicin del antecedente). Un ejemplo de esta estrategia lo constituye la primera
1
2
3
4
5
6
7
8
A (BC)
B
A
BC
C
AC
B(AC)
(A (BC))(B(AC))
P
P
P
MP 1,3
MP 4,2
C5
C6
C7
Supongamos ahora que se tiene una premisa cuyo conector principal es un condicional. Imaginar cmo explotar esta especificidad estructural de la misma querr
decir considerar las diversas consecuencias que sta implica a la luz de las reglas
que, partiendo de frmulas condicionales, permiten arribar a nuevas frmulas. El
ejemplo paradigmtico aqu es MP. Siempre que tenemos en juego negacin y condicional la regla obvia es CP. Pero, en general, existen diversas reglas derivadas que
pueden resultar muy tiles en la explotacin de frmulas condicionales:
MT1
AB
B
A
MT2
AB
B
A
MT3
AB
B
A
MT4
AB
B
A
119
Negacin
Supongamos que se tiene una frmula negada como conclusin, es decir, la frmula que pretendemos demostrar (que no tenemos demostrada o asumida) posee,
como conector principal, la negacin. Una estrategia especialmente importante es
la de las demostraciones por absurdo (sobre la cual discutimos, en trminos informales, en el captulo 1). Una forma de formalizar la misma que puede resultar til es
la siguiente:
(Abs.)
AB
AB
A
Como en los casos anteriores, el conjunto de nmeros de premisa de la conclusin es la unin de los conjuntos de nmeros de premisa de las premisas usadas en
la regla.
El objetivo es demostrar A. El mismo puede dividirse en tres etapas. Primero,
podemos suponer A (por P) demostrar B y luego, por C, obtener AB (advirtase
que eliminamos como nmero de premisa el nmero de lnea de A i.e. cancelamos
la suposicin). Segundo, podemos suponer A (por P) demostrar B y luego, por C,
obtener AB (advirtase que, nuevamente, eliminamos como nmero de premisa
el nmero de lnea de A i.e. cancelamos la suposicin). Tercero, por Abs, tenemos A.
Ejemplificaremos su uso, probando
Universidad de la Repblica
A1A2
A2(A3A4)
A1(A4A3)
A1
120
{1}
{2}
{3}
{4}
{1,4}
1
2
3
4
5
A1A2
A2(A3A4)
A1(A4A3)
A1
A2
P
P
P
P
MP 1,4
suposicin
{1,2,4}
6 (A3A4)
{1,2,4} = {1,2}
7 A1(A3A4) C 6
{8}
{3,8}
{3,8}
{3,8}
{1,2,3}
= {3}
MP 2,5
8 A1
9 A4A3
10 A3A4
P
MP 3,8
CP3* 9
11 A1(A3A4)
C 10
12 A1
Es evidente que esta no es la nica manera de obtener demostraciones por absurdo. No obstante, la idea aqu es ofrecer una estrategia suficientemente general e
intuitiva que facilite la elaboracin de pruebas. La preocupacin por la elegancia
en las demostraciones en general es posterior a la comprensin y elaboracin de
las estrategias ms bsicas por ello hemos preferido enfatizar la estrategia y no
ofrecer una prueba ms breve.73
Supongamos ahora que se tiene una premisa cuyo conector principal es una negacin. Explotar esta especificidad estructural de la misma querr decir considerar
las reglas que, a partir de frmulas en que ocurre la negacin, nos permiten arribar
a nuevas frmulas. Cuando pensamos en las reglas bsicas, hay una sola opcin: CP.
Las reglas MT1, MT2, MT3 y MT4 son tambin de amplsimo uso as como estas
variantes de CP (que queda ahora incluida, en esta formulacin, en CP1):
CP1
AB
BA
CP2
AB
BA
CP3
AB
BA
T3. A(AB)
T4. A(AB)
T5. AA
T6. AA
Uso la doble barra para indicar que puede leerse la regla en las dos direcciones
(descendente como es habitual y tambin ascendente). Como en casos anteriores,
el conjunto de nmeros de premisa de la conclusin es el conjunto de nmeros de
premisa de la premisa usada en la regla.
Existen asimismo otros teoremas de gran utilidad:
121
Ejemplos de aplicacin de estas alternativas se encuentran en el segundo ejemplo de prueba de la seccin Sistema de deduccin natural: ejemplos de pruebas.
Conjuncin
Supongamos que se espera probar como conclusin una frmula cuyo conector
principal es la conjuncin. La regla estructuralmente paradigmtica es RC1. Es decir, si debo probar una conjuncin tengo que probar las frmulas conectadas por
ella. Esto es
RC1
A
B
AB
El conjunto de nmeros de premisa de la conclusin (de la regla) es la unin de
los conjuntos de nmeros de premisa de ambas premisas de la regla.
Supongamos que se tiene ahora una premisa cuyo conector principal es una
conjuncin. Explotar esta premisa (desde el punto de vista estructural) querr decir, como en los casos anteriores, extraer nuevas frmulas a partir de ella. La regla
paradigmtica aqu es RC2.
RC2
AB
A
AB
B
Universidad de la Repblica
A1(A2A3)
A2A4
A3A5
122
He aqu la prueba:
{1}
{2}
{3}
{4}
1
2
3
4
A1(A2A3)
A2A4
A3A5
A1
P
P
P
P
{1,4}
5 A2A3
{1,4}
6 A2
{1,2,4}
7 A4
{1,4}
8 A3
{1,3,4}
9 A5
{1,2,3,4} 10 A4 A5
{1,2,3}
11 A1(A4A5)
Disyuncin inclusiva
Supongamos que se espera probar como conclusin una frmula cuyo conector
principal es la disyuncin inclusiva. La regla estructuralmente paradigmtica es
RD1. Es decir, si debo probar una disyuncin inclusiva me alcanza con probar una
de las frmulas conectadas por ella. Esto es:
RD1
A
AB
B
AB
RD2
AB
AC
BC
C
El conjunto de nmeros de premisa de la conclusin de la regla es la unin de los
conjuntos de premisa de las premisas de la regla.
123
Universidad de la Repblica
{1}
{2}
{3}
{4}
{1,4}
{6}
{2,6}
{2,6}
{2}
{10}
{3,10}
{3,10}
{3}
{1,2,3,4}
{1,2,3}
124
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
A1(A2A3)
A2A4
A3A5
A1
A2A3
A2
A4
A4A5
A2(A4A5)
A3
A5
A4 A5
A3(A4 A5)
A4 A5
A1(A4 A5)
P
P
P
P
MP 1,4
P
MP 2,6
RD1 7
C8
P
MP 3,10
RD1 11
C 12
RD2 5,9,13
C 14
Problemas y tareas
1. Leer las siguientes pruebas incompletas. Completar las mismas agregando
frmulas, justificaciones y conjuntos de nmeros de premisa que faltan.
a) {(A1A2), (A1A3), ((A2A3)A4)} (A1A4)
{1}
{2}
{3}
{4}
{1,2,3}
1
2
3
4
5
6
7
8
9
A1A2
P
A1A3
P
(A2A3)A4
A1
A2
MP
A3
RC1 5,6
A4
C8
1
2
3
4
5
6
7
8
9
10
11
12
13
14
P
P
P
A2A3
A5
A6
A1
RC2
MP
RD1
C
2. Demuestre las reglas derivadas ofrecidas en la seccin Estrategias demostrativas, reglas derivadas y teoremas: conectores.
125
3. Demuestre:
a. {(A1(A2A3)), (A4 A2), (A5A3), ((A4A5)A6)}
(A1(A6A7))
(A1(A6A7))
(A1A7)
A6
(A1(A4A5))
A1
A1
4. Construya variantes de los ejercicios propuestos en 3. Por ejemplo, sustituyendo premisas por frmulas equivalentes a las mismas o intentando preservar las relaciones lgicas modificando los smbolos de negacin.
Sntesis
Universidad de la Repblica
126
Luego, el teorema de correccin nos asegura que si puede deducirse de entonces eso quiere decir que es consecuencia terico-modlica de . El teorema de
74 Por razones de claridad expositiva, se ha preferido incluir ambos tipos de sistema en un mismo esfuerzo elucidatorio; existen, no obstante, diferencias interesantes entre uno y otro en este
punto.
127
Captulo 6
Parece difcilmente discutible el carcter deductivo de a), si se aceptan las premisas, no hay posibilidad de rechazar la conclusin. El carcter necesario de la transmisin de la verdad de premisas a conclusin parece evidente; desde el punto de
vista informal, no parece caber duda alguna que no es posible que las premisas sean
verdaderas y la conclusin sea falsa. Esta imposibilidad no depende de que se hable
de Scrates y de su condicin de mortal: si sostuviramos que todos los hombres
son, por ejemplo, inmortales, y aceptramos la humanidad de Scrates, no nos cabra otra alternativa que aceptar la inmortalidad del filsofo.
129
Si se decide traducir la estructura de a) con los recursos del lenguaje proposicional, la frmula que podemos obtener lucira salvo variaciones que no son
esenciales en la eleccin de letras proposicionales del modo siguiente:
b) (A1A2)A3
Es obvio que b) no es una tautologa: cuando el valor de A1 y A2 es V y el valor
de A3 es F, b) es F. Luego, pareciera que se ha logrado mostrar que la respuesta
correcta a la pregunta planteada al final del captulo anterior es, como se sospechaba, negativa. Podramos decir entonces que el concepto formal (en el lenguaje
proposicional) subgenera. La otra alternativa sera abandonar la idea de que a) es
una argumentacin deductiva, lo cual por las razones ya sealadas (y por las que se
vern luego) es una opcin equivocada.
Estas observaciones cierran una cuestin, pero abren, inmediatamente, otra:
cmo perfeccionar la teora lgica, para que sea capaz de dar cuenta de argumentaciones deductivas del tipo de a)?
Problemas y tareas
1. El argumento a) revela lmites particulares del lenguaje proposicional para
captar nuestras intuiciones lgicas. Construya nuevos ejemplos argumentales
que evidencien tales lmites.
2. Considere el siguiente argumento:
Todos los gatos son pardos.
Algunos animales son gatos.
Algunos animales son pardos.
Desde el punto de vista intuitivo, este argumento es lgicamente correcto?
Es la traduccin proposicional del mismo una tautologa? Cmo justificara
la correccin lgica intuitiva de este argumento?
Universidad de la Repblica
130
Al igual que el primer argumento, este ltimo parece exhibir la doble condicin
de aqul: correccin lgica (desde el punto de vista intuitivo) e incorreccin formal
proposicional.77
76 A veces se denomina al clculo proposicional, clculo de las proposiciones inanalizadas vase, por ejemplo, Dopp (1969). Esta denominacin pone de relieve el lmite del lenguaje proposicional: la proposicin o el enunciado atmico.
77 Quiz convenga advertir que funciona, como premisa implcita, que tanto 5 como 3 son enteros
positivos.
131
Universidad de la Repblica
132
Alcanza un poco de reflexin para advertir que e) presenta tambin sus propios
desafos a un lenguaje formal que pretenda ser capaz de describir, desde un punto
de vista lgico, su estructura: en tal lenguaje formal debera existir una traduccin
para, por ejemplo, 5 menos 3 y para 5 es mayor que 3. Resulta nuevamente evidente que, a los efectos de realizar tal tarea, el alfabeto del lenguaje proposicional
es insuficiente.
La alternativa consiste pues en la ampliacin de dicho alfabeto y en la redefinicin consiguiente del conjunto de cadenas de smbolos admisibles (i.e. del conjunto
de las frmulas); este nuevo lenguaje permitir expresar propiedades lgicas ms
sofisticadas; a este estrato de la lgica se le suele denominar a veces clculo de predicados o lgica de predicados.
Podra construirse ahora un lenguaje para el clculo predicativo como se hace
en muchos manuales de lgica. Sin embargo como se hace tambin en algunos
otros se optar por una alternativa algo diferente. La justificacin de la misma
es la siguiente. Como sabemos, uno de los objetivos de la lgica es la evaluacin
argumental. En particular, un contexto privilegiado del uso de la lgica es la evaluacin de argumentos en el mbito del conocimiento cientfico. Dicho conocimiento
se suele expresar aunque no exclusivamente en un tipo especial de entidad, a
saber, las teoras cientficas. Las diversas teoras cientficas como es obvio poseen lenguajes peculiares adecuados a sus respectivos objetos. Sin embargo, podra
pensarse o, si se prefiere, podra asumirse provisionalmente que usan la misma
lgica. En principio, se tiene de hecho un importante conjunto de teoras que toman,
como lgica subyacente, precisamente la lgica de predicados e) puede funcionar
como un ejemplo intuitivo al respecto. Por ello, en lugar de estudiar el lenguaje del
clculo predicativo, por as decir, aislado, nos ocuparemos de los lenguajes en que
se formulan tales teoras y que poseen como ncleo lgico dicho clculo.
Estos lenguajes poseen un poder expresivo considerable. Por ello los mismos
permiten formalizar importantes teoras deductivas. Cada teora habla eventualmente de propiedades, relaciones, funciones e individuos especficos y, en consecuencia, exige una adaptacin del lenguaje a sus necesidades expresivas particulares
si se piensa en e), por ejemplo, parecera que debiramos contar en el lenguaje con
nombres para objetos como 0, 3 y 5. Por ello, el lenguaje del clculo de predicados tal cual se presentar aqu podra pensarse como el lenguaje bsico al que, de
acuerdo a las peculiaridades de la teora en cuestin, se le agregaran los smbolos
especficos correspondientes. Los lenguajes que formalizan dichas teoras y que
cuentan con los recursos lgicos del clculo de predicados se denominan lenguajes
de orden uno.78
Esta situacin sugiere el tratamiento del lenguaje de la lgica de predicados en el
contexto de los lenguajes de orden uno; estudiaremos pues en lugar de un lenguaje
especfico, una clase de lenguajes que comparten el ncleo lgico, a saber, los
recursos del clculo de predicados. Una aproximacin informal a las categoras de
smbolos de dicha clase de lenguajes se desarrolla en la seccin siguiente.
78 Esta ordenacin de los lenguajes depende como se explicar ms adelante sobre qu tipo de
variables es permitido cuantificar en los mismos: los de orden uno permiten cuantificar exclusivamente sobre variables de individuo.
El lenguaje79 que construiremos debe, en primer lugar, ser capaz de capturar las
relaciones entre enunciados que se estudiaron en el captulo anterior; en consecuencia, se debe poseer en el mismo un stock adecuado de conectores. Desde un punto de vista informal, el primer aspecto novedoso que se evidencia es la necesidad de
contar en el nuevo lenguaje con recursos para representar propiedades (como ser
mortal) y relaciones (como ser mayor que). En tal lenguaje entonces es necesario
que se pueda referir en general a propiedades y relaciones; las denominaremos, en este contexto, predicados. Una relacin particularmente destacada ser la
igualdad y, por ello, se reserva un smbolo especial para la misma.
Asimismo deber poseer el alfabeto del lenguaje un modo de referirse a funciones (como, por ejemplo, la resta). Al igual que en el caso de las propiedades y relaciones, tendremos nombres para las mismas. A los efectos de referir a un individuo
determinado por su nombre como Scrates o 5 nuestro alfabeto deber
poseer nombres de individuo.
Como el lector recuerda de la teora de conjuntos, las relaciones y las funciones
poseen aridad, es decir, pueden tratarse de relaciones (funciones) unarias, binarias,
ternarias, etc. Lo mismo ocurrir con nuestros predicados y funciones, por ello, sus
nombres poseern un subndice que nos informar acerca de la aridad del predicado
(funcin) en cuestin.
As, por ejemplo, podramos contar en nuestro lenguaje con un smbolo, digamos, H1 para denotar la propiedad de ser hombre; el subndice indica que se trata
de una propiedad o relacin unaria. Podramos tambin contar con un smbolo,
digamos, M2 para denotar la relacin mayor; el subndice nos informa que estamos
ante una relacin binaria. Si nuestro lenguaje contara con nombres para los objetos
5 y 3, por ejemplo, c1 y c2, podramos escribir: M2c1c2 para expresar la premisa
de e) que afirma que 5 es mayor que 3.
Sin embargo, esta ampliacin del alfabeto no es suficiente. A los efectos de captar las relaciones lgicas involucradas en los ejemplos d) y e), por ejemplo, resulta
esencial que, en este lenguaje, pueda expresarse todo o cualquier individuo. Para
ello se utiliza un smbolo denominado cuantificador universal. Para expresar existe
al menos un individuo se contar con un smbolo denominado cuantificador existencial. La importancia de estos operadores llamados cuantificadores puede
ya sospecharse. La referencia a los individuos que se hace all es a individuos que,
podra decirse, permanecen indeterminados. Dicho de otro modo, tales individuos
no son referidos por sus nombres propios. Este efecto deseado se logra a travs de
variables de individuos.
Antes de presentar formalmente el alfabeto y comenzar a estudiar estos nuevos
lenguajes, mostramos cmo luce la estructura del argumento a)80 donde es el
79 Para alivianar la exposicin a veces se usar el singular.
80 No se trata estrictamente de una formalizacin con la notacin que se estudiar a continuacin pero su similitud es obvia y, adems, ms inmediatamente intuitiva.
133
cuantificador universal, las v con subndice son variables de individuo, las letras
maysculas representan propiedades y la c3 representa a Scrates:
0(H10M10)
H1c3
M1c3
Se puede leer as: si se asume que para todo v0, si v0 tiene la propiedad H1 entonces tiene la propiedad M1 y el individuo c3 tiene la propiedad H1, entonces c3 tiene
la propiedad M1. El lenguaje ser caracterizado en detalle, desde un punto de vista
sintctico, en la prxima seccin.
Alfabeto
Se describir ahora con generalidad el alfabeto de un lenguaje de orden uno.
Para hacerlo cabe distinguir entre dos subconjuntos de signos: los comunes a cualquier lenguaje de orden uno y los que varan de acuerdo a la teora especfica que se
desea formalizar. Ms rigurosamente:
Sea = -{0}. El alfabeto de un lenguaje de orden uno es un conjunto de signos
A que es la unin de dos subconjuntos:
1. el subconjunto de los signos comunes a todo lenguaje (de orden uno), constituido por:82
un conjunto numerable de variables de individuo:
V={0,1,,n,};
Universidad de la Repblica
134
,,,,;
iI
Fi
Ri
A=V{(,),,,,,,,}C
iJ
Trminos
135
nN
136
Teorema
TER(A)=
Ti
Universidad de la Repblica
Puede resultar til pensar las pruebas inductivas aqu tambin a travs de un
esquema anlogo al ofrecido en el captulo 3.
Sea P una propiedad cualquiera, para demostrar que toda tTER(A) posee la
propiedad P, deben recorrerse los pasos siguientes:
a. Sea tV. Debemos demostrar que t posee la propiedad P;
b. Sea tC. Debemos demostrar que t posee la propiedad P;
c. Sea t fnt1tn donde t1TER(A). Debe demostrarse, asumiendo la hiptesis inductiva, o sea, asumiendo que cada uno de los t1, t2tn poseen la
propiedad P, que t la posee.
Como en el caso proposicional, ofreceremos un ejemplo de prueba inductiva
sobre TER(A):
Proposicin
Sea tTER(A). Sea ovc(t) la funcin que da el nmero de ocurrencias de variables
y constantes en t. Entonces ovc(t)1.
Prueba: Por induccin.
1. Sea tV. Entonces ovc(t)=1, pues t es una variable de individuo. Luego
obt(t)1.
2. Sea tC. Entonces ovc(t)=1, pues t es una constante de individuo. Luego
ovc(t)1.
3. Sea tfnt1tn donde t1, t2tnTER(A). Por hiptesis inductiva ovc(t1)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 trmino o, dicho de
otro modo, los trminos no exhiben ambigedad sintctica alguna.
1. Los trminos de los lenguajes de orden uno, como acaba de estudiarse, permiten (intuitivamente hablando) nombrar individuos. D contrapartidas en el
lenguaje formal de las siguientes formas de nombrar individuos:
a. Pedro
b. 0
c. 21
d. 3x4
2. Sea ot(t) una funcin que da el nmero de ocurrencias de trminos que ocurren en t (sin contar el propio t) y olf(t) una funcin que da el nmero de
ocurrencias de letras funcionales en t. Demuestre, por induccin, que para
todo tTER(A), olf(t)ot(t).
3. Sea ovc(t) una funcin que da el nmero de ocurrencias de constantes y variables en t y olf(t) una funcin que da el nmero de ocurrencias de letras
Problemas y tareas
137
Frmulas
Desde el punto de vista intuitivo existen ciertas combinaciones de smbolos del
alfabeto que parecen tener sentido qua aserciones y ciertas combinaciones que no
parecen poseerlo.
Por ejemplo, recordando el significado intuitivo que posee el cuantificador universal 1) 1R21 1 o 2) 12(R12 12R12 21) parecen pertenecer al primer
tipo. Si entendemos la letra predicativa R21 como refiriendo a la propiedad ser
par y pensamos la variable 1 como rangueando sobre los nmeros naturales, 1)
dira que todo nmero natural es par. Es obvio que es falso pero tiene sentido. Si
entendemos ahora R12 como ser menor o igual podramos entender 2) como la
expresin que afirma que, para dos nmeros naturales cualesquiera, o el primero es
menor o igual que el segundo o el segundo lo es respecto del primero. Tiene sentido
y, adems, es verdad. Comparemos ahora 1) y 2) con 3) 3R42.
Parece intuitivamente claro que 3) a diferencia de 1) y 2) no posee sentido
usando la interpretacin habitual de los signos intervinientes. Al igual que en el
caso del lenguaje proposicional, se pretender que aquellas palabras con sentido,
desde el punto de vista intuitivo, conformen el conjunto de las frmulas. Es decir,
tal como ocurri en el caso de las frmulas del lenguaje proposicional y tambin en
la anterior definicin de los trminos del lenguaje, la definicin rigurosa del nuevo
conjunto de frmulas deber capturar las respectivas ideas intuitivas.
La definicin del conjunto de las frmulas puede dividirse en dos etapas. Primero
se definen ciertas frmulas bsicas, que podramos pensarlas como elementos o
tomos con los cuales construiremos las frmulas ms complejas. Empecemos
definiendo pues estas frmulas atmicas asumimos para razonar con generalidad
sobre la sintaxis de lenguajes proposicionales que contamos con un stock infinito
de letras de relacin.
Frmulas atmicas
Universidad de la Repblica
Definicin
138
Sea PAL(A). Se dir que es una frmula atmica si y solo si para nN, un
smbolo de relacin naria Rn y t1,t2,,tn, t, sTER(A) se tiene que:
a. Rnt1t2tn o si el lenguaje tiene el signo de igualdad
b. ts (donde se conviene notar as la igualdad en vez de ts).
La definicin anterior caracteriza un cierto conjunto de palabras: lo denominaremos Ato. Luego de definido Ato, se est en condiciones de definir el conjunto de
las frmulas, a saber, FOR(A).
Al igual que en el caso proposicional, se empieza ofreciendo una definicin
desde arriba.
Conjunto de Frmulas
Definicin
FOR(A) es decir, el conjunto de las frmulas de orden uno de nuestro lenguaje es el subconjunto ms pequeo de PAL(A) que satisface las condiciones
siguientes:
a. AtoFOR(A), es decir, toda frmula atmica es frmula;
b. Si , FOR(A), entonces
FOR(A)
()FOR(A)
()FOR(A)
()FOR(A)
()FOR(A)
c. Si FOR(A) y n , entonces: nFOR(A), nFOR(A).
Ofreceremos ahora la definicin desde abajo de este conjunto. Sea Kb=K{},
es decir, el conjunto de los conectivos binarios. Tomamos:
F0=Ato y, para cada m ,
Fm+1=Fm{: Fm}{(*): *Kb y , Fm}{vk : Fm, k }{vk:
Fm, k }.
Fi.
Teorema
Fi.
FOR(A)=
139
Proposicin
Sea FOR(A), sea olp(j) una funcin que asocia con cada frmula el nmero
de ocurrencias de letras de predicado y smbolos de igualdad que aparecen en ella.
Entonces olp(j)1.
Prueba. Por induccin.
Universidad de la Repblica
140
que
4. Sea CiG. Por h.i. olp(G)1 y ya que olp(j)=olp(G), se tiene que olp(j)1.
Problemas y tareas
1. Las frmulas de los lenguajes de orden uno, como acaba de estudiarse, permiten (intuitivamente hablando) representar enunciados. D contrapartidas
en el lenguaje formal de los siguientes enunciados:
a. Pedro es bueno
b. Pedro es sabio
c. Pedro es bajo
d. Pedro es mortal
e. Pedro es bajo y sabio
f. Pedro es sabio o bueno
g. Pedro es ms alto que Juan
h. Mara es ms joven que Alicia
i. Si Mara es buena, entonces Juan es sabio
j. Alicia es sabia si y solo si Pedro es bueno
k. Algunos son sabios y buenos
l. Algunos son sabios y no son buenos
m. Todos son mortales
n. Todos son bajos
2. Sea olp() una funcin que da el nmero de ocurrencias de letras de predicado y del signo de igualdad en y ocb() una funcin que da el nmero de
ocurrencias de conectivos binarios en . Demuestre, por induccin, que para
todo FOR(A), olp() > ocb().
3. Sea olp() una funcin que da el nmero de ocurrencias de letras de predicado y del signo de igualdad en y oc() una funcin que da el nmero de
ocurrencias de conectivos en . Es cierto, para todo FOR(A), olp()
oc()? Justifique su respuesta.
4. Demuestre que los siguientes elementos de PAL(A) pertenecen a FOR(A):
a. 1(R111R211)
b. (12R121212R2212)
d. 12(R1212R2221)
5. Piense cul es la relacin entre ocurrencias de parntesis y ocurrencias de
letras de predicado. Formule y resuelva un ejercicio anlogo al 2 es decir,
una proposicin que deba demostrarse por induccin.
c. 1(R11f111R21f111)
141
Traducciones y expresividad de L
Una duda que le puede surgir al lector es cun expresivo es el lenguaje formal
que acaba de construirse. Para responder a tal inquietud podra sugerirse la estrategia de explorar hasta qu punto pueden obtenerse en L buenas traducciones de
enunciados del lenguaje natural. Este test posee un sabor relativamente emprico.
No obstante, se espera poder convencer al escptico mediante algunos ejemplos
selectos. Por otra parte, tales ejercicios permiten cierta ganancia en familiaridad
con los recursos del lenguaje formal L. Ms adelante cuando ya se cuente con una
semntica formal para este lenguaje se entender expresividad en un sentido
diverso al que se acaba de sugerir aqu.
Como se recuerda, Aristteles elabor una lgica de los enunciados de la forma
sujetopredicado. Tales enunciados tradicionalmente se clasifican en cuatro
tipos: universal afirmativo, universal negativo, particular afirmativo y particular negativo. He aqu ejemplificados cada uno de los tipos:
1. Todo gato es misterioso.
2. Ningn gato es misterioso.
3. Algn gato es misterioso.
4. Algn gato no es misterioso.
Es fcil construir las respectivas traducciones:
1. 1(R111R211);
2. 1(R111R211);
3. 1(R111R211);
4. 1(R111R211).
Todo lo expresable pues en ese marco es expresable en orden uno. Sobre la validez de las inferencias tradicionales y las inferencias clsicas deben hacerse algunas
salvedades pero, desde el punto de vista expresivo (en el sentido convenido), nuestro
lenguaje parece comportarse satisfactoriamente. Por lo tanto estructuras como las
silogsticas pueden capturarse perfectamente84 en L. As, por ejemplo, la siguiente:
Ningn estudiante de lgica es perezoso. Todo estudiante de filosofa es estudiante
de lgica. Luego ningn estudiante de filosofa es perezoso.
Tiene como traduccin:
1
Universidad de la Repblica
(1(R11R11)1(R11R11))1(R11R11)
142
12(T123(P32H13)),
donde T representa la relacin ser to/a de, P representa la relacin ser progenitor de y H representa la relacin ser hermano/a de. Y
85 La axiomatizacin standard de la teora clsica de conjuntos es debida a ZermeloFraenkel. Un
estudio didctico excelente de esta teora se encuentra en Suppes (1960).
Finalmente quiz posea inters advertir que este lenguaje permite expresar otros
enunciados de inters conceptual (no exclusivamente matemtico). Por ejemplo,
supngase que se quiere expresar las relaciones de parentesco a es to de b y a es
abuelo de b. Una caracterizacin podra ser la siguiente:
143
12(A123(P13P32)),
donde A representa la relacin ser abuelo/a y P la relacin ser progenitor/a
de.
Luego de nuestro estudio semntico retornaremos al problema de cmo expresar
en orden uno enunciados del lenguaje ordinario.
Universidad de la Repblica
Sntesis
144
El punto de partida de este captulo es la constatacin de los lmites del lenguaje proposicional para capturar ciertas estructuras argumentales cuya naturaleza
deductiva puede difcilmente cuestionarse. Por qu es insuficiente el lenguaje proposicional? Bsicamente porque la representacin de tales estructuras argumentales
exige un anlisis ms fino: supone capturar no ya meramente relaciones entre enunciados 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 formal de los captulos anteriores. Esta ampliacin consiste, en primer
trmino, en incorporar al vocabulario del lenguaje proposicional smbolos que permitan describir los novedosos rasgos estructurales relevantes. Tal operacin supone,
naturalmente, la redefinicin de aquellas cadenas que se consideran legtimas en el
lenguaje i.e. la redefinicin del conjunto de las frmulas. Estas modificaciones conducen a los lenguajes de orden uno.
Se ha optado por estudiar, en vez de un lenguaje de orden uno particular, una
especie de esquema de estos lenguajes; as, en lugar de definir un alfabeto particular,
se ofrece una caracterizacin general de las categoras de smbolos que intervienen
en el alfabeto de un lenguaje de orden uno. Es decir, se ha preferido presentar,
no un lenguaje del clculo de predicados, por as decir, a secas, sino una clase
de lenguajes (los lenguajes de orden uno) que utilizan los recursos del clculo de
predicados: ste funciona como el ncleo lgico de tales lenguajes. La idea es
acentuar el poder expresivo y la plasticidad de los mismos en la formalizacin de
argumentos. En el estudio de la sintaxis y semntica de estos lenguajes formales se
mantendr esta especie de inmersin en el clculo de predicados; en el estudio de
los mecanismos de evaluacin de frmulas, el clculo de predicados ser estudiado
en forma ms aislada.
Cmo se ha enriquecido el stock de recursos expresivos del lenguaje proposicional para obtener lo que se deseaba? Se ha adicionado a los parntesis y conectores del lenguaje proposicional, los cuantificadores, las variables de individuo, las
constantes de individuo, las letras relacionales, el smbolo de igualdad y las letras
funcionales. Este enriquecimiento ha tornado ms compleja la tarea de definir frmula que en el caso proposicional. Tal tarea se realiza, bsicamente, en dos etapas:
primero se ha definido trmino y, a partir de esta definicin, se ha obtenido la definicin de frmula. Al igual que en el lenguaje proposicional, es conveniente recordar
que los lenguajes de orden uno son sintcticamente unvocos, es decir, puede demostrarse el teorema de lectura nica respecto de los mismos.
Dado que hemos construido dos lenguajes formales (el lenguaje proposicional, el
lenguaje de orden uno) es quiz un buen momento para pensar, en trminos generales, la estructura, por as decir, de las caracterizaciones sintcticas respectivas. Es
decir, podemos apreciar, digamos, el mtodo comn a tales construcciones. Descrito
en forma grosera, podramos decir que en ambos casos partimos de un alfabeto (lo
hemos llamado A, nuevamente, para evitar una proliferacin excesiva de smbolos)
y luego caracterizamos el conjunto de cadenas legtimas o admisibles de ocurrencias
de elementos de ese alfabeto, es decir, definimos nuestras frmulas (nuevamente,
mantuvimos la misma notacin, FOR(A), por razones de economa). Identificamos
as un lenguaje con el conjunto infinito de las secuencias legtimas de smbolos de
su alfabeto; tal conjunto (en la terminologa de este curso, el de las frmulas) se encuentra rigurosamente caracterizado y admite as su estudio matemtico. He acentuado este aspecto metodolgico porque es, obviamente, generalizable; adems de
aprender ciertos lenguajes formales especficos es interesante entender los mismos
como instancias de una estrategia general extremadamente rica y sugestiva tanto
desde el punto de vista tcnico como desde el punto de vista conceptual.
145
Captulo 7
Interpretacin
147
Universidad de la Repblica
{<n,m>: <n,m> x
148
y nm}.
Es decir, interpretar una letra de predicado naria quiere decir asignarle una
relacin naria en el dominio de la interpretacin.
En el caso de lenguajes con el smbolo de igualdad, la interpretacin del smbolo
de igualdad es la previsible; siguiendo con el ejemplo anterior, se tratara del
conjunto de pares ordenados de nmeros naturales donde la primera y la segunda
proyeccin del par son el mismo nmero.
Las letras funcionales se interpretarn atribuyndoles funciones de igual aridad
en el dominio. Por ejemplo, siguiendo con el mismo dominio, podra interpretarse
f2 como el producto entre naturales. Es decir, la interpretacin de f2 sera una
funcin que va de x en N y asocia, con cada par de naturales m y n, el resultado
de multiplicar m por n.
Como seguramente el lector ya habr advertido, la interpretacin debe tomar
en cuenta exclusivamente los smbolos del lenguaje particular; por ejemplo, si
el lenguaje posee dos smbolos de predicado (R1, R2), dos smbolos funcionales
(f2, g2) y un smbolo de constante (c5), la interpretacin del mismo deber atribuir a
R1 una relacin unaria y a R2 una relacin binaria, a f12 y a f22 funciones binarias y un
individuo del dominio a c5. Esta porcin del lenguaje que vara de un lenguaje
de primer orden a otro se denomina a veces descriptiva; en contraposicin, los
smbolos lgicos estn presentes en todo lenguaje de primer orden.
En el caso de los conectivos como se seal antes mantienen su interpretacin habitual. El caso de los cuantificadores, desde el punto de vista intuitivo, es
muy simple.
El cuantificador universal () refiere a todos los individuos del dominio, es decir,
1R11 quiere decir que todos los individuos del dominio poseen la propiedad R1.
86 Se dice que una letra de predicado es mondica si es del tipo R1, es decir, exige un solo
trmino para convertirse en una frmula; se dice que es polidica en otro caso, es decir, exige
dos o ms trminos.
a.
Como los smbolos en que puede diferenciarse un lenguaje de orden uno son los
descriptivos, alcanzar (para individualizar un lenguaje) con indicar cules de tales
smbolos son los que forman parte de su vocabulario. De modo que se podra, por
ejemplo, individualizar un cierto lenguaje L1 describiendo su vocabulario del modo
siguiente:
Solo a los efectos de fijar ideas, si se pidiese una interpretacin para este lenguaje L1 se podra intuitivamente resolver el problema as: sea N el dominio de
interpretacin es legtimo hacerlo pues, obviamente, N, sea c1 el 0 y c2 el
1 es legtimo, pues ambos son naturales, es decir, pertenecen al dominio, sea
R2 la relacin menor estricto definida entre naturales es decir, una relacin en el
dominio de la interpretacin y sea f1 la funcin unaria sucesor, es decir, la funcin
que, para cada nN, da como resultado n+1 es legtimo, pues para cada nN, da
un cierto jN, donde j=n+1.
La pregunta obvia es, dada la interpretacin del lenguaje, cmo se interpretan
las frmulas del mismo? Pues si el inters de la teora lgica es capturar la relacin
de consecuencia (en ese lenguaje), deberamos ser capaces de decidir, interpretado
as el lenguaje, acerca de la verdad o falsedad de sus frmulas.
En primer lugar, parece bastante claro que, respecto de ciertas frmulas, se puede decidir sobre su verdad o falsedad una vez que se realiza la operacin semntica
antes descripta para el lenguaje. Tmese el lenguaje L1 y asmase la interpretacin
sugerida anteriormente, considrese las dos frmulas siguientes de L1:
149
a) 12 R221
b) 12 R212.
A la luz de la interpretacin anterior, resulta claro que a) es falsa, pues no es
cierto que para todo natural exista un natural menor estricto que l, ya que no hay
ningn 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 algn natural: digamos el
0 respecto del 1.
Advirtase que tanto en el caso de a) como en el caso de b), dada la interpretacin del lenguaje antes ofrecida, no ha existido ninguna dificultad para determinar
su valor de verdad. Podramos preguntarnos si esto es cierto para cualquier frmula.
Supngase ahora que se debe responder, para la interpretacin dada, cul es el
valor de verdad de la frmula de L1 siguiente:
c) R121c2
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 cul es el individuo denotado por esta variable la
pregunta sobre el valor de verdad de c) no puede responderse. Obsrvese que aqu
no basta la interpretacin construida. Otro ejemplo puede ser:
d) R1234
Tampoco es posible determinar el valor de verdad de d). El problema surge, en
ambos casos, a partir de una limitacin bsica: los trminos no quedan interpretados
y, luego, las frmulas no poseen significado.
Quiz ayude a percibir ms ntidamente esta situacin notar que, por ejemplo, si
asumimos como se dijo arriba que la letra funcional f1 denota la funcin sucesor,
respecto de:
e) f1 v3
no puede determinarse qu nmero natural denota, hasta tanto no se sepa qu
nmero denota la variable. En cambio
Universidad de la Repblica
f) f1c1
150
en la informacin semntica que aporta la, por as decir, accin cooperativa del
cuantificador y la variable respectiva en el caso en que el primero liga, alcanza o
afecta a la segunda. Por ejemplo,
g) 1R11
afirma que todos los individuos tienen la propiedad R1. Pero
ciertamente no dice lo mismo, ya que el trabajo cooperativo aludido no se produce. Una frmula sin ocurrencias libres de variables (o, ms directamente, sin variables libres) se denomina cerrada; en otro caso se denomina abierta. Ms adelante
ofreceremos una definicin precisa de estos conceptos; por ahora estos desarrollos
sern suficientes.
La diferencia entonces entre frmulas cerradas y frmulas abiertas en este aspecto podra resumirse en el xito (fracaso) de las primeras (segundas) en trminos
de significatividad. Podemos decir, grosso modo, que las primeras poseen significado y las segundas carecen del mismo, una vez especificado el significado de las
diversas categoras sintcticas (exceptuando las variables).
Cmo enfrentar pues el problema del significado de las frmulas abiertas?
Rpidamente podra responderse as: haciendo denotar a todos los trminos que
ocurren en la frmula. Para solucionar el problema de forma radical, esto es, para
que toda frmula adquiera un valor de verdad, es necesario dotar de significado a todo
trmino del lenguaje. Lograr esto una vez que se ha definido una interpretacin
como la de arriba requiere una sola operacin adicional: asignar valores a todas
las variables de individuo del lenguaje. Por ejemplo, es claro que si asignamos a i
el nmero natural i-1 si i >0 y asignamos 0 si i=0, entonces c) y d) son satisfechas
para esa asignacin por la interpretacin anteriormente ofrecida de los smbolos del
lenguaje. Por qu? Porque 0 es menor estricto que 1 y 2 es menor estricto que 3.
Ahora si asignamos a i el nmero natural i, entonces c) no es satisfecha mientras
d) s lo es. Se tiene entonces que c) y d) son satisfechas 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 smbolos del lenguaje como la de
arriba sino que, adems, debe establecerse la asignacin de valores a las variables.
En sntesis, para que todas las frmulas adquieran significado es necesario ofrecer
una interpretacin como la ejemplificada arriba y, adems, interpretar las variables.
La prxima seccin est orientada como se prometi a familiarizar al lector con
los conceptos antes expuestos.
h) 1R12
151
Universidad de la Repblica
R >{x: x
152
y existe y
R >{<x,y>: x,y
y x<y}
Luego caracterizamos el significado de las letras de funcin. En este caso existen dos letras de funcin. A la letra de funcin unaria debemos asociarle una funcin unaria de en y a la letra de funcin binaria una funcin de x en .
Por ejemplo
f11>f11(x)=x2
f12>f12(x,y)=x+y
Cualquier frmula cerrada de L2 posee un significado bajo esta interpretacin.
Por ejemplo
1(R12c11R121f111)
es falsa bajo esta interpretacin. Esta frmula afirma que, si un nmero natural es mayor que cero, entonces su cuadrado es mayor que l. Esto no es cierto, pues
12=1. Otro ejemplo:
12(f1212f1221)
posee un significado preciso; es verdadera, bajo esta interpretacin. Por qu?
Porque esta frmula (bajo esta interpretacin) afirma que la suma es conmutativa.
Si se desea que toda frmula posea significado y no solo las frmulas cerradas entonces se le asigna a cada variable un elemento del dominio i.e. un nmero
natural. Por ejemplo:
i>i+5.
Luego una frmula como R113 posee un significado preciso.
Las ideas intuitivas introducidas en Interpretacin y ejemplificadas en esta
seccin se precisan y desarrollan a partir de la seccin Interpretacin de los lenguajes de orden uno (desde el punto de vista formal).
Problemas y tareas
1. Construya una interpretacin (en el sentido ejemplificado en Ejemplo en
detalle de interpretacin) que haga verdaderas las siguientes frmulas:
12R1212
12R2212
2. Asumiendo la interpretacin descrita en Ejemplo en detalle de interpretacin, escriba tres frmulas que sean verdaderas en tal interpretacin y tres
frmulas que sean falsas en dicha interpretacin.
3. Formule un ejercicio anlogo al descrito en 1.
4. Formule un ejercicio anlogo al descrito en 2.
1f12c11c1
153
Estructura-L
Definicin
Sea L un lenguaje de orden uno. Se denomina una realizacin de L o una estructuraLa87 a una estructura compuesta por:
a. un conjunto novaco A denominado dominio de la realizacin o estructuraLa;
b. para cada smbolo de constante cj de L, la interpretacin del mismo se denota cja y es un elemento de A;
Universidad de la Repblica
154
Como puede apreciar el lector, la estructura hace el trabajo de, digmoslo as,
la primera parte de la labor interpretativa desarrollada en el enfoque intuitivo de la
seccin anterior. Dicho directamente, la estructura a otorga significado a una serie
de smbolos del alfabeto y, consecuentemente, a una serie de trminos del lenguaje.
Por ejemplo, dada una cierta estructura-La, y si las expresiones:
f1c1 y f2f1c2c3
son trminos de L, entonces quedan perfectamente definidos los individuos de
A denotados por los mismos.
Pero, como se discuti en la seccin anterior, no alcanza tal construccin para
que quede asegurado el significado de todos los trminos y, consecuentemente, de
todas las frmulas de L. Como es ste, precisamente, el objetivo, debe precisarse
cmo dar significado a todos los elementos de TER(A). La solucin, desde el punto
de vista intuitivo, consiste (como se dijo) en atribuir significado a todas las variables
del lenguaje. La idea es construir entonces una funcin que hace ese trabajo: a cada
variable de individuo del lenguaje le asigna un objeto del dominio de la estructura
a estas funciones se les denominar asignaciones.
Asignacin
Sea a una estructura-L. Sea V el conjunto de las variables de individuo de L.
Se denomina una asignacin I a una funcin que asigna a cada variable de L un
individuo de A, es decir, I:VA.
Luego, hablando rpidamente, puede entenderse por una interpretacin de L el
par formado por una estructuraLa y una cierta asignacin I. Esquemticamente
expresado:
Interpretacin=Estructura + Asignacin
Dada una interpretacin aI la motivacin para la eleccin notacional es obvia y dado un trmino t cualesquiera, intuitivamente parecera que se puede
saber lo que ese trmino t denota. Estudiemos f1 v3 que se seal como un caso
Definicin
155
Interpretacin de trminos
No parece difcil definir cmo se comporta una interpretacin
trminos. Esta definicin puede lucir as:88
aI respecto de
Definicin
Sea a una estructuraL, sea I una asignacin sobre A, sea t un trmino cualesquiera de L, los ti (con 1in) son trminos de L y el smbolo a adicionado como
superndice a un smbolo del alfabeto denota el objeto que la estructura a otorga a
dicho smbolo. Luego:
aI(t)=I(t)=I( );
b. si tc (jN), aI(t)=c a.
c. si tf t t , aI(f t t )=f a aI(t ) aI(t ).
a. si tk(kN),
j
j
n 1
j
n 1
j
n
Interpretacin de frmulas
Como se discuti antes, desde el punto de vista intuitivo, para poder dar significado a la totalidad de las frmulas 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 asignacin. Lo que corresponde es definir rigurosamente
el resultado de aplicar una interpretacin aI a una frmula de L. Pero antes de
hacerlo deberemos introducir un concepto tcnico: el de asignacin variante. El
mismo se define as:
Universidad de la Repblica
Asignacin variante
156
Definicin
Sea I una asignacin i.e. I: VA. La asignacin variante Ixa se define as:
Ixa =(I{<x,I(x)>} ){<x,a>}.
La idea es que la asignacin variante se comporta igual que I en todos los casos,
excepto (eventualmente) en que atribuye a la variable x el objeto aA.
La definicin prometida podra lucir luego as:
Satisfaccin
Definicin
Sea a una estructuraL. Sea I una asignacin i.e. I:VA. Diremos que la interpretacin satisface una frmula j se nota aI sat j si:
a. Sea Ato y jRjk t1t2tkkN, Rjk es una letra de relacin de L , t1, t2,,
tkTER(A).
j I
k
b. Sea jAto y si el lenguaje es un lenguaje con igualdad jt1t2 donde t1,t2TER(A). Entonces:
aI sat t t
1
si y solamente si t1aI=t2aI.
Como es relativamente fcil observar esta definicin recoge las ideas intuitivas
antes expuestas. En particular, cuando la frmula j es cerrada advirtase los
items h) e i) de la definicin la atribucin particular de valores a las variables no
juega ningn papel, tal cual fue discutido antes. Cuando se est en ese caso, es decir,
si j es cerrada, puede escribirse consistentemente que en una estructura a, j se
cumple. i.e. a sat j , esto puede leerse como a satisface j o j es verdadera en
a o a es un modelo de j.
Es obvio que tambin puede agregarse cualquier asignacin, es decir, si se da
el caso de arriba, entonces para cualquier asignacin I, aI sat j.
i. Sea jjG , entonces aI sat j si y solamente si, para al menos un elemento aA, se tiene que aIja sat G.
157
Expresividad terico-modlica
En el captulo anterior se estudi la expresividad de los lenguajes de orden uno
en el sentido de su capacidad de permitir parfrasis o traducciones aceptables
de enunciados (del lenguaje natural) o de conceptos (definidos en el lenguaje natural). El propsito de esta seccin es sugerir un segundo modo de entender la expresividad de los lenguajes de orden uno.
Un ejemplo puede ayudar a introducir este concepto. Se ha usado reiteradamente en este curso como mecanismo de prueba la induccin. La inspiracin de
tales usos ha sido la induccin aritmtica. El Principio de Induccin en el campo
de la aritmtica de los naturales puede expresarse informalmente as (llammosle
Principio de Induccin Informal):
(PII) Si 0 posee una propiedad y si un natural n cualesquiera la posee, entonces
tambin la posee el sucesor de n, entonces todos los naturales poseen la propiedad
en cuestin.
Usando los recursos de orden uno podra expresarse as (llammosle Principio
de Induccin en Orden Uno):
Universidad de la Repblica
(PIOU) (R1c11(R11R1f111))1R11;
158
Donde R est en lugar de cualquier letra de predicado unario, c1 debe interpretarse como 0 y f11 debe interpretarse como la funcin sucesor (i.e. f(x)= x+1) y el
universo es .
Si se piensa en trminos de modelos, la situacin puede verse bajo una nueva luz.
Lo que afirma PIOU parece ser lo siguiente: para cualquier letra de predicado unario 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. Advirtase en esta parfrasis conceptual
de PIOU una diferencia sustancial: se habla de toda letra de predicado unario R y
de todo nmero 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 forma grosera: no puede decirse en orden uno, para toda propiedad
(de nmeros naturales) pero s puede decirse para todo nmero (natural); en orden
uno como se recuerda existe un solo tipo de variables: las variables de individuo. 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
que el nmero total de instancias puede ser a lo sumo numerable, ya que tal es la
cardinalidad de los lenguajes que se han definido. Pero cul es el nmero total de
propiedades de ? Ciertamente ( ) i.e. nonumerable. Luego parece existir un
cierto dficit expresivo en PIOU: el nmero de propiedades que toma en cuenta (i.e.
las letras de predicado) es numerable mientras que el nmero de propiedades de
es nonumerable.
Consecuencia terico-modlica
Sea G un conjunto de frmulas cerradas, sea j una frmula, diremos que j es
consecuencia terico-modlica de G se nota: G j si para toda interpretacin a
que es modelo de G es decir, que es modelo de todas las frmulas que pertenecen
a G a es modelo de j.
A veces se ofrece una definicin ms general, no restringida a frmulas cerradas.
En ese caso, en lugar de a debe escribirse aI en la definicin de arriba. Se ha preferido la definicin tradicional es decir, se adopta el punto de vista menos general,
restringiendo la definicin a frmulas cerradas pues es ms prximo al sentido
intuitivo de correccin argumental que ha sido ofrecida como la motivacin central
Definicin
159
Validez
Definicin
Una frmula cerrada j de L es vlida si y solamente si para toda interpretacin
a, a es modelo de j.
Un concepto que posee tambin inters es el de satisfacibilidad. Se trata de entender ms finamente una particin tradicional en la clase de las frmulas (i.e. de los
enunciados): aquellas frmulas que son, intuitivamente hablando, contradictorias
o absurdas y aqullas que no lo son. Estas ltimas se denominan satisfacibles, las
primeras se dicen insatisfacibles. Desde el punto de vista formal, las definiciones
lucen as:
Satisfacibilidad
Definicin
Una frmula cerrada j de L es satisfacible si y solamente si existe alguna interpretacin a, tal que a es modelo de j. Un conjunto G de frmulas de L es satisfacible si y solamente si existe alguna interpretacin a, tal que a es modelo de , para
toda G.
Insatisfacibilidad
Definicin
Universidad de la Repblica
160
89 Baste recordar que algunos autores definen la lgica matemtica como el estudio de los lenguajes
formales.
90 Se sigue en este caso a Manzano (1989).
(I)
Pre1
Pre2
.
.
.
Pren
Con
1(R11 1R11 1)
parece indiscutiblemente que se trata de una frmula vlida: para cualquier
a
interpretacin aI se tiene que, para todo elemento aA, aI (R11 1R11 1), es
a
a
1
1
decir, para todo elemento aA, aI R1 1 o aI R1 1. Luego hemos mostrado
la validez de la frmula. En otros casos es igualmente evidente que se est frente a
frmulas no vlidas. Por ejemplo:
1
Esta evaluacin permita responder en trminos proposicionales a la cuestin de si se estaba frente a un argumento lgicamente correcto. Segn se sabe, si
(III) es una tautologa, entonces (I) es un argumento lgicamente correcto. La motivacin para la construccin del clculo de predicados como se recuerda es
que la conversa no vale: hay argumentos formalmente correctos cuya traduccin no
es una tautologa. La pregunta entonces es cul es la propiedad semntica equivalente, en el clculo de predicados, a la tautologicidad? La respuesta es la validez
terico-modlica (entendiendo modelo en el sentido actual).
A partir de la definicin expuesta resulta perfectamente claro qu debe entenderse por validez de una frmula. En algunos casos es muy evidente que una cierta
frmula posee, precisamente, esta propiedad. Por ejemplo:
161
12R12 12
no es vlida; para advertirlo alcanza con tomar la relacin como mayor estricto y
como dominio de la interpretacin .
Una cuestin que surge de forma muy natural es cmo puede determinarse, una
vez que se dispone de una semntica para el lenguaje de orden uno, si una cierta
frmula del lenguaje es o no vlida. Si se evoca el caso proposicional, la interrogacin podra incluso reclamar ms informacin: existe algn procedimiento de
decisin es decir, un procedimiento mecnico que permita determinar, dada
una frmula j de este lenguaje, si ella es o no vlida? Entre otras, de estas cuestiones
se ocupa, precisamente, el prximo captulo.
Problemas y tareas
1. Si su dominio de interpretacin es el conjunto de los nmeros naturales.
Defina interpretaciones posibles para las siguientes letras de predicado:
a. R11
b. R21
c. R31
d. R12
e. R22
f. R32
2. Si su dominio de interpretacin es el conjunto de nmeros enteros. Defina
interpretaciones posibles para las siguientes letras de funcin:
a. f11
b. f21
c. f31
d. f12
e. f22
Universidad de la Repblica
f. f32
162
3. Proponga un lenguaje de orden uno seleccionando letras de predicado y letras de funcin de las listas de arriba. Construya una interpretacin para el
mismo.
4. Sea L5 un lenguaje de orden uno que posee tres smbolos de relacin: R1, R12,
2
R2 y dos constantes: c1, c2. Construya una interpretacin para tal lenguaje.91
5. Sea L6 un lenguaje de orden uno que posee tres smbolos de relacin: R1, R12,
2
R2. Construya una interpretacin para tal lenguaje.
6. Sea L7 un lenguaje de orden uno que posee tres smbolos de funcin:.
Construya una interpretacin para tal lenguaje.
91 Si encuentra dificultades en este ejercicio o en el anterior, consulte la seccin Interpretacin
de los lenguajes de orden uno (desde el punto de vista formal).
7. Sea L8 un lenguaje de orden uno que posee tres smbolos de funcin: f1, f12, f22
y dos constantes: c1, c2. Construya una interpretacin para tal lenguaje.
8. Sea L9 un lenguaje de orden uno que posee tres smbolos de funcin R1, R12,
2
R2 y una constante: c1. Construya una interpretacin para tal lenguaje.
9. Sea L10 un lenguaje de orden uno que posee tres smbolos de funcin R1,
1
2
R2, R2 dos smbolos de funcin f1, f2 y una constante: c1. Construya una interpretacin para tal lenguaje.
10. Para cada uno de los lenguajes referidos arriba, construya dos frmulas verdaderas y dos frmulas falsas (en las interpretaciones respectivas que ha construido). Obviamente, tales frmulas deben ser cerradas.
11. Para cada uno de los lenguajes referidos arriba, construya cuatro frmulas
abiertas. Dotando de interpretacin a las variables logre, para cada caso, que
dos de ellas sean verdaderas y dos de ellas falsas (en las interpretaciones respectivas que ha construido).
12. Un conjunto de frmulas se dice satisfacible o consistente si todas las frmulas pertenecientes al mismo son satisfechas por una interpretacin. Proponga
tres ejemplos de conjuntos satisfacibles.
13. Un conjunto de frmulas se dice insatisfacible o inconsistente si no existe
una interpretacin que verifique todas las frmulas pertenecientes al mismo.
Proponga tres ejemplos de conjuntos insatisfacibles.
Sntesis
163
Universidad de la Repblica
164
92 El carcter rpido reside en que dejamos afuera la atribucin de significado a los smbolos lgicos. La justificacin es que, dado que tal atribucin se mantiene fija, nos concentramos en la
parte dinmica.
93 Una creciente bibliografa revela la importancia filosfica del problema; puede consultarse al
respecto una obra ya clsica de Etchemendy (1990).
Captulo 8
Luego determinar si (a) es un argumento lgicamente correcto se reduce a determinar si (c) es vlida. La definicin precisa de cundo (c) es vlida fue ofrecida hacia
el final del captulo anterior. Pero podra preguntarse si al igual que en el caso
proposicional se cuenta con algn algoritmo que, aplicado a una frmula cualquiera jL, ofrezca la respuesta a la pregunta por su validez. Dicho de otro modo:
existe para la lgica de predicados,94 algn procedimiento mecnico como en el
caso proposicional, por ejemplo, el mtodo tabular que permita, para cualquier
jL, determinar si j es vlida?
La respuesta en general es: no. Luego la evaluacin de las frmulas de L no
puede esperarse que se resuelva (en forma general) a travs de un algoritmo. Esta
puede presentarse como una decisiva motivacin para la introduccin de sistemas
94 Como se ha dicho, esta es una denominacin habitual para la lgica de los lenguajes de orden uno
que estudiamos aqu.
(c)
165
La idea que subyace a esta regla es muy intuitiva: si todos los individuos cumplen j entonces uno en particular, digamos c, la cumple. Usamos (c/x) para denotar la operacin de sustituir uniformemente la variable x por la constante c.
Ejemplo de aplicacin de VU
..
Universidad de la Repblica
166
La idea que subyace a esta regla es la siguiente: se sabe que al menos un individuo cumple , podemos llamarle c pero con una restriccin fundamental: no
podemos llamarle as si ya antes hemos usado ese nombre en la prueba, es decir,
el nombre del individuo debe ser, para decirlo intuitivamente, nuevo (en el contexto de la prueba hasta all desarrollada). Tal restriccin se expresa en la regla en
forma ms estricta. Escribimos llega en lugar de ocurre en la formulacin de tal
restriccin solamente para evitar confusiones: la constante puede ocurrir debajo de
la instanciacin i.e. ms abajo que (c/x), lo que la restriccin prohbe es que
ocurra antes de la misma i.e. en x o en frmulas que la preceden en su rama.
Ejemplo de aplicacin de VE
..
1 2((R11 1R21 1)R11 2)
2((R11 c1R21 c1)R11 2)
c2 es nueva, es decir, la
constante no podra
ser c1.
Estas dos reglas poseen una obvia justificacin intuitiva: decir que no todos los
individuos cumplen j es decir que hay al menos un individuo que no cumple j, y
decir que no existe ningn individuo que cumple j es decir que, dado un individuo
cualquiera, l no cumple j.
Los siguientes son dos ejemplos del uso del mtodo de tablas analticas.
x
x
167
Ejemplo
Se trata de evaluar si el argumento de abajo es correcto:
1(R11 1R21 1)
1(R21 1R31 1)
1(R11 1R31 1)
Como en el anlisis proposicional se asume que valen las premisas y se niega la
conclusin:
1 (R11 1R21 1)
1(R21 1R31 1)
1 (R11 1R31 1)
Luego aplicamos como es habitual las reglas correspondientes. El anlisis
concluido lucira as:
1.
2.
3.
4.
5.
6.
7.
8.
9.
1(R11 1R21 1)
1(R21 1R31 1)
1(R11 1R31 1)
1(R11 1R31 1)
(R11 c1R31 c1)
R11 c1
R31 c1
(R11 c1R21 c1)
10. R21 c1
R11 c1
X
11. (R21 c1R31 c1)
12. R21 c1
R31 c1
X
X
+
+
+
+
+
+
+
Ejemplo
Se trata de evaluar si la frmula siguiente es vlida:
Universidad de la Repblica
168
+
+
+
4.
5.
6.
7.
8.
9.
1R11 1
1R21 1
1(R11 1R21 1)
R11 c1
(R11 c1 R21 c1)
R11 c1
X
+
+
+
+
10. R c1
11. R21 c2
2
1
La frmula no es vlida, ya que queda una rama abierta. Al igual que el caso
proposicional, puede leerse una interpretacin bajo la cual la frmula inicial se
convierte en falsa.
Este procedimiento permite resolver (mecnicamente) el problema de la correccin argumental es decir, determinar la existencia de la relacin de consecuencia
lgica entre premisas y conclusin en aquellos casos en que las frmulas en juego
poseen a lo sumo letras de predicado unarias.95
Como se dijo, procedimientos de esta naturaleza solo pueden construirse para el
anlisis de las relaciones lgicas entre frmulas mondicas; el estudio general de la
lgica de predicados exige el recurso a estrategias diversas.
Problemas y tareas
1. Evaluar la correccin de los siguientes esquemas argumentales (va tablas
analticas):
a. ((1(R11 1R21 1)1R11 1) 1 R11 1)
b. (((1(R11 1R21 1)1R11 1) 1 (R21 1R31 1))1R31 1)
2. Evaluar la validez de las siguientes frmulas (va tablas analticas):
a. ((1R11 1 1 R21 1)1(R11 1 R21 1))
b. (1(R11 1R21 1)(1R11 1 1R21 1))
3. Si la regla VE careciera de la restriccin relacionada con la constante introducida, no sera correcta. Denominmosle VEm (por mala) a la regla VE sin
la restriccin.Puede ofrecer un ejemplo de argumento que es intuitivamente
incorrecto pero que, si aceptamos VEm en lugar de VE en nuestro procedimiento de tablas analticas, salvara el test de estas tablas?
169
Gen.
Como en el caso proposicional remitimos al lector interesado en un estudio detallado de este sistema a la obra de Mendelson ya citada.
Universidad de la Repblica
170
Reglas bsicas
..
n
..
n+m.
..
i
..
i
E en n
..
n
..
n+m
..
i
..
(c/i)
EU en n
b. si tenemos como premisa (en la lnea n) vi j, puede escribirse (en una lnea
n+m posterior a n) (c/vi)j.
Intuitivamente, esta regla nos permite, en condiciones especiales, pasar de la afirmacin que lo predicado de un individuo a la afirmacin que se cumple para todos
los individuos. Es evidente que del mero hecho de que un individuo satisfaga una
propiedad no se sigue que todos la satisfagan. Luego resulta crucial especificar
cules deben ser esas condiciones especiales arriba referidas que nos garanticen
la legitimidad del pasaje. La idea intuitiva que subyace a las mismas es que si para
demostrar que cierto individuo posee una propiedad no uso ningn rasgo peculiar,
especfico, propio de este individuo he demostrado en realidad la posesin de dicha
propiedad, digmoslo as, para cualquier individuo. Luego, podramos decir, lo he
171
demostrado para todos ya que cualquiera que tome, tiene la propiedad en cuestin. Veamos cmo podemos formalizar estas ideas.
a. Como en las reglas anteriores, el conjunto de nmeros de premisa de la lnea
n+m es el conjunto de nmeros de premisas de n
..
{a,i}
..
{a,i}
..
n
..
n+m
..
(c/i)
..
i
GU en n
b. Si tenemos como premisa (en la lnea n) (c/i), puede escribirse (en una lnea
n+m posterior a n) i , si se cumple que a) c no ocurre en y b) c no ocurre
en ninguna de las frmulas cuyos nmeros de lnea pertenecen al conjunto de
nmeros de premisas de n (es decir, a,i).
Como esta ltima regla presenta restricciones a su uso y stas quiz no resulten
fcilmente comprensibles, estudiaremos las mismas en detalle. En primer trmino,
enfoquemos el problema de la razn de ser de tales restricciones.
Si se eliminase la restriccin a), la regla permitira inferencias incorrectas.
Supongamos que nuestro dominio de interpretacin es un conjunto formando por
tringulos y rectngulos, entonces, interpretando R12 cono la relacin ser la misma figura geomtrica que, la siguiente frmula es verdadera:
1R1211
de aqu por EU se deduce:
1
R2c1c1
Universidad de la Repblica
pues no es cierto que todo sea tringulo y no es cierto que todo sea rectngulo
(en el dominio). Es decir, la regla (sin la restriccin) no asegura la preservacin necesaria de la verdad.100
Si se eliminase la restriccin b), nuevamente la regla permitira inferencias incorrectas. Supongamos que se tiene estas premisas:
172
{1}
1. (R11c1R21c2)
{2} 2. R11c1
de estas premisas se puede inferir, legtimamente,
{1,2} 3. R21c2
100
Reglas derivadas
Dos reglas derivadas especialmente importantes son las siguientes:
n
..
n+m
(c/i)
..
i
GE en n
b. si tenemos como premisa (en la lnea n) (c/i), puede escribirse (en una lnea
n+m posterior a n) ij.
..
{a,i}
..
{k}
..
{a,b,i,k}
..
{a,b,i}
..
j
..
k
..
m
..
n
..
i
..
(c/i)
..
..
EE en j,k,m
173
b. si tenemos (en la lnea j) ij, (en la lnea k) (c/i)j (como premisa) y (en la
lnea m) , puede escribirse (en la lnea n) , siempre que se cumplan las condiciones siguientes: 1) c no ocurre en , 2) c no ocurre en y 3) c no ocurre
en ninguna de las lneas (excepto k) cuyos nmeros figuran en el conjunto de
nmeros 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 fracasa. Dado que no es obvia la contribucin de las mismas a
corregir su uso, estudiaremos brevemente cada una de ellas.
Si se abandona la restriccin 1), la siguiente inferencia ilegtima debera aceptarse (advirtase que c1 ocurre en ). Tmese como ejemplo:
{1}
{2}
{2}
{4}
{2,4}
{1,2}
1.
2.
3.
4.
5.
6.
1R12 1c1
1(R12 11R11 c2)
R12 c1 c1R11 c2
R12 c1 c1
R11 c2
R11 c2
P
P
EU en 2
P
MP 3,4
EE 1,4,5 ?
Si se abandona la restriccin 2) advirtase que c1 ocurre en , podra obtenerse esta inferencia ilegtima:
{1}
{2}
{2}
{1}
1.
2.
3.
4.
1R11 1
R11 c1
R11 c1R21 c1
R11 c1 R21 c1
P
P
RD en 2
EE 1,2,3 ?
Universidad de la Repblica
{1}
{2}
{3}
{1,2,3}
{1,2}
174
1.
2.
3.
4.
5.
1R11 1
R11 c1R21 c2
R11 c1
R21 c2
R21 c2
P
P
P
MP
EE 1,3,4 ?
Se deja al lector el trabajo de mostrar cmo en estos casos la verdad de las premisas no es preservada por la conclusin. La justificacin de estas reglas puede leerse
en Mates.101
Estrategias y ejemplos
Las ideas sobre cmo construir pruebas en orden uno se basan en consideraciones anlogas a las que expresamos respecto al lenguaje proposicional. Podemos
distinguir, como en tal contexto, cuando tenemos (digamos, como premisa) una
frmula cuantificada universal o existencialmente y cuando pretendemos demostrar
(digamos, como conclusin) una tal frmula.
Supongamos pues que tenemos como premisa una cuantificacin universal.
Cmo explicitar el contenido informativo de la misma? Mediante la regla EU.
Ejemplo 1
{1}
{2}
{1}
{1}
{1,2}
1.
2.
3.
4.
5.
P
P
EU en 1
EU en 3
MP 4,2
Supongamos ahora que pretendemos como conclusin una cuantificacin universal. La regla que en principio resulta apropiada es la GU.
Ejemplo 2
1.
2.
3.
4.
5.
12R12 12
2R12 c1 2
R12 c1 c2
1R12 1 c2
21R12 12
P
EU en 1
EU en 2
GU en 3
GU en 4
1.
2.
3.
4.
12R22 12
12(R12 1 2R22 12)
2R22 c12
R22 c1c2
P
P
EU en 1
{1}
{1}
{1}
{1}
{1}
175
{2}
{2}
{2,4}
{2,4}
{2,4}
{1,2,4}= {1,2}
5.
6.
7.
8.
9.
10.
EU en 2
EU en 5
MT en 6,4
GE en 7
GE en 8
EE en 3,4,9
Veamos por qu puede aplicarse EE. En primer trmino, c2 no ocurre en j (frmula encerrada en la elipse en el paso 3), c2 no ocurre en (frmula encerrada en
la elipse en el paso 9) y, finalmente, c2 no ocurre en ninguna de las frmulas cuyos
nmeros de lnea pertenecen al conjunto de nmeros de premisa de la lnea 9 (excepto 4). El 4 se encuentra tachado (en el conjunto de premisas de la lnea 10)
para mostrar el nmero de premisa eliminado.
Si tenemos ahora que obtener una frmula existencial como conclusin, la estrategia es la inducida por la regla GE. Dado que es muy simple, ya que carece de restriccin puede tomarse como ejemplo de aplicacin de la misma la anterior prueba,
concentrndonos en los pasos 8 y 9.
Universidad de la Repblica
176
Los siguientes axiomas recogen las ideas informales anteriores. Algunas de ellas
directamente: es aquello que, manifiestamente, expresan los axiomas; las restantes,
por as decirlo, indirectamente: las frmulas que las expresan pueden deducirse de
los axiomas.
He aqu los axiomas:
A6. tt donde tTER(A);
A7. (t1t2(AA)) donde t1, t2TER(A) y A es el resultado de substituir
en A, t1 por t2 en no necesariamente todas las ocurrencias de t1 en A.
Dejamos al lector la prueba de la proposicin que expresa que la igualdad es una
relacin de equivalencia.
Proposicin
Sean t, t1, t2, t3TER(A). En toda teora de orden uno con igualdad se tiene que:
a. (tt);
b. (t1t2t2t1);
c. (t1t2)(t2t3t1t3).
En el sistema de deduccin natural es posible tambin agregar reglas que reglamentan el uso del operador de igualdad. Podemos agregar como reglas de nuestro
sistema precisamente las que expresan los axiomas 6 y 7. Solamente para comodidad del lector expresamos las mismas (siguiendo, como antes, el sistema de Mates):
..
..
n
..
..
tt
RI1
..
177
..
{a,b}
..
{c,d}
..
{a,b,c,d}
..
j
..
m
..
n
..
t1t2
..
..
(t1/t2 )
RI2 en j y m
b. Si tenemos (en la lnea j) t1t2 y (en la lnea m) j, puede escribirse (en la lnea
n) (t2/t1)j, recordndose que la sustitucin no tiene por qu ser en todas las
ocurrencias de t1.
La aplicacin de estas reglas (como el lector seguramente ya advierte) es sencilla.
Una discusin detallada puede consultarse, obviamente, en la obra de Mates102
Universidad de la Repblica
178
G2. 1 ( 1+c1c+1v1)
G3. 121+2c
Estos dos son ejemplos relativamente simples. Otras axiomatizaciones ms complejas son, por ejemplo, la de la aritmtica o la perteneciente a ZermeloFraenkel
102 Vase el captulo IX en Mates (1965).
de la teora de conjuntos (algunos de cuyos axiomas se discutieron antes, cuando estudiamos la expresividad de los lenguajes de orden uno). Sin embargo, el propsito
aqu se reduce a ofrecer una imagen intuitiva de una teora formal en orden uno y
para esto los ejemplos sencillos son satisfactorios.
Problemas y tareas
1. Evale en cada caso, mediante el sistema de Deduccin Natural, si la conclusin es consecuencia terico-demostrativa de las premisas:
a. {1R11 11R21 1} 1(R11 1R21 1)
e. {1R11 1} 1R11 1
h. {1R11 1} 1R11 1
2. Complete las siguientes deducciones con las reglas y los nmeros de premisas
faltantes:
a.
{1}
1.
{2}
2.
2R c1 2
3.
4.
R11 c1
1
2
P
1
2
2R c12
6.
R12 c1c2
7.
2R12 c12
8.
9.
R11 c1
C9
1.
2.
3.
b.
{1}
1(R11 1R21 1)
R11 c1R21 c1
R11 c1
{3,4} 5.
1(R11 12R12 1 2)
179
4.
5.
6.
7.
8.
9.
10.
1R11 1
1R11 11R21 1
R11 c11R11 11R21 1
1R21 1
1R11 11R21 1
R21 c11R11 11R21 1
1R11 11R21 1
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
13.
11.
12.
13.
14.
15.
16.
C8
c.
{4}
Universidad de la Repblica
3. Evale en cada caso, mediante el sistema de Deduccin Natural, si la conclusin es consecuencia terico-demostrativa de las premisas:
180
a.
b.
c.
d.
e.
{1R11 1} 1R11 1
f.
g.
Sntesis
Este captulo encuentra una motivacin fundamental en la siguiente cuestin:
cmo es posible evaluar argumentaciones, desde el punto de vista de la lgica
predicativa o de orden uno? O an una interrogante ms especfica: es posible
evaluar mecnica o algortmicamente argumentaciones, desde el punto de vista de
la lgica de orden uno? La respuesta a esta pregunta formulada generalmente es:
no. Un espectacular resultado de la investigacin lgica del siglo pasado (obtenido,
independientemente, por A. Church y A. Turing) es que el conjunto de las frmulas
vlidas de la lgica de orden uno es indecidible, es decir, no es posible construir un
algoritmo que permita resolver, para una frmula cualesquiera, si pertenece o no a
este conjunto. Sin embargo, si se restringe la atencin a aquellas frmulas en las que
intervienen a lo sumo letras de predicado unarias, la respuesta a la cuestin
arriba planteada es positiva.
De acuerdo a esta ltima respuesta existe una solucin algortmica para la cuestin de determinar la validez de las frmulas pertenecientes a ese subconjunto de
las frmulas: el procedimiento mecnico estudiado ha sido el denominado tablas analticas que, como se recuerda, extiende el construido para el lenguaje
proposicional.
La respuesta negativa a la cuestin general (i.e. a la existencia de solucin algortmica para el problema de la validez de una frmula en orden uno) es una extraordinaria motivacin para construir alternativas de evaluacin noalgortmicas: los
sistemas deductivos presentados.
Dado el poder expresivo de orden uno, una empresa especialmente importante
ha sido la formalizacin de teoras cientficas en tales lenguajes. Este contexto hace
especialmente valiosa la nocin de teora axiomtica formal.
a. la formalizacin del lenguaje,
b. la definicin de un conjunto (decidible) de frmulas denominadas axiomas
y
c. un elenco de reglas de inferencia (decidibles).
Hemos presentado algunos ejemplos sencillos pero el inters matemtico y conceptual de la empresa formalizadora es enorme. Una discusin pormenorizada de
este punto excede los modestos lmites de este curso.
Como el lector recuerda del captulo 5, la formalizacin nos permite obtener
una caracterizacin precisa de prueba o demostracin (en un sistema dado) y obtener
181
Universidad de la Repblica
182
Captulo 9
teoras lgicas
Nivel 2
Plano argumental
argumentaciones
Nivel 1
La estrategia traduccinclculo
103 Usada esta expresin en su acepcin filosfica comn; no en la acepcin lgica tcnica que hemos
usado pginas anteriores.
104 Este escrito usa libremente Seoane, J. (2004). Como ya comentamos, ideas similares se encuentran en Corcoran, J. (1972). Existe, no obstante, una diferencia importante entre este trabajo y el
de Corcoran en lo que refiere a la explotacin de ciertas distinciones en la aplicacin de la teora
lgica a la evaluacin argumental. Deseo expresar, finalmente, mi recomendacin entusiasta de
la lectura del escrito de Corcoran.
183
Modelos argumentales
Modelo didico: <Pre, Con>
Modelo tridico: <Pre, Pas, Con>
Universidad de la Repblica
184
105 Estrictamente, quiz debiera separarse el requisito de la autoevidencia y el requisito del carcter
sintctico pero, a los fines presentes, el vigor de una cierta tradicin parece ser respaldo suficiente
para no hacerlo. Desde el punto de vista histrico este aspecto merece tratarse con ms parsimonia.
106 Aunque quiz confusamente expuesta esta es la tesis principal de Seoane, J. (1997).
107 Por razones que sern obvias despus, en este momento no vale la pena distinguir entre estas
dos estrategias. Advirtase, no obstante, que se asume que se ha usado exclusivamente el modelo
didico como forma de representar argumentos.
185
Universidad de la Repblica
186
108 Intentar no provocar ideas errneas acerca de cmo deberan representarse las distintas situaciones apelando a los recursos de la teora de conjuntos pero slo en los casos que no interfiera
con la claridad del estilo sugerir dicha representacin pues pienso que la misma no es esencial.
As en los casos restantes dejar ese trabajo al lector.
109 Entre otros autores, Piacenza ha advertido este problema vase Piacenza, E. (1998).
110 La nocin de implicatura puede entenderse como un esfuerzo de esta naturaleza.
187
Universidad de la Repblica
188
189
Universidad de la Repblica
190
O se podra intentar, por ejemplo, clasificar en tipos o clases premisas o mecanismos o formas de justificacin en virtud de su naturaleza o de sus relaciones entre s.
Cada una de estas alternativas modelizadoras permite aplicaciones diversas. Una
exposicin ms en detalle de algunas de esas aplicaciones puede resultar til a los
efectos de sugerir la flexibilidad y potencialidad de la estrategia general. Ese es el
objetivo de la prxima seccin.
Cada una de estas alternativas caracteriza un modo estructuralmente diverso de disentir. Se subraya as el ncleo del fundamento de la discrepancia
pero es evidente que cada opcin determina y/o acepta otras valoraciones de
los restantes componentes. Por ejemplo, si se toma el primer caso, pueden
aceptarse los pasos en el sentido de que, coincidiendo con la aceptabilidad
de los mecanismos de justificacin y el supuesto de las premisas, estos son
correctos. Pero, dado que el fundamento del rechazo de la conclusin reside
en el rechazo de las premisas, ellas operarn esencialmente en la justificacin
de los pasos.111 Luego, aplicar el modelo lleva a aislar las premisas objetadas
e identificar su contribucin a la justificacin de la conclusin rechazada. Un
caso particular podra adoptar esta forma donde se representan las premisas y pasos objetados y la conexin entre unas y otros
191
?
?
Universidad de la Repblica
192
crtica del segundo tipo es de una naturaleza ms bien externa. Tambin cae
en esta ltima categora la crtica caracterizada como caso 1.
Es evidente que estas ideas estructurales pueden funcionar como gua heurstica tanto de la comprensin como del desarrollo crtico o constructivo de
argumentos.
b. Aceptacin de la conclusin. Nuevamente, explotando el modelo, la representacin general podra ser la siguiente
Dado que no se acepta el argumento pero no se rechaza la conclusin, las posibilidades consisten en el rechazo de al menos una de las otras proyecciones
de la cudrupla. Bsicamente, 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
diferencias estructurales. Puede resultar til reconstruir aqu el, por as decir,
equivalente del primer ejemplo estudiado en el caso a). Es decir,
193
Universidad de la Repblica
Sntesis
194
Pereda114 distingue entre argumentaciones determinadas y argumentaciones subdeterminadas. Las primeras son casos de argumentacin deductiva; ejemplos de la
segunda lo son las argumentaciones inductivas y las analgicas. Como se ha sealado antes, no se pretende la reduccin de toda la tarea de evaluacin argumental al
ejercicio del anlisis lgico. Las argumentaciones subdeterminadas pueden exigir,
para su comprensin y evaluacin, novedosos recursos analticos. La sugerencia
que surge de los desarrollos precedentes, no obstante, es que tal vez la revisin de
las relaciones entre lgica y argumentacin la tesis propuesta en este captulo
influya en la comprensin de la interaccin entre teora lgica y argumentacin
subdeterminada. Pero esa es otra historia.115
195
Bibliografa
Barwise, J. y Etchemendy, J. (1999). Language, Proof and Logic, New York/London, Seven Bridges
Press.
Copi, I. (1994). Introduccin a la lgica, Buenos Aires, EUDEBA.
Corcoran, J. (1972). Conceptual Structure of Classical Logic, Philosophy and Phenomenological
Research, 33, pp. 2547.
Cori, R. y Lascar, D. (1993). Logique Mathmatique, Paris, Masson.
Deao, A. (1974). Introduccin a la lgica formal, Madrid, Alianza.
Dopp, J. (1969). Nociones de Lgica Formal, Madrid, Tecnos.
Enderton, H. (1972). A mathematical introduction to logic, New York/London, Academic Press.
Etchemendy, J. (1983). The Doctrine of 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, AddisonWesley Publishing.
Franco Oliveira, A. (2004). Lgica e Aritmtica, Brasilia, Editora Universidade de Brasilia.
Frege, G. (1972). Conceptografa, Los Fundamentos de la Aritmtica y otros estudios filosficos,
Mxico, UNAM.
Garrido, M. (1974). Lgica Simblica, Madrid, Tecnos.
Haack, S. (1991). Filosofa de la lgica, Madrid, Ctedra.
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, Oxford University Press.
Lukasiewicz, J. (1975). Para la historia de la lgica de proposiciones, Estudios de Lgica y Filosofa,
Madrid, Biblioteca de la Revista de Occidente.
(1977) La silogstica de Aristteles desde el punto de vista de la moderna lgica 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) Teora de Modelos, Madrid, Alianza.
Mates, B. (1965). Lgica matemtica elemental, Madrid, Tecnos.
(1985). La Lgica de los Estoicos, Madrid, Tecnos.
Mendelson, E. (1987). Introduction to Mathematical Logic, California, Wadsworth & Brooks/Cole
Advanced Books & Software.
Mondolfo, R. (1974). El pensamiento antiguo, Tomo I, Buenos Aires, Losada.
Naishtat, F. (1986). Lgica para computacin, Buenos Aires, EUDEBA.
Orayen, R. (1989). Lgica, significado y ontologa, Mxico, UNAM.
Parsons, T. (1996). What is an argument?, The Journal of Philosophy, Vol. XCIII, n.4.
Partee, B.; ter Meulen, A. y Wall, R.E. (1993). Mathematical Methods in Linguistics, Boston, Kluwer
Academics.
Pereda, C. (1995). Teoras de la argumentacin, en Oliv, L. ed., Racionalidad epistmica, Madrid,
TrottaCSIC.
197
Universidad de la Repblica
198