logica-l  

Índice temático

• [Logica-l] Fwd: CfA: Many PhDs and Postdocs in Uncovering the Axioms of Mathematics, Vienna (Austria), deadline: 22. Mai (encouraged) Joao Marcos
• [Logica-l] Novo episódio do Podcast Lógica Viva (UFPE/Recife), com Itala D’Ottaviano Juliany Thainá
• [Logica-l] Congrès mondial sur le carré des oppositions, Montréal, Canada, du 22 au 26 juin 2026. jean-yves beziau
• [Logica-l] A New Solution to the Logical Problem of Evil - April 22, 2026, 4pm CET jean-yves beziau
• [Logica-l] [2nd Call for Papers] Women in Logic 2026 Elaine Pimentel
• [Logica-l] Oportunidade: PhD na Holanda Walter Carnielli
• [Logica-l] Lógica, Linguagem e Política: artigos de opinião Marcos Silva
  • Re: [Logica-l] Lógica, Linguagem e Política: artigos de opinião Eduardo Ochs
• [Logica-l] Why “What is it?” ? jean-yves beziau
• [Logica-l] Inscrições com desconto- IX Conferência SBFA- Recife 2026 'THIAGO ANDRADE DE OLIVEIRA' via LOGICA-L
• [Logica-l] DEADLINE EXTENDED: CFA: “Transgressing Boundaries: Unusual Applications of Formal Logic” (Deadline now April 22nd) Blandine De Becker
• [Logica-l] Science and Math News Ruy Jose Guerra Barretto de Queiroz
• [Logica-l] on the AI revolution in Math Joao Marcos
• [Logica-l] LANMR 2026 – Clarifications on Participation Mode and Fees Juan Slagter
• [Logica-l] Fwd: [Cryptography] Michael Rabin Ruy Jose Guerra Barretto de Queiroz
  • Re: [Logica-l] Fwd: [Cryptography] Michael Rabin Adolfo Neto
  • Re: [Logica-l] Fwd: [Cryptography] Michael Rabin Joao Marcos
• [Logica-l] Boas Práticas em Organização de Eventos Acadêmicos: Cartilha educacional Evelyn Erickson
  • Re: [Logica-l] Boas Práticas em Organização de Eventos Acadêmicos: Cartilha educacional Hugo Luiz Mariano
  • Re: [Logica-l] Boas Práticas em Organização de Eventos Acadêmicos: Cartilha educacional Valeria de Paiva
  • Re: [Logica-l] Boas Práticas em Organização de Eventos Acadêmicos: Cartilha educacional Elaine Pimentel
  • Re: [Logica-l] Boas Práticas em Organização de Eventos Acadêmicos: Cartilha educacional Itala Maria Loffredo Dottaviano
  • Re: [Logica-l] Boas Práticas em Organização de Eventos Acadêmicos: Cartilha educacional Evelyn Erickson
  • Re: [Logica-l] Boas Práticas em Organização de Eventos Acadêmicos: Cartilha educacional Marcos Silva
  • Re: [Logica-l] Boas Práticas em Organização de Eventos Acadêmicos: Cartilha educacional Evelyn Erickson
  • Re: [Logica-l] Boas Práticas em Organização de Eventos Acadêmicos: Cartilha educacional Joao Marcos
  • Re: [Logica-l] Boas Práticas em Organização de Eventos Acadêmicos: Cartilha educacional Joao Marcos
• [Logica-l] 2nd CFP LANMR2026 Juan Slagter
• [Logica-l] "Como sabemos se a prova de um teorema está certa?" Joao Marcos
  • [Logica-l] Re: "Como sabemos se a prova de um teorema está certa?" Joao Marcos
  • Re: [Logica-l] Re: "Como sabemos se a prova de um teorema está certa?" Haniel Barbosa
  • Re: [Logica-l] "Como sabemos se a prova de um teorema está certa?" Walter Carnielli
• [Logica-l] Grupo de Estudos em Fundamentos da Matemática da UFERSA João Daniel Dantas
  • Re: [Logica-l] Grupo de Estudos em Fundamentos da Matemática da UFERSA Lucas Gutemberg
• [Logica-l] This startup wants to change how mathematicians do math Joao Marcos
• [Logica-l] PTS Seminar next week: Robin Martinot, April 14, 12pm (UTC+0) 'Hermógenes Oliveira' via LOGICA-L
• [Logica-l] E. H. Manfredini, "Elementos de Lógica" (vol. 1), 2026 Alfredo Roque Freire
  • Re: [Logica-l] E. H. Manfredini, "Elementos de Lógica" (vol. 1), 2026 Walter Carnielli
  • Re: [Logica-l] E. H. Manfredini, "Elementos de Lógica" (vol. 1), 2026 Alfredo Roque Freire
  • Re: [Logica-l] E. H. Manfredini, "Elementos de Lógica" (vol. 1), 2026 Itala Maria Loffredo D'Ottaviano
