logica-l

[Logica-l] Why Math’s Final Axiom Proved So Controversial

Thu, 30 Apr 2026 11:42:16 GMT

2026/04/30 -- Joao Marcos

[Logica-l] Re: Squaring the World

Wed, 29 Apr 2026 13:20:24 GMT

2026/04/29 -- jean-yves beziau

[Logica-l] obituário para Sir Tony Hoare

Wed, 29 Apr 2026 12:11:25 GMT

2026/04/29 -- Joao Marcos

[Logica-l] Squaring the World

Wed, 29 Apr 2026 08:46:55 GMT

2026/04/29 -- jean-yves beziau

[Logica-l] Entrevista Journal da UNICAMP - Livro Outstanding Contributions to Logic

Wed, 29 Apr 2026 05:06:20 GMT

2026/04/29 -- Rafael Ongaratto

Re: [Logica-l] Matemática e IA

Tue, 28 Apr 2026 20:55:08 GMT

2026/04/28 -- Valeria de Paiva

[Logica-l] Por que “O que é isto?” ?

Tue, 28 Apr 2026 16:54:23 GMT

2026/04/28 -- jean-yves beziau

[Logica-l] Ti esti : a pioneering philosophy event using AI

Tue, 28 Apr 2026 07:43:30 GMT

2026/04/28 -- jean-yves beziau

[Logica-l] Matemática e IA

Tue, 28 Apr 2026 00:58:35 GMT

2026/04/28 -- Walter Carnielli

[Logica-l] [off?] Ensaio sobre matematica e AI

Mon, 27 Apr 2026 14:26:30 GMT

2026/04/27 -- Valeria de Paiva

[Logica-l] depois de lançar o prêmio de lógica do Brasil em 2014, estamos lançando o prêmio de filosofia do Brasil

Mon, 27 Apr 2026 09:47:26 GMT

2026/04/27 -- jean-yves beziau

[Logica-l] Fwd: CfA: Many PhDs and Postdocs in Uncovering the Axioms of Mathematics, Vienna (Austria), deadline: 22. Mai (encouraged)

Thu, 23 Apr 2026 17:53:04 GMT

2026/04/23 -- Joao Marcos

Re: [Logica-l] Fwd: [Cryptography] Michael Rabin

Thu, 23 Apr 2026 13:54:13 GMT

2026/04/23 -- Joao Marcos

Re: [Logica-l] "Como sabemos se a prova de um teorema está certa?"

Thu, 23 Apr 2026 02:11:21 GMT

2026/04/23 -- Walter Carnielli

Re: [Logica-l] Re: "Como sabemos se a prova de um teorema está certa?"

Wed, 22 Apr 2026 13:23:08 GMT

2026/04/22 -- Haniel Barbosa

[Logica-l] Re: "Como sabemos se a prova de um teorema está certa?"

Wed, 22 Apr 2026 11:39:14 GMT

2026/04/22 -- Joao Marcos

[Logica-l] Novo episódio do Podcast Lógica Viva (UFPE/Recife), com Itala D’Ottaviano

Wed, 22 Apr 2026 00:50:20 GMT

2026/04/22 -- Juliany Thainá

[Logica-l] Congrès mondial sur le carré des oppositions, Montréal, Canada, du 22 au 26 juin 2026.

Tue, 21 Apr 2026 15:29:27 GMT

2026/04/21 -- jean-yves beziau

[Logica-l] A New Solution to the Logical Problem of Evil - April 22, 2026, 4pm CET

Mon, 20 Apr 2026 14:23:40 GMT

2026/04/20 -- jean-yves beziau

[Logica-l] [2nd Call for Papers] Women in Logic 2026

Mon, 20 Apr 2026 08:21:12 GMT

2026/04/20 -- Elaine Pimentel

[Logica-l] Oportunidade: PhD na Holanda

Sun, 19 Apr 2026 14:39:23 GMT

2026/04/19 -- Walter Carnielli

