Aproveitando o gancho, aconteceram três eventos interessantes nestas duas últimas semanas por aqui em Bochum. O *PHDs in Logic*, em particular, foi muito bom e com muita gente nova: filósofos---a maioria sem barba :-D---, cientistas da computação, matemáticos e híbridos destas áreas com outras, gente de várias partes do globo, incluindo meia dúzia de brasileiros. Acho que alguns podem ter interesse nos trabalhos apresentados:
http://www.ruhr-uni-bochum.de/phil-lang/Negation.html http://www.ruhr-uni-bochum.de/phdsinlogicix/bochum.php http://homepage.ruhr-uni-bochum.de/defeasible-reasoning/docs/Logic_in_ Bochum_III.pdf Abraços a todos e um ótimo EBL. Carol 2017-05-04 18:19 GMT+02:00 Mario Benevides <[email protected]>: > Oi João, > > Gostei muito do seu material sobre Tableaux p/ LNC. > > Abraço, > > Mario > > 2017-05-04 13:06 GMT-03:00 Joao Marcos <[email protected]>: > >> Alguns colegas podem ter interesse em conferir o material partilhado >> abaixo. >> >> E por falar em Smullyan, meu breve tutorial sobre tableaux para >> lógicas não-clássicas, apresentado ontem no evento "PhDs in Logic IX", >> foi dedicado a ele: >> https://www.dropbox.com/s/rrsokk0rxa7lwmc/tableaux-tutorial.pdf?dl=0 >> >> Cumprimentos lógicos, >> Joao Marcos >> >> >> ---------- Forwarded message ---------- >> From: Melvin Fitting >> Date: Wed, May 3, 2017 at 1:16 AM >> >> >> A conference remembering Raymond Smullyan was held at the CUNY >> Graduate Center on April 27, 2017. The web site will remain up, at >> >> https://eva16968.wixsite.com/smullyanremembrance >> >> and material is still being added to it. Check it from time to time. >> >> The meeting was videoed and the video is available on my YouTube >> channel. It can be accessed through the conference site, or directly >> at my YouTube channel >> >> https://www.youtube.com/channel/UCaYn8I26NlSa71sreWnS-Bw >> >> In addition to the conference itself, there is a video from 2000 of >> Raymond playing the piano, and shortly there will be a video of him >> speaking and doing magic in Bucharest in 2008, and another of him >> reading from “Cold Mountain”, from 2016. Excerpts from these videos >> were used as part of my eulogy at the conference, the text of which >> is also available on the conference web site. >> >> Sincerely, >> >> Melvin Fitting >> >> -- >> 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/di >> map.ufrn.br/group/logica-l/. >> Para ver esta discussão na web, acesse https://groups.google.com/a/di >> map.ufrn.br/d/msgid/logica-l/CAO6j_LizWZSOWMK3as_fMZjLwPfke >> GW7PKOiJcWt-HEvXe2Y9w%40mail.gmail.com. >> > > > > -- > Federal University of Rio de Janeiro > www.cos.ufrj.br/~mario > > -- > 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/CAA6BQpVnoy35D35Qca% > 3Dn6S82pENTm0pgcBzJd0WUhsjNcCaB2Q%40mail.gmail.com > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAA6BQpVnoy35D35Qca%3Dn6S82pENTm0pgcBzJd0WUhsjNcCaB2Q%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > -- *Carolina Blasio* PhD student in Philosophy State University of Campinas (Unicamp) *"Most if not all choices in life are not binary"* M. Dunn, 2010. Too much of a good thing. -- 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/CAD335O4KEste6Z2oPSRonNd%3D4EGq%3DY_0%3D3zaeYeNho0H6pyAEA%40mail.gmail.com.
