-1 Qu es la lgica simblica?

Todos estamos familiarizados con la lgica y con la idea de que algunas personas poseen una "mentalidad lgica" mientras que otras no. Cmo podemos entonces llegar a ser lgicos? No siempre resulta sencillo seguir razonamientos o argumentos extensos para obtener conclusiones vlidas. El propsito de la lgica simblica consiste en establecer un lenguaje simblico artificial que se pueda utilizar para simplificar los argumentos lgicos complicados El gran matemtico alemn Gottfried Leibniz (1646-1716) fue el primero en concebir este planteamiento cuando a la edad de 14 aos intent reformar la lgica clsica. Leibniz llam a la lgica simblicacaracterstica universal y escribi en 1666 que deseaba crear un mtodo general en el cual todas las verdades de la razn seran reducidas a una especie de clculos Al mismo tiempo, esto constituira un tipo de lenguaje o escritura universal, pero infinitamente distinto de todos los proyectados hasta ahora, ya que los smbolos, e incluso las palabras contenidas en l, dirigiran la razn; y los errores, excepto los de facto, seran meras equivocaciones en los clculos. Sera muy difcil formar o inventar este lenguaje o caracterstica, pero muy fcil de entenderlo sin necesidad de diccionarios. Este sueo no se realiz hasta que el matemtico ingls George Boole (1815-1864) separ los smbolos de las operaciones matemticas de los conceptos sobre los cuales operaban y estableci un sistema factible y sencillo de lgica simblica. En 1859, Boole expuso sus ideas en su obra An investgaton of the Laws of Thought (Investigacin de las leyes del pensamiento). Desgraciadamente, este trabajo no recibi buena aceptacin. y no fue hasta que Bertrand Russell (18721970) y Alfred North White-head (186l-1947)utilizaron la

lgica simblica en su obra Principia Matemtica que el mundo de la matemtica dio importancia a las ideas propuestas inicialmente por Leibniz alrededor de 250 aos antes. En este libro se tratar de responder a la pregunta, ''Cmo podemos llegar a ser ms lgicos?''. Se pretende aplicar la lgica no solamente en el trabajo formal ordinario sino tambin en la vida diaria. Es necesario poder comunicarse de manera inteligente con los dems; se requiere adquirir capacidad para analizar los argumentos de nuestros legisladores y dirigentes; necesitamos ser consumidores inteligentes para analizar las afirmaciones de los anunciantes. Bien sea que nos agrade o no, la lgica es una parte importante del mundo que nos rodea, y en este libro sentaremos las bases que nos ayudarn a ser ms "lgicos".

PROPOSICIN Una proposicin es una oracin que es verdadera o falsa, pero no verdadera y falsa a la vez. Si la oracin es una pregunta o una orden, o si es demasiado imprecisa (o carece de sentido), entonces no se puede clasificar como verdadera o falsa, as que no se llamara proposicin. EJEMPLO 1 1. Neil Armstrong camin sobre la luna. 2. 3 + 2 7. 3. El Pato Donald es presidente. Todas estas oraciones son proposiciones, ya que son verdaderas o falsas. Por otro lado, consideremos las expresiones 4. Mrchate!

5. 3 + x = 7. 6. Qu ests haciendo? Estas no son proposiciones en virtud de la definicin dada, ya que no se pueden clasificar satisfactoriamente como verdaderas o falsas. Pueden surgir dificultades al simplificar argumentos debido a su extensin, a la imprecisin de las palabras que se utilizan, al estilo literario, o al posible impacto emocional de las palabras de que constan. Consideremos los dos argumentos siguientes. 1.-Si George Washintong fue asesinado, est muerto. Por lo tanto,si est muerto, fue asesinado. 2.- Si consumes herona, primeramente consumiste marihuana. Por lo tanto, si consumes herona. primero consumiste marihuana,

Lgicamente, estos dos argumentos son exactamente iguales, y ambos son formas no vlidas de razonamiento. Casi todo mundo admitira que el primer argumento es absurdo, pero muchos aceptan el segundo argumento debido al aspecto emocional de las palabras empleadas en l. Para evitar estas dificultades y ayudar a la simplificacin de los argumentos lgicos complicados, puede establecerse el lenguaje simblico artificial a que nos referimos anteriormente. El lenguaje que se inventa aqu es necesariamente ms simple que cualquier lenguaje natural; es una especie de taquigrafa notacional. Se denotan las proposiciones simples con literales, tales como p, q, r, s,..., y luego se definen ciertos conectivos.

Nuestra meta, en la medida en que sea posible, consiste en 1. traducir las proposiciones del lenguaje ordinario a la forma simblica 2. simplificar la forma simblica. 3. traducir la forma simplificada de nuevo a proposiciones del lenguaje ordinario. Para los fines de este libro, se supondr que la traduccin en un sentido y en otro entre el lenguaje ordinario y el simblico se puede efectuar de manera sencilla. En realidad, no siempre sucede as, desafortunadamente. El lenguaje ordinario puede tener relaciones sutiles que sobrepasan el significado exacto de las palabras de una oracin simple. Se deben tener presentes las interpretaciones que se dan a los smbolos de un problema particular. Al traducir, debemos preguntarnos qu significa la oracin en el lenguaje natural, y luego se debe tratar de encontrar una proposicin en lenguaje simblico que tenga, hasta donde sea posible, el mismo significado. Se puede evitar el problema de la extensin considerando solamente proposiciones simples unidas por ciertos conectivos bien definidos, tales como no, y, o, ni... ni, si... entonces, a menos que, debido a que, y as sucesivamente. Una proposicin compuesta se forma combinando proposiciones simples con operadores, o conectivos. De la definicin bsica de proposicin, vemos que el valor de verdad de cualquier proposicin puede ser o verdadero (T) o falso (F). VALOR DE El valor de verdad de una proposicin simple puede ser verdadero (T) o bien falso (F).

1.3 Conjuncin Si p y q representan dos proposiciones simples, entonces la proposicin compuesta "p y q" utiliza el operador llamado conjuncin. La palabra y se simboliza con . Por ejemplo, la proposicin Tengo una moneda de l000 pesos en mi bolsillo y tengo una moneda de5000 pesos en mi bolsillo. es una proposicin compuesta. Cundo ser verdadera esta proposicin? Existen cuatro posibilidades concretas: 1. Tengo una moneda de 1000 pesos en mi bolsillo. Tengo una moneda de 5000 pesos en mi bolsillo. 2. Tengo una moneda de 1000 pesos en mi bolsillo. No tengo una moneda de 5000pesos en mi bolsillo. 3. No tengo una moneda de 1000 pesos en mi bolsillo. Tengo una moneda de 5000pesos en mi bolsillo. 4. No tengo una moneda de 1000 pesos en mi bolsillo. No tengo una moneda de 5000 pesos en mi bolsillo. Representemos con p y q las proposiciones simples, de manera que: p: Tengo una moneda de 1000 pesos en mi bolsillo. q: Tengo una moneda de 5000 pesos en mi bolsillo.