Re: [Logica-l] Lógica, Linguagem e Política: artigos de opinião

Fri, 17 Apr 2026 19:57:26 GMT

2026/04/17 -- Eduardo Ochs

[Logica-l] Lógica, Linguagem e Política: artigos de opinião

Fri, 17 Apr 2026 16:19:22 GMT

2026/04/17 -- Marcos Silva

Re: [Logica-l] Boas Práticas em Organização de Eventos Acadêmicos: Cartilha educacional

Fri, 17 Apr 2026 15:34:43 GMT

2026/04/17 -- Joao Marcos

[Logica-l] Why “What is it?” ?

Fri, 17 Apr 2026 10:51:27 GMT

2026/04/17 -- jean-yves beziau

Re: [Logica-l] Boas Práticas em Organização de Eventos Acadêmicos: Cartilha educacional

Fri, 17 Apr 2026 01:43:34 GMT

2026/04/17 -- Joao Marcos

Re: [Logica-l] Boas Práticas em Organização de Eventos Acadêmicos: Cartilha educacional

Thu, 16 Apr 2026 22:12:52 GMT

2026/04/16 -- Evelyn Erickson

[Logica-l] Inscrições com desconto- IX Conferência SBFA- Recife 2026

Thu, 16 Apr 2026 20:53:41 GMT

2026/04/16 -- 'THIAGO ANDRADE DE OLIVEIRA' via LOGICA-L

Re: [Logica-l] Boas Práticas em Organização de Eventos Acadêmicos: Cartilha educacional

Thu, 16 Apr 2026 15:43:59 GMT

2026/04/16 -- Marcos Silva

Re: [Logica-l] Fwd: [Cryptography] Michael Rabin

Thu, 16 Apr 2026 14:38:19 GMT

2026/04/16 -- Adolfo Neto

[Logica-l] DEADLINE EXTENDED: CFA: “Transgressing Boundaries: Unusual Applications of Formal Logic” (Deadline now April 22nd)

Thu, 16 Apr 2026 09:57:37 GMT

2026/04/16 -- Blandine De Becker

Re: [Logica-l] Boas Práticas em Organização de Eventos Acadêmicos: Cartilha educacional

Wed, 15 Apr 2026 20:44:46 GMT

2026/04/15 -- Evelyn Erickson

[Logica-l] Science and Math News

Wed, 15 Apr 2026 11:46:12 GMT

2026/04/15 -- Ruy Jose Guerra Barretto de Queiroz

[Logica-l] on the AI revolution in Math

Wed, 15 Apr 2026 11:44:38 GMT

2026/04/15 -- Joao Marcos

[Logica-l] LANMR 2026 – Clarifications on Participation Mode and Fees

Tue, 14 Apr 2026 22:54:32 GMT

2026/04/14 -- Juan Slagter

[Logica-l] Fwd: [Cryptography] Michael Rabin

Tue, 14 Apr 2026 15:17:47 GMT

2026/04/14 -- Ruy Jose Guerra Barretto de Queiroz

Re: [Logica-l] Boas Práticas em Organização de Eventos Acadêmicos: Cartilha educacional

Tue, 14 Apr 2026 03:47:49 GMT

2026/04/14 -- Itala Maria Loffredo Dottaviano

Re: [Logica-l] Boas Práticas em Organização de Eventos Acadêmicos: Cartilha educacional

Sat, 11 Apr 2026 15:04:56 GMT

2026/04/11 -- Elaine Pimentel

Re: [Logica-l] Boas Práticas em Organização de Eventos Acadêmicos: Cartilha educacional

Sat, 11 Apr 2026 14:45:49 GMT

2026/04/11 -- Valeria de Paiva

Re: [Logica-l] Boas Práticas em Organização de Eventos Acadêmicos: Cartilha educacional

Fri, 10 Apr 2026 01:17:20 GMT

2026/04/10 -- Hugo Luiz Mariano

[Logica-l] Boas Práticas em Organização de Eventos Acadêmicos: Cartilha educacional

