>>> mas na verdade a questão mais profunda é a negação, nao o zero.
Walter, só por que você considera que tuberculose é uma questão mais profunda que falta de ar, NÃO IMPLICA que todo mundo que fala de falta de ar tem de falar de tuberculose. Ou seja, a sua cobrança ao Marcelo Viana é um non-sequitur. Se ele quiser falar só do ZERO, que mal há? Além disso, ele é de uma escola anti-fundamentos. Fala sério que você esperaria que ele falasse de negação! De onde não se espera nada, de lá é que não sai nada mesmo, como diria o Barão de Itararé. Amplexos On Thu, Jan 29, 2026 at 3:43 PM Walter Carnielli <[email protected]> wrote: > 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> >> > -- 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/CAGG7Aw2%3DO0qe90YAfyV6kf2eqCgBYgzi9zUZYZSqw_0gNbJvVw%40mail.gmail.com.
