Presentacin de la unidad

El sentido comn es el menos comn de los sentidos. En alguna ocasin escuch decir a alguien que Bertrand Russell expres la frase que precede a estas lneas. Si lo dijo Russell o no, no es relevante. Lo interesante de la frase es que plasma de una forma divertida algo que nos sucede muchas veces: pensar que todos razonamos de la misma manera.
Quin no ha dicho alguna vez, por ejemplo, eso no tiene sentido o lo lgico era hacer tal o cual cosa. Decimos este tipo de expresiones para referirnos a algo que llamamos sentido comn. Y entendemos por sentido comn, por razonable, por lgico, a aquello que parecera ser evidentemente correcto para la mayora de las personas, un resultado que se supone es esperable

La mayora de las personas piensa que todos razonamos de la misma manera y que por eso aquello esperado por uno debe ser esperado por todos. Sin embargo, en una gran cantidad de ocasiones no sucede as. Para que todos razonemos de la misma manera sera indispensable ponerse de acuerdo en cuanto a las reglas vlidas del razonamiento. Esto es, sera necesario estudiar lgica. Ahora bien, para el estudio de la lgica, en cualquiera de sus formas, colores y sabores, se requiere de la lgica clsica. Y para comenzar por el principio, estudiaremos el vocabulario y la gramtica de la lgica clsica. As, en esta unidad identificaremos algunos tipos de lenguajes y sus diferencias. A partir de ello, definiremos el alfabeto y la gramtica de la lgica clsica. Analizaremos tambin las ventajas que este lenguaje ofrece sobre el lenguaje natural.

Propsito de la unidad

En esta unidad:

Utilizars el lenguaje formal de la lgica clsica para representar enunciados del lenguaje natural y de las matemticas

Competencia especfica

Traducir proposiciones por medio del lenguaje formal de la lgica clsica como puente de comunicacin para la adquisicin de conocimiento matemtico.
2.1. Lgica clsica

Todos los hombres que vivieron antes de los tiempos de los griegos admitieron el supuesto de que la Tierra era plana, como de hecho parece ser si prescindimos de pequeas irregularidades como son las montaas y los valles. Si algn anterior a los griegos pens de otra manera, su nombre no ha llegado hasta nuestros das, ni su pensamiento, registrado de algn modo, ha logrado sobrevivir. Ahora bien, si la Tierra fuese efectivamente plana, una de las conclusiones que parece casi inmediata es que tuviese un fin, sea del tipo que fuese Termina de leer este texto de Isaac Asimov: El Universo. 2.1.1. Qu es la lgica?

Yo la caracterizo (a la lgica) como el estudio de los conjuntos de creencias consistentes porque pienso que de esta forma es ms fcil al comienzo y porque se sabe que los dos planteamientos son equivalentes, Manzano, p. 3 .

Investiga: Qu es un conjunto de creencias consistentes? Determina, sobre el texto de Isaac Asimov que leste, tres inconsistencias entre la realidad y la creencia de que la Terra fuese plana.

Existen diferentes tipos de lgica. Aqu estudiaremos la lgica clsica. Investiga algunos tipos de lgica y da sus diferencias. Ten a la mano tu investigacin. Cuando veas las limitaciones de la lgica clsica tendrs que

resolver algunas de ellas con las lgicas que investigaste 2.1.2. Qu es la lgica clsica? En este curso pensaremos a la Lgica Clsica como el estudio de los argumentos o razonamientos deductivos correctos. Existen argumentos de tipo deductivo, inductivo, analgico, abductivo y estadstico. 1. Investiga las diferencias entre cada uno de ellos. 2. Escribe un ejemplo de cada tipo de argumento. 3. Determina, con base en tus ejemplos, las limitaciones de los argumentos deductivos.
2.1.3. El argumento

La oveja negra En un lejano pas existi hace muchos aos una oveja negra. Fue fusilada. Un siglo despus, el rebao arrepentido le levant una estatua ecuestre que qued muy bien en el parque. As, en lo sucesivo, cada vez que aparecan ovejas negras eran rpidamente pasadas por las armas para que las futuras generaciones de ovejas comunes y corrientes pudieran ejercitarse tambin en la escultura. Augusto Monterroso. La oveja negra y dems fbulas Llamaremos proposicin a un enunciado en el cual se afirma o se niega algo. Por ello, una proposicin es susceptible de ser verdadera o falsa, aunque no siempre tengamos las herramientas suficientes para determinar este valor.

