Ah! That is the point- Pescaste a implicatura: "... ele é de uma escola anti-fundamentos. Fala sério que você esperaria que ele falasse de negação! "
Eu não esperaria. Eu só gostaria :-) Abraços W. ======================== Walter Carnielli CLE and Department of Philosophy University of Campinas –UNICAMP, Brazil AI2- Advanced Institute for Artificial Intelligence Blog https://waltercarnielli.com/ https://www.name-coach.com/walter-carnielli Em qui., 29 de jan. de 2026 11:59, Marcelo Finger <[email protected]> escreveu: > >>> 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 > <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/CAOrCsLcE4Pwox8O6HihQL73wuqPCvnbWk9v7Lexncc5gSC2b-w%40mail.gmail.com.
