[Logica-l] Logica Universalis Webinar - April 14 - UNILOG’2022: 7th World Congress and School on Universal Logic April 1-11, 2022 by Jean-Yves Beziau

*Join the Logica Universalis Webinar!* The *L*ogica *U*niversalis *W*ebinar is a World Seminar Series connected to the journal *Logica Universalis *, the book series *Studies in Universal Logic * and the *Universal

Re: [Logica-l] Re: A persistência da burrice

Me permito discordar cavalheirescamente de vocês : o cara é pomposo, falador, cheiao de oratória e beletrismo como muitos dos nossos colegas da Filosofia . Mas ele levanta um ponto que eu acho que é legal : a chamada burrice tem uma lógica, tem um modus operandi ,tem um estatuto metafísico de

[Logica-l] Fwd: Eduardo Barrio, "Anti-Exceptionalism, Truth, and the BA-Plan" @ VICTR | 10:00am EDT / 14:00 UTC, April 26

-- Forwarded message - The Virtual International Consortium for Truth Research (VICTR) will have a talk by Eduardo Barrio (University of Buenos Aires), on “Anti-exceptionalism, Truth, and the BA-Plan” on April 26, 10:00am EDT / 14:00 UTC. Abstract: Anti-exceptionalism about logic

Re: [Logica-l] Vácuo

Obrigado pela mensagem, Hermógenes! > Relendo as mensagens anteriores, parece que há algumas camadas envolvidas no > desafio proposto. A mais rasa delas, aquela que está formulada de maneira mais > explícita, pede um desenvolvimento formal no qual A e B não fossem > equivalentes. A alegação aqui,

Re: [Logica-l] Re: A persistência da burrice

Caros Redistas: Acabo de ver o video do > Marco Casanova > A Persistencia da Burrice. Confesso que Nao Gostei, nem um pouco. O autor, muito inflamado e cheio de si, trompeteia o tempo todo que qum dele discorda eh Burro. No debate, todos de comum se espantam e Concordam com o fato de que gente

Re: [Logica-l] Vácuo

> > Os lemas que eu invoquei eram intuicionisticamente válidos, certo? > > OK. O bom senso dos lógicos clássicos e intuicionistas, então. Ambos endossam > lógicas não relevantes. E os lógicos relevantes? Não são lógicos? São > anátemas? Blásfemos? Suponho que não --- mas podem até ser. :-) Vale

[Logica-l] 7th International Workshop on Proof eXchange for Theorem Proving (PxTP) - Second CFP

Call for Papers, PxTP 2021 The Seventh International Workshop on Proof eXchange for Theorem Proving (PxTP) https://pxtp.gitlab.io/2021 21 July 2021, online associated with the CADE-28 conference ## Background The PxTP workshop brings together

Re: [Logica-l] Vácuo

Em segunda-feira, 12 de abril de 2021, às 11:53:36 -03, Joao Marcos escreveu: > > > > Quais lógicos são esses, cujo bom senso está sendo invocado aqui? Lógicos > > clássicos, eu suponho? > > Os lemas que eu invoquei eram intuicionisticamente válidos, certo? OK. O bom senso dos lógicos clássicos

Re: [Logica-l] Vácuo

> > Meu raciocínio: > > Se houvesse uma "Aritmética Relevante", estendendo [A4], que tivesse > > algo relevante (perdão) a dizer sobre [A1], sem ao mesmo tempo se > > comprometer com [A2] (como Daniel parece desejar), talvez ela > > consistisse em uma resolução satisfatória para o mistério de

Re: [Logica-l] Vácuo

No domingo, 11 de abril de 2021, às 17:45:16 -03, Joao Marcos escreveu: > [...] > > Meu raciocínio: > Se houvesse uma "Aritmética Relevante", estendendo [A4], que tivesse > algo relevante (perdão) a dizer sobre [A1], sem ao mesmo tempo se > comprometer com [A2] (como Daniel parece desejar),

Re: [Logica-l] A persistência da burrice

É o Casanova que escreveu este livro? https://produto.mercadolivre.com.br/MLB-707994181-programaco-em-logica-e-a-linguagem-prolog-casanova-giorno-_JM Em sáb., 10 de abr. de 2021 às 20:25, Eduardo Ochs escreveu: > Acabou de acontecer uma live/entrevista com o Marco Casanova, > sobre o livro dele

Re: [Logica-l] Vácuo

> Eu me lembro de ter assistido uma palestra do Bob Meyer em Londres na década > de 90 sobre a demonstração do teorema de Goedel numa meta-matemática > relevante. Não me lembro se a aritmética era relevante... o que eu mais me > lembro é que ele já não tinha um pedaço do cérebro e sua fala

[Logica-l] Re: A persistência da burrice

Camaradas, bons dias. Paz, saúde e alegria, espero q esta os encontre bem. O negacionismo não é um fenômeno novo, como sabemos, tampouco a "ascensão" do irracionalismo, q de ascensão não tem nada, dada a sua permanência histórica milenar. Mas ao ver o video enviado pelo Eduardo, eu me lembrei

Re: [Logica-l] Logica viva: Computadores podem pensar?, por Walter Carnielli

Um podcast interessante que há um certo relacionamento como assunto: https://podcast.numec.prp.usp.br/c%C3%A9rebro-e-computador/ Thiago Galbiatti Vespa Em sáb., 3 de abr. de 2021 às 19:58, Marcos Silva escreveu: > Caros, > > novo video do coletivo Lógica Viva. > > Afinal, computadores podem

Re: [Logica-l] Vácuo

João Marcos. Eu me lembro de ter assistido uma palestra do Bob Meyer em Londres na década de 90 sobre a demonstração do teorema de Goedel numa meta-matemática relevante. Não me lembro se a aritmética era relevante... o que eu mais me lembro é que ele já não tinha um pedaço do cérebro e sua fala