logica-l  

Índice temático

• [Logica-l] Bolsas de Posdoc UFRJ Walter Carnielli
• [Logica-l] Coletivo Lógica Viva: Sobre as Armadilhas da Excelência Marcos Silva
• [Logica-l] Tese de Church - LUW / Wikipédia / SEP / IEP jean-yves beziau
• [Logica-l] European Society for the Philosophy of Mathematics Joao Marcos
• [Logica-l] CALCO/MFPS 2023 comeca na segunda-feira Valeria de Paiva
• [Logica-l] Paraconsistent Newsletter Spring-Fall 2023 jean-yves beziau
• [Logica-l] DIALETHEISM AND THE INEFFABILITY OF GOD - GRAHAM PRIEST: The Logic and Religion Webinar Assis
• [Logica-l] Hoje às 11h de Brasília, celebração de 120 anos de Alonzo Church jean-yves beziau
• [Logica-l] 9th Workshop on Quantum Mechanics and Quantum Information Jonas Becker
• [Logica-l] Lógica Viva: Por que o novo ensino médio é tão ruim? Marcos Silva
  • Re: [Logica-l] Lógica Viva: Por que o novo ensino médio é tão ruim? Elaine Pimentel
  • Re: [Logica-l] Lógica Viva: Por que o novo ensino médio é tão ruim? Marcos Silva
• [Logica-l] The Decision Problem for Effective Procedures - Celebration of the 120th anniversary of Alonzo Church jean-yves beziau
• [Logica-l] Tradução Cassiano Terra Rodrigues
  • Re: [Logica-l] Tradução Eduardo Ochs
  • Re: [Logica-l] Tradução Cassiano Terra Rodrigues
  • Re: [Logica-l] Tradução Abilio Rodrigues Filho
  • Re: [Logica-l] Tradução Walter Carnielli
  • Re: [Logica-l] Tradução Cassiano Terra Rodrigues
  • Re: [Logica-l] Tradução Daniel Durante
  • Re: [Logica-l] Tradução Joao Marcos
• [Logica-l] The Logical Alien Marcos Silva
• [Logica-l] Fwd: The mathematical drawing/diagram please post Joao Marcos
• [Logica-l] In New Paradox, Black Holes Appear to Evade Heat Death Ruy Jose Guerra Barretto de Queiroz
• [Logica-l] Um "Arenque Vermelho " Walter Carnielli
  • [Logica-l] Re: Um "Arenque Vermelho " 'samuel' via LOGICA-L
  • [Logica-l] Re: Um "Arenque Vermelho " Walter Carnielli
• [Logica-l] Palestra "Red Herring" - UFBA - 15 de junho, 16h40 'samuel' via LOGICA-L
  • Re: [Logica-l] Palestra "Red Herring" - UFBA - 15 de junho, 16h40 Thiago Nascimento da Silva
  • Re: [Logica-l] Palestra "Red Herring" - UFBA - 15 de junho, 16h40 'samuel' via LOGICA-L
  • Re: [Logica-l] Palestra "Red Herring" - UFBA - 15 de junho, 16h40 Gisele Secco
  • Re: [Logica-l] Palestra "Red Herring" - UFBA - 15 de junho, 16h40 'samuel' via LOGICA-L
  • Re: [Logica-l] Palestra "Red Herring" - UFBA - 15 de junho, 16h40 'samuel' via LOGICA-L
  • Re: [Logica-l] Palestra "Red Herring" - UFBA - 15 de junho, 16h40 'samuel' via LOGICA-L
  • Re: [Logica-l] Palestra "Red Herring" - UFBA - 15 de junho, 16h40 Valeria de Paiva
