Programa

Lógica e Epistemologia

Doutoramento Bolonha em Filosofia da Ciência, Tecnologia, Arte e Sociedade

Programa

Estudo das ferramentas formais básicas da lógica proposicional e da lógica de predicados, a sua utilização para a representação do conhecimento e sistemas formais para a modelização de distintos tipos de ações epistémicas, distribuídos nos seguintes temas: 1. Sintaxe e semântica da lógica proposicional; 2. Sintaxe e semântica da lógica de predicados; 3. A linguagem da lógica modal e multimodal; 4. Semântica de mundos possíveis; 5. Lógica do conhecimento e crença; 6. Módulos: a. Abdução: o problema fundamental da epistemologia contemporânea; b. Filosofia computacional da ciência; c. Ações de grupos e conhecimento social.