Logo FyL

Situación profesional actual
Categoría profesional: Titular de Universidad Fecha de inicio: 10-03-1986

Formación Académica
Licenciado en Filosofía por la UAM, 12-04-1984.
Doctor en Filosofía por la UAM, 15-10-1985.

Idiomas
Francés e inglés.

HISTORIAL CIENTÍFICO
Participación en Proyectos de I+D financiados en Convocatorias públicas.
- Investigador principal del proyecto LA GEOMETRÍA DE LA DEMOSTRACIÓN, BFF-2003-08998-C03-03, de diciembre de 2003 a diciembre de 2006. Número de investigadores: 2-
- Investigador principal del proyecto ALGORITMOS Y DEMOSTRACIONES, BFF2000-1273-C04-02, financiado por la DGI. 19 de diciembre del 2000 a 10 de diciembre del 2003. Número de Investigadores: 2.
- Investigador principal del subproyecto 2 del proyecto coordinado MODALIDAD Y PARCIALIDAD EN INTELIGENCIA ARTIFICIAL, PB96-C05-02. Financiado por la DGES Del 1-10-1997 al 1-10-2000. Número de Investigadores: 2 (en subproyecto).
- Investigador principal del proyecto PARADOJAS, VERDAD Y LÓGICA, PS93-0041. Financiado por la DGCYT Del 27-06-1994 al 27-06-1997. Número de Investigadores: 3.
- Investigador principal del proyecto TEORÍAS PARACONSISTENTES DE LA DEMOSTRACIÓN, financiado por la U.A.M. en la convocatoria Grupos precompetitivos. De mayo de 1990 a mayo de 1991. Número de Investigadores: 3.
- Participante en el proyecto FFI2011-23125 "La argumentación en la esfera pública: el paradigma de la deliberación" (PADEL), 2012-2014
- Participante en el proyecto FFI2008-00085: "La trama de la argumentación: bases conceptuales e implicaciones filosóficas". 2009- 2011.
- Participante en el proyecto Alfa TOOLS FOR TEACHING, financiado por la Comisión Europea. 1998 a 2000. Número de Investigadores: 8.
- Participante en el proyecto EL DESARROLLO DE LAS TEORÍAS E INSTITUCIONES CIENTÍFICAS EN LA ITALIA DE LA ILUSTRACIÓN, PB 87-0099, financiado por la CAICYT, durante el año 1988.
- Participante en el proyecto de red temática Erasmus MULTICOM, 133996-LLP-1-2007-1-FR-ERASMUS-ECDSP para el diseño de nuevos grados en al ámbito de la comunicación multilingüe. 2007-2010.

Publicaciones o Documentos Científico-Técnicos

LIBROS
- Bertrand Russell, un intelectual británico. Barcelona, Montesinos, 2009.
- Methodus Argumentandi. Madrid, Ediciones de la UAM, 2007.
- Introducción a la teoría de los sistemas deductivos. Madrid, Ediciones de la UAM, 1998. ISBN 84-7477-678-3
- Teoría de modelos elemental. Madrid, Ediciones de la UAM, 1990. ISBN 84-7477-278-8.
- Sistemas deductivos tipo Gentzen (coautor con P.Navarro). Madrid, Ediciones de la UAM. ISBN 84-7477-136-8.

ARTÍCULOS Y CAPÍTULOS DE LIBROS

