Sumários
Preparação do Ensaio Final
14 Dezembro 2023, 09:00 • Bruno Miguel Jacinto
Aula sobre o que se pretende com o ensaio final, e como escrevê-lo e estruturá-lo. Exercício em aula: após leitura de um texto sobre o problema da indiscernibilidade para o ante rem estruturalismo, os alunos tiveram que oferecer um argumento acerca do tópico, e criar a estrutura de um ensaio baseado nesse argumento.
Apresentações
12 Dezembro 2023, 09:00 • Pedro Jorge Santos Freitas
Apresentações orais dos alunos para avaliação.
Estruturalismo
7 Dezembro 2023, 09:00 • Bruno Miguel Jacinto
Revisão sobre estruturalismo modal, os seus principais méritos e alguns dos seus problemas. Apresentação das teses principais defendidas por estruturalistas ante rem. Apresentação das principais motivações a favor do estruturalismo ante rem, e discussão de algumas das objeções existentes a esta posição. Breve discussão sobre posições ainda mais recentes em filosofia da matemática - em particular, de uma forma de logicismo neoRusselliano.
Apresentações
5 Dezembro 2023, 09:00 • Pedro Jorge Santos Freitas
Apresentações orais dos alunos para avaliação.
O que números não poderiam ser, e categoricidade
30 Novembro 2023, 09:00 • Bruno Miguel Jacinto
Apresentação da tese conjuntista, segundo a qual todos os objectos matemáticos são conjuntos puros. Discussão do problema da identificação de Benacerraf enquanto objeção à tese conjuntista. Introdução aos conceitos de sistema de objetos, modelo, isomorfismo e categoricidade. Apresentação do teorema de Dedekind que demonstra a categoricidade da aritmética de Peano de segunda-ordem. Apresentação da posição estruturalista, e de como estes encaram o teorema da categoricidade. Distinção entre estruturalismo eliminativista e não-eliminativista, e discussão sobre os méritos e problemas com o estruturalismo modal (eliminativista).