Centro de Filosofia das Ciências da Universidade de Lisboa

Center for Philosophy of Science of the University of Lisbon


 Knowledge Dynamics in the Field of Social Sciences: Abduction, Intuition and Invention
(CFCUL / Univ. de Sevilha)

 

Projecto Internacional | International Projects

Integrado no Grupo de Investigação Unidade da Ciência | Unity of Science

 

Heads:Olga Pombo/Francisco Salguero

   

OBJECTIVOS / AIMS
  Resumo

La representación del conocimiento ha de atender a un aspecto poco tratado en las teorías sobre la adquisición, la transmisión y la manipulación del mismo: su dinamicidad. Los modelos lógicos de la cognición en todas sus facetas deben ser dinámicos y no estáticos, a diferencia de lo que viene siendo habitual en computación cuando se trabaja con bases de datos cerradas y lógicas deductivas clásicas para extraer inferencias de esos datos, sin tener en cuenta procesos de enriquecimiento o de cambio. Para ello vamos a investigar cómo la lógica epistémica dinámica ofrece un marco adecuado para representar el conocimiento común a una serie de agentes que interactúan socialmente en grupo, su adquisición y su enriquecimiento. Vamos a desarrollar también procedimientos de decisión y de generación del contexto de interpretación mediante la aplicación de lógicas abductivas y de tablas semánticas (DB-tableaux) a la luz de la Semántica de Teoría de Juegos (GTS), lo que nos llevará a un modelo abductivo de la invención e, incluso, de la intuición en la formación de las teorías científicas en el ámbito de las ciencias sociales. Igualmente estudiaremos la aplicación de procesos abductivos y modelos dinámicos epistémicos al pensamiento diagramático, los fenómenos de emergencia en las ciencias sociales y los procesos intuitivos y ficcionales en la generación de conceptos complejos y teorías.

Summary

Knowledge Representation must take account of a not very developed aspect in the theories about acquisition, transmission and manipulation of knowledge: dynamicity. The logical models for cognition must be dynamic instead of static as it is usual in computing when they deal with closed data-bases and apply classical deductive logics to them in order to extract different kind of inferences off those data without considering enrichment or change. To get that we are searching about how Dynamic Epistemic Logic can offer a frame to represent common knowledge for a set of agents who interact in a social group, its acquisition and its enrichment. We will also develop decision procedures and the generation of the contexts for interpretation by means of the application of abductive logics and semantic tableaux (namely DB-tableaux) in a Game Theory Semantics framework (GTS), leading us to an abductive model for invention and for intuition in the development of scientific theories in the field of social sciences. We will also study the application of abductive processes and dynamic models to diagrammatic thought, the phenomena of emergency in social sciences and the intuitive and fictional processes for the generation of complex concepts and theories. 		 

EQUIPA / TEAM
  Membros efectivos
Core team

Em Portugal (CFCUL)

 

 

Em Espanha

  • Francisco José Salguero Lamillar (head) (Lingüística, U. de Sevilla)

  • Cristina Barés Gómez (CSIC)

  • Andrés Cordón Franco (CC. Computación, U. de Sevilla)

  • Hans P. van Ditmarsch (Lógica y FC, U. de Sevilla)

  • David Fernández Duque (Lógica y FC, U. de Sevilla)

  • Luis Fernández Moreno (Lógica y FC, U. Complutense de Madrid)

  • Ignacio Hernández Antón (Lógica y FC, U. de Sevilla)

  • Joost J. Joosten (Lógica y FC. U. de Sevilla)

  • Pascual Martínez Freire (Lógica y FC. U. de Málaga)

  • Ángel Nepomuceno Fernández (Lógica y FC. U. de Sevilla)

  • Mario de Jesús Pérez Jiménez (Computación e I.A., U. de Sevilla)

  • Andrés Rivadulla Rodríguez (Lógica y FC, U. Complutense de Madrid)

  • Fernando Soler Toscano (Lógica y FC. U. de Sevilla).

 

 

PARCERIAS / PARTNERSHIPS

  • Universidade de Sevilha

  • Centro de Filosofia das Ciências da Universidade de Lisboa

ACTIVIDADES FUTURAS / FUTURE ACTIVITIES

ACTIVIDADES REALIZADAS / PAST ACTIVITIES
  • Estadia no CFCUL de Francisco Salguero, de 24 a 26 de Maio de 2011
  • Conferência "A teoria lógico-dinâmica da representação do discurso: inferência e pressuposição", por Francisco Salguero, FCUL, 25 Maio 2011, 15h00, sala 8.2.23
  • Reunião do projecto com a presença de Francisco Salguero, FCUL, 26 de Maio de 2011

FORMAÇÃO PÓS-GRADUADA / POST-GRADUATED STUDIES

 

  • Estágio de Doutoramento de Cristina Barés Gómez  (Instituto de Estudios Islámicos y del Oriente Próximo, IEIOP), entre 13 de Janeiro e 30 de Maio de 2011, na FCUL/CFCUL e sob orientação de Olga Pombo

LINKS E MATERIAIS / LINKS AND MATERIALS
Início / Home