- “Las razones del necio/Fool’s reasons”. Bajo Palabra 7, 2012: 533-54.
- Compendio de lógica, argumentación y retórica, L. Vega y P. Olmos (eds.). Madrid, Trotta, 2011. Entradas: Conectiva/Conector; Derivación/Derivabilidad; Formal, sistema; Inferencia, reglas de.
- ‘¿Realmente hay buenos y malos argumentos?’. Cuadernos UCAB, Caracas, nº9, 2011, pp.35-44..
- ‘Argumentos suposicionales, razones y premisas’. Tópicos nº 39, México, 2010, pp. 153-165.
- ‘La analogía como transferencia argumentativa’. Teoría 59, 2007, pp. 167-188.
- ‘Negación, aditivos y multiplicativos’, en Lógica, filosofía del lenguaje y de la lógica, A. Nepomuceno et al. (eds.), Sevilla Mergablum, 2007; págs. 189-201.
- ‘Paraconsistent logic: a proof-theoretical approach’. Teorema XXV/2, 2006, pp. 5-24.
- ‘Lógica y argumentación. La estructura de la argumentación’. Azafea nº 8, 2006, pp. 103-120.
- ‘Teoría de la demostración’ en Summa Logicae en el siglo XXI, M. Manzano, comp., Ediciones de la Universidad de Salamanca, Colección Unimedia, nº5, ISBN 84-7800-627-3.
- ‘La lógica que aprendimos’, con Enrique Alonso, en Theoria vol.18, núm.48, sept.2003, pp. 327-349.
- ‘Sorites paradox from a logical point of view’ en La filosofía analítica en el cambio de milenio, J.L.Falguera, U.Rivas y J.M.Sagüillo, comps., pp. 78-86, Santiago de Compostela, Publicaciones de la USC, 1999. ISBN 84-8121-786-7.
- ‘Razonamiento aproximado y grados de consecuencia’. Éndoxa 10, 1997, pp.49-64.
- ‘Mk es completa pero no decidible en primer orden’ en Wokshop on model theory and complexity, J.Borrego y F.Salguero, comps., pp.97-112, Sevilla, Kronos, 1997. ISBN 84-88620-08-X.
- ‘Lógica modales y ciclos finitos’ en Lenguajes naturales y lenguajes formales XII, C.Martín Vide, comp., pp.75-84, Barcelona, PPU, 1996. ISBN 84-477-0575-7.
- ‘Lógicas modales proposicionales normales sin interpolación’. Éndoxa, 2, 1993, pp. 171-176.
- ‘Una implementación de la lógica de las paradojas’ en Actas del I congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España, pp.94-97, E.Bustos, J.Echeverría, J.Pérez Sedeño y M.Sánchez Balmaseda, comps., Madrid, UNED, 1993. ISBN 84-604-8342-8.
- ‘Inferencia clásica y sinonimia oracional’ en Conocimiento y acción, J.Pérez Ballestar, comp., pp.164-175, Salamanca, Ediciones de la Universidad de Salamanca, 1990. ISBN 84-7481-596-7.
- ‘El enfoque deíctico-nomológico de Putnam de los términos de género natural’. Teorema 15, 1989, pp.167-179.

VI/4
ABSTRACTS PUBLICADOS
- ‘Completeness on Restall’s 4-valued semantics’, The Bulletin of Symbolic Logic vol.3, nº2, junio de 1997, pp.270-271.
- ‘Set theoretical semantics for many valued logics’, Journal of Symbolic Logic vol.55, 1990, pp.417-418.
- ‘General relational semantics for Lukasiewicz logics’, Journal of Symbolic Logic vol.54, 1989, pp.662-663.
- ‘Analytic tableau calculi and natural deduction for propositional modal systems’. Journal of Symbolic Logic vol.51, 1986.
- ‘Modalidades finitas’ pp.448-450 de II Congreso de la Sociedad de lógica, metodología y filosofía de la ciencia en España, A.Estany y D.Quesada, comps., 1997, Barcelona. ISBN 84-600-9372-7.

RECENSIONES.
- C.E. Alchourrón, J.M.Méndez y R.Orayen, comps., Enciclopedia Iberoamericana de Filosofía: Lógica, volumen 7. Isegoría 16, mayo de 1997, pp. 264-265.
- AA.VV. Antología de la lógica en América Latina. Theoria 7, 1992, pp.1.242-1.244.

TRADUCCIONES
- Diccionario Cambridge de Filosofía (con E.Alonso), Robert Audi, comp. Madrid, Akal. 2004.
- Wittgenstein sobre la ética y la creencia religiosa de Cyril Barrett. Madrid, Alianza, 1993.
- Wittgenstein. El joven Ludwig (1889-1921) de Brian MacGuiness. Madrid, Alianza, 1991.
- Filosofía de la ciencia e investigación histórica de John Losee. Madrd, Alianza, 1989.
- ‘Empirismo y búsqueda del conocimiento’ de Dudley Shapere. Teorema XII/l-2, 1982, pp. 5-26. (Con G.Solana Díez).
- La nueva filosofía de la ciencia de Harold Brown. Madrid, Tecnos, 1983. (Con G.Solana Díez).

