Epistemologia e Metodologia | Epistemology and Methodology
Centro de Filosofia das Ciências da Universidade de Lisboa
Grupo de Lógica, Lenguaje y información da Universidad de Sevilha
Acções Integradas Luso-Espanholas - 2.500,00 Euros
Concluído | Concluded
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.
Alexander Gerner
Ana Paula Silva
Catarina Pombo Nabais
Hassan Tahiri
João Araújo
João Luís Cordovil
José Croca
José Manuel Pombeiro
Juan Redmond
Luís Homem
Marco Pina
Nuno Jerónimo
Andrés Cordón Franco
Ángel Nepomuceno Fernández
Cristina Barés Gómez
Fernando Soler Toscano
Francisco José Salguero Lamillar
Hans van Ditmarsch
Ignacio Hernández Antón
Mario de Jesús Pérez Jiménez
Andrés Rivadulla Rodríguez
Luis Fernández Moreno