Re: [Logica-l] mais uma história de sucesso made in Brazil

2017-01-11 Por tôpico Tiago Magalhães 
Robert Brandom está de parabéns haha
Um feito notável para pessoa tão imberbe, Marcos!

Em 11 de janeiro de 2017 19:07, Valeria de Paiva 
escreveu:

> que maximo! Parabens, Marcos!
>
> Feliz Ano Novo,
>
> Valeria
>
> 2017-01-11 13:59 GMT-08:00 Joao Marcos :
>
>> Parabéns ao Marcos Silva, que acabou de ganhar o prêmio
>> "Junior Faculty Member" da Fulbright
>> http://fulbright.org.br/wp-content/uploads/2016/02/Fulbright
>> -Jr.-Faculty-Award-2016-2017.pdf
>> para ir dar uma mãozinha ao Robert Brandom lá em Pittsburgh
>> por quatro meses, este ano.
>> http://www.philosophy.pitt.edu/person/robert-brandom
>>
>> Agora só falta a barba, Marcos!
>> https://en.wikipedia.org/wiki/Beard#The_.22philosopher.27s_beard.22
>>
>> Abraços, JM
>>
>> --
>> 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+unsubscr...@dimap.ufrn.br.
>> Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
>> 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_LjWd4RxSk7AF4R%3D85ThGc6
>> hfjuS%2Bo2h%3D6E_3%3D4kAxD0kQ%40mail.gmail.com.
>>
>
>
>
> --
> Valeria de Paiva
> http://research.nuance.com/author/valeria-de-paiva/
> http://www.cs.bham.ac.uk/~vdp/
> http://valeriadepaiva.org/
>
> --
> 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+unsubscr...@dimap.ufrn.br.
> Para postar nesse grupo, envie um e-mail para logica-l@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/CAESt%3DXttB%3DyBbVH-
> DYYW8XGH417iuK3aYOcYJmx-w9om-v4wng%40mail.gmail.com
> 
> .
>

-- 
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+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@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/CALSJG1sEG2ow%2BPaCST-cqapbGzU1e28WZsbgkn0G5Ue66AkPcA%40mail.gmail.com.

Re: [Logica-l] Crônica: O paradoxo da humildade

2017-01-11 Por tôpico Tiago Magalhães 
Obrigado, João!

2017-01-10 12:12 GMT-03:00 Joao Marcos :

> Alguns comentários lógicos sobre o "paradoxo da modéstia":
>
> * * *
>
>
> *Modesty*
>
> A: For a person of your accomplishments, you are remarkably modest!
>
> B: I'm not modest.
>
> A: Ah, I've caught you!  By disclaiming your modesty, you're trying to
> create the impression that you are so modest that you won't take
> credit for anything --- not even your modesty!  But I see through you!
>  You are _affecting_ the air of modesty, but in so doing, are being
> most immodest!
>
> B: It's like I said --- I'm not modest.
>
>
> *Modesty?*
>
> A counterpart to the preceding piece is the story of a man who had the
> reputation of being the world's most modest person.  He signed all his
> letters, "He who is modest."
>
> Well, a student was once discussing this matter with his rabbi.  He
> said, "Now, how could he possibly be modest when his signing himself
> _He who is modest_ clearly belies the fact?"
>
> The rabbi replied: "You don't understand at all!  He _is_ completely
> modest.  Modesty has so thoroughly entered his soul that he no longer
> regards it as a virtue."
>
>
> [Raymond Smullyan, This Book Needs No Title]
>
>
> * * *
>
>
> “My dear Watson," said [Sherlock Holmes], "I cannot agree with those
> who rank modesty among the virtues. To the logician all things should
> be seen exactly as they are, and to underestimate one's self is as
> much a departure from truth as to exaggerate one's own powers.”
>
> [Arthur Conan Doyle, The Adventure of the Greek Interpreter]
>
>
> * * *
>
>
> 2017-01-10 12:49 GMT-02:00 Tiago Magalhães :
> > Caras e caros,
> >
> > Compartilho uma crônica que escrevi para um portal aqui de Fortaleza:
> >
> > http://tribunadoceara.uol.com.br/opiniao/opiniao/o-paradoxo-
> da-humildade/
> >
> > É coisa muito simples e despretensiosa, mas, como ex-alunos meus que
> nunca
> > demonstraram interesse em lógica (muito pelo contrário) me deram
> feedbacks
> > surpreendentes, pensei que seria interessante compartilhar com vocês.
> >
> > Abraços e feliz ano novo,
> > Tiago
> >
> > --
> > 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+unsubscr...@dimap.ufrn.br.
> > Para postar nesse grupo, envie um e-mail para logica-l@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/CALSJG1sBvudoMe_tJ2Hf47LOuP146j3pFKCwvw_yc6O5Jim%2Bmg%40mail.gmail.com.
>
>
>
> --
> http://sequiturquodlibet.googlepages.com/
>
> --
> 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+unsubscr...@dimap.ufrn.br.
> Para postar neste grupo, envie um e-mail para logica-l@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_Li_wPwzP4D1Nz_KJmSsN79FJmgafG-
> TbSdUU6402H5j5g%40mail.gmail.com.
>

-- 
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+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@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/CALSJG1s3iejU-no21wa69U%2BgtVe2WrGLG8VntubQng904GTNkA%40mail.gmail.com.

[Logica-l] [OFF TOPIC] Escolha de dado

