Sumários

16 Abril 2026, 15:00 • Bruno Miguel Jacinto

1. Term and Game Formalisms;

2. Deductivism.

3. Hilbertian Finitism

13 Abril 2026, 15:00 • Bruno Miguel Jacinto

1. Discussion of Jacinto, B. ’Finitary Upper Logicism’.

2. Mini test.

9 Abril 2026, 15:00 • Bruno Miguel Jacinto

1. First-order modal logic;

2. Contingentism vs. Necessitism;

3. Free first-order modal logic.

4. Modal type theory;

5. Higher-order contingentism vs. Higher-order necessitism;

6. Free higher-order modal logic;

7. The theory Upper;

8. Arithmetic with an axiom of infinity

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

1. Questions about argument analysis.

2. Structure and style of the task.

3. Exercise in preparation for the “argument analysis” assignment.

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

1. Discussion of Klement, K. ’Neo-Logicism and Russell’s Logicism’.

2. Mini test.