Thu, 09 Apr 2026 19:47:25 GMT

2026/04/09 -- Evelyn Erickson

Re: [Logica-l] E. H. Manfredini, "Elementos de Lógica" (vol. 1), 2026

Thu, 09 Apr 2026 14:42:22 GMT

2026/04/09 -- Itala Maria Loffredo D'Ottaviano

[Logica-l] 2nd CFP LANMR2026

Thu, 09 Apr 2026 00:53:36 GMT

2026/04/09 -- Juan Slagter

[Logica-l] "Como sabemos se a prova de um teorema está certa?"

Thu, 09 Apr 2026 00:27:51 GMT

2026/04/09 -- Joao Marcos

Re: [Logica-l] E. H. Manfredini, "Elementos de Lógica" (vol. 1), 2026

Tue, 07 Apr 2026 22:40:43 GMT

2026/04/07 -- Alfredo Roque Freire

Re: [Logica-l] Grupo de Estudos em Fundamentos da Matemática da UFERSA

Mon, 06 Apr 2026 19:30:29 GMT

2026/04/06 -- Lucas Gutemberg

[Logica-l] Grupo de Estudos em Fundamentos da Matemática da UFERSA

Mon, 06 Apr 2026 19:25:28 GMT

2026/04/06 -- João Daniel Dantas

[Logica-l] VI Colóquio NormAtiva (UFPE)

Mon, 06 Apr 2026 16:22:07 GMT

2026/04/06 -- 'THIAGO ANDRADE DE OLIVEIRA' via LOGICA-L

[Logica-l] This startup wants to change how mathematicians do math

Mon, 06 Apr 2026 14:47:16 GMT

2026/04/06 -- Joao Marcos

[Logica-l] PTS Seminar next week: Robin Martinot, April 14, 12pm (UTC+0)

Mon, 06 Apr 2026 11:58:10 GMT

2026/04/06 -- 'Hermógenes Oliveira' via LOGICA-L

Re: [Logica-l] E. H. Manfredini, "Elementos de Lógica" (vol. 1), 2026

Sat, 04 Apr 2026 02:48:34 GMT

2026/04/04 -- Walter Carnielli

[Logica-l] E. H. Manfredini, "Elementos de Lógica" (vol. 1), 2026

Fri, 03 Apr 2026 22:24:45 GMT

2026/04/03 -- Alfredo Roque Freire

[Logica-l]

Fri, 03 Apr 2026 17:07:35 GMT

2026/04/03 -- Cloves Paiva

[Logica-l] CfP – SQUARE 9 (Montréal, June 22–26, 2026)

Fri, 03 Apr 2026 15:20:42 GMT

2026/04/03 -- jean-yves beziau

[Logica-l] Pos-Doc em IA- Unicamp

Thu, 02 Apr 2026 22:56:10 GMT

2026/04/02 -- Walter Carnielli

Re: [Logica-l] (Blog post) E se Cantor estava errado ?

Thu, 02 Apr 2026 13:13:03 GMT

2026/04/02 -- Valeria de Paiva

[Logica-l] Extensão de prazo: 5° Prêmio SBFA 2026: Melhor Artigo em Filosofia Analítica

Wed, 01 Apr 2026 15:06:16 GMT

2026/04/01 -- 'THIAGO ANDRADE DE OLIVEIRA' via LOGICA-L

Re: [Logica-l] (Blog post) E se Cantor estava errado ?

Wed, 01 Apr 2026 03:25:41 GMT

2026/04/01 -- Itala Maria Loffredo Dottaviano

[Logica-l] AI2: 5 vagas de Bolsa de Treinamento Técnico (TT-5) FAPESP

Tue, 31 Mar 2026 11:58:53 GMT

2026/03/31 -- Walter Carnielli

[Logica-l] bolsas de doutorado em GOOD INTENSIONS (Amsterdã)

Tue, 31 Mar 2026 11:35:26 GMT

