Fwd: Raymond Smullyan Memorial Conference

[Joao Marcos]

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

[Mario Benevides]

Oi João,

Gostei muito do seu material sobre Tableaux p/ LNC.

Abraço,

Mario

--
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+unsubscribe@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logi...@dimap.ufrn.br.
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/CAO6j_LizWZSOWMK3as_fMZjLwPfkeGW7PKOiJcWt-HEvXe2Y9w%40mail.gmail.com.

--

Federal University of Rio de Janeiro
www.cos.ufrj.br/~mario

[Carol Blasio]

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

 

Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+u...@dimap.ufrn.br.

Para postar neste grupo, envie um e-mail para logi...@dimap.ufrn.br.
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/CAO6j_LizWZSOWMK3as_fMZjLwPfkeGW7PKOiJcWt-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 logica-l+unsubscribe@dimap.ufrn.br.

Para postar nesse grupo, envie um e-mail para logi...@dimap.ufrn.br.
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.

--

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.