logica-l  

Índice temático

• • Re: [Logica-l] Lógica em tempos de guerra --- para reflexão João Ferrari
  • Re: [Logica-l] Lógica em tempos de guerra --- para reflexão Wagner de Campos Sanz
  • Re: [Logica-l] Lógica em tempos de guerra --- para reflexão Valeria de Paiva
  • Re: [Logica-l] Lógica em tempos de guerra --- para reflexão Eduardo Ochs
  • [Logica-l] Re: Lógica em tempos de guerra --- para reflexão Joao Marcos
• [Logica-l] CFP: WEIT 2023 Joao Marcos
  • Re: [Logica-l] CFP: WEIT 2023 Gleifer Vaz Alves
• [Logica-l] Concurso para Professor na UFLA Newton Peron
• [Logica-l] SALOME 1 jean-yves beziau
• [Logica-l] Fwd: Novo Número da Revista Analytica - Volume 25, número 2: 100 ANOS DO TRACTATUS LOGICO-PHILOSOPHICUS Marcos Silva
• [Logica-l] Fwd: Tenure track positions in Prague (available to logicians) Joao Marcos
• [Logica-l] How the Four-Color Map Problem Was Finally Solved Ruy Jose Guerra Barretto de Queiroz
• [Logica-l] 34o colóquio brasileiro de matemática Renata de Freitas
  • [Logica-l] Re: 34o colóquio brasileiro de matemática 'samuel' via LOGICA-L
• [Logica-l] [OFF] The true cost of science’s language barrier for non-native English speakers Joao Marcos
• [Logica-l] SBMF 2023 - Final Call for Papers with *** Deadline Extensions *** Haniel Barbosa
• [Logica-l] Homenagem da SBPC a Newton da Costa - 25/07/2023 18h30 Cesar Serbena
  • Re: [Logica-l] Homenagem da SBPC a Newton da Costa - 25/07/2023 18h30 Itala Maria Loffredo D'Ottaviano
  • Re: [Logica-l] Homenagem da SBPC a Newton da Costa - 25/07/2023 18h30 Cesar Serbena
  • Re: [Logica-l] Homenagem da SBPC a Newton da Costa - 25/07/2023 18h30 Walter Carnielli
  • Re: [Logica-l] Homenagem da SBPC a Newton da Costa - 25/07/2023 18h30 Julio Stern
  • Re: [Logica-l] Homenagem da SBPC a Newton da Costa - 25/07/2023 18h30 Itala Maria Loffredo D'Ottaviano
• [Logica-l] ainda sobre o tópico do gênero em Lógica Joao Marcos
• [Logica-l] Trends in Logic conference- Torun,2023 Walter Carnielli
  • Re: [Logica-l] Trends in Logic conference- Torun,2023 Gisele Secco
  • Re: [Logica-l] Trends in Logic conference- Torun,2023 Valeria de Paiva
  • Re: [Logica-l] Trends in Logic conference- Torun,2023 Elaine Pimentel
  • Re: [Logica-l] Trends in Logic conference- Torun,2023 Hermógenes Oliveira
  • Re: [Logica-l] Trends in Logic conference- Torun,2023 Valeria de Paiva
  • Re: [Logica-l] Trends in Logic conference- Torun,2023 Jorge Petrucio Viana
  • Re: [Logica-l] Trends in Logic conference- Torun,2023 Walter Carnielli
  • Re: [Logica-l] Trends in Logic conference- Torun,2023 Joao Marcos
  • Re: [Logica-l] Trends in Logic conference- Torun,2023 Valeria de Paiva
  • Re: [Logica-l] Trends in Logic conference- Torun,2023 Jorge Petrucio Viana
  • Re: [Logica-l] Trends in Logic conference- Torun,2023 Gisele Secco
  • Re: [Logica-l] Trends in Logic conference- Torun,2023 Walter Carnielli
  • Re: [Logica-l] Trends in Logic conference- Torun,2023 Maria Martinez-Ordaz
  • Re: [Logica-l] Trends in Logic conference- Torun,2023 Gisele Secco
  • Re: [Logica-l] Trends in Logic conference- Torun,2023 Joao Marcos
  • Re: [Logica-l] Trends in Logic conference- Torun,2023 Gisele Secco
  • Re: [Logica-l] Trends in Logic conference- Torun,2023 'Ciro Russo' via LOGICA-L
  • Re: [Logica-l] Trends in Logic conference- Torun, 2023 Hermógenes Oliveira
  • Re: [Logica-l] Trends in Logic conference- Torun, 2023 Marcos Silva
  • Re: [Logica-l] Trends in Logic conference- Torun, 2023 Valeria de Paiva
  • Re: [Logica-l] Trends in Logic conference- Torun, 2023 Mayk Alves de Andrade