Estas cuatro posibilidades se pueden resumir como sigue: p q T T T F F T F F Vemos que la nica ocasin en que la proposicin original. Tengo una moneda de 1000 pesos en mi bolsillo, y tengo una moneda de 5000 pesos en mi bolsillo. resulta verdadera es cuando p y q son ambas verdaderas; de lo contrario, resulta falsa As que definimos q segn la Tabla 1. Tabla 1 DEFINICIN DE pq TT TF FT p T F F F las q

CONJUNCIN F F

Es importante notar que no se requiere que proposiciones p y q estn relacionadas. Por ejemplo,

Los peces nadan y Neil Armstrong camin sobre la luna es una proposicin compuesta verdadera. 1.4 Disyuncin

El operador o, denotado por V, se llama disyuncin. El significado de esta palabra es ambiguo cuando se la utiliza en el lenguaje cotidiano, como puede verse considerando los ejemplos siguientes. Sean p: Juan tiene una moneda de 1000 pesos en su bolsillo. q: Juan tiene una moneda de 5000 pesos en su bolsillo. r: Juan est en Rusia. s: Juan est en Espaa. Ahora Juan formula las dos proposiciones: I. Tengo una moneda de 1000 pesos o una de 5000 en mi bolsillo. II. Estoy en Rusia o en Espaa. Consideraremos la intencin de estas proposiciones. En la proposicin I, Juan parece afirmar que por lo menos una de las proposiciones es verdadera, pero quizs ambas sean verdaderas. Por otro lado, la intencin de la proposicin II es que una y slo una de las proposiciones es verdadera. Juan no tendra la intencin de decir que se encuentra a la vez en Rusia y en Espaa. La proposicin 1 ilustra uno de los usos del conectivo o que se llama o incluyente y se denota por V. Si p y q son dos proposiciones, a p V q se le llama disyuncin; y para determinar su veracidad o falsedad, debe considerarse la veracidad o falsedad de p y q. Por lo tanto, consideremos de nuevo las cuatro posibilidades para determinar si Juan dijo la verdad en su afirmacin

Tengo una moneda de 1000 pesos o una de 5000 en mi bolsillo Caso 1 (" es T; q es T): Juan tiene una moneda de 1000 pesos en su bolsillo. Juan tiene una moneda de 5000 pesos en su bolsillo. En estas condiciones no diramos que Juan es mentiroso, as que decimos que la proposicin compuesta tambin es verdadera. Caso 2 ("es T; q es F): Juan tiene una moneda de 1000 pesos en su bolsillo. Juan no tiene una moneda de 5000 pesos en su bolsillo. Caso 3 ("es F; q es T): Juan no tiene una moneda de 1000 pesos en su bolsillo. Juan tiene una moneda de 5000 pesos en su bolsillo. En los casos 2 y 3 no diramos que Juan est mintiendo, as que se expresa que la proposicin compuesta tambin es verdadera. Caso 4 ("es F; q es F): Juan no tiene una moneda de 1000 pesos en su bolsillo. Juan no tiene una moneda de 5000 pesos en su bolsillo. En este caso diramos que Juan ha mentido y decimos que su afirmacin es falsa. As que definimos p V q segn la tabla 2.

Definicin de disyuncin

Una disyuncin es falsa slo si ambas proposiciones componentes son falsas. La proposicin II ilustra uno de conectivo o que se llama o excluyente. los

de usos

sus del

Consideremos ahora si Juan dice la verdad al formular la asercin Estoy en Rusia o en Espaa. Obviamente no es posible que Juan se encuentre en ambos lugares al mismo tiempo. Si Juan est en Rusia, entonces no puede estar en Espaa; si est en Espaa, no puede estar en Rusia. Por lo tanto la intencin de la proposicin II es Estoy o en Rusia o en Espaa. y la proposicin es verdadera si una y slo una de las componentes separadas es verdadera. La tabla de verdad en este caso es la siguiente: rs TT TT FF FF ros F T T F

En este libro utilizaremos la disyuncin indicada con la o incluyente. Si la intencin de la proposicin requiere la o excluyente, se enunciar la proposicin empleando el conectivo oo. Recurdese: la o incluyentesignifica cualquiera de las dos o ambas,

mientras que la o excluyente significa cualquiera de las dos pero no ambas.

1.5 Negacin La negativa de cualquier proposicin p se llama negacin y se simboliza mediante ~p. La Tabla 3 proporciona una definicin clara de la negacin. Tabla 3 DEFINICIN DE LA NEGACIN p T F ~p F T

EJEMPLO entonces

2 Si t: Octavio

est

diciendo

la

verdad,

~ t: Octavio no est diciendo la verdad. Tambin se puede traducir ~ t como "no ocurre que Octavio est diciendo la verdad", o bien, "no es cierto que Octavio est diciendo la verdad". Cualquier proposicin puede ser negada, pero se requiere tener cuidado con la manera en que se forme la negacin de una proposicin compuesta. La negacin de Tengo una moneda de 1000 pesos y una de 5000 en mi bolsillo.

se simboliza mediante (p

q) y se traduce como

No es cierto que tengo una moneda de 1000 pesos y una de 5000 en mi bolsillo. La negacin no se forma denegando cada una de las proposiciones simples. Al negar una proposicin, no se debe alterar dicha proposicin. Por ejemplo, sean b: El carro de Juan es azul. c: El carro de Juan es rojo. La proposicin c no es la negacin de la proposicin b, aunque no pueda ser que ambas sean verdaderas. La negacin de b es ~ b: El carro de Juan no es azul. y la negacin de c es la proposicin ~ c: El carro de Juan no es rojo. Se debe tener cuidado al negar proposiciones que contienen las palabras todos, ninguno, o algunos. EJEMPLO 3 Escribir la negacin de Todos los estudiantes tienen lpices. Solucin Veamos si son respuestas correctas las proposiciones "Ningn estudiante tiene lpices", o bien "Todos los estudiantes carecen de lpices". Recurdese que si una proposicin es falsa, entonces su negacin debe ser verdadera. La negacin correcta es No todos los estudiantes tienen lpices. o bien

Por lo menos un estudiante no tiene lpiz. o bien Algunos estudiantes no tienen lpices. En matemticas, la palabra algunos se emplea en el sentido de "por lo menos unos". La Tabla 4 proporciona algunas de las negaciones comunes.

1.6 Traduccin y combinacin de conectivos El trabajar con los argumentos lgicos requiere la aptitud de traducirlos del lenguaje ordinario al simblico y del simblico de nuevo al lenguaje ordinario. Por ejemplo, la proposicin Bertha y Claudia son atractivas. se puede traducir como sigue. Sean b: Bertha es atractiva. c: Claudia es atractiva. Entonces tenemos que

b c Bertha es atractiva y Claudia es atractiva. as que b c es la proposicin simblica. EJEMPLO 5 Traducir la proposicin compuesta O Bertha es atractiva o Claudia es atractiva. a la forma simblica. Solucin Vemos que el conectivo o... o se traduce como la o excluyente. La oracin se puede reescribir como Bertha es atractiva o Claudia es atractiva, pero no ambas. La proposicin se traduce en la forma (b V c) [~(b c)].