• [Logica-l] Fwd: [LanCog] Job announcement: Postdoctoral Fellowship in Substructural Logics and Their Philosophy at the University of Lisbon Marcelo Esteban Coniglio
• [Logica-l] Oportunidade de Doutorado com Bolsa Integral entre Bolzano (Itália) e Twente (Holanda) Walter Carnielli
• [Logica-l] PhD positions in Philosophy at the University of Rome “Tor Vergata” Walter Carnielli
• [Logica-l] WiL 2023 - Call for Participation Daniele Nantes
• [Logica-l] Helmut Veith Stipend for Female Master’s Students in Computer Science Elaine Pimentel
• [Logica-l] Re: [SBL-Sócios] Eleições SBL -- votação eletrônica Hugo Luiz Mariano
  • Re: [Logica-l] Re: [SBL-Sócios] Eleições SBL -- votação eletrônica Itala Maria Loffredo D'Ottaviano
  • Re: [Logica-l] Re: [SBL-Sócios] Eleições SBL -- votação eletrônica Hugo Luiz Mariano
• [Logica-l] Religious Symbolism and Symbolic Logic, Sinaia, Sept 3-8, 2023 - CfP jean-yves beziau
  • [Logica-l] Symbolic Logic and Religious Symbolism, Sinaia, Sept 3-8, 2023 - CfP - Extended Deadline June 15 jean-yves beziau
  • [Logica-l] Symbolic Logic and Religious Symbolism, Sinaia, Sept 3-8, 2023 - CfP - Final Deadline July 24 jean-yves beziau
• [Logica-l] Edital para Contratação de Professor Visitante - UFBA 'samuel' via LOGICA-L
• [Logica-l] Participação de Sociedades Científicas no PPA Participativo João Mendes
  • Re: [Logica-l] Participação de Sociedades Científicas no PPA Participativo Elaine Pimentel
  • Re: [Logica-l] Participação de Sociedades Científicas no PPA Participativo João Mendes
  • Re: [Logica-l] Participação de Sociedades Científicas no PPA Participativo Hugo Luiz Mariano
• [Logica-l] "P e ¬P é uma contradição?" 25 de maio de 2023 às 17h jean-yves beziau
• [Logica-l] Censo de estudantes de Lógica de anos iniciais Joao Marcos
• [Logica-l] The Compactness Theorem - verbete IEP jean-yves beziau
• [Logica-l] Deu na BBC Elaine Pimentel
• [Logica-l] 29th WoLLIC 2023 - Call for Participation Ruy Jose Guerra Barretto de Queiroz
• [Logica-l] LUW May 17 - The Unification of Mathematics via Topos Theory, Olivia Caramello - Grothendieck Institute jean-yves beziau
• [Logica-l] Fwd: Postdoc in philosophical logic with focus on substructural logics and their philosophy at CFUL, Lisbon Joao Marcos
• [Logica-l] ANITA, a Assistente de Provas para Tablôs Analíticos Adolfo Neto
• [Logica-l] CADE-29: Call for participation Haniel Barbosa
• [Logica-l] Ian Hacking (1936-2023) Joao Marcos
  • [Logica-l] Re: Ian Hacking (1936-2023) Joao Marcos
  • [Logica-l] Ian Hacking (1936-2023) Walter Carnielli
• [Logica-l] The Proof Society Workshop on Proof Theory and its Applications 13-14 July, 2023 Elaine Pimentel
• [Logica-l] Autumn school "Proof and Computation", Herrsching (Germany), 10-16 Sep 2023 [deadline 31 May] Elaine Pimentel
• [Logica-l] LARAW May 11 - THE ANATOMY OF GOD AND THE PROBLEM OF EVIL Lessons from an African Perspective - Aribiah Attoe jean-yves beziau
  • [Logica-l] LARAW May 11 - THE ANATOMY OF GOD AND THE PROBLEM OF EVIL Lessons from an African Perspective - Aribiah Attoe jean-yves beziau
  • [Logica-l] LARAW May 11 - THE ANATOMY OF GOD AND THE PROBLEM OF EVIL Lessons from an African Perspective - Aribiah Attoe jean-yves beziau