2017-01-11 Por tôpico FRANK THOMAS SAUTTER 
Não sei se estou postando corretamente a mensagem, pelo qual me desculpo de
antemão. Gostaria de compartilhar um problema no qual pensei recentemente
após ver alguns vídeos de Numberphile. O problema foi brevemente discutido
com Walter Carnielli:

Num lançamento de dados, o jogador A vence o jogador B se o valor na face
do topo do dado lançado por A for superior ao valor na face do topo do dado
lançado por B. Além disso, numa sequência de lançamentos de dados, o
jogador A vence o jogador B se a quantidade de lançamentos vitoriosos de A
for superior à quantidade de lançamentos vitoriosos de B.
Suponha, agora, que você pode redistribuir o total de 21 pontos de um dado
normal de tal modo que cada uma de suas faces apresente um número inteiro
não-negativo. O mesmo vale para o seu oponente. Qual é a escolha que
maximiza as chances de vitória?
Observe que a relação "ser melhor dado do que" não é transitiva:
(3,3,3,4,4,4) é melhor que (0,0,0,2,9,10), que é melhor que (0,0,0,7,7,7),
que é melhor que (0,0,5,5,5,6), que é melhor que o dado normal
(1,2,3,4,5,6); mas (3,3,3,4,4,4) não é melhor que (1,2,3,4,5,6).
Caso não exista um melhor dado, a melhor estratégia é escolher o dado
estando informado da escolha do seu oponente. Qual handicap você daria a
seu oponente, em termos de percentagem de vitórias em lançamentos, para ter
o privilégio de conhecer de antemão a escolha dele e tal que, a despeito do
handicap, garanta sua vitória em uma sequência infinita de lançamentos?

Bom ano novo a todos da lista.
-- 
Frank Thomas Sautter
Universidade Federal de Santa Maria

-- 
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+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@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/CAGQNftAjqEyvNBmQe1c1EReso7XrYusZJvj8g7mMfE2tRqohew%40mail.gmail.com.

[Logica-l] BOOK: Temporal Logics in Computer Science

2017-01-11 Por tôpico Joao Marcos 
Este livro recentemente publicado pode ser de interesse para alguns
colegas desta lista:

  Temporal Logics in Computer Science
  by S. Demri and V. Goranko and M. Lange
  Cambridge University Press 2016, 752 Pages
  ISBN: 9781107028364
* This comprehensive text provides a modern and technically precise
  exposition of the fundamental theory and applications of temporal
  logics in computer science.
* Part I presents the basics of discrete transition systems, including
  constructions and behavioural equivalences. Part II examines the
  most important temporal logics for transition systems. Part III studies
  their expressiveness and complexity. Part IV describes the main
  computational methods and decision procedures for model checking
  and model building based on tableaux, automata and games.
* Further information can be found at
  www.cambridge.org/core_title/gb/434611


JM

-- 
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+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@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_LgGeowbjX1%3DW9AHOaqmuM5W8VSUZYK0BXJ7v-Y36kermA%40mail.gmail.com.

Re: [Logica-l] mais uma história de sucesso made in Brazil

2017-01-11 Por tôpico Valeria de Paiva 
que maximo! Parabens, Marcos!

Feliz Ano Novo,

Valeria

2017-01-11 13:59 GMT-08:00 Joao Marcos :

> Parabéns ao Marcos Silva, que acabou de ganhar o prêmio
> "Junior Faculty Member" da Fulbright
> http://fulbright.org.br/wp-content/uploads/2016/02/
> Fulbright-Jr.-Faculty-Award-2016-2017.pdf
> para ir dar uma mãozinha ao Robert Brandom lá em Pittsburgh
> por quatro meses, este ano.
> http://www.philosophy.pitt.edu/person/robert-brandom
>
> Agora só falta a barba, Marcos!
> https://en.wikipedia.org/wiki/Beard#The_.22philosopher.27s_beard.22
>
> Abraços, JM
>
> --
> 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+unsubscr...@dimap.ufrn.br.
> Para postar neste grupo, envie um e-mail para logica-l@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_LjWd4RxSk7AF4R%
> 3D85ThGc6hfjuS%2Bo2h%3D6E_3%3D4kAxD0kQ%40mail.gmail.com.
>



-- 
Valeria de Paiva
http://research.nuance.com/author/valeria-de-paiva/
http://www.cs.bham.ac.uk/~vdp/
http://valeriadepaiva.org/

-- 
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+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@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/CAESt%3DXttB%3DyBbVH-DYYW8XGH417iuK3aYOcYJmx-w9om-v4wng%40mail.gmail.com.

[Logica-l] mais uma história de sucesso made in Brazil

2017-01-11 Por tôpico Joao Marcos 
Parabéns ao Marcos Silva, que acabou de ganhar o prêmio
"Junior Faculty Member" da Fulbright
http://fulbright.org.br/wp-content/uploads/2016/02/Fulbright-Jr.-Faculty-Award-2016-2017.pdf
para ir dar uma mãozinha ao Robert Brandom lá em Pittsburgh
por quatro meses, este ano.
http://www.philosophy.pitt.edu/person/robert-brandom

Agora só falta a barba, Marcos!
https://en.wikipedia.org/wiki/Beard#The_.22philosopher.27s_beard.22

Abraços, JM

-- 
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+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@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_LjWd4RxSk7AF4R%3D85ThGc6hfjuS%2Bo2h%3D6E_3%3D4kAxD0kQ%40mail.gmail.com.