A quem interessar, meu desabafo. Sinceramente, ver o convite desta palestra me trouxe muita tristeza. Como estudante de lógica aqui no Brasil, almejo me inserir numa comunidade profissional e séria de lógicos. Esse tipo de evento parece mostrar um grande descaso com a disciplina, uma vez que dá respaldo para a divulgação de desinformação. Imagino estudantes desprevenidos que irão perder seu tempo e desaprender com esse evento e me espanta que isso seja naturalizado.
Em seg., 22 de mar. de 2021 às 08:01, Bruno Lopes <[email protected]> escreveu: > 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: 25 de março de 2021 (quinta-feira) > Horário: 16:00h GMT-3 > Apresentador: Lukasz T. Stepien (The Pedagogical University of Cracow) > Título: On Inconsistency of Classical Logic > Resumo: As everyone knows, the classical propositional calculus > (zero-order logic, classical propositional logic), is the most fundamental > two-valued logical system. This is needed for construction of the classical > calculus of quantifiers (classical calculus of predicates, first-order > logic), which is necessary to construct the classical functional calculus. > This last one is required to formalize the Arithmetic System. We start by > introducing a notation and we repeat some well-known notions (among others, > the notions of: operation of consequence, a system, consistency in the > traditional sense, consistency in the absolute sense). Next, we present the > result that classical propositional calculus is an inconsistent theory. > > A apresentação ocorrerá pelo Google Meet através do link público > https://meet.google.com/pwi-vcga-vbs . > > -- > Bruno Lopes > Professor Adjunto > Instituto de Computação > Universidade Federal Fluminense > http://www.ic.uff.br/~bruno > > -- > Você recebeu essa mensagem porque está inscrito 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 [email protected]. > Para ver essa discussão na Web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAD-Wq0-v%3DkeP1io5V2iYL_eVqfJ6Vo1v%2BQqoHygOOeMru5KcnQ%40mail.gmail.com > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAD-Wq0-v%3DkeP1io5V2iYL_eVqfJ6Vo1v%2BQqoHygOOeMru5KcnQ%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > -- 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 [email protected]. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CABp6FzKvB83HGyP_UGpTZOUSJPNPvNOg8cP6j_1XQZWLdJ6yrQ%40mail.gmail.com.
