logica-l  

Índice temático

• [Logica-l] CiE 2024 -- extended deadline Elaine Pimentel
• [Logica-l] CfP: Logica Frameworks and Meta Languages: Theory and Practice (LFMTP24) Claudio Sacerdoti Coen
• [Logica-l] Posição de professor Universidade de Aveiro Alfredo Roque Freire
• [Logica-l] [SBFA-CFA] VIII Conferência da SBFA (Olinda, 22-26/07/2024) Marcos Silva
• [Logica-l] Track in Logic and Computation - XVL Summer Workshop in Mathematics UnB 7-9/Fev/2024 Mauricio Ayala Rincon
• [Logica-l] 2o Encontro USP-UFBA em Lógica e Fundamentos: 21-23 de fevereiro Hugo Luiz Mariano
• [Logica-l] some preprint Łukasz S .
• [Logica-l] CfA 7th World Congress of Paraconsistency Maria Martinez-Ordaz
• [Logica-l] Geometria e lógica / Inteligência artificial 'samuel' via LOGICA-L
• [Logica-l] Logic puzzle: CLIMATE JOURNEY Joao Marcos
  • Re: [Logica-l] Logic puzzle: CLIMATE JOURNEY Walter Carnielli
  • Re: [Logica-l] Logic puzzle: CLIMATE JOURNEY Walter Carnielli
  • Re: [Logica-l] Logic puzzle: CLIMATE JOURNEY Joao Marcos
• [Logica-l] calcular é fazer dobraduras Joao Marcos
  • [Logica-l] Re: calcular é fazer dobraduras 'samuel' via LOGICA-L
  • [Logica-l] Re: calcular é fazer dobraduras Joao Marcos
  • [Logica-l] Re: calcular é fazer dobraduras 'samuel' via LOGICA-L
  • [Logica-l] Re: calcular é fazer dobraduras Joao Marcos
  • [Logica-l] Re: calcular é fazer dobraduras 'samuel' via LOGICA-L
  • Re: [Logica-l] Re: calcular é fazer dobraduras Juan Carlos Agudelo Agudelo
  • Re: [Logica-l] Re: calcular é fazer dobraduras 'samuel' via LOGICA-L
  • Re: [Logica-l] Re: calcular é fazer dobraduras 'samuel' via LOGICA-L
  • Re: [Logica-l] Re: calcular é fazer dobraduras Juan Carlos Agudelo Agudelo
• [Logica-l] Fwd: SUBJECT: Last Call (deadline Jan 31): School of Formalized Mathematics (May 13 - 17, 2024) Valeria de Paiva
• [Logica-l] Intuicionismo e racismo? (Clickbait) Hermógenes Oliveira
• [Logica-l] SALOME 1 - UNILOG 2025 - SALOME 2 jean-yves beziau
• [Logica-l] Sobre uns assuntos divinos Frode Alfson Bjørdal
• [Logica-l] "Funções são conjuntos" Joao Marcos
  • [Logica-l] Re: "Funções são conjuntos" Joao Marcos
  • Re: [Logica-l] Re: "Funções são conjuntos" Juan Carlos Agudelo Agudelo
  • Re: [Logica-l] Re: "Funções são conjuntos" Eduardo Ochs
  • Re: [Logica-l] Re: "Funções são conjuntos" 'samuel' via LOGICA-L
  • Re: [Logica-l] Re: "Funções são conjuntos" Joao Marcos
  • Re: [Logica-l] Re: "Funções são conjuntos" Joao Marcos
  • Re: [Logica-l] Re: "Funções são conjuntos" Joao Marcos
  • Re: [Logica-l] Re: "Funções são conjuntos" Juan Carlos Agudelo Agudelo
  • Re: [Logica-l] Re: "Funções são conjuntos" 'samuel' via LOGICA-L
  • Re: [Logica-l] Re: "Funções são conjuntos" Joao Marcos
  • Re: [Logica-l] Re: "Funções são conjuntos" 'samuel' via LOGICA-L
  • Re: [Logica-l] Re: "Funções são conjuntos" Joao Marcos
  • Re: [Logica-l] Re: "Funções são conjuntos" 'samuel' via LOGICA-L
  • Re: [Logica-l] "Funções são conjuntos" Juan F. Meleiro
