ola, Jean-Yves, vale notar que o prof. Claudio Costa da UFRN tambem esta por aqui. Ele fez ontem uma apresentacao muito instigante defendendo numeros como tropos em um painel sobre filosofia da matematica.
abracos, Marcos On Thu, Aug 9, 2018 at 10:36 AM jean-yves beziau <[email protected]> wrote: > 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ê 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 postar nesse grupo, envie um e-mail para [email protected]. > Acesse esse grupo em > https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. > Para ver essa discussão na Web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAF2zFLCRWtvDQj%3DGayA-CnsRznxd8bEn2TxM77h7MgeePjzPFA%40mail.gmail.com > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAF2zFLCRWtvDQj%3DGayA-CnsRznxd8bEn2TxM77h7MgeePjzPFA%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > -- Marcos Silva https://sites.google.com/site/marcossilvarj/ Philosophie macht Spaß! *new books!* *"How Colours Matter to Philosophy" (Springer, 2017)* http://www.springer.com/us/book/9783319673974 *"Colours in Wittgenstein's Philosophical Development" (Palgrave, 2017)* http://www.palgrave.com/br/book/9783319569185 -- 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/CAGZ3pzJ3g7U7-97zSC%2B5kfiGYhsMu93ikit6KOx6Lj9-axo_KA%40mail.gmail.com.
