Lógica 2

El curso tiene carácter electivo. Ofrece una introducción a temas seleccionados de alguna de las siguientes áreas: lógicas no-clásicas, metalógica, lógicas de orden superior, teoría de conjuntos, semántica formal y filosofía de la lógica. El curso tiene un componente técnico y un componente crítico. En el componente técnico, se estudiarán los conceptos básicos, métodos y principales resultados de la temática seleccionada. En el componente crítico, se analizarán las motivaciones y problemas filosóficos fundamentales de los temas pertinentes así como sus aplicaciones más importantes en la Filosofía, la Lingüística y la Informática, entre otros.