• [Logica-l] LUW May 10 - Revising the Elenchus via Belief Revision - by Ekaterina Kubyshkina and Mattia Petrolo jean-yves beziau
  • [Logica-l] O ELENCHUS COMO O PRINCIPAL INSTRUMENTO DA PEDAGOGIA SOCRÁTICA jean-yves beziau
• [Logica-l] SBMF 2023 - Call for papers Haniel Barbosa
• [Logica-l] ‘Too greedy’: mass walkout at global science journal over ‘unethical’ fees | Peer review and scientific publishing | The Guardian Francisco Miraglia Neto
• [Logica-l] Ch.S. Pierce Acaso Probabilidade e Inducao Julio Stern
• [Logica-l] The Most Important Machine That Was Never Built Joao Marcos
• [Logica-l] sobre o Problema da Bela Adormecida Joao Marcos
• [Logica-l] CFP 1st Workshop on Contradictory Logics, December 6-8, 2023, Ruhr University Bochum 'Daniel Skurt' via LOGICA-L
• [Logica-l] Artigo sobre Ayda Arruda e Itala D´Ottaviano, com entrevista da Itala Cesar Serbena
  • Re: [Logica-l] Artigo sobre Ayda Arruda e Itala D´Ottaviano, com entrevista da Itala Gisele Secco
  • Re: [Logica-l] Artigo sobre Ayda Arruda e Itala D´Ottaviano, com entrevista da Itala Itala Maria Loffredo D'Ottaviano
  • Re: [Logica-l] Artigo sobre Ayda Arruda e Itala D´Ottaviano, com entrevista da Itala Walter Carnielli
  • Re: [Logica-l] Artigo sobre Ayda Arruda e Itala D´Ottaviano, com entrevista da Itala Cesar Serbena
• [Logica-l] novo logo do grupo de pesquisa CAROL Joao Marcos
• [Logica-l] Collaboration Pharmaceuticals 'Susana Gomez' via LOGICA-L
• [Logica-l] adendo a minha mensagem anterior Jorge Petrucio Viana
• [Logica-l] referências sobre cardinalidade de conjuntos finitos Jorge Petrucio Viana
  • [Logica-l] Re: referências sobre cardinalidade de conjuntos finitos 'samuel' via LOGICA-L
  • [Logica-l] Re: referências sobre cardinalidade de conjuntos finitos 'samuel' via LOGICA-L
• [Logica-l] Fwd: PhDs in Logic 2023 Joao Marcos
• [Logica-l] logic vs "formal methods" Joao Marcos
  • Re: [Logica-l] logic vs "formal methods" Walter Carnielli
• [Logica-l] Fwd: [SBFA] 1º Prêmio da SBFA, edição 2023 Mateus Alves
• [Logica-l] DaLí 2023 - 3rd Call for Papers and !Deadline Extension! Elaine Pimentel
• [Logica-l] LUW April 26 - Probability Logics for Reasoning About Quantum Observations jean-yves beziau
• [Logica-l] Student Volunteer Program - CLMPST @ Buenos Aires, Argentina Damian Szmuc
• [Logica-l] Final CfP: Logical and Semantic Frameworks with Applications (LSFA 2023) [extended deadlines] D. Ventura
  • [Logica-l] Fwd: Final CfP: Logical and Semantic Frameworks with Applications (LSFA 2023) [extended deadlines] D. Ventura
• [Logica-l] Re: GPT-4 está qualificado para trabalhar como um matemático? Cassiano Terra Rodrigues
• [Logica-l] seminário EMAp Alexandre Rademaker
  • Re: [Logica-l] seminário EMAp Valeria de Paiva
  • Re: [Logica-l] seminário EMAp Eduardo Ochs
  • Re: [Logica-l] seminário EMAp Alexandre Rademaker
• [Logica-l] LUW April 19, 2023: An Intensional Formalization of Generic Statements by Hugolin Bergier jean-yves beziau
• [Logica-l] Mais uma vez, a MDPI e as publicações predatórias Walter Carnielli
  • Re: [Logica-l] Mais uma vez, a MDPI e as publicações predatórias Joao Marcos
