The “Lisbon Workshop on the History of Logic” brings together state of the art research on the development of logic in late XIX and early XX centuries. The workshop aims to foster discussion on the interplay between mathematics and logic, pay attention to neglected logicians, and stimulate future work on the field.

Programa:

23 Outubro

10.00 – 11.15 Andrea Reichenberger (Universität Siegen) “Johanna Piesch: A Switching Algebra Pioneer”

11.30 – 12.45 António Zilhão (CFCUL, Letras UL) “Frege’s logic as the physics of the true and the chemistry of thought”

12.45 – 15.00 Lunch

15.00 – 16.15 Tabea Rohr (CNRS & Université Paris Cité) “Frege, Plücker and the Function-Argument Distinction” (online)

16.30 – 17.45 Richard Lawrence (Universität Wien) “Frege vs. the formalists on content and applications of arithmetic ”

24 Outubro

10.00 – 11.15 Wilfried Sieg (Carnegie Mellon University) “Hilbert’s Logicism in Context”

11.30 – 12.45 Dirk Schlimm (McGill University) “Pasch and Klein on axioms and intuition”

12.45 – 15.00 Lunch

15.00 – 16.15 Joan Bertran-San-Millán (CFCUL, Ciências UL) ”Peano’s structuralism”

Workshop realizado em colaboração com o CMAFcIO, Centro de Matemática, Aplicações Fundamentais e Investigação Operacional (UIDB/04561/2020 e UIDP/04561/2020).