• [Logica-l] CfP – SQUARE 9 (Montréal, June 22–26, 2026) jean-yves beziau
• [Logica-l] Pos-Doc em IA- Unicamp Walter Carnielli
• [Logica-l] Extensão de prazo: 5° Prêmio SBFA 2026: Melhor Artigo em Filosofia Analítica 'THIAGO ANDRADE DE OLIVEIRA' via LOGICA-L
• [Logica-l] AI2: 5 vagas de Bolsa de Treinamento Técnico (TT-5) FAPESP Walter Carnielli
• [Logica-l] bolsas de doutorado em GOOD INTENSIONS (Amsterdã) Joao Marcos
• [Logica-l] Rebecca Goldstein no Brasil Joao Marcos
• Re: [Logica-l] Breve resumo de [email protected] - 2 atualizações em 2 temas 'Samuel Gomes da Silva' via LOGICA-L
• Re: [Logica-l] E-mail de compilação para [email protected] - 1 atualização em 1 tema Walter Carnielli
  • Re: [Logica-l] E-mail de compilação para [email protected] - 1 atualização em 1 tema Valeria de Paiva
  • Re: [Logica-l] E-mail de compilação para [email protected] - 1 atualização em 1 tema Walter Carnielli
• [Logica-l] (Blog post) E se Cantor estava errado ? 'samuel' via LOGICA-L
  • Re: [Logica-l] (Blog post) E se Cantor estava errado ? Julio Stern
  • Re: [Logica-l] (Blog post) E se Cantor estava errado ? Julio Stern
  • Re: [Logica-l] (Blog post) E se Cantor estava errado ? Marcelo Finger
  • Re: [Logica-l] (Blog post) E se Cantor estava errado ? Itala Maria Loffredo Dottaviano
  • Re: [Logica-l] (Blog post) E se Cantor estava errado ? Valeria de Paiva
• [Logica-l] Walter Carnielli on Reasoning, Paraconsistency, and Probability Marcos Silva
  • Re: [Logica-l] Walter Carnielli on Reasoning, Paraconsistency, and Probability Elaine Pimentel
  • Re: [Logica-l] Walter Carnielli on Reasoning, Paraconsistency, and Probability Walter Carnielli
  • Re: [Logica-l] Walter Carnielli on Reasoning, Paraconsistency, and Probability Marcelo Finger
  • Re: [Logica-l] Walter Carnielli on Reasoning, Paraconsistency, and Probability Marcelo Esteban Coniglio
  • Re: [Logica-l] Walter Carnielli on Reasoning, Paraconsistency, and Probability Rafael Ongaratto
  • Re: [Logica-l] Walter Carnielli on Reasoning, Paraconsistency, and Probability Viktoria Denisova
• [Logica-l] CFP: 9th World Congress on the Square of Opposition jean-yves beziau
• [Logica-l] CFP: 5th World Congress on Logic and Religion – WoCoLoR jean-yves beziau
• [Logica-l] Equal Pay Day 2026 Evelyn Erickson
  • Re: [Logica-l] Equal Pay Day 2026 Joao Marcos
  • Re: [Logica-l] Equal Pay Day 2026 Valeria de Paiva
  • Re: [Logica-l] Equal Pay Day 2026 Joao Marcos
• [Logica-l] duas décadas de LOGICA-L O Administrador da LOGICA-L
  • Re: [Logica-l] duas décadas de LOGICA-L Gilberto Gomes
  • Re: [Logica-l] duas décadas de LOGICA-L Walter Carnielli
  • Re: [Logica-l] duas décadas de LOGICA-L Eduardo Ochs
  • Re: [Logica-l] duas décadas de LOGICA-L Valeria de Paiva
  • Re: [Logica-l] duas décadas de LOGICA-L Elaine Pimentel
  • Re: [Logica-l] duas décadas de LOGICA-L Marcelo Finger
• [Logica-l] Proof Society Seminar 20.04.2026 (at 13:00 UTC = 14:00 BST = 15:00 CEST) Elaine Pimentel
• [Logica-l] Podcast Lógica Viva: Reavivando o lógica vida, lançamento de livros e próximos eventos 'THIAGO ANDRADE DE OLIVEIRA' via LOGICA-L
  • Re: [Logica-l] Podcast Lógica Viva: Reavivando o lógica vida, lançamento de livros e próximos eventos Valeria de Paiva
  • Re: [Logica-l] Podcast Lógica Viva: Reavivando o lógica vida, lançamento de livros e próximos eventos Marcos Silva
