logica-l  

Índice temático

• • Re: [Logica-l] Raciocínio e Linguagem Carlos Augusto Prolo
  • Re: [Logica-l] Raciocínio e Linguagem Marcelo Finger
  • Re: [Logica-l] Raciocínio e Linguagem Joao Marcos
  • Re: [Logica-l] Raciocínio e Linguagem bruno.ramos.mendonca
  • Re: [Logica-l] Raciocínio e Linguagem Joao Marcos
  • Re: [Logica-l] Raciocínio e Linguagem Marcelo Finger
  • Re: [Logica-l] Raciocínio e Linguagem Marcelo Finger
• [Logica-l] Sobre o projeto 'Bilateral AI' Walter Carnielli
• [Logica-l] A Searchable Digital Map of Principia Mathematica Joao Marcos
• [Logica-l] Logic and Religion Webinar: The logic of ‘being nothing’ and ‘willing nothing’ in Marguerite Porete - Tatiana Barkovskiy, June 20 Assis
• [Logica-l] Re: Noam Chomsky Suffered ‘Massive Stroke,’ Recovering in Brazil | TIME Cassiano Terra Rodrigues
  • Re: [Logica-l] Re: Noam Chomsky Suffered ‘Massive Stroke,’ Recovering in Brazil | TIME Walter Carnielli
  • Re: [Logica-l] Re: Noam Chomsky Suffered ‘Massive Stroke,’ Recovering in Brazil | TIME Cassiano Terra Rodrigues
• [Logica-l] Noam Chomsky Suffered ‘Massive Stroke,’ Recovering in Brazil | TIME Ruy de Queiroz
• [Logica-l] Nuel Belnap (1930-2024) Joao Marcos
  • Re: [Logica-l] Nuel Belnap (1930-2024) Walter Carnielli
  • Re: [Logica-l] Nuel Belnap (1930-2024) Itala Maria Loffredo D'Ottaviano
  • Re: [Logica-l] Nuel Belnap (1930-2024) Marcelo Finger
  • Re: [Logica-l] Nuel Belnap (1930-2024) Evandro L. Gomes
• Re: [Logica-l] E-mail de compilação para logica-l@dimap.ufrn.br - 2 atualizações em 1 tema Walter Carnielli
  • Re: [Logica-l] E-mail de compilação para logica-l@dimap.ufrn.br - 2 atualizações em 1 tema Itala Maria Loffredo D'Ottaviano
  • Re: [Logica-l] E-mail de compilação para logica-l@dimap.ufrn.br - 2 atualizações em 1 tema Walter Carnielli
  • Re: [Logica-l] E-mail de compilação para logica-l@dimap.ufrn.br - 2 atualizações em 1 tema Hercules de Araujo Feitosa
• [Logica-l] Texto sobre Newton da Costa jonas.becker2
  • Re: [Logica-l] Texto sobre Newton da Costa Evandro L. Gomes
• [Logica-l] AI Will Become Mathematicians’ ‘Co-Pilot’ Joao Marcos
  • Re: [Logica-l] AI Will Become Mathematicians’ ‘Co-Pilot’ Thiago Nascimento da Silva
  • Re: [Logica-l] AI Will Become Mathematicians’ ‘Co-Pilot’ Marcelo Finger
  • Re: [Logica-l] AI Will Become Mathematicians’ ‘Co-Pilot’ Joao Marcos
  • Re: [Logica-l] AI Will Become Mathematicians’ ‘Co-Pilot’ Alexandre Rademaker
  • Re: [Logica-l] AI Will Become Mathematicians’ ‘Co-Pilot’ Carlos Augusto Prolo