• [Logica-l] LARA CELEBRATION OF THE WORLD LOGIC DAY ​- January 25, 2024, 4pm CET (Paris - Geneva - Rome) jean-yves beziau
• [Logica-l] ThEdu'24 - Call for Extended Abstracts & Demonstrations Joao Marcos
• [Logica-l] Fwd: [SBL-Sócios] anuidades da SBL e descontos Hugo Luiz Mariano
• [Logica-l] Concurso de Lógica / Fil. da Linguagem na UFU Newton Peron
  • Re: [Logica-l] Concurso de Lógica / Fil. da Linguagem na UFU Joao Marcos
• [Logica-l] A,lógica /n|d/+as aulas de matemática Walter Carnielli
• [Logica-l] Instruçoes para Participaçao - Semana Temática de Lógica UFBA + II Encontro USP UFBA de Lógica e Fundamentos da Matemática 'samuel' via LOGICA-L
• [Logica-l] Indicación de lectura: "Synthetic Philosophy of Contemporary Mathematics" Walter Carnielli
• [Logica-l] Fwd: Postdoctoral Research Fellowship (4 years): Arché, University of St Andrews Joao Marcos
• [Logica-l] Vem aí os Seminários de Orientação extra-Lógica (SOL) João Mendes
  • [Logica-l] Re: Vem aí os Seminários de Orientação extra-Lógica (SOL) 'samuel' via LOGICA-L
  • Re: [Logica-l] Re: Vem aí os Seminários de Orientação extra-Lógica (SOL) Evandro L. Gomes
  • Re: [Logica-l] Re: Vem aí os Seminários de Orientação extra-Lógica (SOL) João Mendes
• [Logica-l] SALOME 1 - celebration of the 6th edition of the World Logic Day - Sunday 14 at 4pm CET jean-yves beziau
• [Logica-l] Acontecendo: SALOME 1 - the 1st South American LOgic MEeting jean-yves beziau
• [Logica-l] UFMG World Logic Day Irina Starikova
• [Logica-l] para ensinar recursão é preciso ensinar recursão Joao Marcos
  • [Logica-l] Re: para ensinar recursão é preciso ensinar recursão leonormaiasantos
• [Logica-l] Concurso na UFBA - Possibilidades em Lógica Matemática 'samuel' via LOGICA-L
• [Logica-l] Café com Lógica (12/01/2024): evento em comemoração ao Dia Mundial da Lógica (WLD) Rafael Ongaratto
  • Re: [Logica-l] Café com Lógica (12/01/2024): evento em comemoração ao Dia Mundial da Lógica (WLD) Aldo Figallo-Orellano
  • Re: [Logica-l] Café com Lógica (12/01/2024): evento em comemoração ao Dia Mundial da Lógica (WLD) Rafael Ongaratto
  • Re: [Logica-l] Café com Lógica (12/01/2024): evento em comemoração ao Dia Mundial da Lógica (WLD) Aldo Figallo-Orellano
• [Logica-l] 30th WoLLIC 2024 - Third Call for Papers Ruy Jose Guerra Barretto de Queiroz
• [Logica-l] 5 X seguidas no nivel mais baixo do CNPq / prêmio Nobel no Brasil jean-yves beziau
• [Logica-l] [OUF] Porque negar a possibilidade de Israel existir ? jean-yves beziau
• [Logica-l] [cfp] Perspectivas Contemporâneas em Filosofia da Lógica EDERSON SAFRA MELO
• [Logica-l] Eventos em Barcelona e Coimbra (Inìcio de Julho 2024) - TACL + Summer Conference on Topology 'samuel' via LOGICA-L
• [Logica-l] talk: Formalising 21st-Century Mathematics Joao Marcos
• [Logica-l] [SBL] Mesa redonda: o ensino de lógica no ensino médio Evelyn Erickson
  • Re: [Logica-l] [SBL] Mesa redonda: o ensino de lógica no ensino médio Thiago Nascimento da Silva
• [Logica-l] Nicholas Rescher (1928-2024) Joao Marcos
• [Logica-l] Textos Newton da Costa Abilio Rodrigues Filho
  • Re: [Logica-l] Textos Newton da Costa Evandro L. Gomes
  • Re: [Logica-l] Textos Newton da Costa Joao Marcos
  • Re: [Logica-l] Textos Newton da Costa Abilio Rodrigues Filho
