Frege’s Logicism

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

Discussion of Chapter 4 of Frege's The Foundations of Arithmetic (José Mestre)

---

Frege’s Logicism

18 Março 2026, 14:00 • Bruno Miguel Jacinto

Discussion of Chapter 4 of Frege's The Foundations of Arithmetic (José Mestre)

---

Introduction to Second-Order Logic

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

Introduction to second-order logic: language, deductive system, model theory, metatheoretical results, and a comparison with first-order logic. A brief discussion of the philosophical implications of second-order logic.

---

Introduction to Second-Order Logic

11 Março 2026, 14:00 • Bruno Miguel Jacinto

Introduction to second-order logic: language, deductive system, model theory, metatheoretical results, and a comparison with first-order logic. A brief discussion of the philosophical implications of second-order logic.

---

Frege’s Logicism

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

Discussion of Chapters 2 and 3 of Frege’s The Foundations of Arithmetic (Discussion led by Mafalda Vale)

---