• [Logica-l] Fwd: First issue of Annals of Mathematics and Philosophy Joao Marcos
• [Logica-l] GPT-4 está qualificado para trabalhar como um matemático? Joao Marcos
  • Re: [Logica-l] GPT-4 está qualificado para trabalhar como um matemático? Julio Stern
  • Re: [Logica-l] GPT-4 está qualificado para trabalhar como um matemático? Márcio Palmares
  • Re: [Logica-l] GPT-4 está qualificado para trabalhar como um matemático? Aldo Figallo-Orellano
  • Re: [Logica-l] GPT-4 está qualificado para trabalhar como um matemático? Walter Carnielli
  • Re: [Logica-l] GPT-4 está qualificado para trabalhar como um matemático? Cleyton Slaviero
  • Re: [Logica-l] GPT-4 está qualificado para trabalhar como um matemático? Adolfo Neto
  • Re: [Logica-l] GPT-4 está qualificado para trabalhar como um matemático? Joao Marcos
  • Re: [Logica-l] GPT-4 está qualificado para trabalhar como um matemático? Walter Carnielli
• [Logica-l] Sobre o CLMPST 2023 Elaine Pimentel
• [Logica-l] [SBL] O nosso "muito obrigado"! Elaine Pimentel
• [Logica-l] Eleição para a Diretoria da SBL -- chapa inscrita Elaine Pimentel
  • [Logica-l] Re: Eleição para a Diretoria da SBL -- chapa inscrita Cassiano Terra Rodrigues
• [Logica-l] II Dia Carol Blasio: novo prazo -- 16 de abril (hoje) Elaine Pimentel
• [Logica-l] SBL apoia a proposta de um Dia Nacional de Repúdio à ditadura Elaine Pimentel
• [Logica-l] E-mails da SBL Elaine Pimentel
• [Logica-l] A New Approach to Computation Reimagines Artificial Intelligence Ruy Jose Guerra Barretto de Queiroz
• [Logica-l] LSFA 2023 2nd CFP Mauricio Ayala Rincon
• [Logica-l] 2nd Call For Papers: Logical and Semantic Frameworks with Applications (LSFA 2023) D. Ventura
• [Logica-l] Hoje as 11h de Brasilia: THE LOGICAL PROBLEM OF EVIL FROM A PARACONSISTENT PERSPECTIVE jean-yves beziau
• [Logica-l] [Deadline ext.] QM and Reality: Theoria Raoni Arroyo
• [Logica-l] Final Call for Papers LFMTP'23 [extended abstract submission deadline, April 20] Carlos Olarte
• [Logica-l] THE LOGICAL PROBLEM OF EVIL FROM A PARACONSISTENT PERSPECTIVE: The Logic and Religion Webinar, April 13 (Thursday) Assis
• [Logica-l] Simbolização da Contradição - 13 de abril de 2023 às 17h - UFRJ - Rio de Janeiro - Centro jean-yves beziau
• [Logica-l] Fwd: HPS&ST April newsletter Valeria de Paiva
• [Logica-l] Pós-doutorado para negras, negros e negres na USP Renata Wassermann
• [Logica-l] Seminário de Lógica Carioca - Iniciando a temporada de 2023 jean-yves beziau
  • Re: [Logica-l] Seminário de Lógica Carioca - Iniciando a temporada de 2023 Julio Stern
  • Re: [Logica-l] Seminário de Lógica Carioca - Iniciando a temporada de 2023 jean-yves beziau
