[Iris] Frege and the Emergence of Formalism, 10-11.7, NIG 2G

Dear colleagues, My FWF project will host a workshop titled "Frege and the Emergence of Formalism" on *10-11 July* in *NIG 2G*. The program is below. Everyone is welcome to attend! If you are interested in attending, I'd appreciate a quick note in reply to this message so I can get a headcount. Thanks, and hope to see you there, Richard Lawrence International Workshop "Frege and the Emergence of Formalism" Part of the FWF Project: Frege Among the Formalists Monday 10 July 10:00-11:15 Alan Weir, "Is there life left in formalism?" 11:15-11:30 Break 11:30-12:45 Tabea Rohr, "Frege, Plücker and the function-argument distinction" 1:00-3:00 Lunch and discussion 3:00-4:15 Joan Bertan San Millan, "Frege's early notion of function" 4:15-4:30 Break 4:30-5:45 James Tappenden, "Frege on mechanical and creative thinking" 7PM Dinner for conference speakers Tuesday 11 July 10:00-11:15 Erich Reck, "On the origins of Frege's anti-formalism" 11:15-11:30 Break 11:30-12:45 Günther Eder, "Frege on formal and informal proof" 1:00-3:00 Lunch and discussion 3:00-4:15 Rachel Boddy, "Definition and content in Frege's logic" 4:15-4:30 Break 4:30-5:45 Richard Lawrence, "Frege, formalism and the Kantian legacy"