Sistemas unix

Lógica I (curso 2007-08) – Prof. Paloma Pérez-Ilzarbe

Tema 1. Presentación: qué es la lógica y para qué sirve
Objetivos: Comprender cuál es el objeto de la lógica: primera aproximación a lasnociones de argumentación correcta, relación de consecuencia, forma lógica y ley lógica. Comprender el tipo de lógica que vamos a estudiar en este curso: primera aproximación a la noción de lenguajeartificial. Practicar la lectura comprensiva (con el texto Barwise-Etchemendy). Practicar la escritura (haciendo un resumen del texto).

Dónde encontrar el tema: Texto Barwise-Etchemendy (texto pararesumen obligatorio), en la carpeta “Documentos” de Adi. Resumen de los contenidos: En un sentido amplio, la lógica estudia las leyes de la racionalidad. Concretando más, la lógica estudia las leyes de laargumentación correcta. Una cuestión polémica es si las leyes que rigen la relación de consecuencia son simples convenciones o son “naturales” en algún sentido. (Y, en consecuencia, si hay algo asícomo “la” lógica, o hay una pluralidad de lógicas para elegir.) En cualquier caso, una lógica estudia: • cuáles son esas leyes de la argumentación correcta; • por qué son esas las leyes y no otras. Porqué son esas las leyes y no otras es algo que tiene que ver con el lenguaje. Por eso surge la idea de crear un lenguaje artificial, para que se haga explícito, de manera más clara, simple y precisa,eso que hace que unas argumentaciones sean correctas y otras no. En una argumentación correcta debe existir una relación especial entre sus premisas y su conclusión: llamaremos a esa relación"relación de consecuencia". Ese es el objeto más concreto de la lógica. Por el momento, podemos decir que la nota que define a la relación de consecuencia es la transmisión de la verdad. Por eso la relación deconsecuencia está detrás de toda demostración y de toda refutación. Bibliografía complementaria: Introducción de C. Badesa et al., Elementos de lógica formal, Ariel, Barcelona, 1998 (pp. 1-10)....