2026/03/31 -- Joao Marcos

[Logica-l] Rebecca Goldstein no Brasil

Tue, 31 Mar 2026 11:35:25 GMT

2026/03/31 -- Joao Marcos

Re: [Logica-l] Walter Carnielli on Reasoning, Paraconsistency, and Probability

Tue, 31 Mar 2026 11:24:38 GMT

2026/03/31 -- Viktoria Denisova

Re: [Logica-l] Walter Carnielli on Reasoning, Paraconsistency, and Probability

Mon, 30 Mar 2026 21:17:05 GMT

2026/03/30 -- Rafael Ongaratto

Re: [Logica-l] Walter Carnielli on Reasoning, Paraconsistency, and Probability

Mon, 30 Mar 2026 17:28:49 GMT

2026/03/30 -- Marcelo Esteban Coniglio

Re: [Logica-l] Walter Carnielli on Reasoning, Paraconsistency, and Probability

Mon, 30 Mar 2026 13:31:00 GMT

2026/03/30 -- Marcelo Finger

Re: [Logica-l] (Blog post) E se Cantor estava errado ?

Mon, 30 Mar 2026 11:51:04 GMT

2026/03/30 -- Marcelo Finger

Re: [Logica-l] E-mail de compilação para logica-l@dimap.ufrn.br - 1 atualização em 1 tema

Mon, 30 Mar 2026 07:01:42 GMT

2026/03/30 -- Walter Carnielli

Re: [Logica-l] (Blog post) E se Cantor estava errado ?

Mon, 30 Mar 2026 06:59:27 GMT

2026/03/30 -- Julio Stern

Re: [Logica-l] (Blog post) E se Cantor estava errado ?

Mon, 30 Mar 2026 06:54:26 GMT

2026/03/30 -- Julio Stern

Re: [Logica-l] E-mail de compilação para logica-l@dimap.ufrn.br - 1 atualização em 1 tema

Mon, 30 Mar 2026 03:31:44 GMT

2026/03/30 -- Valeria de Paiva

Re: [Logica-l] Breve resumo de logica-l@dimap.ufrn.br - 2 atualizações em 2 temas

Mon, 30 Mar 2026 02:18:02 GMT

2026/03/30 -- 'Samuel Gomes da Silva' via LOGICA-L

Re: [Logica-l] E-mail de compilação para logica-l@dimap.ufrn.br - 1 atualização em 1 tema

Sun, 29 Mar 2026 23:17:34 GMT

2026/03/29 -- Walter Carnielli

[Logica-l] (Blog post) E se Cantor estava errado ?

Sun, 29 Mar 2026 21:43:07 GMT

2026/03/29 -- 'samuel' via LOGICA-L

Re: [Logica-l] Walter Carnielli on Reasoning, Paraconsistency, and Probability

Sat, 28 Mar 2026 04:21:53 GMT

2026/03/28 -- Walter Carnielli

Re: [Logica-l] duas décadas de LOGICA-L

Fri, 27 Mar 2026 17:53:22 GMT

2026/03/27 -- Valeria de Paiva

Re: [Logica-l] Equal Pay Day 2026

Fri, 27 Mar 2026 17:10:02 GMT

2026/03/27 -- Joao Marcos

Re: [Logica-l] Equal Pay Day 2026

Fri, 27 Mar 2026 16:34:25 GMT

2026/03/27 -- Valeria de Paiva

Re: [Logica-l] Walter Carnielli on Reasoning, Paraconsistency, and Probability

Fri, 27 Mar 2026 16:20:26 GMT

2026/03/27 -- Elaine Pimentel

Re: [Logica-l] Podcast Lógica Viva: Reavivando o lógica vida, lançamento de livros e próximos eventos

Fri, 27 Mar 2026 15:41:32 GMT

2026/03/27 -- Marcos Silva

[Logica-l] Walter Carnielli on Reasoning, Paraconsistency, and Probability

