Teaching
Teaching
Some courses I taught at the Universidad de Salamanca:
Lógica I (1995/96--2001/02, 2004/05, 2006/07, 2008/09, 2010/11, 2012/13, 2014/15, 2016/17--2018/19, 2021/22--2024/25).
Historia y Filosofía de la Lógica (2007/08, 2009/10--2012/13, 2014/15--2024/25).
Filosofía de la Lógica: nuevas caras del concepto de consistencia (2008/09--2024/25).
Lógicas de orden superior (2017/18--2020/21).
Lógica II (1995/96, 1997/98, 1998/99, 2001/02, 2004/05, 2006/07, 2008/09, 2011/12--2013/14, 2015/16, 2017/18, 2019/20).
Filosofía del hacer matemático (2018/19, 2019/20).
Metalógica (2002/03, 2003/04, 2005/06, 2013/14).
Lógicas alternativas (2003/04--2011/12).
Lógica y Semántica (2001/02--2003/04, 2005/06, 2007/08--2009/10).
Lógica elemental (2007/08, 2008/09).
Extensiones y aplicaciones de la lógica (2002/03, 2003/04, 2005/06, 2007/08).
Lógica matemática elemental (1996/97--2005/06).
Lógica filosófica (1988/99, 1999/2000, 2000/01).
Teoría de modelos (1991/92, 1992/93, 1993/94, 1994/95, 1999/2000, 2000/01).
Fundamentos de lógicas no-clásicas (1995/96, 1996/97).
Lógica matemática básica (1990/91, 1995/96).
Lógica y Metodología de la Ciencia (1981/82, 1982/83, 1984/85, 1986/87, 1988/89, 1990/91--1994/95).
Lógica (1981/82 , 1986/87--1990/91).
Lógica formal (1983/84, 1985/86, 1987/88, 1989/90).
Teoría y Metodología de la Ciencia (1980/81, 1985/86).
Filosofía de la Ciencia (1983/84, 1984/85).