• [Logica-l] Alonzo Church Award 2024 Joao Marcos
• [Logica-l] [humor] da profundidade axiomática Joao Marcos
• [Logica-l] CFA: The First Brazilian Workshop on Algebraic Logic, São Paulo, Oct. 10-11, 2024 Aldo Figallo-Orellano
• [Logica-l] a catraca nas cataratas jean-yves beziau
• [Logica-l] LSFA 2024: Final Call For Papers D. Ventura
• [Logica-l] Bolsa de Formação de Gestores de Projetos de Pesquisa Marcelo Finger
• [Logica-l] Fwd: Fully Funded PhD Position on Axiomatic Definitions at the University of Aix-Marseille Joao Marcos
• [Logica-l] [cfp] Extended: Perspectivas Contemporâneas em Filosofia da Lógica Evelyn Erickson
• [Logica-l] Logical Lantern by Oksana Cherkashina - LUW May 29 at 4pm CET jean-yves beziau
• [Logica-l] Recomendação para Estudos de Lógica na Ciência da Computação 'André Luiz Feijo dos Santos' via LOGICA-L
• [Logica-l] Fwd: [docentes] Coleção da Professora Marta Bunge é doada para a Biblioteca do IME-USP Marcelo Finger
• [Logica-l] fail better! Joao Marcos
• [Logica-l] El Comercio: Newton da Costa Luis Bartolo
  • Re: [Logica-l] El Comercio: Newton da Costa Walter Carnielli
  • Re: [Logica-l] El Comercio: Newton da Costa Itala Maria Loffredo D'Ottaviano
  • Re: [Logica-l] El Comercio: Newton da Costa Walter Carnielli
  • Re: [Logica-l] El Comercio: Newton da Costa Evandro L. Gomes
  • Re: [Logica-l] El Comercio: Newton da Costa Luis Felipe Bartolo Alegre
• [Logica-l] livros de Marta Bunge na USP! Valeria de Paiva
  • Re: [Logica-l] livros de Marta Bunge na USP! Marcelo Finger
• [Logica-l] Fwd: livros de Marta Bunge na USP! Valeria de Paiva
  • Re: [Logica-l] Fwd: livros de Marta Bunge na USP! Hugo Luiz Mariano
  • Re: [Logica-l] Fwd: livros de Marta Bunge na USP! Valeria de Paiva
  • Re: [Logica-l] Fwd: livros de Marta Bunge na USP! Elaine Pimentel
• [Logica-l] God as a hypothesis by Juan Diego Morales - LARAW May 23, 2024, 4pm CET jean-yves beziau
• [Logica-l] Fwd: New Master's Degree in Logic - Athens, Greece Joao Marcos
• [Logica-l] Open position in Mathematical Logic at ILLC, Amsterdam Walter Carnielli
• [Logica-l] Universal Logic, Ethics, and Truth Essays in Honor of John Corcoran (1937-2021), now released jean-yves beziau
• [Logica-l] Problemas técnicos na inscrição no SLALM Juan Carlos Agudelo Agudelo
  • Re: [Logica-l] Problemas técnicos na inscrição no SLALM Elaine Pimentel
  • Re: [Logica-l] Problemas técnicos na inscrição no SLALM Juan Carlos Agudelo Agudelo
  • Re: [Logica-l] Problemas técnicos na inscrição no SLALM Juan Carlos Agudelo Agudelo
• [Logica-l] Game Theory Can Make AI More Correct and Efficient | Quanta Magazine Ruy de Queiroz
• [Logica-l] CfP - Workshop Diagrams and Mathematical Practice - Part of DIAGRAMS 2024 jean-yves beziau
• [Logica-l] CfP 8th World Congress on the Square of Opposition - Costa Rica - September 2024 - Extended Deadline jean-yves beziau
• [Logica-l] FAPESP Cassiano Terra Rodrigues
  • [Logica-l] Re: FAPESP Cassiano Terra Rodrigues
