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