Por ejemplo: Oh, la luz! o Cuntos aos tienes? son enunciados que no afirman ni niegan nada y, por lo tanto, no son proposiciones. En cambio, mi carro es negro, Mxico no es un pas de Amrica o la suma de los cuadrados de los catetos es igual al cuadrado de la hipotenusa son enunciados que s niegan o afirman algo, por lo tanto, son

proposiciones.

Estos ltimos enunciados pueden ser verdaderos o falsos. De hecho, la suma de los cuadrados de los catetos es igual al cuadrado de la hipotenusa es un teorema matemtico, as que lo que expresa es verdadero. Y dado que Mxico es un pas de Amrica, la negacin Mxico no es un pas de Amrica resulta ser falsa. Y por otro lado, como no conocen mi carro, no sern capaces de determinar si la afirmacin mi carro es negro es verdadera o falsa.

Divide el texto en cada uno de sus enunciados. Identifica cules son proposiciones. Cules son verdaderas, cules son falsas? Cules no es posible determinar si son verdaderas o falsas con la informacin que el texto proporciona? Realiza un diagrama de Venn en el cual, haya dos conjuntos: A, donde coloques los enunciados que son proposiciones, y B, donde pongas los enunciados que no son proposiciones. Posteriormente, separa el conjunto de proposiciones en tres subconjuntos: A1, donde pongas las proposiciones verdaderas, A2, donde pongas las falsas y A3, donde coloques aquellas de las que no puede decirse si son verdaderas o falsas.

La argumentacin se presenta en nuestra vida de forma frecuente, aunque no nos demos cuenta de ello. Cuando discutimos, argumentamos al presentar nuestras razones acerca del por qu de nuestra opinin o para dar razones en contra de lo que dice nuestro interlocutor, argumentamos tambin cuando queremos convencer a alguien de hacer o pensar de un cierto modo, cuando deseamos obtener algo, incluso nos argumentamos a nosotros mismos para justificar el por qu era mejor actuar como lo hicimos y no de otra manera, para descartar opciones o para justificar una decisin tomada. El siguiente es un ejemplo de un argumento: Buenas noches, mi nombre es Yo estoy muy atrasada, sin que suene a pretexto, porque he tenido mucho trabajo, estoy en el sector turstico y 1) estamos en temporada alta, 2) no me agradan mucho las matemticas (esto no quiere decir que no voy a seguir adelante), y 3) como ya llego muy tarde me fui por las materias ms fciles. Pero si me dan la oportunidad de recuperarme, tambin el fin de semana me pongo al corriente. De antemano por el apoyo, gracias. Fue utilizado por un alumno de la ESAD Cul piensas t que fue el propsito de ese argumento? Identifica cules son sus proposiciones. En una argumentacin, las premisas y las conclusiones se encuentran relacionadas entre s de tal manera que

las premisas apoyan a las conclusiones.

Cuando esto se logra, es decir, cuando en un argumento o razonamiento deductivo las conclusiones se siguen necesariamente de las premisas (sean stas suposiciones o hechos), entonces se dice que es un argumento o razonamiento deductivo correcto y que las conclusiones son consecuencias lgicas de las suposiciones o hechos. A qu nos referimos con garantizar plenamente la conclusin? A que si las premisas son verdaderas la conclusin ser necesariamente verdadera.

Imagina y escribe las premisas que llevaron al profesor Lupin a concluir que Harry le dara la forma de Voldemort al boggart. Considera que el boggart adquiere la forma de aquello que le produce miedo a la persona que lo piensa.

Qu tipo de argumento hizo Lupin? Es decir, fue un argumento deductivo, inductivo, analgico, abductivo o estadstico? La conclusin de Lupin se sigui de las premisas que imaginaste? La conclusin de Lupin result ser verdadera o falsa? A qu crees que se deba lo anterior?