• [Logica-l] [Theuth] Annonce bourses doctorales in histoire et philosophie des mathématiques jean-yves beziau
• [Logica-l] MA in Philosophy & Computing Joao Marcos
• [Logica-l] Vaga em Ciência da Computação no IME-USP Marcelo Finger
• [Logica-l] MESTRADO e DOUTORADO em COMPUTAÇÃO na UFF - SELEÇÃO 2024.2 Bruno Lopes
• [Logica-l] Why the History of Logic Should Matter to Modern Logicians Bruno Lopes
• [Logica-l] Newton da Costa ensinou a audácia de errar por conta própria a pesquisadores brasileiros Adolfo Neto
• [Logica-l] Nel Logic Workshop, 13-14/05/2024 Joao Marcos
• [Logica-l] WoLLIC 2024 call for participation Ruy Jose Guerra Barretto de Queiroz
• [Logica-l] La Logique en Question - 11 - Logic in Question - 2-3, Mai / May 2024 - Sorbonne, Paris jean-yves beziau
• [Logica-l] [CFP] KRR@EPIA 2024 Extended deadline May 20 Rafael Testa
• [Logica-l] Fwd: CALL FOR APPLICATIONS -- Logic for the AI Spring 2 Joao Marcos
• [Logica-l] WiL2024 -- deadline extended to May 7!! Elaine Pimentel
• [Logica-l] Deadline Extension: Logical Frameworks and Meta Languages: Theory and Practice (LFMTP24) Claudio Sacerdoti Coen
• [Logica-l] 9th Workshop on Connexive Logics 'Heinrich Wansing' via LOGICA-L
  • [Logica-l] corrected version; cfp for: 9th Workshop on Connexive Logics 'Heinrich Wansing' via LOGICA-L
• [Logica-l] NF really is consistent Joao Marcos
  • Re: [Logica-l] NF really is consistent Alexandre Rademaker
• [Logica-l] Oportunidades - Bolsas de Pós-doutorado em Automatização de Raciocínio - DCC/UFMG Haniel Barbosa
• [Logica-l] Fwd: One-year postdoc, University of Salzburg (corrected version) Joao Marcos
• [Logica-l] Beth Dissertation Prize 2024 -- last cfd Elaine Pimentel
• [Logica-l] Vídeos das mesas-redondas dos Seminários de Orientação extra-Lógica disponíveis João Mendes
  • Re: [Logica-l] Vídeos das mesas-redondas dos Seminários de Orientação extra-Lógica disponíveis Thiago Nascimento da Silva
  • Re: [Logica-l] Vídeos das mesas-redondas dos Seminários de Orientação extra-Lógica disponíveis João Mendes
  • Re: [Logica-l] Vídeos das mesas-redondas dos Seminários de Orientação extra-Lógica disponíveis Daniel Durante
• [Logica-l] [SBFA-Lógica Viva] Nota de falecimento, Prof Newton da Costa Mateus Alves
• [Logica-l] Oportunidade para estudantes em Lógica Modal de Primeira Ordem João Mendes
• [Logica-l] CfP - Workshop Diagrams and Mathematical Practice - Part of DIAGRAMS 2024 - Münster, Germany, Sept 27 - Oct 1st, 2024 jean-yves beziau
• [Logica-l] 2nd RatioLog Workshop: caderno de resumos e início das atividades Walter Carnielli
• [Logica-l] Fwd: 2nd CFP (extended deadline): Non-Classical Logics. Theory and Applications XI, Lodz, Poland, September 5-8, 2024 - Michał Zawidzki Joao Marcos
• [Logica-l] Inteligência Artificial, Einstein e Direito: saiba o que é a lógica paraconsistente, criada por matemático brasileiro jean-yves beziau
• [Logica-l] resources on AI to assist mathematical reasoning Joao Marcos
  • [Logica-l] Re: resources on AI to assist mathematical reasoning Joao Marcos
• [Logica-l] Newton da Costa (1929-2024) Walter Carnielli
• [Logica-l] Newton da Costa: 90 anos, prêmio, WLD, livros e artigos jean-yves beziau
  • [Logica-l] Newton da Costa / CfP Book and Congress / ici-Rio-2024 jean-yves beziau
