Re: [Logica-l] em um mundo sem terceiras opções...

Obrigado, Valeria! O Joao Marcos também apontou esse artigo aí. :-) Uma coisa que eu notei com o passar dos anos foi que existe uma barreira que às vezes dificulta a conversa entre nós que nos reivindicamos categoristas (eu ainda no nível amador, mas pleiteando promoção para o nível semi-profissi

Re: [Logica-l] em um mundo sem terceiras opções...

Mais um ponto pra conversa de voces: >https://arxiv.org/abs/1904.09193Cantor-Bernstein implies Excluded Middle Pierre Pradic , Chad E. Brown We prove in construc

Re: [Logica-l] em um mundo sem terceiras opções...

Camaradas, essa discussão é realmente muito interessante. Com relação ao livro do Haddad, não o li e não posso me pronunciar, mas conferi o texto disponibilizado online, mencionado pelo JM. Não é a primeira vez q Haddad escreve mesclando experiência pessoal com política. Por melhor escritor ele

Re: [Logica-l] em um mundo sem terceiras opções...

> Aí vai o artigo do Francisco Miró Quesada, "Logic, Mathematics, Ontology", em > anexo. Quando eu estou na universidade (UFPR), consigo baixar o livro em > qualquer computador de lá no site Springer. Mas quando estou em casa, não dá > para baixar (é claro que tem o livro na z-library, pirata).

Re: [Logica-l] em um mundo sem terceiras opções...

(Perdão, cliquei em algo aqui antes da hora. Continuo...) On Sat, Oct 22, 2022 at 10:49 AM Joao Marcos wrote: >> >> Sobre o terceiro-excluído e o teorema de Cantor-Schroder-Bernstein: >> >> "Sobre Cantor e o terceiro excluído, ainda, vale notar que este artigo >> postado no arXiv em 2019 (mesmo

Re: [Logica-l] em um mundo sem terceiras opções...

> > Sobre o terceiro-excluído e o teorema de Cantor-Schroder-Bernstein: > > "Sobre Cantor e o terceiro excluído, ainda, vale notar que este artigo > postado no arXiv em 2019 (mesmo ano em que foi publicado o livro do John L > Bell sobre o contínuo e o infinitesimal?), e atualizado pela última vez h

Re: [Logica-l] em um mundo sem terceiras opções...

Valeu pela observação, Fernando! Obrigado! :-) É possível que o John L Bell estivesse com versões mais antigas das elaborações do Lawvere em mente... Por exemplo, naquele artigo clássico, de 1975, frequentemente citado como um dos marcos do nascimento da teoria de topos, "Continuously variable se

Re: [Logica-l] em um mundo sem terceiras opções...

Estou tentando evitar procrastinar, mas não consigo resistir em comentar sobre isso. "Marx and Engels, and their Marxist successors, thought that the analysis > of variation would require the creation of a dialectical logic or a “logic > of contradiction”. But traditional logic survived in mathema

Re: [Logica-l] em um mundo sem terceiras opções...

Valeu, João Marcos! Eu entrei na brincadeira porque fico incomodado com o abuso que certos intelectuais fazem de noções emprestadas de uma filosofia dialética mal digerida, mal compreendida. Nada sei a respeito do trabalho do Haddad como pesquisador/professor, não quero com minhas observações desm

Re: [Logica-l] em um mundo sem terceiras opções...

> Essa é fácil. Vai para a estante de sociologia, apesar do título. > > Mas o assunto evocado no título e que nos remete à lógica, dialética e > princípio do terceiro excluído (talvez ausente neste livro), não está de modo > algum liquidado e um trabalho sério sobre o tema poderia figurar na esta

Re: [Logica-l] em um mundo sem terceiras opções...

Essa é fácil. Vai para a estante de sociologia, apesar do título. Mas o assunto evocado no título e que nos remete à lógica, dialética e princípio do terceiro excluído (talvez ausente neste livro), não está de modo algum liquidado e um trabalho sério sobre o tema poderia figurar na estante de lógi