III Escuela de Invierno del Master en Lógica y Filosofía de la Ciencia. "Las lógicas de la lógica"

PROGRAMA

3 y 4 de Marzo de 2016.

Facultad de Filosofía. Sala de Juntas. Campus Unamuno. Edificio FES.  Salamanca.

Jueves 3 de marzo

17-17:30. Presentación. José Miguel Sagüillo, María Manzano y Enrique Alonso

17:30-18:15. Lógica y representación de conocimiento en inteligencia artificial. Maria Antonia Huertas. UOC

18:15-19. La lógica en el razonamiento cualitativo. Alfredo Burrieza. UMA

19-19:45. Modelos geométricos para una interpretación de la lógica elemental. Enrique Alonso. UAM

 

Viernes 4 de marzo

10-10:45. El giro dinámico en lógica. Ángel Nepomuceno. US

10:45-11:30. Un concepto dinámico y relativo de paradoja. José Miguel Sagüillo. USC

11:30-12:15. Confluencias en la lógica híbrida. María Manzano. USAL

12-15-13. Mesa redonda:  Pluralismo lógico.

 

PARTICIPANTES

 

 

ANTONIA HUERTAS

Es licenciada en Matemáticas y en Humanidades y Doctora en Lógica Matemática por la Universidad de Barcelona. Actualmente es profesora agregada de los Estudios de Informática, Multimedia y Telecomunicación de la Universitat Oberta de Catalunya (UOC), directora académica del Máster en Ingeniería Computacional y Matemática   y del grupo de investigación TEKING (Technology-enhanced Knowledge and Interaction) de la UOC. Sus áreas de investigación son la lógica y la representación del conocimiento aplicada a la inteligencia artificial y al e-learning. Ha participado en numerosos proyectos de investigación de lógica y de e-learning y actualmente colabora en el proyecto de la Universidad de Salamanca "Lógica Intensional Híbrida". Más información en https://huertas.wordpress.com

 

ALFREDO BURRIEZA

Es licenciado en Filosofía y Letras (sección Psicología) por la Universidad Complutense de Madrid y  doctor en Filosofía en la UMA. Actualmente es Catedrático de Lógica y filosofía de la Ciencia en la UMA, Director del Departamento de Filosofía (UMA) y Director de la Unidad de Investigación en “Lógica, Lenguaje e Información (Andalucía tech)”, que tiene sede en el Parque Tecnológico de Andalucía (en Málaga). Trabaja en varias líneas de investigación: aplicaciones de la lógica a teorías matemáticas, lógica multimodal para razonamiento cualitativo y lógicas de la conciencia para
sistemas multiagentes. Ha publicado trabajos de estas líneas en diversas revistas como "Acta Informatica (Springer)", "Mathematical Logic Quaterly", "Fuzzy Sets and Systems", "Bulletin of the European Association for Theoretical Computer Science" y otras.

 

ENRIQUE ALONSO

Es licenciado en Filosofía por la Universidad Autónoma de Madrid donde se doctora en 1993 obteniendo el Premio Extraordinario de Doctorado. Ha trabajado en lógicas no clásicas, lógica modal y teoría de la computación, ámbito en el que publica "Introducción a la Teoría de la Computación" en 1997. Sus intereses evolucionan a partir de ahí hacia la historia y los fundamentos de la Lógica publicando junto a María Manzano varios artículos en HPL o Syntehese. Es coeditor de "The Life and Work of Leon Henkin" monografía publicada en Birkhauser-Springer en 2014. También ha desarrollado su investigación en el campo de los estudios sobre las tecnologías de la información donde ha publicado dos monografías, "La Quimera del usuario", Abada 2012 y "El Nuevo Leviatán", Díaz & Pons 2015. También trabaja en el desarrollo de aplicaciones orientadas al estudio de los movimientos de "big data" en las redes sociales.

 

ÁNGEL NEPOMUCENO

Es Catedrático de Lógica y Filosofía de la Ciencia en la Universidad de Sevilla. Ha realizado diversas estancias en centros extranjeros (University of Leeds; Instituto de Investigaciones Filosóficas de la UNAM; Université de Lille3; Universidade de Lisboa). Actualmente trabaja en lógicas no clásicas, en general, estudio lógico de la abducción y lógica epistémica dinámica. Integrante de la Unidad de Investigación de Lógica, Lenguaje e Información (Andalucia Tech); IP del GILLIUS, web: http://grupo.us.es/ghum609/php/, así como de varios proyectos de investigación (en vigor: Dinámica de la Información: Razonamiento, Interacción y Abducción -DIRIA-, Ministerio; Interpretaciones Alternativas de Lógicas No Clásicas -IALNoC- Junta de Andalucía). Publicaciones en los últimos cinco años en The Review of Symbolic Logic, Logic Journal of the IGPL, Journal of Applied Logic, Teorema y Crítica.

 

JOSÉ MIGUEL SAGÜILLO

Es licenciado en Filosofía y Ciencias de la Educación por la Universidad de Santiago de Compostela. M.A. en SUNY-Buffalo bajo la cobertura de la beca Fulbright  y supervisión de John Corcoran. Doctor en Lógica por la Universidad de Santiago. Ha sido visitante investigador en varias ocasiones en Buffalo y Berkeley. Actualmente es catedrático de Lógica y Filosofía de la Ciencia en la Universidad de Santiago de Compostela. Su investigación se ha centrado en la consecuencia lógica tanto en la concepción modelo-teorética como en la info-teorética. Temas de investigación asociados en epistemología formal son las pruebas, las paradojas y algunas falacias. Ha publicado artículos especializados en el BSL, HPL, Teorema, Theoria y, recientemente, el libro El Pensamiento Lógico-Matemático en AKAL.

 

MARÍA MANZANO

Es Doctora en Lógica por la Universidad de Barcelona y becaria Fulbright en UC, Berkeley bajo la dirección de Leon Henkin. Catedrática de Lógica y Filosofía de la Ciencia en la Universidad de Salamanca. Investigación en Lógicas de Orden superior, Teoría de modelos, Lógicas para la informática, Lógicas para la filosofía, Historia de la lógica y Herramientas para la enseñanza de la lógica. Proyecto de investigación vigente: Hybrid Intensional Logic. Libros publicados en editoriales tales como Cambridge University Press, Oxford University Press, Alianza Editorial y Springer. Artículos especializados en revistas tales como HPL,  JPL, Synthese y BSL.

 

 

En el curso 2023-2024 la sede del máster es la Universidad de Granada

El máster da acceso al doctorado interuniversitario en Lógica y Filosofía de la Ciencia

Aquí puedes conocer a nuestros alumnos

Enciclopedias, revistas, sociedades, bibliotecas virtuales

Encuentra aquí los últimos libros publicados por nuestros profesores

Trabajos fin de máster realizados por nuestros alumnos

Conoce a los coordinadores de cada Universidad

Conoce a nuestros profesores

Toda la información en un solo texto

Ciclo de conferencias anual

Nuestro decálogo de honestidad intelectual

Nuestro sistema de garantía de calidad