• [Logica-l] Re: Newton da Costa [1929-2024] Mauricio Ayala Rincon
• [Logica-l] Fwd: Women in formal Mathematics Joao Marcos
• [Logica-l] WiL 2024: 8th Women in Logic Workshop -- last cfp Elaine Pimentel
• [Logica-l] CfP 8th World Congress on the Square of Opposition jean-yves beziau
• [Logica-l] Logic and Religion Webinar: The Love Commandments - Robert Audi, April 18 Assis
• [Logica-l] Nota de Falecimento - Prof. Newton Carneiro Affonso da Costa Walter Carnielli
  • Re: [Logica-l] Nota de Falecimento - Prof. Newton Carneiro Affonso da Costa Adolfo Neto
  • Re: [Logica-l] Nota de Falecimento - Prof. Newton Carneiro Affonso da Costa Adolfo Neto
  • Re: [Logica-l] Nota de Falecimento - Prof. Newton Carneiro Affonso da Costa Adolfo Neto
• [Logica-l] [PPGFIL/UPFE] XII Ciclo de Palestras Consciência e Cognição Mateus Alves
• [Logica-l] Newton da Costa [1929-2024] Joao Marcos
  • Re: [Logica-l] Newton da Costa [1929-2024] Julio Stern
  • Re: [Logica-l] Newton da Costa [1929-2024] Marcelo Finger
  • [Logica-l] Re: Newton da Costa [1929-2024] Joao Marcos
  • Re: [Logica-l] Re: Newton da Costa [1929-2024] Hugo Luiz Mariano
  • Re: [Logica-l] Re: Newton da Costa [1929-2024] Ana Teresa
  • [Logica-l] Re: Newton da Costa [1929-2024] Cassiano Terra Rodrigues
  • [Logica-l] Re: Newton da Costa [1929-2024] Luis Bartolo
  • Re: [Logica-l] Re: Newton da Costa [1929-2024] Itala Maria Loffredo D'Ottaviano
• [Logica-l] CfP Hybrid 68th Annual Meeting of the International Society for Systems Sciences Maria Martinez-Ordaz
• [Logica-l] Conversação como investigação - Waldomiro J. Silva Filho - Seminário de Lógica Carioca - 17 de abril de 2024 - 17h30 jean-yves beziau
• [Logica-l] Avi Wigderson, Complexity Theory Pioneer, Wins Turing Award Joao Marcos
• [Logica-l] Fwd: CfNominations: Beth Dissertation Prize 2024 for dissertations in Logic / Language and Information, deadline: 30 April 2024 Joao Marcos
• [Logica-l] Fwd: CfNomination: 'Dov Gabbay Prize" for Logic and Foundation, deadline: 30 April 2024 Joao Marcos
• [Logica-l] Fwd: CfNominations: Ackermann Award 2024 PhD Dissertation in Logic in CS, deadline: 1 July 2024. Joao Marcos
• [Logica-l] vaga para Docente Permanente no Instituto de Computação da UFRJ Joao Marcos
• [Logica-l] evento: Monism vs. Pluralism in Logic, Metaphysics, and Philosophical Methodology Joao Marcos
• [Logica-l] FroCoS-ITP-TABLEAUX 2025 Elaine Pimentel
• [Logica-l] [CFP] Perspectiva Filosófica: Filósofas analíticas brasileiras Evelyn Erickson
• [Logica-l] Fwd: [LAST CALL] C-FORS Graduate Conference (Oslo): Constructional Approaches in the Foundations of Mathematics and Philosophy Joao Marcos
• [Logica-l] vaga para Professor Visitante Júnior na UFSC Joao Marcos
• [Logica-l] Beth Dissertation Prize Aldo Figallo-Orellano
• [Logica-l] Divulgação de lançamento Escritos da Série Cognitiva, de Peirce. Cassiano Terra Rodrigues
• [Logica-l] UZH to No Longer Provide Data for THE Ranking Bruno Lopes
• [Logica-l] Quinto Workshop Brasileiro de Lógica (WBL’24) DEADLINE AMANHÃ (03/abril/2024) Flavio Leonardo Cavalcanti De Moura
• [Logica-l] Palestra sobre Librationist cum classical theories of sets Frode Alfson Bjørdal
  • [Logica-l] Re: Palestra sobre Librationist cum classical theories of sets Frode Alfson Bjørdal
