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, 14:00 • Bruno Miguel Jacinto

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

---

Frege’s Logicism

25 Fevereiro 2026, 14:00 • Bruno Miguel Jacinto

Discussion of the Introduction and Chapter 1 of Frege's The Foundations of Arithmetic.

---

Introdução ao Logicismo

11 Fevereiro 2026, 14:00 • Bruno Miguel Jacinto

Apresentação dos professores e alunos. Apresentação dos objectivos da cadeira, modo de funcionamento, avaliação e outros aspectos do programa. Exposição sobre preparação da aulas de discussão dirigidas pelos alunos, e de como preparar um handout para essas aulas. Exposição sobre os traços gerais de teorias logicistas, e comparação entre as teorias logicistas clássicas.

---