Fri, 27 Mar 2026 15:26:46 GMT

2026/03/27 -- Marcos Silva

Re: [Logica-l] Equal Pay Day 2026

Fri, 27 Mar 2026 14:02:49 GMT

2026/03/27 -- Joao Marcos

[Logica-l] CFP: 9th World Congress on the Square of Opposition

Thu, 26 Mar 2026 16:52:33 GMT

2026/03/26 -- jean-yves beziau

[Logica-l] CFP: 5th World Congress on Logic and Religion – WoCoLoR

Thu, 26 Mar 2026 15:11:43 GMT

2026/03/26 -- jean-yves beziau

[Logica-l] Equal Pay Day 2026

Thu, 26 Mar 2026 11:41:43 GMT

2026/03/26 -- Evelyn Erickson

Re: [Logica-l] duas décadas de LOGICA-L

Thu, 26 Mar 2026 02:03:06 GMT

2026/03/26 -- Eduardo Ochs

Re: [Logica-l] duas décadas de LOGICA-L

Wed, 25 Mar 2026 17:42:03 GMT

2026/03/25 -- Walter Carnielli

Re: [Logica-l] duas décadas de LOGICA-L

Wed, 25 Mar 2026 08:13:25 GMT

2026/03/25 -- Marcelo Finger

Re: [Logica-l] duas décadas de LOGICA-L

Wed, 25 Mar 2026 05:02:00 GMT

2026/03/25 -- Elaine Pimentel

Re: [Logica-l] duas décadas de LOGICA-L

Tue, 24 Mar 2026 23:18:43 GMT

2026/03/24 -- Gilberto Gomes

[Logica-l] duas décadas de LOGICA-L

Tue, 24 Mar 2026 22:20:11 GMT

2026/03/24 -- O Administrador da LOGICA-L

[Logica-l] Proof Society Seminar 20.04.2026 (at 13:00 UTC = 14:00 BST = 15:00 CEST)

Tue, 24 Mar 2026 08:27:24 GMT

2026/03/24 -- Elaine Pimentel

Re: [Logica-l] Podcast Lógica Viva: Reavivando o lógica vida, lançamento de livros e próximos eventos

Mon, 23 Mar 2026 20:07:49 GMT

2026/03/23 -- Valeria de Paiva

[Logica-l] Podcast Lógica Viva: Reavivando o lógica vida, lançamento de livros e próximos eventos

Mon, 23 Mar 2026 19:29:17 GMT

2026/03/23 -- 'THIAGO ANDRADE DE OLIVEIRA' via LOGICA-L

[Logica-l] Modal Logic in Europe, 1930-1959

Mon, 23 Mar 2026 17:12:37 GMT

2026/03/23 -- jean-yves beziau

Re: [Logica-l] V Dia Carol Blasio por Diversidade na Lógica - Preparativos

Fri, 20 Mar 2026 14:58:58 GMT

2026/03/20 -- Gisele Dalva

Re: [Logica-l] V Dia Carol Blasio por Diversidade na Lógica - Preparativos

Fri, 20 Mar 2026 13:55:22 GMT

2026/03/20 -- Gisele Dalva

Re: [Logica-l] V Dia Carol Blasio por Diversidade na Lógica - Preparativos

Fri, 20 Mar 2026 12:26:06 GMT

2026/03/20 -- Joao Marcos

[Logica-l] [Call for Papers] Special Issue – 10 Years of the Women in Logic Workshop Journal of Logic and Computation

Thu, 19 Mar 2026 08:30:25 GMT

2026/03/19 -- Elaine Pimentel

[Logica-l] Fwd: [members-philmathpractice] Doctoral and post-doctoral positions

Wed, 18 Mar 2026 18:16:50 GMT

2026/03/18 -- Gisele Dalva

Re: [Logica-l] V Dia Carol Blasio por Diversidade na Lógica - Preparativos

Wed, 18 Mar 2026 07:43:08 GMT

2026/03/18 -- Elaine Pimentel