logica-l  

Índice temático

• [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
• [Logica-l] Fwd: Master's Degree in Logic - Athens, Greece - Call for Applications Joao Marcos
• [Logica-l] Divulgação:III Encontro Brasileiro em Teoria das Categorias Hugo Luiz Mariano
• [Logica-l] O que é o raciocínio? Verbete de enciclopédia / Palestra jean-yves beziau
• [Logica-l] Recife 2026 - Prazo prorrogado para submissões (19/02) 'THIAGO ANDRADE DE OLIVEIRA' via LOGICA-L
• [Logica-l] O que é um paradoxo? jean-yves beziau
• [Logica-l] Fwd: Call for Contributions: Tools for Educational Activities in Logic, a FLoC 2026 Workshop Joao Marcos
• [Logica-l] investigando as noções fundamentais da lógica: jean-yves beziau
• [Logica-l] O que é um número? jean-yves beziau
• [Logica-l] Ryszard Wójcicki (1931-2026) jean-yves beziau
  • Re: [Logica-l] Ryszard Wójcicki (1931-2026) Itala Maria Loffredo Dottaviano
  • Re: [Logica-l] Ryszard Wójcicki (1931-2026) Walter Carnielli
  • Re: [Logica-l] Ryszard Wójcicki (1931-2026) Joao Marcos
• [Logica-l] O que é isto? Eis a questão! - Congresso Filosófico Mundial - Rio de Janeiro, de 27 a 31 de julho de 2026 jean-yves beziau
• [Logica-l] percebendo o vazio, compreendendo a despresença Joao Marcos
  • Re: [Logica-l] percebendo o vazio, compreendendo a despresença Walter Carnielli
  • Re: [Logica-l] percebendo o vazio, compreendendo a despresença Eduardo Ochs
  • Re: [Logica-l] percebendo o vazio, compreendendo a despresença Eduardo Ochs
  • Re: [Logica-l] percebendo o vazio, compreendendo a despresença João Paulo Cirineu de Jesus
  • Re: [Logica-l] percebendo o vazio, compreendendo a despresença Gilberto Gomes
  • Re: [Logica-l] percebendo o vazio, compreendendo a despresença João Paulo Cirineu de Jesus
  • Re: [Logica-l] percebendo o vazio, compreendendo a despresença João Paulo Cirineu de Jesus
  • Re: [Logica-l] percebendo o vazio, compreendendo a despresença Marcelo Finger
  • Re: [Logica-l] percebendo o vazio, compreendendo a despresença Gilberto Gomes
  • Re: [Logica-l] percebendo o vazio, compreendendo a despresença Itala Maria Loffredo D'Ottaviano
  • Re: [Logica-l] percebendo o vazio, compreendendo a despresença Walter Carnielli
  • Re: [Logica-l] percebendo o vazio, compreendendo a despresença Marcelo Finger
  • Re: [Logica-l] percebendo o vazio, compreendendo a despresença Walter Carnielli
  • Re: [Logica-l] percebendo o vazio, compreendendo a despresença Eduardo Ochs
• [Logica-l] Fwd: [diagrams-list] Diagrams 2026: Call for Tutorials Jorge Petrucio Viana
• [Logica-l] Homenagem a Gilles Dowek (1966-2025) David Deharbe
• [Logica-l] Cantor, Brouwer, Russell Joao Marcos
  • [Logica-l] Re: Cantor, Brouwer, Russell 'Hermógenes Oliveira' via LOGICA-L
• [Logica-l] Logic and Religion Webinar with Dr. Dombrowski on the Logic of Perfection Assis
• [Logica-l] Bas van Fraassen Wins 2026 Schock Prize Joao Marcos
  • [Logica-l] Bas van Fraassen Wins 2026 Schock Prize jean-yves beziau
• [Logica-l] 4th ECUMENICAL meeting @ Stockholm Elaine Pimentel
  • [Logica-l] 4th ECUMENICAL meeting @ Stockholm Elaine Pimentel
• [Logica-l] WLD 2026: The Joint Russian-Brazilian Colloquium & Chapman and CLE (Campinas) Logic Groups Meeting Marcelo Esteban Coniglio
  • [Logica-l] WLD 2026: The Joint Russian-Brazilian Colloquium & Chapman and CLE (Campinas) Logic Groups Meeting Walter Carnielli
• [Logica-l] EBL 2025 Post-Conference Call for Papers (firm deadline) Bruno Lopes
• [Logica-l] "Lógica pra pessoas que sabem resolver 2+x=5 mas..." Eduardo Ochs
  • Re: [Logica-l] "Lógica pra pessoas que sabem resolver 2+x=5 mas..." Carlos Augusto Prolo
  • Re: [Logica-l] "Lógica pra pessoas que sabem resolver 2+x=5 mas..." Eduardo Ochs
  • Re: [Logica-l] "Lógica pra pessoas que sabem resolver 2+x=5 mas..." Carlos Augusto Prolo
• [Logica-l] Fwd: WCP#8 First announcment Joao Marcos
• [Logica-l] Keynote speakers confirmados: SBFA Recife 2026 'THIAGO ANDRADE DE OLIVEIRA' via LOGICA-L
• [Logica-l] celebrações do dia mundial da lógica - oitava edição jean-yves beziau
• [Logica-l] Meeting: Chapman and CLE (Campinas) Logic Groups Walter Carnielli
• [Logica-l] The World Logic Day and other LUA projects for 2026, LUWebinar, January 14, 2026 at 4pm CET jean-yves beziau
• [Logica-l] Filósofas Analíticas Brasileiras Gisele Dalva
  • Re: [Logica-l] Filósofas Analíticas Brasileiras Elaine Pimentel
  • Re: [Logica-l] Filósofas Analíticas Brasileiras Valeria de Paiva
• [Logica-l] [LEMBRETE] Chamada de Trabalhos: VIII Congresso da Associação Latinoamericana de Filosofia Analítica (ALFAn) 'GRACE ALLISON RAMIREZ ZORRILLA' via LOGICA-L
• [Logica-l] Publicação do Dossiê Cognição e Corporeidade: Revista Controvérsia (UNISINOS) 'THIAGO ANDRADE DE OLIVEIRA' via LOGICA-L
• [Logica-l] Celebração do dia mundial da lógica 2026 no Brasil - Homens também são bem-vindos! jean-yves beziau
• [Logica-l] Fwd: Announcement: aboutlogic - first episode launches on January 14 [world logic day] Joao Marcos
• [Logica-l] SBL no Dia Mundial da Lógica Cassiano Terra Rodrigues
• [Logica-l] Call for Bids to Host TABLEAUX-FroCoS 2027 Elaine Pimentel
• [Logica-l] [Call for Papers] Women in Logic 2026 Elaine Pimentel
• [Logica-l] História do Ensino da Lógica na Iberoamérica Gisele Dalva
• [Logica-l] APMP International Conference, Chapman University Walter Carnielli
• [Logica-l] World Logic Day, January 14, 2026 - 8th edition jean-yves beziau
• [Logica-l] Fwd: [GT Fil. das C. Formais] Prazo para submissão dos resumos: Sessão do GT na SBFA 2026 Evelyn Erickson
• [Logica-l] Fwd: CfA: Research Positions in Theorem Proving in AI & Mathematics, University of Manchester (UK), deadline: 13 Jan Joao Marcos
• [Logica-l] 32nd WoLLIC 2026 - 3rd Call for Papers Ruy Jose Guerra Barretto de Queiroz
• [Logica-l] Book Announcement--Proof Theory and Logic Programming: Computation as Proof Search Elaine Pimentel
• [Logica-l] CfA: VIII Conference of the Latin American Association of Analytic Philosophy (ALFAn) 'GRACE ALLISON RAMIREZ ZORRILLA' via LOGICA-L
• [Logica-l] Guitar Theory Eduardo Ochs
• [Logica-l] Sobre minha participação na Studia Logica Walter Carnielli
  • Re: [Logica-l] Sobre minha participação na Studia Logica Itala Maria Loffredo Dottaviano
• [Logica-l] 8th edition of the WLD - 3 smartest living logicians jean-yves beziau
• [Logica-l] Fwd: Logics, Volume 3, Issue 4 (December 2025) Released Joao Marcos
• [Logica-l] Fwd: Two Doctoral Positions in the Logic of Reasons at the MCMP (LMU Munich) Joao Marcos
• [Logica-l] Publicação dos artigos do 4º Prêmio SBFA 2025 na Revista Principia 'THIAGO ANDRADE DE OLIVEIRA' via LOGICA-L
• [Logica-l] Verbete “Paraconsistency and Paraconsistent Logics” (Carnielli e Carrasqueira) Walter Carnielli
  • Re: [Logica-l] Verbete “Paraconsistency and Paraconsistent Logics” (Carnielli e Carrasqueira) Gisele Dalva
  • Re: [Logica-l] Verbete “Paraconsistency and Paraconsistent Logics” (Carnielli e Carrasqueira) Walter Carnielli
  • [Logica-l] Re: Verbete “Paraconsistency and Paraconsistent Logics” (Carnielli e Carrasqueira) Yuri de Abreu
  • Re: [Logica-l] Re: Verbete “Paraconsistency and Paraconsistent Logics” (Carnielli e Carrasqueira) Gisele Dalva
• [Logica-l] next UNILOG and LUA events jean-yves beziau
• [Logica-l] SLALM 2026 -- deadline approaching! Elaine Pimentel
• [Logica-l] Fwd: FLOC 2026 Call for Papers Joao Marcos
• [Logica-l] Chamada de Artigos: Filosofia e Transdisciplinaridade 'THIAGO ANDRADE DE OLIVEIRA' via LOGICA-L
• [Logica-l] Entrevista do Prof. Walter Carnielli no McH Cloves Paiva
• [Logica-l] LUW Dec 17, 2025, Grigor Kolev (Bulgaria), winner of the World Logic Prize 2025 jean-yves beziau
• [Logica-l] [OFF] pacote ACM, Else­vier e Sprin­ger Nature Joao Marcos
  • Re: [Logica-l] [OFF] pacote ACM, Else­vier e Sprin­ger Nature Gilberto Gomes
• [Logica-l] Fwd: ThEdu'25 Post Proceedings - Call for Papers Joao Marcos
• [Logica-l] Start of the Contest for the World Logic Prize jean-yves beziau
• [Logica-l] Philosophical Logic: «Le roi est mort, vive le roi!» Joao Marcos
  • Re: [Logica-l] Philosophical Logic: «Le roi est mort, vive le roi!» Gilberto Gomes
  • Re: [Logica-l] Philosophical Logic: «Le roi est mort, vive le roi!» Joao Marcos
  • Re: [Logica-l] Philosophical Logic: «Le roi est mort, vive le roi!» Valeria de Paiva
  • Re: [Logica-l] Philosophical Logic: «Le roi est mort, vive le roi!» Marcelo Finger
  • Re: [Logica-l] Philosophical Logic: «Le roi est mort, vive le roi!» Valeria de Paiva
  • Re: [Logica-l] Philosophical Logic: «Le roi est mort, vive le roi!» Walter Carnielli
  • Re: [Logica-l] Philosophical Logic: «Le roi est mort, vive le roi!» Mahan Vaz
  • Re: [Logica-l] Philosophical Logic: «Le roi est mort, vive le roi!» Walter Carnielli
  • Re: [Logica-l] Philosophical Logic: «Le roi est mort, vive le roi!» Marcelo Finger
  • Re: [Logica-l] Philosophical Logic: «Le roi est mort, vive le roi!» Walter Carnielli
  • Re: [Logica-l] Philosophical Logic: «Le roi est mort, vive le roi!» Gilberto Gomes
  • Re: [Logica-l] Philosophical Logic: «Le roi est mort, vive le roi!» Gilberto Gomes
  • Re: [Logica-l] Philosophical Logic: «Le roi est mort, vive le roi!» Walter Carnielli
  • Re: [Logica-l] Philosophical Logic: «Le roi est mort, vive le roi!» Marcelo Finger
  • Re: [Logica-l] Philosophical Logic: «Le roi est mort, vive le roi!» Walter Carnielli
  • Re: [Logica-l] Philosophical Logic: «Le roi est mort, vive le roi!» Julio Stern
  • Re: [Logica-l] Philosophical Logic: «Le roi est mort, vive le roi!» Marcelo Finger
• [Logica-l] Deadline extension: EBL 2025 Post-Conference Call for Papers Bruno Lopes
• [Logica-l] Publicação do Número Especial "Perspectivas Contemporâneas em Filosofia da Lógica" - Revista Perspectiva Filosófica 'THIAGO ANDRADE DE OLIVEIRA' via LOGICA-L
• [Logica-l] Hoje começa em Cusco, Peru, a oitava edição do UNILOG jean-yves beziau
• [Logica-l] Palestra - Por que estudamos lógica? João Mendes
  • [Logica-l] Re: Palestra - Por que estudamos lógica? João Mendes
• [Logica-l] Concurso professor substituto Alfredo Roque Freire
• [Logica-l] Re: Susan Stebbing no *Uma filósofa por mês* Gisele Dalva
  • [Logica-l] Re: Susan Stebbing no *Uma filósofa por mês* Gisele Dalva
• [Logica-l] PTS Seminar next week: Masanobu Toyooka (Tohoku University), Dec 9, 11am (UTC+0) 'Hermógenes Oliveira' via LOGICA-L
• [Logica-l] 34ª edição do Ciclo de Palestras da SBFA Paloma Xavier
• [Logica-l] Live sobre Susan Stebbing Evelyn Erickson
• [Logica-l] [Deadline Nov 30] Workshop: "Philosophical and Technological Reflections on Contemporary Cosmology Maria Martinez-Ordaz
• [Logica-l] "What is Money?" - Logica Universalis Webinar, Wednesday Nov 26 at 4pm CET jean-yves beziau
• [Logica-l] Chamada de Resumos- IX Conferência SBFA 2026 'THIAGO ANDRADE DE OLIVEIRA' via LOGICA-L
• [Logica-l] 1st Call for Papers - Women in Logic 2026 Elaine Pimentel
• [Logica-l] Palestra hoje filosofia carioca: "What is it?” : “It” as an action or a value / Asha Mukherjee jean-yves beziau
• [Logica-l] Ponte entre Matemática do Infinito e Ciência da Computação. Cloves Paiva
  • [Logica-l] Re: Ponte entre Matemática do Infinito e Ciência da Computação. 'samuel' via LOGICA-L
• [Logica-l] [Deadline approaching] Workshop: "Philosophical and Technological Reflections on Contemporary Cosmology" Maria Martinez-Ordaz
• [Logica-l] Logic & Religion Webinar this Thursday Assis
• [Logica-l] LaRaW, Nov 20, 2025: The origins and worldwide significance of judaic hermeneutics - by Andrew Schumann jean-yves beziau
• [Logica-l] Fw: sanduba em Floripa Joao Marcos
• [Logica-l] AlphaProof Joao Marcos
  • Re: [Logica-l] AlphaProof Márcio Palmares
• [Logica-l] LoCa - “O que é a inteligência artificial?” - Steven S.Gouveia - 19 de Novembro às 16h30 jean-yves beziau
• [Logica-l] Livro sobre topologia positiva de Giovanni Sambin Frode Alfson Bjørdal
• [Logica-l] Fwd: Rahul Ilango on Nov 18 Ruy Jose Guerra Barretto de Queiroz
• [Logica-l] Organização de Eventos jean-yves beziau
• [Logica-l] Russell, Gödel, Tarski - Selected Papers on the Philosophy of Logic and Mathematics jean-yves beziau
• [Logica-l] Fwd: [SBL-Sócios] Manifestação de apoio à Sociedade Brasileira de Matemática Hugo Luiz Mariano
• [Logica-l] Fwd: TACL 2026 - first announcement 'Samuel Gomes da Silva' via LOGICA-L
• [Logica-l] 32nd WoLLIC 2026 - 2nd Call for Papers Ruy Jose Guerra Barretto de Queiroz
• [Logica-l] Fwd: [LOGIC] CfA: Postdoctoral Researcher in Philosophy of Mathematics and Logic, University of Lisbon (Portugal), Deadline 20 Nov 2025 Joao Marcos
• [Logica-l] Palestra no Instituto de Matemática da UFF (Campus Gragoatá) - Sexta, 14/11, às 14hs. 'samuel' via LOGICA-L
  • Re: [Logica-l] Palestra no Instituto de Matemática da UFF (Campus Gragoatá) - Sexta, 14/11, às 14hs. Joao Marcos
  • Re: [Logica-l] Palestra no Instituto de Matemática da UFF (Campus Gragoatá) - Sexta, 14/11, às 14hs. 'samuel' via LOGICA-L
  • Re: [Logica-l] Palestra no Instituto de Matemática da UFF (Campus Gragoatá) - Sexta, 14/11, às 14hs. 'samuel' via LOGICA-L
• [Logica-l] Call for registration "Methodologies for the use of history in philosophy" Maria Martinez-Ordaz
• [Logica-l] Oficina SOL - Boas Práticas em Organização de Eventos João Mendes
  • Re: [Logica-l] Oficina SOL - Boas Práticas em Organização de Eventos Joao Marcos
  • Re: [Logica-l] Oficina SOL - Boas Práticas em Organização de Eventos João Mendes
• [Logica-l] Call for Application to the MPP (Mathematics-Philosophy-Physiscs) Graduate Program Chapman University Walter Carnielli
• [Logica-l] The 8th World Congress and School on Universal Logic / Hotels + Machu Picchu trip jean-yves beziau
• [Logica-l] GIGO (é como se diz, em Computação) Joao Marcos
  • Re: [Logica-l] GIGO (é como se diz, em Computação) Walter Carnielli
  • Re: [Logica-l] GIGO (é como se diz, em Computação) Marcelo Finger
• [Logica-l] SPIRA-BM: Biomarcadores p/Condições Respiratórias em Dispositivos Móveis por Análise de Áudio com IA Adolfo Neto
• [Logica-l] PTS Seminar next week: Ekaterina Piotrovskaya (UCL), Nov 3, 5pm (UTC+0) Elaine Pimentel
• [Logica-l] Crazy Dice, Chance, and Counting Causes by Roy Cook - October 29, 2025 at 4pm - LUW jean-yves beziau
• [Logica-l] Fwd: [diagrams-list] First Call For Papers | DIAGRAMS 2026 Jorge Petrucio Viana
• [Logica-l] Fwd: [LOGBOG: 1280] Fwd: PhD studentship in logic and information at UCL 'Samuel Gomes da Silva' via LOGICA-L
• [Logica-l] Vencedor do Prêmio Peruano de Lógica 2025 – Rumo ao UNILOG! Luis Felipe Bartolo Alegre
• [Logica-l] Chamada Final de Resumos – UNILOG 2025 Luis Felipe Bartolo Alegre
• [Logica-l] CSL’26 -- CALL FOR WORKSHOPS Elaine Pimentel
• [Logica-l] LARAW: October 23, God and the Divine in Ayahuasca, Kardecist and Brazilian Amerindian traditions jean-yves beziau
• [Logica-l] Ezgi Iraz Su, winner of Teo Grünberg Logic Prize for Turkey 2025 jean-yves beziau
• [Logica-l] (Links) III EBFA Paloma Xavier
• [Logica-l] Último dia de inscrições: Escola Brasileira em Teoria das Categorias Mayk Alves de Andrade
• [Logica-l] Alfonso Cabanzo, Winner of the Logic Prize for Colombia 2025 jean-yves beziau
• [Logica-l] Convite para o Seminário do Clube Humboldt do Brasil – "Estudar na Alemanha: Oportunidades de Bolsas e Guia de Chegada" - dia 7 de outubro 2025 Walter Carnielli
• [Logica-l] Resultado final do 4º Prêmio SBFA 2025 Paloma Xavier

• Mensagens anteriores