Obsrvese que en este ejemplo se emplean los parntesis exactamente como en lgebra: para indicar el orden de las operaciones. Por consiguiente, (b c) significa la negacin de la proposicin b y c. No solamente se requiere traducir del lenguaje ordinario a los smbolos lgicos, sino que tambin de los smbolos lgicos al lenguaje ordinario. EJEMPLO 6 Supongamos que: p: Como espinacas. q: Estoy fuerte. Se desea traducir lenguaje ordinario: a. p q d. p v q. las siguientes proposiciones al

b. ~ p e.(~q) c.~ (p V p) f. p q

Solucin Traducciones seran las siguientes: a. Como espinacas y estoy fuerte. b. No como espinacas. c. No es cierto que como espinacas o que estoy fuerte. d. No como espinacas, o estoy fuerte. e. No es cierto que no estoy fuerte [lo que significa, desde luego, que estoy fuerte]. f. Como espinacas y no estoy fuerte.

TABLA DE VERDAD CORRESPONDIENTE

p q p T T T T F F

q pVq ~p ~ q T T F F F T

A LOS CONECTIVOS FUNDAMENTALES

F T F F F F

T F

T T

F T

EJEMPLO 1 Construir proposicin compuesta:

la

tabla

de

verdad

de

la

Alfredo no vino anoche y no recogi su dinero. Solucin Sea p: Alfredo vino anoche. q: Alfredo recogi su dinero. Entonces la proposicin se puede escribir (~ p) (~ q). Para empezar, se enumeran todas las combinaciones posibles de valores de verdad de las proposiciones simples p y q. p q T T T F F T F F Luego se incluyen los valores de verdad de ~ p y ~ q. p q ~ ~ p q T T F T F F F T T F F T F T F T

Por ltimo, se anotan los valores de verdad de (~ p) (~ q). Para realizar esto, se marca una columna "(~ p) (~ q)" en la parte superior, y luego se comparan las columnas ~ p y ~ q segn la definicin de conjuncin para encontrar los valores de verdad de (~ p) (~ q), como se indica mediante las flechas:

Conjuncin p q ~ p ~ q ( ~ p) TTF F F TFF T F FTT F F FFT T T ( ~ q)

Comparar estos valores con la definicin de conjuncin para obtener los valores de que consta la ltima columna. EJEMPLO 2 Construir la tabla de verdad de ~ ( ~ p ) Solucin Empezamos con p: P T F En seguida se anotan los valores de p de acuerdo con la definicin de la negacin: p ~ p T F

F T Por ltimo, se anotan los valores de ~ ( ~ p). Las flechas muestran cmo se obtienen los elementos de esta columna. negacin p ~ ~ p ~ ) T F F T t t~(T;P) Examnese esta columna. sese la definicin de negacin para todos los valores de verdad de dicha columna. Ntese que ~ ( ~ p) y p tienen los mismos valores de verdad. Si dos proposiciones tienen los mismos valores de verdad, una puede reemplazar a la otra en cualquier expresin lgica. Esto significa que la doble negacin de una proposicin es igual a la proposicin original T F ( p

LEY DE LA DOBLE NEGACIN ~ ( ~ p) se puede reemplazar por p en cualquier expresin lgica.

EJEMPLO 3 Construir una tabla de verdad para determinar cundo es verdadera la siguiente proposicin: ~ (p q) [(p V q) q]

Solucin Se empieza como antes y se hace un recorrido de izquierda a derecha, fijando la atencin solamente en dos columnas a la vez (vase en la Tabla 5 cmo obtener los valores correctos). Paso 1. Primeramente se tienen en cuenta los parntesis. Se examinan las columnas A y B que se indican a continuacin, junto con la definicin de conjuncin, para anotar los valores de la columna C. Paso 2. Se utiliza la columna C y la definicin de negacin para anotar los valores de la columna D.

Paso 3. Se utilizan las columnas A y B y la definicin de disyuncin para anotar los valores de la columna E. Paso 4. Se emplean las columnas E y B y la definicin de conjuncin para anotar los valores de la columna F. Paso 5. Se utilizan las columnas D y F, que son las partes izquierda y derecha de la operacin final, y [a definicin de conjuncin para obtener los valores de la columna G ABC pqp TTT TFF FTT FFF D q ~(p F T T F E q) p T T T F F G ( p V~ p q) [ ~ q q) q pVq) q] T F F F T T F F

LA CONDICIONAL 3.1 Si Entonces La proposicin "si p, entonces q" se llama condicional. Se simboliza por medio de p q; p se llama hiptesis o antecedente, y q se denomina conclusin o consecuente. La situacin de la condicional es semejante a la que se encontr en el caso de la palabra o. Esto es, en el lenguaje comn utilizamos el conectivo si-entonces en varias formas. Considrese el ejemplo siguiente que ilustra los diferentes sentidos de la condicional. 1. Se puede utilizar si-entonces para indicar una relacin lgica, es decir, una en la que el consecuente se deduce lgicamente del antecedente:

Si ~(~ p) tiene el mismo valor de verdad que p, entonces p puede reemplazar a ~ (~ p) 2. Se puede emplear si-entonces para indicar una relacin de causa: Si Juan deja caer esa piedra, entonces me golpear el pie. 3. Se puede usar si-entonces para comunicar una decisin de parte de la persona que habla: Si Juan me lanza esa piedra, entonces lo golpear. 4. Se puede utilizar si-entonces cuando el consecuente se deduce del antecedente por la propia definicin de las palabras empleadas: Si Juan conduce un Oldsmobile, entonces Juan gua un automvil. 5. Por ltimo, se puede emplear si-entonces para efectuar una implicacin material A veces la condicional se usa cuando no hay una relacin lgica; de causa o de definicin, entre el antecedente y el consecuente. A menudo se utiliza en forma humorstica o enftica: Si Juan obtuvo la mxima nota en ese examen, entonces yo soy to de un mono. El consecuente es obviamente falso y la persona que habla desea poner nfasis en que el antecedente tambin es falso. Nuestra tarea consiste en tratar de idear una definicin de la condicional que se aplique en todos estos tipos de proposiciones de la forma si-entonces. Plantearemos el problema preguntando en qu circunstancias una condicional dada sera falsa. Consideremos otro ejemplo.

Supongamos que una persona le hace una promesa a otra. "Si gano el concurso, entonces te dar 10 000 pesos." Si cumple su promesa, decimos que la proposicin es verdadera; si la incumple, decimos que es falsa. Sean p: Gana el concurso. q: Te dar 10 000 pesos. La promesa posibilidades: pq Caso 1 T T Gana el concurso; dar 10 000 pesos. Caso 2: T F Gana concurso; no dar 10 000 pesos. Caso 3: F T No gana el concurso; dar 10 000 pesos. Caso 4: F F No gana el concurso; no dar 10 000 pesos Cundo se habr quebrantado la promesa? La nica ocasin en que se puede decir que ello ha ocurrido es en el caso 2. La prueba de una condicional consiste en determinar cundo es falsa. En smbolos, p q es falsa siempre que p verdadera. Esto proviene del caso 2. O bien p q es verdadera siempre que p (q) sea falsa ( ~ q) sea se simboliza con p q. Hay cuatro