• [Logica-l] Курт Гьодель: Помер у Всесвітній день логіки! jean-yves beziau
• [Logica-l] Qeios(?) Julio Stern
• [Logica-l] Re: Caso de vira-latismo e misoginia no CNPq- será o primeiro???? Cassiano Terra Rodrigues
• [Logica-l] Caso de vira-latismo e misoginia no CNPq- será o primeiro???? Walter Carnielli
  • Re: [Logica-l] Caso de vira-latismo e misoginia no CNPq- será o primeiro???? Elaine Pimentel
  • Re: [Logica-l] Caso de vira-latismo e misoginia no CNPq- será o primeiro???? Wagner de Campos Sanz
  • Re: [Logica-l] Caso de vira-latismo e misoginia no CNPq- será o primeiro???? Elaine Pimentel
  • Re: [Logica-l] Caso de vira-latismo e misoginia no CNPq- será o primeiro???? Wagner de Campos Sanz
  • Re: [Logica-l] Caso de vira-latismo e misoginia no CNPq- será o primeiro???? Elaine Pimentel
  • Re: [Logica-l] Caso de vira-latismo e misoginia no CNPq- será o primeiro???? Julio Stern
  • Re: [Logica-l] Caso de vira-latismo e misoginia no CNPq- será o primeiro???? Eduardo Ochs
  • Re: [Logica-l] Caso de vira-latismo e misoginia no CNPq- será o primeiro???? Julio Stern
  • Re: [Logica-l] Caso de vira-latismo e misoginia no CNPq- será o primeiro???? Joao Marcos
  • Re: [Logica-l] Caso de vira-latismo e misoginia no CNPq- será o primeiro???? Joao Marcos
  • Re: [Logica-l] Caso de vira-latismo e misoginia no CNPq- será o primeiro???? Walter Carnielli
  • Re: [Logica-l] Caso de vira-latismo e misoginia no CNPq- será o primeiro???? Itala Maria Loffredo D'Ottaviano
  • Re: [Logica-l] Caso de vira-latismo e misoginia no CNPq- será o primeiro???? Julio Stern
  • Re: [Logica-l] Caso de vira-latismo e misoginia no CNPq- será o primeiro???? Elaine Pimentel
  • Re: [Logica-l] Caso de vira-latismo e misoginia no CNPq- será o primeiro???? Julio Stern
  • Re: [Logica-l] Caso de vira-latismo e misoginia no CNPq- será o primeiro???? Elaine Pimentel
  • Re: [Logica-l] Caso de vira-latismo e misoginia no CNPq- será o primeiro???? Hermógenes Oliveira
  • Re: [Logica-l] Caso de vira-latismo e misoginia no CNPq- será o primeiro???? Elaine Pimentel
  • Re: [Logica-l] Caso de vira-latismo e misoginia no CNPq será o primeiro???? Hermógenes Oliveira
  • Re: [Logica-l] Caso de vira-latismo e misoginia no CNPq será o primeiro???? Marcelo Finger
  • Re: [Logica-l] Caso de vira-latismo e misoginia no CNPq- será o primeiro???? Joao Marcos
  • Re: [Logica-l] Caso de vira-latismo e misoginia no CNPq- será o primeiro???? Joao Marcos
• [Logica-l] a lógica /n|d/+as aulas de matemática Joao Marcos
  • Re: [Logica-l] a lógica /n|d/+as aulas de matemática Adolfo Neto
  • Re: [Logica-l] a lógica /n|d/+as aulas de matemática Joao Marcos
  • Re: [Logica-l] a lógica /n|d/+as aulas de matemática Joao Marcos
  • Re: [Logica-l] a lógica /n|d/+as aulas de matemática Joao Marcos
  • Re: [Logica-l] a lógica /n|d/+as aulas de matemática Walter Carnielli
  • Re: [Logica-l] a lógica /n|d/+as aulas de matemática Joao Marcos
  • Re: [Logica-l] a lógica /n|d/+as aulas de matemática Thiago Nascimento da Silva
  • Fwd: [Logica-l] a lógica /n|d/+as aulas de matemática Walter Carnielli
  • Re: [Logica-l] a lógica /n|d/+as aulas de matemática 'samuel' via LOGICA-L
  • Re: [Logica-l] a lógica /n|d/+as aulas de matemática Valeria de Paiva
  • Re: [Logica-l] a lógica /n|d/+as aulas de matemática Walter Carnielli
  • Re: [Logica-l] a lógica /n|d/+as aulas de matemática Valeria de Paiva
  • Re: [Logica-l] a lógica /n|d/+as aulas de matemática Itala Maria Loffredo D'Ottaviano