• [Logica-l] Women in Logic -- 2nd call for papers Elaine Pimentel
• [Logica-l] Will machines change mathematics? Joao Marcos
• [Logica-l] nota: bit de moderação localmente acionável em casos recalcitrantes O Administrador da LOGICA-L
  • Re: [Logica-l] nota: bit de moderação localmente acionável em casos recalcitrantes Carlos Márquez
• [Logica-l] Shani Louk: ouf topics, não é? jean-yves beziau
• [Logica-l] Eu não sou da sua rua jean-yves beziau
• [Logica-l] Outra hora se passou jean-yves beziau
• [Logica-l] LogicaMx e Otávio Bueno sobre a obra e o legado de Décio Krause Maria Martinez-Ordaz
• [Logica-l] um genocídio altamente televisionado jean-yves beziau
• [Logica-l] Another Hour of madness jean-yves beziau
• [Logica-l] [Deadline April 1] CfA 7th World Congress of Paraconsistency Maria Martinez-Ordaz
• [Logica-l] [OUF ! ] [OUF ! ] jean-yves beziau
• [Logica-l] Leibniz era o filósofo favorito de Gödel porque ele achava que Leibniz estava 100% errado. jean-yves beziau
• [Logica-l] Os enigmas não são tão radicais Cassiano Terra Rodrigues
  • Re: [Logica-l] Os enigmas não são tão radicais Julio Stern
  • Re: [Logica-l] Os enigmas não são tão radicais Cassiano Terra Rodrigues