Esto equivale a decir que p q es verdadera siempre que ~ [ p verdadera. ( ~ q)] es

Construyamos una tabla de verdad para ~ [ p pq~q~p (~ q) [ p ( ~ p)]

(~ q)].

TTFFT TFTTF FTFFT FFTFT Usamos esta tabla de verdad para definir condicional q, como se muestra en la Tabla 7. p q p Tabla 7 DEFINICIN DE LA CONDICIONAL T T T T F F F T T F F T Los ejemplos siguientes ilustran la definicin de la condicional dada en la Tabla 7. EJEMPLO 1 Caso 1: T T q la

Si 7 < 14, entonces 7 + 2 < 14 + 2. Esta es una proposicin verdadera, ya que ambas componentes son tambin verdaderas. EJEMPLO 2 Caso 2: T F

Si 7 + 5 = 12, entonces 7 + 10 = 15.

Esta es una proposicin falsa, puesto que el antecedente es verdadero pero el consecuente es falso. EJEMPLO 3 Caso 3: F T

Si t tienes seis piernas, entonces George Washintong fue presidente Verdadera, ya que el consecuente es verdadero (y si el consecuente es verdadero, la implicacin completa es verdadera, sea o no verdadero el antecedente). El ejemplo 3 muestra que la condicional, en matemticas, no implica ninguna relacin causa efecto. Dos proposiciones cualesquiera se pueden unir por medio del conectivo condicional, y el resultado debe ser T o F. EJEMPLO 4 Caso 4: F F

Si 16 = 8, entonces 8 = 4. Esta es una proposicin verdadera, ya que ambas componentes son falsas. No es necesario enunciar primero la parte si de una implicacin. Todas las proposiciones siguientes tienen el mismo significado: 1. Si gana el concurso, entonces dar 10 000 pesos. 2. Que gane el concurso implica que dar 10 000 pesos. 3. Dar 10 000 pesos si gana el concurso. 4. Gana el concurso slo si dar 10 000 pesos. 5. Para que d 10 000 pesos, es suficiente que gane el concurso. 6. Que gane el concurso hace necesario que d. 10 000 pesos. 7. Dar 10 000 pesos con la condicin de que gane el concurso

8. Dar 10 000 pesos cuando gane el concurso. 9. Dar 10 000 pesos siempre que gane el concurso. Podemos ahora formular estas nueve proposiciones equivalentes en forma simblica como sigue: 1. si p, entonces q p q

q si p p slo si q p es suficiente para q q es necesario para p q con la condicin de que p q cuando p q siempre que p

Algunas proposiciones que no estn escritas originalmente como condicionales, se pueden expresar en la forma si-entonces. Por ejemplo, "Todos los patos son aves" se puede reexpresar como "Si es un pato, entonces es un ave". As que agregamos una forma adicional a la lista: 10. todos los p son a Traduccin: Todos los patos son aves. EJEMPLO 5 Traducir la siguiente oracin, tomada de una forma fiscal, al lenguaje simblico.

Si no especifica deducciones en la lista A y tiene donativos deducibles, entonces complete la hoja de trabajo de la pgina 14y declare la partida autorizada en el rengln 34b. Solucin Paso 1. Se separan las proposiciones simples y se les asignan variables. Sean d: Especifica deducciones en la lista A. c: Tiene donativos deducibles. w: Completa la hoja de trabajo de la pgina 14. b: Declara la partida autorizada en el rengln 34b. Paso 2. Se rescribe la oracin, efectuando sustituciones con las variables. Si ~ d c, entonces (w b)

Paso 3. Se completa la traduccin al lenguaje simblico. ~ (d c) (w b)

La proposicin si-entonces puede tener varios significados, pero la tiene solamente uno, el que se defini en la Tabla 7. Lo que la proposicin p p significa es ~ [p ( ~ q )]. No obstante, en la prctica empleamos p para representar proposiciones del lenguaje ordinario de la forma si-entonces o de implicacin. Cmo se puede justificar lo anterior? Como hemos visto, parte de la dificultad de traducir del lenguaje ordinario al simblico radica en eliminar la ambigedad del lenguaje ordinario. Sin embargo, se preserva la validez de todos los argumentos vlidos del tipo si entonces empleados en este libro, incluso si se ignoran los significados adicionales de la condicional. Posteriormente analizaremos este punto con ms detalle,

cuando se consideren los conceptos de validez y argumentos vlidos. Por ahora traduciremos todas las diversas formas si entonces de acuerdo con la proposicin p q definida en la Tabla 7. 3.2 Recproca, inversa y contrarecproca Existen otras proposiciones relacionadas con la implicacin p q, las cuales se definen a continuacin. VARIACIONES DE LA condicional p q, se definen: 1. La 2. 3. p CONDICIONAL Dada la

p ~q ~

EJEMPLO 6 Sean p: Este animal es un ave. Este animal tiene alas. Dada p q, escribir contrarrecproca. su recproca, su inversa y su

Solucin PROPOSICIN: Si este animal es un ave, entonces tiene alas. RECPROCA: Si este animal tiene alas, entonces es un ave. INVERSA: Si este animal no es un ave, entonces no tiene alas. CONTRARRECPROCA Si este animal no tiene alas, entonces no es un ave. No es necesario que la proposicin original sea de la forma p q, y el antecedente o el consecuente pueden ser cualquier proposicin. Cuando se escribe la recproca, la inversa, o la contrarrecproca, puede resultar una doble

negacin. En este caso esta ltima se debe reemplazar por la proposicin original, utilizando la ley de la doble negacin. EJEMPLO 7 Dada ~ w, escribir su recproca, su inversa y su contrarrecproca Solucin RECPROCA: ~ q INVERSA: ~ p q (~ p) p

CONTRARRECPROCA:

EJEMPLO 8 Dada ~ p q, escribir su recproca, su inversa y su contrarrecproca. Solucin RECPROCA: ~ INVERSA: p q p (~ p)

CONTRARRECPROCA:

No todas estas proposiciones son equivalentes en significado, como se puede ver considerando el Ejemplo 9. EJEMPLO 9 Escribir la recproca, la inversa y la contrarrecproca de la proposicin: Si es un Oldsmobile, entonces es un automvil. Solucin Sean p: Es un Oldsmobile. q: Es un automvil. Entonces la proposicin dada se escribe p RECPROCA: q Oldsmobile. q

p: Si es un automvil, entonces es un

INVERSA: ~ p (~ q): Si no es un Oldsmobile, entonces no es un automvil. CONTRARRECPROCA: ~ (~ p): Si no es un automvil, entonces no es un Oldsmobile. Esta es una proposicin verdadera, siempre que la proposicin original sea verdadera El Ejemplo 9 ilustra que la recproca de una proposicin verdadera no es necesariamente verdadera. Puede serlo, pero no es necesario que lo sea. Obsrvese en la Tabla 8 que la contrarrecproca y la proposicin directa siempre tienen el mismo valor de verdad, tal como sucede con la recproca y la inversa. Por consiguiente una implicacin puede ser siempre reemplazada por su contrarrecproca, sin afectar su veracidad o falsedad. Tabla 8 p q ~ ~ Proposicin Recproca Inverssa Contrarecproca p q p q q p ~ ~q (~ p ) p (~ q ) T T T F F T F F T F T T T T F T T T F T T F T T

