Não exatamente, carissimo Marcelo, e parece que nao sou só veu :-) Ele está falando da atividade neuronal associada à presença do objeto: as ideias de "ausência" e de "presença", que ele considera mecanismos mentais distintos.
Nosso colega aventa que nosso cérebro contém neurônios "especializados em zero", mas na verdade a questão mais profunda é a negação, nao o zero. Segundo ele, para percebermos a ausência precisamos desenvolver um raciocínio por *contradição* do tipo "se o objeto estivesse lá eu o veria; o fato de que não vejo indica que ele está ausente". Ou seja: se A implica B, mas não-B, então não-A. Isso é contraposição. não contradição-- e tem muito a ver com o papel da negação em conjunto com a implicaçao, como mostra o famoso teste de Wason já de 1965. Abraços lógicos Walter ======================== Walter Carnielli CLE and Department of Philosophy University of Campinas –UNICAMP, Brazil AI2- Advanced Institute for Artificial Intelligence Blog https://waltercarnielli.com/ Em qui., 29 de jan. de 2026 04:34, Marcelo Finger <[email protected]> escreveu: > É 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 > <https://www.google.com/maps/search/Rua+do+Mat%C3%A3o,+1010+-+CEP+05508-090+-+S%C3%A3o+Paulo,+SP?entry=gmail&source=g> > -- 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/CAOrCsLfF-Az%2BUh-dyrDN89ZkLmR4rY1Yj-G8%2BpJDOnh%2B1aGNOw%40mail.gmail.com.