• [Logica-l] LSFA 2024: CALL FOR PAPERS D. Ventura
• [Logica-l] [OUF!] seis milhões de judeos exterminados durante a segunda guerra mundial jean-yves beziau
  • Re: [Logica-l] [OUF!] seis milhões de judeos exterminados durante a segunda guerra mundial Frode Alfson Bjørdal
  • Re: [Logica-l] [OUF!] seis milhões de judeos exterminados durante a segunda guerra mundial Eduardo Ochs
  • Re: [Logica-l] [OUF!] seis milhões de judeos exterminados durante a segunda guerra mundial jean-yves beziau
  • Re: [Logica-l] [OUF!] seis milhões de judeos exterminados durante a segunda guerra mundial Frode Alfson Bjørdal
  • Re: [Logica-l] [OUF!] seis milhões de judeos exterminados durante a segunda guerra mundial Mayk Alves de Andrade
  • Re: [Logica-l] [OUF!] seis milhões de judeos exterminados durante a segunda guerra mundial Frode Alfson Bjørdal
  • Re: [Logica-l] [OUF!] seis milhões de judeos exterminados durante a segunda guerra mundial jean-yves beziau
  • Re: [Logica-l] [OUF!] seis milhões de judeos exterminados durante a segunda guerra mundial Mayk Alves de Andrade
  • Re: [Logica-l] [OUF!] seis milhões de judeos exterminados durante a segunda guerra mundial Walter Carnielli
  • Re: [Logica-l] [OUF!] seis milhões de judeos exterminados durante a segunda guerra mundial Marcelo Finger
  • Re: [Logica-l] [OUF!] seis milhões de judeos exterminados durante a segunda guerra mundial jean-yves beziau
  • Re: [Logica-l] [OUF!] seis milhões de judeos exterminados durante a segunda guerra mundial Eduardo Ochs
  • Re: [Logica-l] [OUF!] seis milhões de judeos exterminados durante a segunda guerra mundial Walter Carnielli
  • [Logica-l] [OUF!] Boycott Norway to Stop Rampant Antisemitism jean-yves beziau
  • Re: [Logica-l] [OUF!] Boycott Norway to Stop Rampant Antisemitism Joao Marcos
  • Re: Re: [Logica-l] [OUF!] Boycott Norway to Stop Rampant Antisemitism Juan F. Meleiro
  • [Logica-l] a maioridade / maturidade da LOGICA-L O Administrador da LOGICA-L
  • Re: [Logica-l] a maioridade / maturidade da LOGICA-L Adolfo Neto
  • Re: [Logica-l] a maioridade / maturidade da LOGICA-L Jorge Petrucio Viana
  • Re: [Logica-l] a maioridade / maturidade da LOGICA-L Walter Carnielli
  • Re: [Logica-l] a maioridade / maturidade da LOGICA-L Marcelo Finger
  • Re: [Logica-l] a maioridade / maturidade da LOGICA-L Frode Alfson Bjørdal
  • Re: [Logica-l] a maioridade / maturidade da LOGICA-L Valeria de Paiva
  • Re: [Logica-l] a maioridade / maturidade da LOGICA-L Itala Maria Loffredo D'Ottaviano
  • Re: [Logica-l] [OUF!] seis milhões de judeos exterminados durante a segunda guerra mundial yuri lumer
  • Re: [Logica-l] [OUF!] seis milhões de judeos exterminados durante a segunda guerra mundial yuri lumer
  • Re: [Logica-l] [OUF!] seis milhões de judeos exterminados durante a segunda guerra mundial Aldo Figallo-Orellano
  • Re: [Logica-l] [OUF!] seis milhões de judeos exterminados durante a segunda guerra mundial jean-yves beziau
  • Re: [Logica-l] [OUF!] seis milhões de judeos exterminados durante a segunda guerra mundial Eduardo Ochs
  • Re: [Logica-l] [OUF!] seis milhões de judeos exterminados durante a segunda guerra mundial Eduardo Ochs
  • [Logica-l] [OUF!] seis milhões de judeos exterminados durante a segunda guerra mundial Cassiano Terra Rodrigues
  • Re: [Logica-l] [OUF!] seis milhões de judeos exterminados durante a segunda guerra mundial Gisele Secco
  • Re: [Logica-l] [OUF!] seis milhões de judeos exterminados durante a segunda guerra mundial Cassiano Terra Rodrigues
  • Re: [Logica-l] [OUF!] seis milhões de judeos exterminados durante a segunda guerra mundial Itala Maria Loffredo D'Ottaviano
• [Logica-l] [CFP] Reminder - KRR@EPIA2024 Rafael Testa
• [Logica-l] Re: CFP: REACTS'24 - International Workshop on Reconfigurable Transition Systems, Aveiro, Nov 5, 2024 Aldo Figallo-Orellano
• [Logica-l] Seminário de Lógica Carioca - 27-03-2024 "Square of Opposition: Past, Present, Future" jean-yves beziau
  • [Logica-l] Seminário de Lógica Carioca - 15 de maio de 2024 - "A concepção aristotélica de acaso na física" / Luis Felipe Bellintani Ribeiro jean-yves beziau
• [Logica-l] EXTENDED DEADLINE! (03/abril/2024) - Quinto Workshop Brasileiro de Lógica (WBL’24) Flavio Leonardo Cavalcanti De Moura
• [Logica-l] The philosophy of logic of John Corcoran - LUW March 27, 4pm CET jean-yves beziau
• [Logica-l] Beth Dissertation Prize 2024 Elaine Pimentel
• [Logica-l] 2024 Abel prize: Michel Talagrand wins maths award for making sense of randomness | New Scientist Ruy de Queiroz

• Mensagens anteriores
• Mensagens posteriores