OPERADORES ADICIONALES 4.1. La Bicondicional En el Cap. 3 se tuvo especial cuidado en sealar que una proposicin q y su recproca q p no tienen los mismos valores de verdad. Sin embargo, puede suceder que p q y tambin q p. En este caso se escribe p q

y al conectivo se le llama bicondicional. Para determinar los valores de verdad de la proposicin bicondicional, se debe construir la tabla de verdad de (p q) (q p). pqp TT TF FT FF T F T T qq T T F T p ( q T F F T p p) q) (

Esto lleva a definir la bicondicional de manera que sea verdadera slo cuando ambas p y q sean verdaderas, o cuando ambas p y q sean falsas (esto es, siempre que tengan valores de verdad iguales). Lo anterior se ilustra en la Tabla 9. Tabla 9 DEFINICIN DE LA BICONDICIONAL p T T F F q T F T F p T F F T q

En matemticas, p q se traduce de varias maneras, todas las cuales tienen el mismo significado:

TRADUCCIONES DE LA BICONDICIONAL 1. p s y slo si q 2. q s y slo si p 3. Si p, entonces q, y recprocamente

4. Si q, entonces p, y recprocamente 5. p es una condicin necesaria y suficiente para q 6. p es una condicin necesaria y suficiente para p EJEMPLO 1 Reexpresar proposicin lo siguiente en una sola

1. Si un polgono tiene tres lados, entonces es un tringulo. 2. Si un polgono es un tringulo, entonces tiene tres lados. Solucin Un polgono es un tringulo s y slo si tiene tres lados. Existe otra forma de denotar la bicondicional. Si dos proposiciones tienen iguales valores de verdad, decimos que son equivalentes. Ntese que p q es verdadera siempre que ambas p y q tengan valores de verdad iguales. De manera que agregamos a la lista otra forma de escribir la bicondicional: EQUIVALENCIA Si p y q tiene valores de verdad iguales, se dice que p es equivalente a q y se escribe p q. EJEMPLO 2 Demostrar que p V q. q es equivalente a ~ p

Solucin Para establecer la equivalencia, se debe demostrar que ( p q) ( ~ p V q) es siempre verdadera. pq TTT TFF FTT q ~ p F F T ~ p (p q) V q V q) T T F T T T ( ~ p

FFT

Puesto que el resultado muestra que todos los valores obtenidos son T (verdaderos), se expresa que las dos proposiciones son equivalentes.

TAUTOLOGAS 5.1 Definicin Muchas proposiciones en lgica simblica son siempre verdaderas. Por ejemplo, la proposicin compuesta p V (~ p ) es siempre verdadera, sin importar el valor de verdad de p. Las proposiciones que son siempre verdaderas se llaman tautologas. TAUTOLOGA Una tautologa es una proposicin que es verdadera en todos los casos de su tabla de verdad. Para probar que una proposicin dada es una tautologa se construye su tabla de verdad y se verifica que la ltima columna (que representa a la proposicin dada) consta solamente de valores T o verdaderos. Si aparece aunque sea un valor F, no se trata de una tautologa. Si todos los valores de la ltima columna son F, la proposicin dada se llama contradiccin. EJEMPLO 1 Demostrar que (p una tautologa. q) V [p (~ q)] es

Solucin Se construye la tabla de verdad.

pqp TTT TFF FTF FFF

~ q F T F T

p q F T T T

~ (p [p T T T T

q) V ( ~ q)]

De esta manera, la proposicin es una tautologa, ya que es verdadera en todos los casos de su tabla de verdad. EJEMPLO 2 Es (p V q) (~q p) es una tautologa ?

Solucin Se construye la tabla de verdad. pq TT TF FT FF p V~ q q T F T T T F F T ~ T T T F p (p q T T T T V q) p) (~

As que s es una tautologa. 5.2 Implicacin Si una condicional es tautologa, como en el Ejemplo 2, entonces se llama implicacin y se simboliza por . Esto es, el Ejemplo 2 se puede escribir (p V q) (~ q p)

El smbolo de implicacin p q se pronuncia "p implica q". Una proposicin bicondicional, p q que es tambin tautologa se llama equivalencia lgica, se escribe p q y se lee "p es lgicamente equivalente a q".

EJEMPLO 3 Demostrar que (p

q)

[p

(~ q)].

Solucin Se construye la tabla de verdad. ~ p q q) F T F T F T F F ( p (~ ~[ (~ ) [~ q) ] p ( q)] T T F T T T T T q ~

pqp TTT TFF FTT FFT

Puesto que todas las posibilidades son verdaderas, es una equivalencia lgica y se escribe (p q) [p (~ q)].

Ntese la diferencia entre los smbolos y , lo mismo que entre y ) y la bicondicional ) se usan como conectivos lgicos, y el valor de verdad para estos casos puede ser verdadero o falso. Si, como consecuencia de las proposiciones que se conectan, las tablas de verdad proporcionan solamente valores verdaderos, entonces se emplean los smbolos y en vez de y , y se les llama imp ), respectivamente.

5.7 Razonamiento directo, [ (p

q)

p]

Este razonamiento se conoce tambin con el nombre de modus ponens, con el de ley de separacin, o razonamiento de suposicin del antecedente. Dado que esta tautologa a es un poco ms

complicada, comenzaremos por considerar el ejemplo siguiente: p q Si lvaro obtiene la mxima calificacin en el examen final, entonces pasar el curso

p lvaro obtiene la mxima calificacin en el examen final p Por lo tanto lvaro pasa el curso. Recurdese de la geometra que:. es un antiguo smbolo que se emplea para representar la frase por lo tanto. El argumento anterior consta de dos premisas, o hiptesis, y una conclusin. El argumento es vlido si [ (p q) p] q

