[Logica-l] Paraconsistent Newsletter Spring-Fall 2021

2021-06-20 Por tôpico jean-yves beziau
Paraconsistent Newsletter Spring-Fall 2021 with - latest papers, books, events, videos of interest for paraconsistentists - an exclusive interview with María del Rosario Martínez-Ordaz - obituary of Jon Michael Dunn and, as always, you can win free holidays to the island of inconsistency if you

[Logica-l] Bolsas de Pós-Doutorado Rio de Janeiro / FAPERJ

2021-06-20 Por tôpico jean-yves beziau
Submissão de propostas on-line até dia 29/06/2021 Resultado final: a partir de 26/08/2021 Edital FAPERJ Nº 06/2021 – Pós-Doutorado Sênior (PDS) O nome " Pós-Doutorado Sênior" é ambíguo, de fato essas bolsas são para pessoas que ainda não tem emprego permanente mas obtiveram o doutorado antes de 6

Re: [Logica-l] Coletivo Logica Viva: Existe apenas uma lógica certa?

2021-06-20 Por tôpico Itala Maria Loffredo D'Ottaviano
Muito bom Gisele, o video está excelente! Itala Em sáb., 19 de jun. de 2021 às 21:22, Daniel Durante escreveu: > Oi Gisele, > > Só agora que eu consegui ver o vídeo e as mensagens. Semana intensa... > Muito bacana, parabéns! Acho que você consegue falar de um modo muito claro > e inteligível ao

Re: [Logica-l] [discussão sobre Lógica e inclusão] uma rosa com um novo nome?

2021-06-20 Por tôpico Eduardo Ochs
Se o LoLITA fosse um grupo só meu e eu tivesse que tomar a decisão sozinho eu mudaria o nome e nos sites com o nome novo eu poria umas referências ao nome antigo e às discussões que levaram à mudança... [[]], Eduardo On Sun, 20 Jun 2021 at 21:48, Valeria de Paiva wrote: > > Caros colegas, >

Re: [Logica-l] [discussão sobre Lógica e inclusão] uma rosa com um novo nome?

2021-06-20 Por tôpico Valeria de Paiva
Caros colegas, Concordo com tudo que o Marcos Silva disse. Mas sou menos educada, para mim não faz sentido algum fazer qualquer piada com a situação lamentável que temos em relação a esse problema. Que rebeldia e' essa de que estamos falando? a de ser machista, classicista, sexista e

Re: [Logica-l] [discussão sobre Lógica e inclusão] uma rosa com um novo nome?

2021-06-20 Por tôpico Frode Bjørdal
Presadxs, O fato de ser discutido pode indicar que é uma boa ideia alterar o nome. Abraços Frode Alfson Bjørdal søndag 20. juni 2021 kl. 17:42:42 UTC-3 skrev Hermógenes Oliveira: > No sábado, 19 de junho de 2021, às 22:09:18 -03, João Marcos escreveu: > > > > DEVEMOS MUDAR O NOME DO GRUPO?

Re: [Logica-l] [discussão sobre Lógica e inclusão] uma rosa com um novo nome?

2021-06-20 Por tôpico Hermógenes Oliveira
No sábado, 19 de junho de 2021, às 22:09:18 -03, João Marcos escreveu: > > DEVEMOS MUDAR O NOME DO GRUPO? > > Recentemente, uma discussão importante foi levantada no cerne do nosso > grupo: > "Será que o nome do grupo poderia funcionar como algo que _afasta_ as > pessoas, ao invés de

Re: [Logica-l] [discussão sobre Lógica e inclusão] uma rosa com um novo nome?

2021-06-20 Por tôpico Marcos Silva
Caro João Marcos, Parabéns pela iniciativa de trazer esta discussao pra reflexão aqui. Os argumentos pra troca do nome são importantes na atual conjuntura internacional e brasileira, eu acho. Vários mostram o reconhecimento de um problema estrutural que afeta muita gente dentro e fora da

[Logica-l] Fwd: [TYPES/announce] WiL'21 Final Call for Participation

2021-06-20 Por tôpico Elaine Pimentel
Prezados colegas, Por favor, comuniquem para suas(seus) alunas(os), e observem a possibilidade de ressarcimento da taxa de inscrição. Cordialmente, Elaine. -- Forwarded message - From: Sandra Alves Date: Sun, Jun 20, 2021, 13:39 Subject: [TYPES/announce] WiL'21 Final Call for

[Logica-l] Coletivo Lógica Viva: Cortina de Fumaça

2021-06-20 Por tôpico Marcos Silva
Car@s, mais uma contribuição para o Coletivo Lógica Viva. Sobre a Falácia da Cortina de Fumaça https://youtu.be/fjBn_-VnXn4 https://www.instagram.com/tv/CQWGFEzJQ23/?utm_medium=copy_link https://twitter.com/logica_viva https://www.facebook.com/Logica-Viva-108294631001345 Por favor, ajudem a

Re: [Logica-l] Mathematicians welcome computer-assisted proof in ‘grand unification’ theory

2021-06-20 Por tôpico Walter Carnielli
Para fazer alguma justiça- o artigo diz: "Lean was originally created by a computer scientist at Microsoft Research in Redmond, Washington, for the purpose of rigorously checking computer code for bugs". Não é claro a quem estão se referindo, mas, a própria página da "Community" informa:

[Logica-l] Mathematicians welcome computer-assisted proof in ‘grand unification’ theory

2021-06-20 Por tôpico Joao Marcos
Mathematicians welcome computer-assisted proof in ‘grand unification’ theory Proof-assistant software handles an abstract concept at the cutting edge of research, revealing a bigger role for software in mathematics. -- Davide Castelvecchi https://www.nature.com/articles/d41586-021-01627-2 JM