Essa semana esta acontecendo em Kirchberg na Austria o evento: 41st International Wittgenstein Symposium 2018 http://www.alws.at/symposium/41st-international-wittgenstein-symposium-2018/ Tem boa representacao do Brasil com dois palestrantes convidados do Brasil, a Itala e eu e a participacao de outros brasileiros tal que o Marcos Silva e o Anderson Nakano. O Anderson da USP ganhou um dos dois premios que sao atribuidos aos melhores trabalhos de jovens, um para um rapaz, outro para uma rapariga.
E a primeria vez que estou paricipando deste evento, e contraramente ao que achava (e ao que muitos pessoas acreditam) nao é um evento sobre Wittgenstein. Cada ano tem um tema, este ano é filosofia da logica e da matematica. Qualquer palestra sobre este o tema do ano é bemvindo. Nao é necessaria falar do Wittgenstein ou do filho dele (alguns anos atras escrevi um artigo sobre tal filho, que nao e muito conhecido http://jyb-logic.org/papers12-11/barcan%20wittgenstein.pdf ) Tivemos uma palestra do Jan von Plato sobre Gödel na base de manuscritos do Gödel que foram recentemente publicados e que ele estudou em detalho. Se encontra nesses documentos provas que funcionam com na deducao natural, todavia acho meio exagerado dizer que o Gödel inventou, com o von Plato falou, a DN antes do Gentzen e do Jaskowski (para quem nao conhece historia da DN ver: https://www.iep.utm.edu/nat-ded/ ) porque o Gödel nao apresentou / estudou um sistema de DN O evento tem a participacao de cerca de 200 pessoas do mundo inteiro, sendo entao um dos mais importante congresso de filosofia annual no mundo a duracao é de 6 dias, de segunda a sabado, com eventos sociais quase todos os dias. Acontece na montanha a vacas perto de Vienna onde Wittgensteni foi morar, quando depois de ter escrito o Tractatus ele abandonou o mundo academico e virou professor de escola segundario tal que contado nas biografias do William Bartley III e Ray Monk. Na minha palestra mostrei que no Tractatus tem ume definicao de consequencia logica igual a do Tarski 1935 (mas so para a logica proposcional) e que o Wittgenstein considera a logica propositional com uma algebra booleana. JYB -- 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 postar neste grupo, envie um e-mail para [email protected]. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAF2zFLCRWtvDQj%3DGayA-CnsRznxd8bEn2TxM77h7MgeePjzPFA%40mail.gmail.com.