• [Logica-l] Modal Logic in Europe, 1930-1959 jean-yves beziau
• [Logica-l] [Call for Papers] Special Issue – 10 Years of the Women in Logic Workshop Journal of Logic and Computation Elaine Pimentel
• [Logica-l] Fwd: [members-philmathpractice] Doctoral and post-doctoral positions Gisele Dalva
• [Logica-l] V Dia Carol Blasio por Diversidade na Lógica - Preparativos Gisele Dalva
  • Re: [Logica-l] V Dia Carol Blasio por Diversidade na Lógica - Preparativos Elaine Pimentel
  • Re: [Logica-l] V Dia Carol Blasio por Diversidade na Lógica - Preparativos Joao Marcos
  • Re: [Logica-l] V Dia Carol Blasio por Diversidade na Lógica - Preparativos Gisele Dalva
  • Re: [Logica-l] V Dia Carol Blasio por Diversidade na Lógica - Preparativos Gisele Dalva
• [Logica-l] Será que eu virei o Psicopata do CEFET? Eduardo Ochs
• [Logica-l] Fwd: Morreu Susan Haack Joao Marcos
• [Logica-l] SBFA presta homenagem à Susan Haack Juliany Thainá
• [Logica-l] Campanha de Anuidade SBFA 2026 'THIAGO ANDRADE DE OLIVEIRA' via LOGICA-L
• [Logica-l] VI Colóquio NormAtiva (UFPE) 'THIAGO ANDRADE DE OLIVEIRA' via LOGICA-L
  • [Logica-l] VI Colóquio NormAtiva (UFPE) 'THIAGO ANDRADE DE OLIVEIRA' via LOGICA-L
• [Logica-l] Não era óbvio que só existem denumeráveis ​​números algébricos? Frode Alfson Bjørdal
  • [Logica-l] Re: Não era óbvio que só existem denumeráveis ​​números algébricos? Frode Alfson Bjørdal
  • [Logica-l] Re: Não era óbvio que só existem denumeráveis ​​números algébricos? Frode Alfson Bjørdal
  • [Logica-l] Re: Não era óbvio que só existem denumeráveis ​​números algébricos? Frode Alfson Bjørdal
• [Logica-l] “Neopragmatismo periférico: um projeto linguístico e filosófico Walter Carnielli
  • Re: [Logica-l] “Neopragmatismo periférico: um projeto linguístico e filosófico Joao Marcos
  • Re: [Logica-l] “Neopragmatismo periférico: um projeto linguístico e filosófico Marcos Silva
  • Re: [Logica-l] “Neopragmatismo periférico: um projeto linguístico e filosófico Daniel Durante
• [Logica-l] Chapman OCIE Seminar on 3/13: Double sessio n (Brice Halimi and Walter Carnielli) Walter Carnielli
• [Logica-l] Susan Haack Cassiano Terra Rodrigues
  • Re: [Logica-l] Susan Haack Renato Mendes Rocha
  • Re: [Logica-l] Susan Haack Joao Marcos
  • Re: [Logica-l] Susan Haack Gisele Dalva
  • Re: [Logica-l] Susan Haack Itala Maria Loffredo Dottaviano
  • Re: [Logica-l] Susan Haack bruno.ramos.mendonca
  • [Logica-l] Susan Haack, Memorabilia Walter Carnielli
  • [Logica-l] Re: Susan Haack, Memorabilia Joao Marcos
• [Logica-l] Chamada - SNEL/UFSC Gustavo Damiani
• [Logica-l] XXI Encontro da ANPOF 2026 - GT de Lógica Diego Fernandes
• [Logica-l] OCIE Seminar Double Session: Brice Halimi and Walter Carnielli Walter Carnielli
• [Logica-l] Deadline MARCH 10 Workshop New Approaches to Non-Classical Conditionals Maria Martinez-Ordaz
• [Logica-l] V Dia Carol Blasio por Diversidade na Lógica Evelyn Erickson
  • Re: [Logica-l] V Dia Carol Blasio por Diversidade na Lógica Joao Marcos
