LógicaAPLICADA A LA INFORMÁTICA

Introducción a la lógica

¿Qué es la lógica? La ciencia de las leyes del pensamiento

Pensamiento es “materia” de los psicólogos No todos los pensamientos son “materia” de la

lógica Todo razonamiento es un pensamiento pero no todo

pensamiento es un razonamientoo Recordar, lamentarse, imaginarloo Asociación libre – una imagén remplaza a otra sin

orden lógicoo El sueño

¿Qué es la lógica? La ciencia del razonamiento

Gracias a un razonamiento se resuelve un problema, a través de un proceso que extrae conclusiones a partir de premisas

Este proceso es : Extremadamente complejo Emotivo Compuesto de un ciclo de prueba-error “Iluminado” por momentos de comprensión o

intuición

¿Qué es la lógica? Es el estudio de los métodos y principios que se

usan para distinguir el razonamiento bueno (correcto) del malo (incorrecto)

¿Un arte o una ciencia? La práctica llevará al perfeccionamiento Análisis de las falacias

Errores frecuentes del razonamiento

La lógica ¿Tiene solución el problema? ¿Se sigue la conclusión de las premisas que se

han afirmado o supuesto?

Si el problema queda resuelto, si las premisas proporcionan las bases adecuadas para afirmar la verdad de la conclusión, entonces el razonamiento es correcto. De lo contrario es incorrecto.

La distinción entre razonamiento correcto e incorrecto es el problema central con el que trata la lógica

Términos esenciales Proposición: es el contenido de una oración el

cual puede ser verdadero o falso Difieren de las preguntas, órdenes y exclamaciones

Éstas no pueden ser verdaderas o falsas Dos oraciones pueden emplearse para afirmar la

misma proposición Juan ama a María María es amada por Juan

Usamos el término proposición para referirnos al contenido que ambas oraciones afirman

Términos esenciales Una proposición se interpreta en un contexto

El presidente actual es nacionalista Dependiendo del momento, esta oración corresponde a un

enunciado verdadero (Juan Orlando Hernández) o a un enunciado falso (Manuel Zelaya)

Los términos enunciado y proposición no son exactamente sinónimos

Términos esenciales

Inferencia: es el proceso por el cual se llega a una proposición y se afirma sobre ella en base de una o más proposiciones aceptadas como punto inicial del proceso

Argumento En correspondencia a cada inferencia existe un

argumento Un argumento es cualquier conjunto de

proposiciones de las cuales se dice que una se sigue de las otras, que pretenden apoyar o fundamentar su verdad

Premisa-Conclusión

Un argumento tiene una estructura: premisa-conclusión

La conclusión de un argumento es la proposición que se afirma con base en las otras proposiciones del argumento

Las otras proposiciones afirmadas o supuestas para aceptar la conclusión son las premisas del argumento.

Ejemplos de argumentos

Como las sensaciones son esencialmente privadas, no podemos saber cómo es el mundo para otras personas.

Una superficie gris se ve roja si antes hemos visto una azul verdosa; una hoja de papel se siente muy suave si hemos tocado antes una lija, o rugosa si antes hemos tocado una suave superficie de cristal; el agua de la llave sabe dulce si hemos comido antes alcachofas. Por tanto, una parte de lo que llamamos rojo, suave o dulce debe estar en los ojos, los dedos o la lengua del que ve, toca o prueba.

Ejemplos de argumentos

Enfriar los átomos equivale a retardar su movimiento, puesto que la temperatura es una medida de qué tan rápido se están moviendo los átomos o las moléculas (el cero absoluto es la inmovilidad total)

Sobre premisas y conclusión Ninguna proposición por sí misma, en

forma aislada, es una premisa o una conclusión

Una premisa solamente aparece como supuesto en un argumento

Una conclusión solamente aparece en un argumento y se fundamenta en las otras proposiciones del argumento

Son términos relativos: Como “empleador” y “empleado”: dependen

de un contexto

Identificando premisas y conclusión

¿Cómo puede uno decir cuál es la conclusión y cuáles las premisas?

Una posibilidad Marcadores sintácticos, colocaciones léxicas

MarcadoresIndicadores de CONCLUSIÓN

por lo tanto por estas razonesde ahí que se sigue queAsí podemos inferir quecorrespondientemente concluyo queen consecuencia lo cual muestra queconsecuentemente lo cual significa quelo cual prueba que lo cual implica quecomo resultado por esta razónlo cual nos permite inferir que lo cual apunta hacia la conclusión de que

Marcadores

Indicadores de PREMISA

puesto que como es indicado pordado que la razón es quea causa de por las siguientes razonesporque se puede inferir depues se puede derivar dese sigue de se puede deducir decomo muestra en vista de que

Ejemplos de argumentos

Enfriar los átomos equivale a retardar su movimiento, puesto que la temperatura es una medida de qué tan rápido se están moviendo los átomos o las moléculas (el cero absoluto es la inmovilidad total)

sin embargo…

Dentro de 20 años, la única hoja de maple que quede en Canadá podría ser la del emblema nacional. La lluvia ácida está destruyendo los árboles de maple de la zona central y oriental de Canadá, lo mismo que de Nueva Inglaterra.