• [Logica-l] 286386577668298411128469151667598498812366 ... Joao Marcos
  • [Logica-l] Re: 286386577668298411128469151667598498812366 ... Joao Marcos
  • Fwd: [Logica-l] Re: 286386577668298411128469151667598498812366 ... Joao Marcos
• [Logica-l] 2nd CFP 1st Workshop on Contradictory Logics, December 6-8, 2023, Ruhr University Bochum + Additional Information 'Daniel Skurt' via LOGICA-L
• [Logica-l] LUW session, July 19, G.Shtakser, Odessa, Epistemic Logics with Quantification Over Epistemic Operators jean-yves beziau
• [Logica-l] Fwd: [TYPES/announce] Undone Computer Science — Call for contributions Elaine Pimentel
• [Logica-l] An Infinite Dilemma of Bliss and Suffering Joao Marcos
• [Logica-l] "INTELIGÊNCIA ARTIFICIAL: TUDO O QUE VOCÊ PRECISA SABER - MIGUEL NICOLELIS - Programa 20 Minutos" no YouTube Walter Carnielli
  • Re: [Logica-l] "INTELIGÊNCIA ARTIFICIAL: TUDO O QUE VOCÊ PRECISA SABER - MIGUEL NICOLELIS - Programa 20 Minutos" no YouTube Adolfo Neto
• [Logica-l] "How to Build a Big Prime Number" Ruy Jose Guerra Barretto de Queiroz
• [Logica-l] SBMF 2023 - Second Call for Papers Haniel Barbosa
• [Logica-l] pets desculpas por possível repetição de informação Jorge Petrucio Viana
• [Logica-l] Defesa de tese de doutorado Mario Roberto Folhadela Benevides
• [Logica-l] LUW July 12 - Rooted Hypersequent Calculus for Modal Logic S5 by Hamzeh Mohammad jean-yves beziau
• [Logica-l] Logic Courseware, Surveyed Elaine Pimentel
• [Logica-l] LOGIC JOURNALS - SCOPUS 2-YEAR IMPACT FACTOR – JULY 2023 jean-yves beziau
• [Logica-l] v. 47, n. 2 (2020) Número Especial sobre Filosofia da Lógica Marcos Silva
• [Logica-l] computer proof checking Joao Marcos
• [Logica-l] Why Logics? jean-yves beziau
• [Logica-l] THE ULTIMATE-UNSPEAKABLE PARADOX AND THE PRINCIPLE OF NON-CONTRADICTION jean-yves beziau
• [Logica-l] Master program "History, Philosophy and Culture of Science" (HPS+) 'Daniel Skurt' via LOGICA-L
• [Logica-l] Mathematicians Discover The Ninth Dedekind Number, After 32 Years of Searching : ScienceAlert Ruy de Queiroz
• [Logica-l] CfA Workshop: New Perspectives on Anomalies in the Sciences Maria Martinez-Ordaz
• [Logica-l] Coletivo Lógica Viva: sobre infinitos, números e provas Marcos Silva
  • [Logica-l] Re: Coletivo Lógica Viva: sobre infinitos, números e provas Daniel Durante
  • [Logica-l] Re: Coletivo Lógica Viva: sobre infinitos, números e provas 'samuel' via LOGICA-L
  • [Logica-l] Re: Coletivo Lógica Viva: sobre infinitos, números e provas Daniel Durante
  • [Logica-l] Re: Coletivo Lógica Viva: sobre infinitos, números e provas Daniel Durante
  • Re: [Logica-l] Re: Coletivo Lógica Viva: sobre infinitos, números e provas Valeria de Paiva
  • Re: [Logica-l] Re: Coletivo Lógica Viva: sobre infinitos, números e provas 'Samuel Gomes da Silva' via LOGICA-L
  • Re: [Logica-l] Re: Coletivo Lógica Viva: sobre infinitos, números e provas Jorge Petrucio Viana
  • Re: [Logica-l] Re: Coletivo Lógica Viva: sobre infinitos, números e provas 'Samuel Gomes da Silva' via LOGICA-L
  • Re: [Logica-l] Re: Coletivo Lógica Viva: sobre infinitos, números e provas Jorge Petrucio Viana
  • Re: [Logica-l] Coletivo Lógica Viva: sobre infinitos, números e provas Márcio Palmares
  • Re: [Logica-l] Coletivo Lógica Viva: sobre infinitos, números e provas Valeria de Paiva
  • Re: [Logica-l] Coletivo Lógica Viva: sobre infinitos, números e provas Itala Maria Loffredo D'Ottaviano
  • Re: [Logica-l] Coletivo Lógica Viva: sobre infinitos, números e provas Márcio Palmares
  • [Logica-l] ao Cassiano Terra Rodrigues
  • [Logica-l] Re: ao Márcio Palmares
  • [Logica-l] Re: ao Daniel Durante
  • Re: [Logica-l] Re: ao Joao Marcos
  • [Logica-l] Re: ao 'Samuel Gomes da Silva' via LOGICA-L
  • [Logica-l] Re: ao Márcio Palmares
  • [Logica-l] Re: ao Cassiano Terra Rodrigues
  • [Logica-l] Re: ao Julio Stern
  • [Logica-l] Re: ao Daniel Durante
  • [Logica-l] Re: ao Daniel Durante
  • [Logica-l] Re: ao 'Samuel Gomes da Silva' via LOGICA-L
  • Re: [Logica-l] Re: ao Ruy Jose Guerra Barretto de Queiroz
  • Re: [Logica-l] Re: ao Mayk Alves de Andrade
  • Re: [Logica-l] Re: Coletivo Lógica Viva: sobre infinitos, números e provas Itala Maria Loffredo D'Ottaviano
