Sumários
Preparação do Ensaio Final
19 Dezembro 2024, 09:00 • Bruno Miguel Jacinto
Ensaio Final: explicação do que se pretende, e apresentação de uma estrutura possível, detalhada, para o ensaio final. Exercício em aula: elaborar estrutura do argumento a apresentar no ensaio e, com base na estrutura, apresentar um primeiro esboço da estrutura do ensaio final.
O século 20
17 Dezembro 2024, 09:00 • Pedro Jorge Santos Freitas
Aspetos da matemática no século 20.
Estruturalismo Ante Rem
12 Dezembro 2024, 09:00 • Bruno Miguel Jacinto
Apresentação do Estruturalismo Ante Rem. Algumas razões a favor do Estruturalismo Ante Rem. Discussão das principais objeções à teoria.
O século 19 (ii)
10 Dezembro 2024, 09:00 • Pedro Jorge Santos Freitas
A matemática no século 19: o cálculo e os fundamentos.
Categoricidade e estruturalismo eliminativista
5 Dezembro 2024, 09:00 • Bruno Miguel Jacinto
Definição da noção de categoricidade de uma teoria. Não-categoricidade da aritmética de Peano de primeira ordem e categoricidade da aritmética de Peano de segunda ordem. Apresentação da tese supervalorativista sobre vagueza e porque esta não oferece uma resposta ao argumento modelo-teorético de Putnam. Apresentação do Estruturalismo Modal, com especial ênfase na reinterpretação que faz dos teoremas de teorias matemáticas. Razões a favor do Estruturalismo Modal. Discussão de objecções ao Estruturalismo Modal.