[Logica-l] Fwd: Open Position in Logic at ILLC, Amsterdam

2013-08-13 Por tôpico Joao Marcos
-- Forwarded message -- Dear colleagues, This message is to bring to your attention that the Institute for Logic, Language and Computation at the University of Amsterdam currently has an open Assistant Professor (UD) Position in Logic, see http://www.uva.nl/over-de-uva/

Re: [Logica-l] "Profissao" de cientista? Nao inclui "serviços de argumentação"?

2013-08-13 Por tôpico Adolfo Neto
Olá, Só pra concluir, os comentários de vocês me convenceram que existem muitas facetas deste projeto e algumas (talvez a maioria) podem não ser boas. Vou esperar a repercussão da visita da professora ao Congresso pra ver o que acontece e reconsiderar minha participação na mobilização :) Sobre n

[Logica-l] Fwd: Segundo desafio da promoção Sherlock Holmes do Blog IF e da Coquetel

2013-08-13 Por tôpico rodrigo cid
http://investigacao-filosofica.blogspot.com.br/2013/08/segundo-desafio-da-promocao-sherlock.html

Re: [Logica-l] Fwd: Segundo desafio da promoção Sherlock Holmes do Blog IF e da Coquetel

2013-08-13 Por tôpico Walter Carnielli
Preto, obviamente.Se fosse branco, os outros dois teriam gritado. Mas este tal Blog IF e a Revista Coquetel são um tanto estranhos (para não dizer desorganizados ou coisa pior): os e-mails sempre voltam, e parece que não queram "premiar" ninguém... Abs Walter Em 12 de agosto de 2013 19:

[Logica-l] "Taxa de homicídios no Brasil segue lógica matemática"

2013-08-13 Por tôpico Joao Marcos
Não vou nem acrescentar o link para a matéria, pois o conteúdo pouco interessa... Preciso reconhecer que a manchete supra-citada, que aparece hoje no site da BBC Brasil, é irreparavelmente divertida. JM ___ Logica-l mailing list Logica-l@dimap.ufrn.br ht

[Logica-l] More about Sherlock Holmes.

2013-08-13 Por tôpico JAIME ALEJANDRO BOHORQUEZ VILLAMIZAR
Caros Joao y Walter I just wanted to show you how we solve these problems. We do the same as Joao did to symbolize (we also use Smullyan's books as a source of very many of these riddles), but instead of applying a semantic verification, we use the "calculative method" due to Dijkstra and Scholt