• [Logica-l] o ChatGPT sob as lentes da comunidade de Raciocínio Automatizado Joao Marcos
• [Logica-l] A.I. Is Coming for Mathematics, Too Joao Marcos
• [Logica-l] entender um "não" parece não ser tão fácil assim? Joao Marcos
• [Logica-l] Fwd: Boletim mensal: lógica Joao Marcos
• [Logica-l] Fwd: JOB: Two-year Postdoc in Philosophy of Logic and/or Science, Padova Joao Marcos
• [Logica-l] Fwd: Postdoc position in algebra and logic Elaine Pimentel
• [Logica-l] Vaga docente na área de lógica e teoria da computação na UFERSA Claudio Callejas
• [Logica-l] Recounting the History of Math’s Transcendental Numbers | Quanta Magazine Ruy de Queiroz
  • [Logica-l] re-contando números Joao Marcos
  • Re: [Logica-l] re-contando números Frode Bjørdal
  • Re: [Logica-l] re-contando números Frode Bjørdal
  • Re: [Logica-l] re-contando números Martín Figallo
  • Re: [Logica-l] re-contando números Joao Marcos
  • Re: [Logica-l] re-contando números 'samuel' via LOGICA-L
  • Re: [Logica-l] re-contando números Marcelo Finger
  • Re: [Logica-l] re-contando números 'samuel' via LOGICA-L
  • Re: [Logica-l] re-contando números Claudio Callejas
  • Re: [Logica-l] re-contando números Eduardo Ochs
  • Re: [Logica-l] re-contando números 'Samuel Gomes da Silva' via LOGICA-L
  • Re: [Logica-l] re-contando números Eduardo Ochs
• [Logica-l] Embracing change and resetting expectations | Microsoft Unlocked Ruy de Queiroz
  • Re: [Logica-l] Embracing change and resetting expectations | Microsoft Unlocked Walter Carnielli
• [Logica-l] Um "paradoxo verdadeiro" em Física 'samuel' via LOGICA-L
  • Re: [Logica-l] Um "paradoxo verdadeiro" em Física josé carlos cifuentes
  • Re: [Logica-l] Um "paradoxo verdadeiro" em Física 'Samuel Gomes da Silva' via LOGICA-L
• [Logica-l] Kherian Gracher - O que é uma negação? 29 de junho 17h IFCS-UFRJ - Seminário de Lógica Carioca jean-yves beziau
• [Logica-l] Ultravaluations and their Applications in Classical Propositional Logic - LUWebinar, June 28, 4pm CET jean-yves beziau
• [Logica-l] Fwd: Divulgação de concurso para professor Bruno Lopes
• [Logica-l] 29th WoLLIC 2023 - Final Call for Participation Ruy Jose Guerra Barretto de Queiroz
• [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

• Mensagens anteriores
• Mensagens posteriores