Sumários

Russell’s Logicism

19 Março 2026, 15:00 • Bruno Miguel Jacinto

1. Type theory;

2. Abductivism;

3. Russellian reduction of arithmetic to logic;

4. Objections.

Extensionalist NeoFregean Logicism

16 Março 2026, 15:00 • Bruno Miguel Jacinto

1. Discussion of Ferreira, F., ‘Zigzag and Fregean Arithmetic’, i, in H. Tahiri (ed.) The Philosophers and

Mathematics, 2018.

2. Mini test.

Extensionalist NeoFregean Logicism

12 Março 2026, 15:00 • Bruno Miguel Jacinto

1. Predicativity;

2. Heck’s predicative system with basic law V;

3. Ferreira’s dual system with basic law V.

Logicismo NeoFregeano Escocês

9 Março 2026, 15:00 • Bruno Miguel Jacinto

Aula não-expositiva. Discussão de "Logicism in the Twenty-First Century", de B. Hale e C. Wright.

Logicismo NeoFregeano Escocês

5 Março 2026, 15:00 • Bruno Miguel Jacinto

Aula expositiva. Reapreciação filosófica do logicismo de Frege. O paradoxo de Russell (para extensões). Do teorema de Frege ao logicismo neo-fregeano de Wright e Hale. O problema de Júlio César e a objecção da má companhia.