Sala 6.2.33, Ciências ULisboa (com transmissão através de videoconferência)
Por José Mestre (Stirling/St Andrews and LanCog - CFUL).
In Begriffsschrift, Frege set out to formulate a language powerful enough to express every mathematical thought. Central to this undertaking was his introduction of the notion of a function. It was this notion that underpinned not only his invention of the quantifier-variable notation but also a kind of synthesis of earlier traditions in logic. Calling it a ‘synthesis’, however, may be misleading. In this talk, I argue that an adequate understanding of the role functions had to play for Frege shows that, in one relevant sense of ‘property’, the values of higher-order variables cannot be properties in his system.
Zoom | ID da reunião: 890 8479 3299 - senha de acesso: 409604
16h00
CMAFcIO - Centro de Matemática, Aplicações Fundamentais e Investigação Operacional