es una tautologa. Por medio de la Tabla 12, se puede ver que el argumento resulta vlido. Tabla 12 DEMOSTRACIN DE LA LEY DE RAZONAMIENTO DIRECTO pqp TT TF FT FF T F T T q (p q ) p T F F F [ ) T T T T p] (p q q

El modelo del razonamiento directo es muy importante y se debe memorizar. Se ilustra como sigue. RAZONAMIENTO DIRECTO Premisa mayor: p q

Premisa menor: p

Conclusin: ... p EJEMPLO 6 Si Vctor juega ajedrez, entonces es inteligente. Vctor juega ajedrez.

Por lo tanto, Vctor es inteligente. Si Judith es una persona lgica, entonces entender este ejemplo. Judith es una persona lgica.

Por lo tanto, Judith entiende este ejemplo. Decimos que estos argumentos son vlidos, puesto que se identifican como ejemplos de razonamiento directo. 5.8 Razonamiento indirecto, [(p ~ p) q) ( ~ q)] (

Este razonamiento tambin se llama modus tollens o razonamiento de negacin del consecuente. El ejemplo que sigue ilustra lo que llamamos razonamiento indirecto. Si lvaro obtiene la mxima calificacin en el examen q final, entonces pasa el curso. ~ q lvaro no pasa el curso.

 ~ p Por lo tanto, lvaro no obtiene la mxima calificacin en el examen final. Se puede razonar como sigue: ~ p debe ser verdadera, ya que si fuera falsa, entonces p sera verdadera; pero sip es verdadera, entonces q es verdadera; esto es imposible debido a la premisa menor. La forma simblica del argumento debe ser memorizada. RAZONAMIENTO Premisa mayor: p q

INDIRECTO Premisa menor: ~ p Conclusin: ~ p Se puede probar la tautologa considerando la tabla de verdad (vase la Tabla 13). Tabla 13 DEMOSTRACIN DE LA LEY DE RAZONAMIENTO INDIRECTO pqp TT TF FT FF T F T T q (p q ) p T F F F [ ) T T T T p] (p q q

EJEMPLO 7 Si el gato atrapa al ratn, entonces el ratn toma el queso. El ratn no toma el queso.

Por lo tanto, el gato no atrapa al ratn. Si lvaro obtiene la mxima calificacin en ese examen, entonces yo soy Napolen. Yo no soy Napolen. Por lo tanto, lvaro no obtiene la mxima calificacin en ese examen.

LGICA SIMBLICA PARA TODOS Juan Manuel Campos Bentez*

Son muchos los textos de lgica disponibles para los estudiantes, la mayora de los cuales incluyen la lgica proposicional y la lgica de predicados, especialmente aquellos libros de texto escritos por lgicos dentro de la tradicin analtica. Baste mencionar los de Irving Copi, Benson Mates, Patrick Suppes, escritos en ingls; en espaol los textos de Garrido, Deao, Ferrater Mora y Manuel Sacristn entre otros. Libros un poco antiguos son los de Mrquez Muro, Gutirrez Senz, El de Gortari y otros, y que no pertenecen a la tradicin analtica. Entre los primeros hay algunos que abordan, aunque sin ahondar en el tema, alguno de los desarrollos de las llamadas lgicas modales, y que incluyen lgica modal,

lgica epistmica, lgica temporal y lgica dentica. En ingls es posible encontrar algn texto que trate todas estas lgicas, pero en espaol no contbamos con un libro que las abarcara. Walter Redmond, quien ha enseado lgica en Per, Mxico y Estados Unidos, ha escrito su Lgica simblica para todos, publicada el ao 2000 por la Universidad Veracruzana. Walter Redmond ha estudiado la lgica y la historia de la lgica, con especial atencin a la lgica novohispana, aquella desarrollada en el Mxico y Per coloniales. Baste mencionar su La lgica en el virreinato del Per (Lima, F.C.E., 1998) y varias obras escritas en colaboracin con Mauricio Beuchot publicadas por la UNAM: La lgica mexicana en el Siglo de Oro, La teora de la argumentacin en el Mxico colonial, Pensamiento y realidad en Fray Alonso de la Veracruz, adems de varios artculos sobre Antonio Rubio y Alonso de la Veracruz en diferentes revistas (Crtica, Dinoia, Saber Novohispano, Vivarium, entre otras). Muchos de sus artculos en ingls, alemn, espaol y latn usan la lgica y el simbolismo en su exposicin y tratamiento de los temas estudiados; baste mencionar algunos ttulos: Lgica, deber, virtud, Santo Toms sobre la inexistencia de Dios. Una nota lgico-metafsica, Lgica y utopa, Dios y modalidad. La lgica simblica tiene un parecido con las matemticas, no slo en el uso de smbolos cuasi matemticos sino tambin en la presentacin de la lgica a la manera de un clculo y la formulacin de reglas a la manera de operaciones; estas reglas rigen el uso de las conectivas, los cuantificadores y dems operadores. El clculo puede presentarse de manera axiomtica, es decir, partiendo de un nmero finito de axiomas o esquemas de axiomas, reglas de formacin y reglas de

transformacin, adems del vocabulario bsico; tambin puede presentarse de acuerdo a otro mtodo diferente del mtodo axiomtico, el llamado mtodo de deduccin natural, cuyo punto de partida son oraciones bsicas, conectivas y reglas para las conectivas. Cuando las oraciones se cuantifican, tenemos reglas para los cuantificadores, y el sistema de estas reglas abarca, como un caso particular, toda la silogstica aristotlica; si aadimos reglas de la identidad tenemos el sistema de lgica elemental. La lgica elemental comienza con el estudio de las conectivas y podemos preguntarnos qu unen esas conectivas; pues bien, pueden unir varias cosas. El sistema de las reglas genera un clculo que puede interpretarse de varias maneras. Un clculo sin interpretar constituye un sistema formal, un sistema sintctico que ofrece reglas para manipular, combinar y generar smbolos a partir del vocabulario bsico y las reglas. Podemos interpretar esos smbolos como circuitos elctricos, por ejemplo, y entonces ese sistema tiene su aplicacin en la electrnica y la computacin. Pueden interpretarse tambin como oraciones, juicios, proposiciones, enunciados, y esto abre nuevas posibilidades de aplicacin. En efecto, puede aplicarse entonces a diversos segmentos de la realidad: a pensamientos o entidades psicolgicas, oraciones o entidades lingsticas, proposiciones o entidades abstractas, a enunciados que hablen acerca de eventos o acontecimientos. Pero la decisin respecto a cmo interpretar esos signos o smbolos no corresponde a la lgica sino a la filosofa de la lgica. Hay cierto consenso en que la lgica trata con oraciones, pues constituye un lenguaje acerca de algo, pero tambin se ha mantenido que trata de juicios o entidades psicolgicas; hay de hecho toda una tradicin que dice que la lgica es ciencia del razonamiento correcto. Pero tambin hay acuerdo en que el pensamiento es pensamiento de algo, y este algo

puede ser extramental: situaciones, eventos, estados de cosas. Por eso es fundamental la nocin de verdad en la lgica y con ella abordamos un aspecto importante: la semntica. As, la lgica estudia por una parte el aspecto sintctico, las reglas para formar oraciones y combinarlas; por otra, estudia las condiciones de verdad de las oraciones, el aspecto semntico. Pero hay todava otro aspecto: el pragmtico, aquel que estudia las relaciones entre el lenguaje de la lgica y sus usos. Un uso tradicional ha sido la argumentacin, el ofrecer argumentos para defender o refutar una tesis. Esto nos lleva al contexto dialgico, a las relaciones entre personas que quieren convencer de algo a alguien. En este sentido la lgica se acerca a la retrica, a la persuasin o convencimiento, pero teniendo control sobre aquello que se debate, control plasmado precisamente en el uso correcto de las reglas que proporciona la lgica. Una queja perenne de los estudiantes ha sido que aprenden con dificultad la lgica y luego esta herramienta no se aplica en los dems cursos, lo que hace parecer intil a la lgica e intil el tiempo invertido en aprenderla. Quiz una de las razones sea que hay argumentos, especialmente dentro de la filosofa, que rebasan el mbito de la lgica elemental. Podemos encontrar argumentos metafsicos donde ocurren trminos como necesario, posible, contingente; argumentos epistmicos donde ocurren trminos como saber, creer, opinar; argumentos denticos donde ocurren trminos como obligatorio, permisible; argumentos temporales donde ocurren trminos como siempre, nunca, a veces. Y en todos ellos la lgica aprendida parece que no tiene aplicacin. No la tiene hasta cierto punto, y es que la lgica elemental no incluye el estudio de esas expresiones, pero puede

expandirse de tal manera que las incluya. El estudio de las lgicas modales abarca esas expresiones y las reglas para su comportamiento lgico. Pero no es fcil encontrar un texto accesible que trate de todas ellas. El libro de Walter Redmond las trata siguiendo el mtodo de deduccin natural, comienza con la lgica elemental para continuar despus con las extensiones de la lgica: modal, epistmica, dentica y temporal. Como buen manual, ofrece ejercicios a ser realizados por los estudiantes y que van creciendo en grado de complejidad conforme se avanza; el libro puede ser usado como libro de texto por los profesores de lgica pero tambin puede usarse de manera autodidacta; las reglas estn expuestas claramente, de manera que con atencin y disciplina se puede alcanzar el fruto, pues la lgica no se aprende sin ejercicio. Es importante destacar dos aspectos de la lgica que en el texto son complementarios: la lgica como ciencia y la lgica como arte, la parte terica y la parte prctica de la lgica, la lgica docens y la lgica utens, como la llamaban los escolsticos. Porque la lgica como ciencia tiene su objeto, aunque ese objeto tenga entidad mnima, no tan palpable como los objetos de otras ciencias, y tiene sus principios que rigen esos objetos, sus leyes y su ordenacin de conceptos, su estrategia de investigacin. La lgica como arte tiene preceptos, reglas a seguir, ejercicios a realizar, indica cmo hacer bien ciertas cosas: argumentar, razonar, discutir. Estos aspectos se integran en el libro, y nos muestra, adems sus aplicaciones. Es en el mbito filosfico donde ms se aprecia esto. En efecto, las lgicas modales nos llevan al tratamiento de problemas recurrentes de la filosofa: la existencia de un ser necesario, los aspectos del ser real y

posible, las condiciones del saber y la creencia, la obligacin y la permisin, el tiempo lineal y tiempos ramificados. Todos estos son problemas que han acuciado las mentes de los grandes filsofos y el texto nos proporciona una herramienta para su cabal tratamiento. Esta herramienta incluye, adems del tratamiento sintctico de las nociones modales, el aspecto semntico. Es la semntica de los mundos posibles la que logra una exposicin clara y al alcance de quien haya seguido a fondo el texto y realizado los ejercicios. Nos permite tambin un acercamiento a la filosofa de la religin, de la ciencia, de la literatura, del conocimiento. Y este acercamiento a los problemas de la filosofa est hecho de tal manera que nos remite a los autores que en la historia han tocado el mismo punto, sin que importe el que sean autores olvidados, superados, fuera de moda; lo que importa son sus argumentos, su verdad o falsedad, su correccin o sus errores. Esto muestra a la filosofa como algo vivo y en constante dilogo, una muestra de lo que debe ser la filosofa. El estudiante, no slo el de filosofa sino tambin el de otras disciplinas, puede sacar provecho de este libro. En efecto, la lgica como arte se aplica en cualquier situacin donde haya que ofrecer argumentos para aprobar o rechazar una tesis, para averiguar la verdad o falsedad de una oracin, la correccin de un argumento o sus fallas. Puede aprender algo acerca de algo, a saber, la lgica; puede tambin adquirir ciertas capacidades y aptitudes que le habilitan para mejorar su forma de pensar y, en este sentido, relacionarse mejor con sus semejantes. El libro es moderado: no espere el lector un tratamiento de la metalgica con sus metateoremas y sus tesis sobre la completitud e independencia de sus axiomas o teoremas; tampoco

espere un tratamiento exhaustivo de los mbitos de aplicacin y situaciones propios de los textos de lgica informal que ya empiezan a abundar en nuestros medios. Espere, eso s, saber algo acerca de una ciencia y aprender, previa realizacin de los ejercicios, la lgica elemental y sus extensiones. No se trata de un libro para leer solamente; es tambin un manual y da instrucciones, proporciona una herramienta que, bien mirada, no es tan slo una herramienta sino una parte constitutiva del ser humano, aquella que ha hecho posible definirlo precisamente como racional. Una palabra final. La lgica ha sido malentendida y quiz por eso ha tenido varios detractores. Estamos lejos ya de los das en que tienne Gilson deca que los problemas metafsicos haban de responderse metafsicamente y no lgicamente; de hecho Gilson aprecia en poco los desarrollos de la lgica despus del siglo XIII y debido principalmente a autores nominalistas. Esta frase ha sido repetida y se ha entendido como si la lgica fuera ajena e independiente de la ontologa, y ha sido poco estudiada por los tomistas, aunque haya sus grandes excepciones (Bochenski por ejemplo, quien es un gran conocedor de la historia de la lgica). En varias universidades latinoamericanas, cuando el marxismo imperaba, se asociaba a la lgica con la ideologa burguesa y era poco estudiada, cuando no despreciada; aunque debemos decir que hubo textos acordes con los lineamientos marxistas, como lo hubo a su vez algn texto de lgica proveniente de la fenomenologa. En nuestros das la lgica informal en sus varias vertientes acude muy poco al simbolismo y la formalizacin; en algunos medios se habla de aprendizaje significativo, pero a veces queda uno con la impresin de que significativo quiere decir casi aprender jugando y cuyo contenido deba no ser

abstracto y lograrse con mnima disciplina; y el desencanto y escepticismo posmodernos casi excluye a la lgica tratando de sustituirla por alguna potica o algo parecido. Si bien el texto de Walter Redmond recoge los aportes escolsticos y analticos, tambin reconoce los aportes griegos (estoicos y aristotlicos) y medievales. En este sentido recupera las aportaciones logradas en la historia del pensamiento, presenta una formulacin de la lgica sin ms. Su aprendizaje no es fcil, como no lo ha sido en sus diferentes momentos; requiere del esfuerzo y la disciplina del estudiante y del profesor, y constituye una buena aproximacin a la enseanza de la filosofa y de otras reas. El texto est al alcance del lector y yo le invito a zambullirse en l, pues le lleva de la mano hacia la enseanza de la lgica y sus aplicaciones en filosofa, por eso constituye una buena introduccin a la misma. El texto est en sus manos.

Lgica simblica 1 1. Introduccin 1.1 Definicin de Lgica simblica La lgica simblica es un sistema formal que analiza los signos y lo que designan.El positivismo lgico entiende que el significado es la relacin que existe entre

laspalabras y las cosas, y su estudio tiene un fundamento emprico: puesto que ellenguaje, idealmente, es un reflejo de la realidad, sus signos se vinculan concosas y hechos. Ahora bien, la lgica simblica usa una notacin matemtica paraestablecer lo que designan los signos, y lo hace de forma ms precisa y clara quela lengua tambin constituye por s misma un lenguaje, concretamente unmetalenguaje (lenguaje tcnico formal) que se emplea para hablar de la lenguacomo si de otro objeto se tratara: la lengua es objeto de un determinado estudiosemntico. Una de las figuras ms destacadas del Crculo de Viena, el filsofoalemn Rudolf Carnap, realiz su ms importante contribucin a la semnticafilosfica cuando desarroll la lgica simblica. .2 El objeto de estudio de la lgica La lgica es una ciencia y su objeto de estudio lo constituyen las formas,estructuras o esquemas del pensamiento. Si comparamos los siguientes ejemplosde pensamientos, encontraremos que pueden referirse a cosas muy diferentes (esdecir, su contenido es variable), y sin embargo tienen estructuras comunes: 1.7 es un nmero primo y 4 es par. 2. La gasolina es inflamable y la potasa es custica. 3.Venus es un planeta y Sirio es una estrella. 4.Marzo tiene 30 das o marzo tiene 31 das. 5. El hombre hace su historia o la historia hace al hombre. 6.4 es impar o 4 es par. 7. Si el hombre hace su historia, entonces el destino es un mito. 8. Si 4 es par, entonces 4" tambin es par. 9. Si el tabaco produce cncer, entonces los cigarros son un medio de suicidio.

Pese a tener diferente contenido, estos ejemplos pueden ser agrupados en tres clases, de acuerdo con las expresiones "Y", "O", "si...entonces", que relacionan entre s a pensamientos como "4 es impar", a los que se llama proposiciones. La lgica proposicional es la parte de la lgica que estudia las formas en que se relacionan unas proposiciones con otras y, sobretodo, la relacin que se da entre las proposiciones que componen un razonamiento. .3 Lenguaje natural y lenguaje simblico El lenguaje es un medio, un instrumento por el cual se trasmite informacin. Los libros, folletos, peridicos, etc., son buenos ejemplos de lenguaje escrito, utilizado para trasmitir informacin. No todos los lenguajes son hechos por el hombre; las abejas, por ejemplo, informan a sus compaeras de panal sobre la localizacin de polen, haciendo cierto tipo de movimientos que parecen una danza. El desarrollo de un embrin de cualquier especie est guiado por la informacin trasmitida por los genes de las clulas germinales. En los lenguajes hechos por el hombre, la informacin se trasmite por medio de signos, que pueden ser seas, gritos, palabras, volutas de humo, combinacin decolores, etc. En realidad, los lenguajes humanos son sistemas de signos, que representan algo, ya sea utilizando cada signo individualmente, o combinndolos de alguna manera. En el lenguaje natural, que aprendemos en forma espontnea empleamos en nuestra vida cotidiana, los signos utilizados son palabras, habladas o escritas, las cuales tienen un determinado significado. Sin embargo, es un hecho que una misma palabra puede tener o

usarse con dos o ms significados distintos, dependiendo de las circunstancias (como "diablito", que se utiliza para nombrar lo mismo a un nio travieso que a cierto tipo de conexin elctrica) ; tambin es comn que dos o ms palabras tengan el mismo significado o se les utilice en el mismo sentido (como "alumno?' y "estudiante?'). Gracias a estas imprecisiones del lenguaje natural se producen muchos chistes (sobre todo los de doble sentido) y muchas expresiones cmicas. Pero tambin se originan confusiones y errores, que si bien en la vida diaria no es del todo necesario evitar, en algunas actividades, como la cientfica, s es preciso eliminaren lo posible. Es por ello que en las ciencias nos encontramos un lenguaje preciso, tcnico y lleno de smbolos, que son signos de signos, es decir, signos elegidos cuidadosa y conscientemente para representar a otros signos. Por ser producto de una eleccin, los smbolos tienen carcter convencional, pero dentro de un lenguaje determinado poseen siempre el mismo significado, sin que vare de acuerdo con las circunstancias; por ejemplo, dentro del lenguaje de la geometra plana, el smbolo "p i significa siempre la relacin cuantitativa que existe entre el dimetro y la circunferencia de un crculo cualquiera (3.14159). El smbolo puede variar de significado, pero no dentro del mismo lenguaje. Existen varios lenguajes cientficos: tantos como ciencias particulares; entre los ms conocidos estn el de las matemticas, el de la qumica y el de la lgica, que es el que vamos a examinar en seguida. 1.4 La simbolizacin del lenguaje lgico Al simbolizar un lenguaje lo que se persigue es, bsicamente, sencillez, claridad y exactitud. Es ms sencillo y tambin resulta ms claro y exacto representar las cosas por

medio de smbolos. Por ello, la simbolizacin del lenguaje lgico nos permite examinar ms fcilmente las formas del pensamiento y sus leyes, las cuales es preciso seguir si queremos que nuestro pensamiento sea correcto. En la lgica proposicional se examinan las posibles relaciones entre proposiciones, sin atender a su contenido. En esto es particularmente til simbolizar las proposiciones con simples literales y las expresiones mediante las cuales son relacionadas (como "Y", "O", "si. . . entonces"), por medio de signos cuyo significado sea constante. De esta manera es ms fcil, como se ver ms adelante, decidir si, por ejemplo, un razonamiento es correcto o no, lo cual no siempre resulta sencillo como en el siguiente caso: "Si en la Luna hay vida, entonces en la Luna hay agua." "No ocurre que en la Luna hay vida." "Luego, no es cierto que en la Luna hay agua." 2. De la lgica clsica a la lgica simblica La lgica no siempre ha recibido el mismo nombre. Platn hablaba de la dialctica como la tcnica de conocer las relaciones entre las ideas. Platn pensaba que cualquier contenido de la mente exista tal cual en la realidad, en el mundo de las Ideas separadas, el cosmos no ets. Contra estas ideas separadas reaccion Aristteles, quien en su Oga no n o coleccin de obras lgicas, emplea la palabra analtica para referirse a la lgica. Para Aristteles las ideas existen slo en la mente humana, pero se corresponden a la realidad; esto trajo consigo el nacimiento de la lgica. Aristteles distingue, as, entre la metafsica (ciencia de la realidad o del ser y sus principios ms profundos) y la lgica (ciencia de las ideas y procesos de la mente), que Platn identificaba. Por lgica clsica puede entenderse a veces la lgica simblica moderna estndar, esto es, clculos como

los de Principia Mathematica y sistemas afines, que incluiran la lgica de enunciados, la lgica de predicados de primer orden(incluida la lgica de relaciones) y la lgica de predicados de orden superior. Esto se opondra a las lgicas no clsicas, esto es, aquellas que, o bien no comparten algn presupuesto fundamental de la lgica clsica, o bien constituyen desarrollos complementarios de la lgica clsica (como la lgica modal), o bien constituyen de algn modo concepciones alternativas a la lgica clsica (como la lgica intuicionista). Pero puede entenderse tambin y ms frecuentemente por lgica clsica) la lgica aristotlica con sus complementos medievales que permaneci con apenas alguna variacin hasta Frege.