Sumários
Logicismo Fregeano
2 Março 2026, 15:00 • Bruno Miguel Jacinto
Aula expositiva. Elementos do Teorema de Frege. Definições de número cardinal, zero, sucessor, hereditariedade e número natural. O princípio da indução matemática e a infinidade de números naturais.
Logicismo Fregeano
26 Fevereiro 2026, 15:00 • Bruno Miguel Jacinto
Aula expositiva. A definição implícita de número cardinal por meio do princípio de Hume. O problema de Júlio César. A definição explícita de Frege.
Logicismo Fregeano
23 Fevereiro 2026, 15:00 • Bruno Miguel Jacinto
Aula não-expositiva. Discussão do capítulo 1 e dos §§87-91 do capítulo 5 dos Fundamentos da Aritmética de Frege.
Logicismo Fregeano
19 Fevereiro 2026, 15:00 • Bruno Miguel Jacinto
Aula expositiva. Do que trata a matemática? Introdução à resposta de Frege à pergunta: O que é um número? O princípio do contexto de Frege. A análse Fregeana de predicações númericas como predicações de segundo-nível. A rejeição da tese de que números são conceitos de segundo-nível. Apresentação da ideia de abstracção lógica.
Logicismo Fregeano
12 Fevereiro 2026, 15:00 • Bruno Miguel Jacinto
Aula expositiva. Como podemos reconciliar a natureza aprior do conhecimento matemático com a sua aplicabilidade? Introdução ao idealismo transcendental. A perspectiva de Kant segundo a qual aritmética e geometria incluem juízos sintéticos apriori. Objecções gerais ao idealismo transcendental. Objecções de Frege à filosofia da aritmética de Kant. Introdução ao logicismo de Frege. A conjectura de que os domínios da lógica e da aritmética são idênticos, e de que aritmética inclui apenas juízos analíticos.