Que las premisas garanticen la necesidad de la conclusin es sumamente importante en matemticas, ya que las pruebas en matemticas son sucesiones de argumentos, y estos deben ser argumentos correctos. Resulta pues obvia la importancia de saber si un argumento dado es correcto o no. A continuacin, como ejemplo de un argumento deductivo, y de la rigurosidad de los argumentos matemticos, te presentamos la proposicin 4 del libro primero de Los Elementos, de Euclides. Responde las siguientes preguntas, de acuerdo a la lectura de Los Elementos de Euclides.

La conclusin del argumento se sigui de las premisas? La conclusin del argumento es verdadera o falsa? Dentro de la geometra euclidiana, podra haber un caso en el cul la conclusin sea falsa? Por qu sucede esto? (Recuerda cul es la diferencia entre un razonamiento deductivo y un razonamiento no deductivo).

Sin embargo, muchas veces resulta incluso complicado identificar las premisas y la conclusin en un argumento, ms an determinar si ste es correcto o no. Para lograr este objetivo, es decir, para garantizar plenamente que en nuestros argumentos la conclusin est basada en las premisas, la lgica clsica utiliza un lenguaje formal propio definido
2.2. Lenguajes

2.2.1. Lenguaje natural

2.2.2. Lenguaje formal

En los lenguajes formales, a diferencia de los lenguajes naturales, la precisin ayuda a eliminar ambigedades. Por ejemplo, alguien te cuenta que ayer Pedro vio a Laura con los lentes puestos Eres capaz de determinar quin llevaba los lentes puestos? Pedro o Laura? O como aquella historia que cuenta que tres bellas hermanas conocieron a un joven y apuesto muchacho
Pero el verdadero final de esta historia nos trae una moraleja (al menos mi moraleja) y es que en lgica no pasan este tipo de ambigedades 2.2.3. Metalenguaje

Desde luego, t no pensaras as porque tendras claro que al decir Julieta no nos referimos a la palabra sino a la muchacha cuyo nombre es Julieta. Esto nos lleva a dos niveles diferentes del lenguaje: el lenguaje y el metalenguaje. Podemos usar el lenguaje para hablar de muchas cosas: personas, colores, animales, matemticas e incluso del lenguaje mismo.

Esto te quedar claro si piensas en cmo aprender otro idioma. Imagina que deseas aprender ruso. En los primeros niveles, cuando an no dominas el idioma, si te explican algo de gramtica rusa lo harn en espaol. El espaol ser el metalenguaje, pues es el lenguaje que utilizaremos para estudiar otro lenguaje, en este caso el ruso. Mientras que el ruso es el lenguaje objeto, es decir, es el lenguaje que estamos estudiando (digamos

que es nuestro objeto de estudio). En este curso, estamos utilizando el espaol para hablar de la lgica. El espaol es el metalenguaje y la lgica es el lenguaje objeto. En la fbula de Monterroso identifica los diferentes tipos y niveles de lenguaje.
2.2.4. El lenguaje de las matemticas

Para el estudiante de matemticas, y en general de ciencias relacionadas con la matemtica, es importante saberse expresar en dicho lenguaje para comprender la estructura lgica de las demostraciones hasta llegar a ser capaz de realizarlas l mismo. El deseo de aprender a demostrar est muy presente. Este deseo proviene del hecho de que a lo largo de los aos de estudio, al estudiante se le ensea la manipulacin mecnica de los trminos matemticos pero no el razonamiento analtico necesario. As que confunde la memorizacin y el tratamiento formal, pero mecnico, de datos, con la habilidad de razonar correctamente. Te presentamos un ejemplo de tales demostraciones, tomados del libro de Michael Spivak, Clculo Infinitesimal.

La oveja negra En un lejano pas existi hace muchos aos una Oveja negra. Fue fusilada. Un siglo despus, el rebao arrepentido le levant una estatua ecuestre que qued muy bien en el parque. As, en lo sucesivo, cada vez que aparecan ovejas negras eran rpidamente pasadas por las armas para que las futuras generaciones de ovejas comunes y corrientes pudieran ejercitarse tambin en la escultura. Augusto Monterroso. La oveja negra y dems fbulas