Introducción a la lógica clásica Jose A. Díez

Lengua

Castellano

Objetivos

Adquisicón del conocimiento instrumental básico de lógica (lógica proposicional, lógica de primer orden y teoría de conjuntos) necesario para que el estudiante pueda comprender adecuadamente los contendos y fuentes de las asignaturas e investigaciones en filosofía, lingüística y psicología que hacen uso de dicho instrumento formal.

Programa

1. Introducción

1.1. Lógica y argumentación. Formalidad de la lógica.

1.2. Argumentos inductivos y deductivos.

1.3. Niveles lógicos.

1.4. Análisis sintáctico y semántico de las inferencias.

2. Lógico proposicional

2.1. Introducción.

2.2. Presentación del lenguaje.

2.3. Formalización de enunciados en lenguaje natural.

2.4. Semántica formal: consecuencia lógica y verdad lógica.

2.5. Aplicación a la argumentación en lenguaje natural.

3. Teoría elemental de conjuntos

3.1. Introducción.

3.2. Nociones básicas.

3.3. Operaciones básicas.

3.4. Relaciones.

3.5. Funciones.

3.6. Sistemas y morfismos.

4. Lógica de primer orden

4.1. Introducción.

4.2. Presentación del lenguaje.

4.3. Formalización de enunciados en lenguaje natural.

4.4. Semántica formal: consecuencia lógica y verdad lógica.

4.5. Aplicación a la argumentación en lenguaje natural.

Metodología

Curso semipresencial en el que se presentan presencialmente las ideas báscias de cada tema y el alumno las desarrolla y trabaja no presencialmente mediante texto guía y realización de ejercicios del texto guía, con tutoría mediante correo electrónico. Al finalizar cada tema se realiza una sesión presencial en la que se revisan los problemas suscitados por los ejercicios y se introduce el siguiente.

Evaluación

Continuada mediante ejercicios y final mediante prueba.

Bibliografia básica

J. A. Díez, Inicicación a la Lógica, Ariel, Barcelona 2002.