Contribuciones a Congresos

CONFERENCIAS, COMUNICACIONES Y PONENCIAS POR INVITACIÓN.
- ¿Pato o conejo? Qué ver cuando miramos a un argumento. Conferencia magistral dictada en el XV Encuentro Internacional de Didáctica de la Lógica celebrado en la Universidad del Centro de México, San Luis de Potosí, celebrado los días 5 y 9 de noviembre de 2012.
- “El lugar de la argumentación en los estudios de Filosofía”. Ponencia presentada en el Simposio Teoría de la argumentación: problemas y perspectiva, adscrito al VII Congreso de la SLMFC, celebrado en Santiago de Compostela del 18 al 20 de julio de 2012.
- ‘Programación de cursos de argumentación en Filosofía’. Conferencia magistral dictada en el XIV Encuentro Internacional de Didáctica de la Lógica celebrado en la Universidad Autónoma de la Ciudad de México, los días 7 y 8 de noviembre de 2011.
- ‘La autoridad del necio’. Conferencia invitada, Primer Coloquio Internacional sobre Argumentación Carlos Vaz Ferreira, celebrado en Montevideo, el 3 y 4 de noviembre de 2011.
- ‘Argumentum ad ignaros’. International workshop Argumentation: The state of the Art. Madrid, UAM-UNED, 4 a 6 de mayo de 2011.
- ‘La estructura y la fuerza de los argumentos’, conferencia invitada al XIII Encuentro Internacional de Didáctica de la Lógica’, celebrado en la Universidad Michoacana de San Nicolás de Hidalgo, Morelia (México), del 8 al 12 de noviembre de 2010.
- ‘De la fuerza de los argumentos’ conferencia invitada al Simposio Internacional de Lógica que se celebra en el marco del VII Congreso Nacional de Filosofía, Caracas, del 1 al 4 de junio de 2010.
- ‘Lo que la lógica puede aprender del análisis del lenguaje’. Seminario Miradas científicas en torno al lenguaje, Madrid UAM, 22 de abril de 2008.
- ‘La importancia del método’. Curso de humanidades contemporáneas El género policíaco en la literatura y en el cine. Madrid UAM, 13 de marzo de 2008.
- ‘La esperanza y los límites del mundo’. II Congreso Nacional de Teléfonos de la Esperanza Independientes de España, Burgos, 18 de Junio de 2005.
- ‘A symmetric sequent calculus for intuitionistic propositional logic’. Project Calculus. ILLC- Universidad de Amsterdam, 2005.
- ‘La estructura de los argumentos’. Universidad de Salamanca 18 de diciembre de 2003, Seminario permanente del Dº de Filosofía, Lógica y Filosofía de la Ciencia, Universidad de Salamanca.
- ‘El lugar de la lógica en los estudios de Filosofía’. Homenaje a Alfredo Deaño. El Panorama de la lógica 25 años después. Celebrado en la Facultad de Filosofía de la UAM el 7 de mayo de 2003.
- ‘Some results on modal logics not characterizable in first-order logic’. Workshop on model theory and logical complexity. Universidad de Sevilla, septiembre de 1995.
- ‘Árboles finitos: gramática y lógica modal’. Departamento de Lógica y Filosofía de la Ciencia de la Universidad de Málaga, mayo de 1997.
- ‘Algunas modalidades no compactas’. Facultad de Filosofía de la Universidad de Salamanca, junio de 1998.
- ‘Lógicas polivalentes’ curso impartido en la Escuela de Verano de Lógica de la Universidad del País Vasco. San Sebastián, julio de 1998.
- ‘Lógicas modales y ciclos finitos’. XII congreso sobre lenguajes naturales y lenguajes formales. La Seo de Urgel (Lérida), septiembre de 1996.
- ‘La teoría de Putnam de los términos de género natural’. Coloquio sobre la filosofía de la ciencia de Hilary Putnam. Universidad Complutense, marzo de 1985.
- ‘Perspectivas actuales en filosofía del lenguaje’. Curso de actualización científica y didáctica para profesores de filosofía. Madrid, enero-febrero de 1988.
- ‘La paraconsistencia como criterio de relevancia’. Facultad de Filosofía, Universidad de Salamanca, abril de 1989.
- ‘Algunas lógicas modales proposicionales normales sin la propiedad de interpolación’. Facultad de Filosofía, Universidad de Sevilla, septiembre de 1990.