• [Logica-l] Concurso para Professor de Inteligência Artificial – Instituto de Computação da UFF Bruno Lopes
• Re: [Logica-l] Shock! Shock! Knuth Claude Opus Adolfo Neto
• [Logica-l] Deadline EXTENDED Workshop New Approaches to Non-Classical Conditionals Maria Martinez-Ordaz
• [Logica-l] Re: [Divulgação] I Encontro Conjunto SBM-UMA 2026 - Mar del Plata 'Samuel Gomes da Silva' via LOGICA-L
• [Logica-l] Cantor, plagiador serial de Dedekind Joao Marcos
  • [Logica-l] Re: Cantor, plagiador serial de Dedekind 'samuel' via LOGICA-L
  • [Logica-l] Re: Cantor, plagiador serial de Dedekind Joao Marcos
  • [Logica-l] Re: Cantor, plagiador serial de Dedekind 'Samuel Gomes da Silva' via LOGICA-L
  • Re: [Logica-l] Re: Cantor, plagiador serial de Dedekind Itala Maria Loffredo Dottaviano
  • Re: [Logica-l] Re: Cantor, plagiador serial de Dedekind Julio Stern
  • Re: [Logica-l] Re: Cantor, plagiador serial de Dedekind Frode Alfson Bjørdal
  • Re: [Logica-l] Re: Cantor, plagiador serial de Dedekind 'Samuel Gomes da Silva' via LOGICA-L
  • Re: [Logica-l] Re: Cantor, plagiador serial de Dedekind Frode Alfson Bjørdal
  • Re: [Logica-l] Re: Cantor, plagiador serial de Dedekind Frode Alfson Bjørdal
  • Re: [Logica-l] Re: Cantor, plagiador serial de Dedekind 'Samuel Gomes da Silva' via LOGICA-L
  • Re: [Logica-l] Re: Cantor, plagiador serial de Dedekind Frode Alfson Bjørdal
  • Re: [Logica-l] Re: Cantor, plagiador serial de Dedekind Frode Alfson Bjørdal
  • Re: [Logica-l] Re: Cantor, plagiador serial de Dedekind 'Samuel Gomes da Silva' via LOGICA-L
  • Re: [Logica-l] Re: Cantor, plagiador serial de Dedekind 'Samuel Gomes da Silva' via LOGICA-L
  • Re: [Logica-l] Re: Cantor, plagiador serial de Dedekind 'Samuel Gomes da Silva' via LOGICA-L
  • Re: [Logica-l] Re: Cantor, plagiador serial de Dedekind Cloves Paiva
  • Re: [Logica-l] Re: Cantor, plagiador serial de Dedekind 'Samuel Gomes da Silva' via LOGICA-L
  • Re: [Logica-l] Re: Cantor, plagiador serial de Dedekind Eduardo Ochs
  • Re: [Logica-l] Re: Cantor, plagiador serial de Dedekind Gisele Dalva
  • Re: [Logica-l] Re: Cantor, plagiador serial de Dedekind Cloves Paiva
  • Re: [Logica-l] Re: Cantor, plagiador serial de Dedekind Eduardo Ochs
  • Re: [Logica-l] Re: Cantor, plagiador serial de Dedekind Gisele Dalva
  • Re: [Logica-l] Re: Cantor, plagiador serial de Dedekind 'Samuel Gomes da Silva' via LOGICA-L
  • Re: [Logica-l] Re: Cantor, plagiador serial de Dedekind Frode Alfson Bjørdal
  • Re: [Logica-l] Re: Cantor, plagiador serial de Dedekind 'Samuel Gomes da Silva' via LOGICA-L
  • Re: [Logica-l] Re: Cantor, plagiador serial de Dedekind 'Samuel Gomes da Silva' via LOGICA-L
  • Re: [Logica-l] Re: Cantor, plagiador serial de Dedekind 'Samuel Gomes da Silva' via LOGICA-L
• [Logica-l] Fwd: [WiL] Call for Abstracts: IMLA Workshop, Lisbon, 24-25 July Valeria de Paiva
• [Logica-l] What is Peace? jean-yves beziau
• [Logica-l] Qual é a importância do gato para a humanidade? jean-yves beziau
• [Logica-l] o que é o que é? jean-yves beziau
• [Logica-l] O que é um gato? jean-yves beziau
  • Re: [Logica-l] O que é um gato? josé carlos cifuentes
  • Re: [Logica-l] O que é um gato? Carlos Augusto Prolo
