Qu es un lenguaje formal? Un lenguaje formal, en tanto que lenguaje artificial, est formado por los siguientes elementos bsicos: Un conjunto perfectamente definido de signos del lenguaje, esto es su alfabeto.
Unas reglas de conformacin de dichos signos, es decir una gramtica que especifique cmo combinar los signos con otros para tener expresiones bien formadas.
En nuestro caso, como buscamos aplicar el lenguaje formal a la reconstruccin de la estructura lgica del lenguaje natural, precisaremos de unas reglas de sustitucin que nos ayuden en la formalizacin o traduccin de expresiones del lenguaje natural al de la lgica formal.
El alfabeto del lenguaje formal en la lgica proposicional El lenguaje lgico de la lgica proposicional consta de tres tipos de signos en su tarea de reconstruir la estructura lgica del lenguaje natural: (1) Unos signos para representar las proposiciones simples o atmicas: se trata de las letras proposicionales, que por convencin suelen designarse con las letras P,Q,R, etc. (maysculas en nuestro caso) Las proposiciones pueden representarse arbitrariamente con cualquiera de estas letras. Sin embargo se debe tener en cuenta que: a) Solo debe haber una letra por proposicin y una proposicin por letra. b) No asignar letras dobles del castellano como RR, LL, CH. c) En lo posible no asignar las letras V ni F, ya que podran confundirse con los valores de verdad; verdadero o falso. d) Tambin es conveniente asignar letras que se puedan asociar al contenido de la proposicin, para facilitar su manipulacin. (2) Unos signos para formar proposiciones compuestas o moleculares conectndolas entre s: se trata de las conectivas (tambin llamados conectores, o juntores). En la siguiente tabla presentamos el nombre, el signo y la equivalencia con el lenguaje natural de las cinco conectivas que utilizaremos: Nombre de la conectiva: Smbolo: Correspondencia en el lenguaje natural: Nombre de la proposicin Negador ~ "no ..." Negacin Conjuntor "... y ..." Conjuncin Disyuntor v "... o ..." Disyuncin Condicional "si ... entonces..." Condicional Bicondicional ".. si y slo si ..." Bicondicional (3) Unos signos auxiliares, que son los parntesis, que pueden ayudar a delimitar dnde comienza una parte de la frmula y dnde acaba para empezar la siguiente. Su equivalencia en el lenguaje natural seran los signos de puntuacin en la lengua escrita. Pasemos ahora a presentar la gramtica. 2
LAS REGLAS DE FORMACIN DE FRMULAS Adems de los signos primitivos que acabamos de conocer, necesitamos unas reglas que nos permitan saber cundo estamos ante una combinacin de smbolos que est bien construida en el lenguaje formal. Qu es una frmula bien formada? Una frmula es una secuencia de caracteres, pero es preciso delimitar de la totalidad de combinaciones posibles de caracteres aquellas que sean como "bien formadas"; para ello, damos la siguiente definicin de lo que es una frmula bien formada, (o fbf): 1. Una letra proposicional es una fbf. 2. Toda fbf a la cual se antepone el smbolo "" (negacin) es una fbf. 3. Si AyB son fbfs, entonces las secuencias:(AB), (AvB), (AB),y (AB) son fbfs 4. Toda secuencia de caracteres producida por la aplicacin de los pasos 1, 2, 3, en cualquier orden, constituye una fbf. (Clusula de recursin) 5. Ninguna otra secuencia constituye una fbf. (Clusula de exclusin) Ejemplo: A continuacin presentamos algunos ejemplos de fbfs y no bien formadas: Frmulas BIEN formadas
Frmulas MAL formadas P(qr) (p(q r)) P r P q( q (p(qr)) (r) (pqv r)) LA NEGACIN DE ENUNCIADOS La representacin de las proposiciones Utilizaremos las letras P, Q, R, S y as sucesivamente para representar las proposiciones. As, por ejemplo, si decidimos que P represente la proposicin "el sol brilla", lo escribiremos de la siguiente manera: P: "el sol brilla"que se lee: P es el enunciado "el sol brilla" Modificacin de las proposiciones Podemos formar nuevas proposiciones a partir de otras de muchas maneras diferentes. Por ejemplo, a partir de P: "Yo soy un paisa", podemos formar la negacin de P: "No es el caso de que yo sea paisa", o ms sencillamente "Yo no soy paisa". Denotamos la negacin de P mediante P que se lee "no P". Hay otras formas de sealar la negacin de un enunciado, por ejemplo, mediante el smbolo ~. Los smbolos y ~ son equivalentes, pero aqu utilizaremos preferentemente por una mera cuestin de simpata: Wittgenstein utiliz el smbolo en su Tractatus Lgico Philosophicus. Lo importante de la negacin es que si p es verdadero, entonces P es falso, y viceversa. Esto se puede resumir en la siguiente tabla de verdad de la negacin:
P P V F 3
F V En la columna de la izquierda estn los dos posibles valores de verdad de P y en la de la derecha aparecen los correspondientes valores de verdad para P. UNA PROPIEDAD ESPECIAL: LA LEY DE LA DOBLE NEGACIN Qu es lo que sucedera si nos propusiramos negar una negacin? En forma simblica, qu sucede si nos proponemos negar la expresin P? Evidentemente, tendramos la expresin (P), que es lo mismo que P. Pues bien, la negacin de la negacin de un enunciado, es la afirmacin de dicho enunciado; en forma simblica: P P La anterior expresin simblica refleja la ley de la doble negacin. Y qu ocurrira si negsemos una doble negacin? Es decir, (P), o lo que es lo mismo: P. En este caso, simplemente aplicando la definicin de la negacin llegamos a la conclusin de que (P) P Fjate bien en esto:Cuando el nmero de negaciones de un enunciado es par, el valor de verdad de dicho enunciado es el original de la proposicin, y cuando es impar, es la negacin del enunciado original, como muestra el siguiente esquema: P P P P P p P P P Petctera ad inf. La conjuncin Si tenemos, por ejemplo, P: "Soy gordo", y Q: "T eres inteligente", podemos formar el siguiente enunciado: "Soy gordo y t eres inteligente". Este nuevo enunciado se puede representar con p Q que se lee "P y Q". Para que la expresin p Q sea verdadera, tanto P como Q deben ser verdaderas. Por ejemplo, si yo soy de verdad gordo, pero t eres tonto de remate, entonces (P Q) es falso. El smbolo es otro operador lgico. El enunciado P Q es la conjuncin de P y Q. Conjuncin () La conjuncin de p y Q es el enunciado P ^ Q que se lee "P y Q." Su valor de verdad queda definido por la siguiente tabla de verdad. P Q P^ Q V V V V F F F V F F F F 4
En las columnas P y Q aparecen las cuatro posibles combinaciones de los valores de verdad para P y Q y en la columna P, Q aparecen enumerados los valores de verdad de P, Q para cada una de esas combinaciones. Por ejemplo, la segunda fila de la tabla nos dice que cuando P es verdadero y Q falso, el enunciado P Q es falso. De hecho, de acuerdo con la tabla anterior y con la definicin que hemos dado de la conjuncin, la nica forma de hacer P ^ Q verdadero es haciendo que tanto P como Q sean verdaderos (fila 1). El smbolo de la conjuncin "" es un ejemplo de operador binario ("binario" alude a que el operador acta sobre un par de proposiciones). LA FORMALIZACIN DE ENUNCIADOS CON LA CONJUNCIN Laformalizacin es el proceso mediante el cual transformamos un enunciado formulado en lenguaje natural a un enunciado formulado en un lenguaje formal o simblico. Formas de expresar la conjuncin en lenguaje natural Como ya hemos visto, hay varias formas de expresar la conjuncin en el espaol que hablamos habitualmente. Vemoslo con una frase de Cicern: "Las races del estudio son amargas, dulces son sus frutos" P: "Las races del estudio son amargas" Q: "Los frutos del estudio son dulces" Todas las expresiones que aparecen en la siguiente lista son formas de decir p Q: "Las races del estudio son amargas, dulces son sus frutos" (esta es la formulacin original de Cicern) "Las races del estudio son amargas, pero sus frutos son dulces" "Las races del estudio son amargas, aunque sus frutos son dulces" "Aunque las races del estudio son amargas, sus frutos son dulces" "Mientras que las races del estudio son amargas, dulces son sus frutos" A pesar de que las races del estudio son amargas, dulces son sus frutos" Todas estas formas de expresar P ^ Q tienen en comn el hecho de que si ambas proposiciones son verdaderas, el total (la proposicin compuesta) que forma su conjuncin tambin es verdadero. Ejemplos de formalizacin a partir del lenguaje natural 1 Si P es el enunciado "Este mundo es maravilloso" y Q es el enunciado "La guerra es abominable", expresa en lenguaje formal (formaliza) el siguiente enunciado: "Este mundo no es maravilloso, la guerra es abominable". Solucin: La primera clusula es la negacin de P por lo tanto es P. La segunda clusula simplemente afirma que la guerra es abominable, por lo que es Q. El hecho de que ambas clusulas estn separadas (o unidas) por la coma, nos indica, en este caso, que hay una conjuncin, por lo que la formalizacin es: P Q. 2 Formaliza: "Los filsofos, como los asnos, son mamferos" siendo P: "Los filsofos son mamferos", Q: "Los asnos son mamferos" Solucin: Sencillamente P Q 3 Formaliza el siguiente enunciado de Kant [La metafsica de las costumbres, parte segunda, IV] "Los fines que son a la vez deberes son la propia perfeccin y la felicidad ajena" siendo P:"La propia perfeccin es un fin que a la vez es deber", Q: "La felicidad ajena es un fin que a la vez es deber" Solucin:P Q 4 Formaliza la siguiente afirmacin de Wittgenstein: "El mundo es la totalidad de los hechos, no de las cosas" [Tractatus Lgico-Philosophicus, 1.1], siendo P: "El mundo es la totalidad de los hechos", y Q: "El 5
mundo es la totalidad de las cosas" Solucin: El enunciado de Wittgenstein afirma P y niega Q por lo que laformalizacin del enunciado sera: P Q 5 Formaliza el enunciado de Woody Allen: "Soy suficientemente bajito y feo como para triunfar por m mismo.", siendo P: "soy suficientemente bajito como para triunfar por m mismo", y Q: "Soy suficientemente feo como para triunfar por m mismo" Solucin: La primera clusula es la afirmacin de P y la segunda la de Q por lo que la solucin es P Q 6 Formaliza la frase de Gandhi: "No hay un camino hacia la paz, la paz es el camino", siendo P: "Hay un camino hacia la paz", y Q: "La paz es el camino". Solucin: la primera clusula es la negacin de P y la segunda la afirmacin de Q por lo que: P ^ Q 7 Formaliza la conocida sentencia de Kant: "No se puede aprender filosofa, tan solo se puede aprender a filosofar", siendo P: "Se puede aprender filosofa", Q: "slo se puede aprender a filosofar" Solucin: la primera clusula es la negacin de P y la segunda la afirmacin de Q por lo que P ^Q 8 Formaliza el dicho de Pguy: "Una gran filosofa no es la que instala una verdad definitiva, es la que produce una inquietud", siendo P: "Una gran filosofa instala una verdad definitiva", y Q: "Una gran filosofa es la que produce una inquietud". Solucin: La primera clusula es la negacin de P y la segunda es Q por lo que la formalizacin quedara: (P) ^ (Q)
LA DISYUNCIN En este apartado introducimos un nuevo operador. Si comenzamos con los enunciados P: "Yo soy alto" y Q: "T eres inteligente", podemos formar el enunciado "O yo soy alto, o tu eres inteligente", que se representa simblicamente P v Q y que se lee "P o Q". Como sucede que en el lenguaje natural la conjuncin disyuntiva "o" puede tener varios significados, los lgicos han acordado que la disyuncin inclusiva o: P v Q significa que P es verdad, o bien Q es verdad, o bien ambos son verdad. En el ejemplo con el que comenzamos esta seccin, P v Q significa "Yo soy alto, o t eres inteligente, o ambas cosas". En ocasiones incluiremos la apostilla "o ambos" por una mera cuestin de nfasis, pero si no lo hacemos as, el significado mencionado se mantiene. Por lo tanto, llamamos P v Q a la disyuncin de P y Q: Disyuncin: La disyuncin de P y Q es el enunciado P v Q que se lee "P o Q." Su valor de verdad viene dado por la siguiente tabla de verdad: P Q Pv Q V V V V F V F V V F F F Como se trata de la disyuncin inclusiva, P v Q es verdadera cuando P es verdad, o Q es verdad, o ambos lo son. 6
Fjate que la nica manera de que un enunciado disyuntivo sea falso consiste en que tanto P como Q sean falsos. Por este motivo, podemos decir que P v Q tambin significa "P y Q no son ambos falsos". Profundizaremos en esta observacin un poco ms adelante. El smbolo de la disyuncin " v" es el segundo ejemplo que vemos de operador binario. Ejemplo de la disyuncin Sea P: "El mayordomo cometi el crimen", Q: "El pintor cometi el crimen" y R: "La sirvienta cometi el crimen" a. Qu dice P v Q? b. Qu dice (P v Q) ^R? Solucin: a. P v Q: "O el mayordomo o el pintor cometieron el crimen" Fjate que esto no excluye la posibilidad de que tanto el mayordomo y el pintor cometieran el crimen, ni que ambos fueran, de hecho, la misma persona. La nica forma de que P v Q sea falso es que ni el mayordomo ni el pintor cometieran el crimen. b. (P v Q) ^ R: "O el mayordomo o el pintor cometieron el crimen, pero no la sirvienta". EL CONDICIONAL Consideremos el enunciado: "Si apruebas Filosofa, te dejar ir al viaje de fin de curso". Este enunciado est formado por dos simples: P: "Apruebas Filosofa" Q: "Te dejar ir al viaje de fin de curso" Lo que nuestro enunciado original afirma es esto: si P es verdad, entonces Q tambin es verdad, o, dicho de modo ms sencillo, si P entonces Q. Se trata de un enunciado condicional cuya formalizacin es P Q y que se puede leer tambin como P implica Q que veremos luego. En el enunciado P Q se dice que P es el antecedente (o hiptesis) y Q el consecuente (o conclusin). Una condicional es siempre verdadera excepto cuando el antecedente es verdadero y el consecuente falso. Siguiendo con nuestro ejemplo "Si apruebas Filosofa, te dejar ir al viaje de fin de curso", supongamos que es verdadero. Este hecho no significa que aprobars Filosofa, todo lo que dice es que si la apruebas, entonces te permitir ir al viaje de fin de curso. Si consideramos que este enunciado es una promesa, la nica forma de romperla es que t apruebes Filosofa, pero yo no te permita ir al viaje de fin de curso. De forma anloga, la nica forma de hacer un condicional falso (de romper una promesa) es hacer verdadero el antecedente y falso el consecuente. Condicional El condicional P Q se lee "si P entonces Q". Un condicional siempre es verdadero, excepto cuando el antecedente es verdadero y el consecuente falso. Por lo tanto, su valor de verdad queda definido por la siguiente tabla de verdad. P Q PQ 7
V V V V F F F V V F F V En las columnas P y Q aparecen las cuatro posibles combinaciones de los valores de verdad para P y Q y en la columna P Q aparecen enumerados los valores de verdad de P ~ Q para cada una de esas combinaciones. Por ejemplo, la segunda fila de la tabla nos dice que cuando P es verdadero y Q falso, el enunciado P Q es falso. De hecho, de acuerdo con la tabla anterior y con la definicin que hemos dado de la implicacin, la nica forma de hacer P Q falso es haciendo que P sea verdadero, pero Q falso (2 fila).
La formalizacin de enunciados condicionales Ya hemos visto lo variopinto que puede ser el lenguaje natural, en contraposicin con la rigidez del lenguaje formal de la lgica. En este apartado ilustraremos de forma prctica algunas posibilidades que se usan en lenguaje natural para formalizar el escueto P Q. Cada una de las siguientes expresiones equivale al condicional P Q.
Si P entonces Q. Siempre Que P, Q. P implica Q. No P sin Q. Q se sigue de P. Q es necesario para P. Q si P. Q es una condicin necesaria Para P. P slo si Q. P es suficiente Para Q. Q siempre que P. P es condicin suficiente Para Q. Cuando P entonces Q. De haber sucedido P, Q. Q con tal que P. Q en caso que P. 8
Fjate bien en esto... Es interesante notar la diferencia entre "Q si P" y "P slo si Q". En el caso de "Q si P" se sugiere que P Q es verdadera slo con que Q sea verdadera. En el caso de "P slo si Q", est latente que si P Q y P son verdad, tambin Q ha de serlo. En el caso de "P es una condicin suficiente para Q", se dice que es suficiente conocer P es verdad para concluir que Q es verdadero. Por ejemplo, es suficiente que apruebes Filosofa para que te deje ir al viaje de fin de curso. Otras cosas podran inducirme a permitirte ir al viaje, pero con que apruebes la Filosofa ser suficiente. En el caso de "Q es una condicin necesaria para P", se dice que en caso de que se produzca P es necesario que Q tambin sea verdadera para que la implicacin P Q sea verdadera, como se puede ver en la tabla de verdad que define el conector "". En nuestro ejemplo:"si apruebo Filosofa voy al viaje de fin de curso" el hecho de ir al viaje de fin de curso es una condicin necesaria para la verdad de la implicacin de marras. El bicondicional Ya hemos comprobado que P Q no es lo mismo que QP. Puede ocurrir, sin embargo, que tanto P Q como Q P sean verdaderos. Por ejemplo, si P:"La Tierra es cbica", y Q:"El Sol es un planeta", entonces tanto P Q como Q P son verdaderos, porque tanto P como Q son falsos. Es necesario tener esto en cuenta para entender bien el concepto decoimplicador. Mediante el coimplicador lo que queremos decir es que un enunciado es a la vez condicin necesaria y suficiente para otro. As, si digo que P:"apruebo Filosofa" y Q:"saco un 5 o ms en el examen de Lgica" la frmula P Q significa "apruebo Filosofa si y slo si saco un 5 o ms en el examen de Lgica". Con este "si y slo si" quiero poner de manifiesto tres cosas: 1. Al introducir el primer condicional "si" (en "s y slo si"), introduzco el antecedente, y por tanto afirmo que P Q (es decir aprobar Filosofa si saco 5 o ms en el examen de Lgica), 2. Al introducir "slo si" (en "s y slo si"), introduzco el consecuente, buscando comunicar que Q P (es decir, que si saco un 5 o ms en el examen de Lgica, entonces apruebo la Filosofa), y 3. Al utilizar la partcula "y" (en "s y slo si"), quiero comunicar la conjuncin de P Q con Q P. As pues, el enunciado "apruebo Filosofa si y slo si saco un 5 o ms en el examen de Lgica" se puede formalizar de dos formas equivalentes: (P Q)^ (Q P), o bien P Q. En consecuencia, el enunciado P Q queda definido por el enunciado (PQ) (QP). Por esta razn, el smbolo se llama bicondicional, y la tabla de verdad para pq es la misma que la de (pq) (qp).
9
El bicondicional El bicondicional o coimplicador P Q que se lee "p si y slo si q" o "p es equivalente a q", se define por la siguiente tabla de verdad: P Q P Q V V V V F F F V F F F V La doble flecha horizontal es el operador bicondicional Fjate que de la observacin de la tabla de verdad deducimos que para que P Q sea verdadera, tanto P como Q han de tener los mismos valores de verdad, y en caso contrario es falsa. La formalizacin del bicondicional El coimplicador puede tener varias expresiones equivalentes en lenguaje natural. As P Q es la formalizacin de las siguientes expresiones de lenguaje natural: P si y slo si Q p es necesario y suficiente para Q P es equivalente a Q Fjate que P Q y Q P tendan totalmente los mismos valores de verdad, puesto que ambas son coimplicaciones y por lo tanto si sus valores de verdad son los mismos, son verdaderas, y son falsas en los dems casos. En consecuencia, podemos reformular los enunciados anteriores intercambiando P y Q: Q si y slo si P Q es necesario y suficiente para P Q es equivalente a P