• [Logica-l] Mathematical Proof Between Generations Joao Marcos
• [Logica-l] Fwd: QPL 2024 - Second Call for Papers Joao Marcos
• Re: [Logica-l] Fwd: [SBFA] Resultado do Prêmio 2023 'José Eduardo Moura' via LOGICA-L
  • Re: [Logica-l] Fwd: [SBFA] Resultado do Prêmio 2023 Marlo Souza
  • Re: [Logica-l] Fwd: [SBFA] Resultado do Prêmio 2023 Itala Maria Loffredo D'Ottaviano
  • Re: [Logica-l] Fwd: [SBFA] Resultado do Prêmio 2023 Mahan Vaz
• [Logica-l] Fwd: Logics, Volume 1, Issue 4 (December 2023) Released Joao Marcos
  • [Logica-l] Consultinha rápida: "Odds" Walter Carnielli
  • Re: [Logica-l] Consultinha rápida: "Odds" Eduardo Ochs
  • Re: [Logica-l] Consultinha rápida: "Odds" Walter Carnielli
  • Re: [Logica-l] Consultinha rápida: "Odds" Marcelo Finger
  • Re: [Logica-l] Consultinha rápida: "Odds" Walter Carnielli
  • Re: Re: [Logica-l] Consultinha rápida: "Odds" Juan F. Meleiro
  • Re: Re: [Logica-l] Consultinha rápida: "Odds" Walter Carnielli
  • Re: Re: [Logica-l] Consultinha rápida: "Odds" Joao Marcos
  • Re: Re: [Logica-l] Consultinha rápida: "Odds" Julio Stern
  • Re: Re: [Logica-l] Consultinha rápida: "Odds" Walter Carnielli
  • Re: Re: [Logica-l] Consultinha rápida: "Odds" Marcelo Finger
  • Re: Re: [Logica-l] Consultinha rápida: "Odds" Walter Carnielli
  • Re: Re: [Logica-l] Consultinha rápida: "Odds" Marcelo Finger
  • Re: Re: [Logica-l] Consultinha rápida: "Odds" Matheus de Lima Rui
  • Re: Re: [Logica-l] Consultinha rápida: "Odds" Vinícius Litvinoff Justus
  • Re: Re: [Logica-l] Consultinha rápida: "Odds" Walter Carnielli
  • Re: Re: [Logica-l] Consultinha rápida: "Odds" Julio Stern
  • Re: Re: [Logica-l] Consultinha rápida: "Odds" Julio Stern
• [Logica-l] Fwd: CfA: 2 Postdocs Logic (1 year each), University of Cagliari (Italy), deadline: 19 Jan 2024 Joao Marcos
• [Logica-l] Fwd: [SBFA] Retrospectiva do Ciclo da SBFA Mateus Alves
• [Logica-l] Fwd: [SBFA-CFA] Call for Abstracts - VIII Conference of the Brazilian Society for Analytical Philosophy Mateus Alves
• [Logica-l] Paraconsistent Newsletter Fall-Spring 2023 jean-yves beziau
• [Logica-l] Fwd: [members-philmathpractice] 18-month Postdoc (IUSS Pavia): Epistemology / Philosophy of Mathematics Gisele Secco
• [Logica-l] CiE 2024 -- 2nd call for papers Elaine Pimentel
• [Logica-l] Fwd: [PF]Call for Papers: Contemporary perspectives in philosophy of logic Mateus Alves
• [Logica-l] Fwd: CfR: Workshop 'Proofs, Rules, and Meanings', 11-12 April 2024, University of St Andrews (Scotland) Joao Marcos
• [Logica-l] argumentos de categoricidade em Filosofia Joao Marcos
• [Logica-l] Fwd: Announcement: MCMP Summer School for Widening Participation in Mathematical Philosophy Joao Marcos
• [Logica-l] Google DeepMind used a large language model to discover new math | MIT Technology Review Ruy de Queiroz
  • Re: [Logica-l] Google DeepMind used a large language model to discover new math | MIT Technology Review Walter Carnielli
• [Logica-l] Concursos para professor na área de computação para a Unilab Márcia Roberta Falcão de Farias
• [Logica-l] Remembering Gödel - Sami Al-Suwailem jean-yves beziau
• [Logica-l] TEFILLA (SHMOR NA ALEINU) jean-yves beziau
• [Logica-l] Incas 3 commandments - SALOME 1 jean-yves beziau
• [Logica-l] Auxílios para participação de estudantes no II Encontro USP UFBA de Lógica e Fundamentos/Semana Temática de Lógica da UFBA (Verão 2024) 'Samuel Gomes da Silva' via LOGICA-L
• [Logica-l] Códigos de ética e conduta em sociedades científicas Elaine Pimentel
  • Re: [Logica-l] Códigos de ética e conduta em sociedades científicas Itala Maria Loffredo D'Ottaviano
  • Re: [Logica-l] Códigos de ética e conduta em sociedades científicas Walter Carnielli
  • Re: [Logica-l] Códigos de ética e conduta em sociedades científicas Valeria de Paiva
  • Re: [Logica-l] Códigos de ética e conduta em sociedades científicas Marcos Silva
  • Re: [Logica-l] Códigos de ética e conduta em sociedades científicas Hermógenes Oliveira
