Lgica I (curso 2007-08) Prof.

Paloma Prez-Ilzarbe

Tema 1. Presentacin: qu es la lgica y para qu sirve

Objetivos: Comprender cul es el objeto de la lgica: primera aproximacin a las nociones de argumentacin correcta, relacin de consecuencia, forma lgica y ley lgica. Comprender el tipo de lgica que vamos a estudiar en este curso: primera aproximacin a la nocin de lenguaje artificial. Practicar la lectura comprensiva (con el texto Barwise-Etchemendy). Practicar la escritura (haciendo un resumen del texto).

Dnde encontrar el tema: Texto Barwise-Etchemendy (texto para resumen obligatorio), en la carpeta Documentos de Adi. Resumen de los contenidos: En un sentido amplio, la lgica estudia las leyes de la racionalidad. Concretando ms, la lgica estudia las leyes de la argumentacin correcta. Una cuestin polmica es si las leyes que rigen la relacin de consecuencia son simples convenciones o son naturales en algn sentido. (Y, en consecuencia, si hay algo as como la lgica, o hay una pluralidad de lgicas para elegir.) En cualquier caso, una lgica estudia: cules son esas leyes de la argumentacin correcta; por qu son esas las leyes y no otras. Por qu 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 explcito, de manera ms clara, simple y precisa, eso que hace que unas argumentaciones sean correctas y otras no. En una argumentacin correcta debe existir una relacin especial entre sus premisas y su conclusin: llamaremos a esa relacin "relacin de consecuencia". Ese es el objeto ms concreto de la lgica. Por el momento, podemos decir que la nota que define a la relacin de consecuencia es la transmisin de la verdad. Por eso la relacin de consecuencia est detrs de toda demostracin y de toda refutacin. Bibliografa complementaria: Introduccin de C. Badesa et al., Elementos de lgica formal, Ariel, Barcelona, 1998 (pp. 1-10). Trabajo fuera de clase: Leer y comprender el texto de Barwise y Etchemendy, y hacer un resumen de unas 500 palabras, para entregar el jueves 11 de octubre al comienzo de la clase.