É só você ;-)

[Ele estava falando de outra coisa!]

On Thu, Jan 29, 2026 at 12:23 AM Walter Carnielli <[email protected]>
wrote:

> Sou só eu, ou tem mais gente que esperaria que o diretor do IMPA
> e  ganhador do Prêmio do Institut de France abordasse um pouco mais a
> questão da implicação e da contraposição na racionalidade?    :-)
>
> W.
>
>
>  ========================
>  Walter Carnielli
> CLE and Department of Philosophy
> University of Campinas –UNICAMP, Brazil
>
>  AI2- Advanced Institute for Artificial Intelligence
> Blog https://waltercarnielli.com/
>
>
>
> Em qua., 28 de jan. de 2026 18:05, Joao Marcos <[email protected]>
> escreveu:
>
>> O zero e a ausência
>>
>> https://www1.folha.uol.com.br/colunas/marceloviana/2026/01/o-zero-e-a-ausencia.shtml
>>
>>
>> JM
>>
>> --
>> LOGICA-L
>> Lista acadêmica brasileira dos profissionais e estudantes da área de
>> Lógica <[email protected]>
>> ---
>> 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 ver esta conversa, acesse
>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LgM5JAV0HyLt6O6Qah0X%2BxfKMMi5tGdsyDERgpWsZHPbA%40mail.gmail.com
>> .
>>
> --
> LOGICA-L
> Lista acadêmica brasileira dos profissionais e estudantes da área de
> Lógica <[email protected]>
> ---
> 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 ver esta conversa, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOrCsLegca_aFOAzDaOxXo3hF2QAdjPJ_uYUFWxQm1G_%2BGBdyA%40mail.gmail.com
> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOrCsLegca_aFOAzDaOxXo3hF2QAdjPJ_uYUFWxQm1G_%2BGBdyA%40mail.gmail.com?utm_medium=email&utm_source=footer>
> .
>


-- 
Marcelo Finger
 Departament of Computer Science, IME-USP
 http://www.ime.usp.br/~mfinger
 ORCID: https://orcid.org/0000-0002-1391-1175
 ResearcherID: A-4670-2009

Instituto de Matemática, Estatística e Ciência da Computação

Universidade de São Paulo

Rua do Matão, 1010 - CEP 05508-090 - São Paulo, SP

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 
<[email protected]>
--- 
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 ver esta conversa, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAGG7Aw1CXaNK62G_bpUZAp7uGAB%2BEqRuBuSoM1GkreRFHDPG9Q%40mail.gmail.com.

Responder a