Fakulta filozofická; Katedra románských jazyků

12.04.,10.30, Joan Bertran-San Millán - The title of the talk: Frege’s Begriffsschrift in context. 

Abstract: According to a traditional interpretation, the formal system Frege proposed in Begriffsschrift (1879) is an essentially correct formal system for second-order logic: the first one in the history of the discipline. However, this acquired reading contradicts in some substantial ways Frege’s text. In my lectureI will first review the rational motivations that led Frege to develop his early logic. I will then explain why is it reasonable to consider an alternative reading of Begriffsschrift and how this reading can be useful for improving our global understanding of Frege’s work.