Seminário remoto "Lógicos em Quarentena" 11/03/2021 (quinta-feira) 16:00h

[Bruno Lopes]

Numa iniciativa conjunta da Sociedade Brasileira de Lógica e do Grupo de Interesse em Lógica da Sociedade Brasileira de Computação, gostaríamos de convidar a todos a participarem do Seminário "Lógicos em Quarentena". Trata-se de um seminário remoto com apresentações informais por membros da comunidade e espaço para perguntas no fim. As apresentações usualmente são gravadas e disponibilizadas na página do evento http://lq.sbl.org.br (com a agenda completa).

Data: 11 de março de 2021 (quinta-feira)
Horário: 16:00h GMT-3

Apresentador: Bruno Bentzen (Czech Academy of Sciences)
Título: What went wrong with Frege's theory of types?
Resumo: In this talk, I will argue that Frege's sharp distinction between object and function terms on the basis of their saturation anticipates a version of simple type theory in Grundgesetze, although Frege vacillates between viewing functions as closed terms of a function type and viewing functions as open terms formed through a hypothetical judgment. In the end, it seems that Frege fails to express his logical views consistently because his own logicist ambitions require him to endorse the infamous conception of value-ranges as objects, without which Basic Law V cannot even be formulated in the system of Grundgesetze.

A apresentação ocorrerá pelo Google Meet através do link público https://meet.google.com/fev-attm-vfy .

--

Bruno Lopes

Professor Adjunto

Instituto de Computação

Universidade Federal Fluminense

http://www.ic.uff.br/~bruno