Sumários

Paradoxo de Russell e NeoFregeanismo

10 Outubro 2024, 09:00 • Bruno Miguel Jacinto

Na aula foram cobertos os seguintes tópicos: Paradoxo de Russell e a sua resolução em teoria dos conjuntos; Paradoxo de Russell como demonstrando a falsidade lógica da Lei Básica; Princípio de Hume e o Problema de César; NeoFregeanismo; Objeção das más companhias ao NeoFregeanismo.

Grécia (ii)

8 Outubro 2024, 09:00 • Pedro Jorge Santos Freitas

Matemática Grega: Arquimedes, Ptolomeu e Diofanto.

Teorema de Frege e tentativa de redução da aritmética à lógica

3 Outubro 2024, 09:00 • Bruno Miguel Jacinto

Cobrimos os seguintes tópicos na aula:

1. A natureza dos números naturais, para Frege;

2. Um argumento Fregeano para o carácter abstracto dos números;

3. Um argumento Fregeano para a existência necessária de números;

4. Teorema de Frege, e o seu papel no argumento de Frege que a aritmética nada mais é que lógica.

5. Papel da Lei Básica V no argumento Fregeano.

Grécia (i)

1 Outubro 2024, 09:00 • Pedro Jorge Santos Freitas

A matemática na Grécia Antiga: Tales, Pitágoras e Euclides.

Introdução ao Logicismo de Frege

26 Setembro 2024, 09:00 • Bruno Miguel Jacinto

1. Mini-teste #1;

2. Introdução ao Logicismo de Frege, em particular: argumento de Frege para a existência de números naturais; o papel de princípios de abstração na obtenção de conhecimento de entidades abstratas; definição de Frege de números naturais em termos do operador cardinal.