• [Logica-l] ChatGPT quis matar Newton da Costa Walter Carnielli
  • Re: [Logica-l] ChatGPT quis matar Newton da Costa Aldo Figallo-Orellano
  • Re: [Logica-l] ChatGPT quis matar Newton da Costa Joao Marcos
  • Re: [Logica-l] ChatGPT quis matar Newton da Costa Walter Carnielli
  • Re: [Logica-l] ChatGPT quis matar Newton da Costa Joao Marcos
  • Re: [Logica-l] ChatGPT quis matar Newton da Costa Marcelo Finger
  • Re: [Logica-l] ChatGPT quis matar Newton da Costa Walter Carnielli
  • Re: [Logica-l] ChatGPT quis matar Newton da Costa Marcelo Finger
  • Re: [Logica-l] ChatGPT quis matar Newton da Costa Joao Marcos
  • Re: [Logica-l] ChatGPT quis matar Newton da Costa Joao Marcos
  • Re: [Logica-l] ChatGPT quis matar Newton da Costa Cassiano Terra Rodrigues
  • Re: [Logica-l] ChatGPT quis matar Newton da Costa Juan F. Meleiro
  • Re: [Logica-l] ChatGPT quis matar Newton da Costa Alexandre Rademaker
  • Re: [Logica-l] ChatGPT quis matar Newton da Costa Aldo Figallo-Orellano
  • Re: [Logica-l] ChatGPT quis matar Newton da Costa 'samuel' via LOGICA-L
  • Re: [Logica-l] ChatGPT quis matar Newton da Costa Joao Marcos
  • Re: [Logica-l] ChatGPT quis matar Newton da Costa 'samuel' via LOGICA-L
  • Re: [Logica-l] ChatGPT quis matar Newton da Costa Joao Marcos
  • Re: [Logica-l] ChatGPT quis matar Newton da Costa Juan Carlos Agudelo Agudelo
• [Logica-l] O futuro das sociedades científicas Joao Marcos
• [Logica-l] Logic in Question 10 - Sorbonne, Paris - April 24-25, 2023 jean-yves beziau
• [Logica-l] Fwd: Reminder: CfP special issue of AJL on Women in/and logic Valeria de Paiva
• [Logica-l] Fwd: Machine Learning and Logic: Fast and Slow Thinking Adolfo Neto
• [Logica-l] A lógica do casamento de Patati e Patatá jean-yves beziau
• [Logica-l] Final Call for Papers: Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP'23) Carlos Olarte
• [Logica-l] EBL 2022 POST-CONFERENCE PUBLICATIONS: Deadline postponed Bruno Lopes
• [Logica-l] Fwd: [DL] SAPERE Book Series (Springer) - Indexed by SCOPUS Camilo Thorne
• [Logica-l] Chocolate, LSD e MDPI jean-yves beziau
  • Re: [Logica-l] Chocolate, LSD e MDPI Walter Carnielli
  • Re: [Logica-l] Chocolate, LSD e MDPI jean-yves beziau
• [Logica-l] mapeamento da comunidade de Métodos Formais no Brasil Joao Marcos
  • Re: [Logica-l] mapeamento da comunidade de Métodos Formais no Brasil Bruno Lopes
  • Re: [Logica-l] mapeamento da comunidade de Métodos Formais no Brasil Eduardo Ochs
  • Re: [Logica-l] mapeamento da comunidade de Métodos Formais no Brasil Marcelo Finger
  • Re: [Logica-l] mapeamento da comunidade de Métodos Formais no Brasil Karina Roggia
  • [Logica-l] Re: mapeamento da comunidade de Métodos Formais no Brasil Bruno Bentzen
• [Logica-l] Dana S. Scott: Seventy Years Using Fixed Points Joao Marcos
  • Re: [Logica-l] Dana S. Scott: Seventy Years Using Fixed Points Elaine Pimentel
