Espacio docente - Teaching

Currículo docente:

Profesor de la Universidad de Salamanca desde 1980. Profesor Titular de Lógica (1988). Catedrático de Lógica (1993)

Titulación académica: Licenciado en Historia (Universidad de Salamanca, 1978), Licenciado en Filosofía (Universidad de Salamanca, 1979), Doctor en Filosofía -Lógica- (Universidad de Salamanca, 1983).

*****************

Cursos:

CURSO 2011-2012:

ASIGNATURAS:

Historia y Filosofía de la Lógica: Optativa de 2º de Grado de Filosofía. Segundo cuatrimestre.

PROGRAMA

APUNTES:

Lógica proposicional clásica.

Lista de tautologías

Lista de tautologías notación polaca

Lógica clásica de predicados: definiciones

Lógica clásica de predicados: definiciones II

Selección de teoremas de DNq

Selección de teoremas de DNq II

Selección de teoremas de DNq III

Semántica. Lógica modal.

Sintaxis. Lógica modal.

Teoremas de T

S elección de teroremas de la lógica intuicionista

Lógicas alternativas: Optativa de 4º de Licenciatura en Filosofía. Segundo cuatrimestre.

PROGRAMA

APUNTES:

Lógica de la relevancia. Introducción.

Lógica de la relevancia. Apéndice.

Lógica de la relevancia II.

Lógica de la relevancia III.

Lógica de la relevancia IV.

Lógica II: 2º curso de Grado de Filosofía. Primer cuatrimestre.

PROGRAMA

__________________________

Programa informático para todas las asignaturas:

MaTest: versión actualizada para Windows y para Linux del programa Matrigüity creado por J. M. Méndez y B. García Noriega. MaTest ha sido diseñado en 2008 por C. González.