• [Logica-l] V Colóquio UnB-USP de Lógica e Filosofia da Lógica Alfredo Roque Freire
• [Logica-l] Hoje, dia 14 de dezembro, é o dia mundial dos macacos! jean-yves beziau
  • Re: [Logica-l] Hoje, dia 14 de dezembro, é o dia mundial dos macacos! Walter Carnielli
• [Logica-l] Mozi’s Philosophy of Universal Love and Analogical Reasoning: The Logic and Religion Webinar, Dec 14 (Thursday) Assis
• [Logica-l] Hoje ao meio-dia : Julio Stern no LUW - Dynamic Oppositional Symmetries for Color, Jungian and Kantian Categories jean-yves beziau
• [Logica-l] LUW December 13 - Julio Stern - Dynamic Oppositional Symmetries for Color, Jungian and Kantian Categories jean-yves beziau
• [Logica-l] Café com Lógica: um evento em comemoração ao Dia Mundial da Lógica Rafael Ongaratto
• [Logica-l] artigo - homenagem à professora Ítala Ricardo Grande
• [Logica-l] Fwd: Postdoc at U of Oslo Joao Marcos
• [Logica-l] ‘A-Team’ of Math Proves a Critical Link Between Addition and Sets Joao Marcos
• [Logica-l] IA Matemática Clodomir Neto
  • Re: [Logica-l] IA Matemática Joao Marcos
• [Logica-l] The Logical Nature of Paradise / Visions of the Afterlife jean-yves beziau
• [Logica-l] Call for Workshops: Diagrams 2024 Jorge Petrucio Viana
• [Logica-l] Sobre a prova matemática mais ousada da existência de Deus Walter Carnielli
  • Re: [Logica-l] Sobre a prova matemática mais ousada da existência de Deus Itala Maria Loffredo D'Ottaviano
• [Logica-l] P vs. NP - The Greatest Unsolved Problem in Computer Science Joao Marcos
  • Re: [Logica-l] P vs. NP - The Greatest Unsolved Problem in Computer Science Marcelo Finger
  • Re: [Logica-l] P vs. NP - The Greatest Unsolved Problem in Computer Science Rafael Santos Coelho
  • Re: [Logica-l] P vs. NP - The Greatest Unsolved Problem in Computer Science Walter Carnielli
• [Logica-l] Fwd: 3-year postdoctoral position in formal semantics+philosophy - U. Oslo Joao Marcos
• [Logica-l] Colóquio "O que é o Pensamento?" - PPGF/UFRJ jean-yves beziau
• [Logica-l] Resultado do Censo de estudantes de Lógica de anos iniciais João Mendes
• [Logica-l] William Troiani - The internal logic and finite colimits - LUWebinar - November 29 at 4pm CET jean-yves beziau
• [Logica-l] Fwd: Curso remoto - Filósofas da matemática Joao Marcos
• [Logica-l] Kurt Gödel: Morreu no Dia Mundial da Lógica ! jean-yves beziau
• [Logica-l] Fwd: [FOM] CPF: Diagrams 2024 Jorge Petrucio Viana
• [Logica-l] concursos para substituto no Depto de Filosofia da UFSC Joao Marcos
• [Logica-l] Fwd: Southern Summer Logic Day (January 12 in AU/NZ) Joao Marcos
• [Logica-l] 286.386.577.668.298.411.128.469.151.667.598.498.812.366 Joao Marcos
• [Logica-l] Concurso Filosofia UFFS Newton Peron
  • Re: [Logica-l] Concurso Filosofia UFFS Walter Carnielli
  • Re: [Logica-l] Concurso Filosofia UFFS Newton Peron
• [Logica-l] Fwd: [LOGIC] CfR: Wittgenstein and the formal sciences 3, 10 January 2024, Online [World Logic Day Event] Camilo Thorne

• Mensagens anteriores
• Mensagens posteriores