• [Logica-l] Axioms jean-yves beziau
• [Logica-l] PhD positions in philosophy (including philosophy and history of mathematics and logic) at Aix-Marseille University (France) Walter Carnielli
• [Logica-l] Logic - Language - Ontology by Urszula Wybraniec-Skardowska, LUW March 29 at 4pm CET jean-yves beziau
• [Logica-l] Fwd: CFP: 14th International Workshop on the Implementation of Logics Joao Marcos
• [Logica-l] Fwd: TPS Summer School and Workshop: Preliminary Call Joao Marcos
• [Logica-l] Fwd: [CAROL / UFRN] Fwd: [CHAMADA] - Edição Especial revista Axioms Aldo Figallo-Orellano
  • Re: [Logica-l] Fwd: [CAROL / UFRN] Fwd: [CHAMADA] - Edição Especial revista Axioms Walter Carnielli
  • Re: [Logica-l] Fwd: [CAROL / UFRN] Fwd: [CHAMADA] - Edição Especial revista Axioms Aldo Figallo-Orellano
  • Re: [Logica-l] Fwd: [CAROL / UFRN] Fwd: [CHAMADA] - Edição Especial revista Axioms Valeria de Paiva
  • Re: [Logica-l] Fwd: [CAROL / UFRN] Fwd: [CHAMADA] - Edição Especial revista Axioms Aldo Figallo-Orellano
  • Re: [Logica-l] Fwd: [CAROL / UFRN] Fwd: [CHAMADA] - Edição Especial revista Axioms Walter Carnielli
  • Re: [Logica-l] Fwd: [CAROL / UFRN] Fwd: [CHAMADA] - Edição Especial revista Axioms Valeria de Paiva
  • Re: [Logica-l] Fwd: [CAROL / UFRN] Fwd: [CHAMADA] - Edição Especial revista Axioms Elaine Pimentel
  • Re: [Logica-l] Fwd: [CAROL / UFRN] Fwd: [CHAMADA] - Edição Especial revista Axioms Aldo Figallo-Orellano
  • Re: [Logica-l] Fwd: [CAROL / UFRN] Fwd: [CHAMADA] - Edição Especial revista Axioms Joao Marcos
  • Re: [Logica-l] Fwd: [CAROL / UFRN] Fwd: [CHAMADA] - Edição Especial revista Axioms Valeria de Paiva
  • Re: [Logica-l] Fwd: [CAROL / UFRN] Fwd: [CHAMADA] - Edição Especial revista Axioms Joao Marcos
  • Re: [Logica-l] Fwd: [CAROL / UFRN] Fwd: [CHAMADA] - Edição Especial revista Axioms Walter Carnielli
  • Re: [Logica-l] Fwd: [CAROL / UFRN] Fwd: [CHAMADA] - Edição Especial revista Axioms Hermógenes Oliveira
  • Re: [Logica-l] Fwd: [CAROL / UFRN] Fwd: [CHAMADA] - Edição Especial revista Axioms Walter Carnielli
  • Re: [Logica-l] Fwd: [CAROL / UFRN] Fwd: [CHAMADA] - Edição Especial revista Axioms Abilio Rodrigues Filho
  • Re: [Logica-l] Fwd: [CAROL / UFRN] Fwd: [CHAMADA] - Edição Especial revista Axioms Hermógenes Oliveira
  • Re: [Logica-l] Fwd: [CAROL / UFRN] Fwd: [CHAMADA] - Edição Especial revista Axioms Mauricio Ayala-Rincón
  • Re: [Logica-l] Fwd: [CAROL / UFRN] Fwd: [CHAMADA] - Edição Especial revista Axioms Walter Carnielli
  • Re: [Logica-l] Fwd: [CAROL / UFRN] Fwd: [CHAMADA] - Edição Especial revista Axioms Joao Marcos
  • Re: [Logica-l] Fwd: [CAROL / UFRN] Fwd: [CHAMADA] - Edição Especial revista Axioms Joao Marcos
  • Re: [Logica-l] Fwd: [CAROL / UFRN] Fwd: [CHAMADA] - Edição Especial revista Axioms Aldo Figallo-Orellano
  • Re: [Logica-l] Fwd: [CAROL / UFRN] Fwd: [CHAMADA] - Edição Especial revista Axioms Julio Stern

• Mensagens anteriores
• Mensagens posteriores