PONENCIAS
- ‘La complejidad del razonamiento inductivo’, IV Congreso de la SLMFCE, 5 de noviembre de 2004, Universidad de Valladolid.
- ‘Crucigramas y demostraciones’. Comunicación en el Simposio Modern Logic and Its Spanish Reception, Universidad de Oviedo, 12 de agosto de 2003.
- ‘El mito de la negación intuicionista’. Ponencia, II Congreso Iberoamericano de Filosofía de la Ciencia y la Tecnología. Santa Cruz de Tenerife, 26-30 de septiembre de 2005.
- ‘A symmetric sequent calculus for intuitionistic propositional logic’. Comunicación. Amsterdam, 27-29 de junio de 2005.
- ‘Demostrabilidad, refutabilidad y razonamiento por defecto’ (con E.Alonso González). Workshop on Logic and Language, JOLL 2000, Sevilla, noviembre-diciembre del 2000.
- ‘Sorites paradox from a logical point of view’. Congreso La filosofía analítica en el cambio de milenio/Analytic Philosophy at the Turn of the Milenium. Santiago de Compostela, diciembre de 1999.
- ‘Modalidades finitas’. II Congreso de la Soc. de Lógica, Metodología y Filosofía de la Ciencia en España. Barcelona, UAB, febrero de 1997.
- ‘Completeness on Restall’s 4-valued semantics’. Logic Colloquium 96. San Sebastián, julio de 1996.
- ‘Gentzenización y dedicibilidad de EW’. Encuentro de lógica y filosofía de la ciencia, Rudolf Carnap y Hans Reichenbach In Memoriam. Universidad Complutense de Madrid, noviembre de 1991
- ‘Set theoretical semantics for many-valued logics’. Logic Colloquium 88. Padua, agosto de 1988.
- ‘Analytic tableau calculi and natural deduction for Lukasiewicz logics’. Logic Colloquium 87, Granada, julio de 1987.

MESAS REDONDAS
- ‘La necesidad de la escritura’, mesa redonda del Curso de humanidades contemporáneas de la UAM “Símbolos, signos, grafías. Los sistemas de escritura de la Antigüedad al presente”, a celebrar el 24 de febrero de 2010.
- ‘Definición de los programas de formación en comunicación plurilingüe dentro del EEES’. Mesa redonda. Jornadas sobre nuevas profesiones en el ámbito de la comunicación plurilingüe. UAM-Instituto Francés de Madrid, 2006.
- ‘Esquemas argumentativos indirectos’, participación en mesa redonda sobre teoría de la argumentación, simposio asociado al IV Congreso de la SLMFCE, Universidad de Valladolid, 4 de noviembre de 2005. Publicado en el Boletín de la SLMFCE.
- ‘Realismo y virtualidad’, mesa redonda en el Curso de Humanidades Contemporáneas de la UAM Creatividad literaria y realidad virtual. 22 de febrero de 1996.
- Mesa redonda Issues and objectives in teaching logic, junto con A.Nepomuceno y F.Salguero. Congreso Tools for Teaching. Salamanca, junio del 2000.
- Mesa redonda sobre la semántica de Putnam, junto a A.García Suárez, J.Mosterín y H.Putnam. Coloquio sobre la filosofía de la ciencia de Hilary Putnam. Universidad Complutense, marzo de 1985.