• [Logica-l] Proof Society Seminar 09.03.2026 -- Raheleh Jalali Elaine Pimentel
• [Logica-l] Job Opening: Lecturer/Associate Professor in Programming Principles, Logic, and Verification (PPLV) Elaine Pimentel
• [Logica-l] "Lógica" vale como área afim! Walter Carnielli
• [Logica-l] Fwd: Online workshop Logic and Bounded Rationality, 25-27 Feb 2026 Joao Marcos
• [Logica-l] Registration to (WM)² now open Elaine Pimentel
• [Logica-l] Gödel’s Ontological Proof of the Existence of God and its Consistency Consequences jean-yves beziau
• [Logica-l] 8th World Congress on Paraconsistency - North Cyprus April 27-30, 2026 jean-yves beziau
• [Logica-l] 80 anos de Vera Vidal - 10 de junho de 2026 jean-yves beziau
• [Logica-l] Sobre o crime mais que perfeito / what is it? jean-yves beziau
  • Re: [Logica-l] Sobre o crime mais que perfeito / what is it? Walter Carnielli
  • Re: [Logica-l] Sobre o crime mais que perfeito / what is it? jean-yves beziau
  • Re: [Logica-l] Sobre o crime mais que perfeito / what is it? Eduardo Ochs
• [Logica-l] Sobre o crime mais que perfeito Walter Carnielli
  • Re: [Logica-l] Sobre o crime mais que perfeito Evandro L. Gomes
  • Re: [Logica-l] Sobre o crime mais que perfeito Itala Maria Loffredo Dottaviano
  • Re: [Logica-l] Sobre o crime mais que perfeito Joao Marcos
  • Re: [Logica-l] Sobre o crime mais que perfeito Valeria de Paiva
  • Re: [Logica-l] Sobre o crime mais que perfeito Joao Marcos
  • Re: [Logica-l] Sobre o crime mais que perfeito Valeria de Paiva
• [Logica-l] Perguntas sobre Periódicos! Elisvaldo Pereira Santos
• [Logica-l] Large Language Model Reasoning Failures Joao Marcos
  • Re: [Logica-l] Large Language Model Reasoning Failures Valeria de Paiva
• [Logica-l] Fwd: FLoC Workshops - All the Calls Joao Marcos
• [Logica-l] LARA = CONCEPTIONS OF DIVINITY IN AFRICAN AND AFRO-BRAZILIAN RELIGIONS jean-yves beziau
• [Logica-l] Logic and Religion Webinar Assis
• [Logica-l] 2nd WoLLIC 2026 - DEADLINE EXTENDED: Abstract+Paper 02 March - Online presentations welcome Ruy Jose Guerra Barretto de Queiroz
• [Logica-l] Next on PTS Seminar: Leonardo Ceragioli, Feb 24, 5pm (UTC+0) 'Hermógenes Oliveira' via LOGICA-L
• [Logica-l] Fwd: Automating Mathematical Reasoning: Interactions Between Proof Assistants, Computer Algebra Systems and Generative AI, at ICMS 2026 Joao Marcos
• [Logica-l] Call for Abstracts: Directions in Relevant Logic 3 Mahan Vaz
• [Logica-l] Fwd: Feliz Dia Internacional de Mulheres e Meninas na Ciência Joao Marcos
  • Re: [Logica-l] Fwd: Feliz Dia Internacional de Mulheres e Meninas na Ciência Valeria de Paiva
  • Re: [Logica-l] Fwd: Feliz Dia Internacional de Mulheres e Meninas na Ciência Itala Maria Loffredo Dottaviano
• [Logica-l] O que é um valor de verdade? jean-yves beziau
• [Logica-l] Fwd: Concurso na UnB Joao Marcos
• [Logica-l] CFA Workshop New Approaches to Non-Classical Conditionals Maria Martinez-Ordaz
  • [Logica-l] CFA Workshop New Approaches to Non-Classical Conditionals Maria Martinez-Ordaz
• [Logica-l] Fwd: Estão abertas as inscrições para o XXI Encontro Anpof Joao Marcos
• [Logica-l] Fwd: Barcelona's Master in Pure and Applied Logic -- Preregistration open Joao Marcos
• [Logica-l] 32nd WoLLIC 2026 - DEADLINE APPROACHING - Call for Papers Ruy Jose Guerra Barretto de Queiroz
• [Logica-l] proof by AI Joao Marcos
• [Logica-l] Fwd: CfP: Summer School for Widening Participation in Mathematical Philosophy, 20-24 July, 2026, Munich (Germany) Joao Marcos
• [Logica-l] 5° Prêmio SBFA 2026: Melhor Artigo em Filosofia Analítica Marcos Silva
• [Logica-l] What is FAQ? jean-yves beziau
• [Logica-l] Fwd: [diagrams-list] Diagrams 2026: Call for Graduate Symposium Jorge Petrucio Viana

• Mensagens anteriores