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 -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAD-Wq0_fETGrEYHsEa1sMiR4Z0K6FdgRWS1N%3DEmJAjd-9HHD8g%40mail.gmail.com.