ORGANIZACIÓN DE CONGRESOS
- Miembro del comité científico del IX Congreso Internacional de Lingüística Francesa, celebrado en la Universidad Autónoma de Madrid, del 24 al 26 de noviembre de 2010.
- Miembro del comité asesor del 2nd International Congress on Tools for Teaching Logic, 26-30 September 2006, Salamanca.
- Miembro del comité científico del Third International Congress on Tools for Teaching Logic, Salamanca 1-4 de junio de 2011.

Trabajos dirigidos

TESIS DOCTORALES DIRIGIDAS
1. TITULO: Contenido, verdad y consecuencia lógica. DOCTORANDO: Enrique Alonso González. UNIVERSIDAD: UAM. FACULTAD/ESCUELA: Filosofía y Letras. AÑO: 1991. CALIFICACION: Sobresaliente CUM LAUDE
2. TITULO: Estudio del lema de interpolación en diversos lenguajes formales. DOCTORANDO: Cristina Corredor Lanas. UNIVERSIDAD: UAM. FACULTAD/ESCUELA: Filosofía y Letras. AÑO: 1990. CALIFICACION: Sobresaliente CUM LAUDE
3. TITULO: Sistemas formales afines a la semántica de situaciones. DOCTORANDO: Juan Barba Escribá. UNIVERSIDAD: UAM. FACULTAD/ESCUELA: Filosofía y Letras. AÑO: 1988. CALIFICACION: sobresaliente CUM LAUDE

TRABAJOS DE FIN DE MÁSTER DIRIGIDOS
Corina Yoris Villasana, “La fuerza de los argumentos por analogía”, leída el 4 de septiembre de 2009, dentro del máster en Lógica y filosofía de la ciencia ofrecido por las universidad de Salamanca, Santiago de Compostela, La Laguna, Valladolid y A Coruña, y el Instituto de Filosofía del CSIC.
José David Sánchez Melero, “Elementos para una sistematización de las cuestiones críticas de los esquemas argumentativos”, leía el 10 de octubre de 2011, dentro del Máster en Crítica y Argumentación Filosófica de la UAM.

MEMORIAS DE LICENCIATURA DIRIGIDAS
E.Alonso González, “El lenguaje modal de la teoría de la demostración”, UAM, 1987.
J.Barba Escribá, “Modelos de Kripke para la semántica supervaluacional”, UAM 1987.
C.Corredor Lanas, “Propuesta formal de una lógica epistémica de lo real”, UAM 1989.

Otros méritos

CARGOS ACADÉMICOS DESEMPEÑADOS
Secretario académico del Departamento de Lingüística, Lenguas Modernas, Lógica y Filosofía de la Ciencia, de 1986 a 1988.
Delegado del Rector para Investigación. De mayo de 1994 a julio de 1997.
Vicedecano de Ordenación académica y planes de estudio de la Facultad de Filosofía y Letras de la UAM. De marzo del 1998 a julio del 2001.
Decano de la Facultad de Filosofía y Letras, de marzo 2004 a noviembre de 2009, ambos incluidos.
Coordinador de acción tutorial de la Comisión Técnica de Seguimiento del Grado en Filosofía, desde diciembre de 2009.
Miembro de la Comisión Técnica de Seguimiento del grado en Lenguas Modernas, Cultura y Comunicación, desde diciembre de 2009.
Representante de profesores funcionarios en el Claustro de la UAM, desde 1999.

SEXENIOS DE INVESTIGACIÓN RECONOCIDOS: 3.
Último sexenio evaluado 2001-2007.

QUINQUENIOS DOCENTES RECONOCIDOS: 5.
Fecha del último quinquenio evaluado 31/12/2009

VARIOS.
- Representante de la UAM en la Comisión de Evaluación del diseño en el Libro Blanco del título de grado en Filosofía de la ANECA, 2004-2005.
- - Miembro del Consejo Asesor de la Revista Iberoamericana de Argumentación desde su fundación (2010).
- Miembro del Comité de Redacción de la revista Éndoxa desde julio de 2010.
- Socio de honor de UNE (Unión de Editoriales Universitarias Españolas) desde el 16 de noviembre de 1999.
-