[Logica-l] ¿ Is there an Axiom for everything ?

2021-01-20 Por tôpico jean-yves beziau
Meu derradeiro artigo: http://www.jyb-logic.org/AXI 1) Se você está convicto que a resposta a essa pergunta é positiva, faz sentido ler o artigo começando pelo início. 2) Caso julga a resposta negativa, melhor começar pelo fim. 3) Se pensa que talvez sim, talvez não, aconselho ler o artigo pe

[Logica-l] Fwd: AMC: Robert Lane's Peirce on Realism and Idealism

2021-01-20 Por tôpico Cassiano Terra Rodrigues
Colegas, Peço perdão pela autodivulgação, mas creio que deva ser de interesse a alguns nesta lista. Em 04 de fevereiro próximo, participarei do primeiro evento virtual da Charles S. Peirce Society, uma mesa redonda de discussão com Robert Lane, sobre seu livro 𝑷𝒆𝒊𝒓𝒄𝒆 𝒐𝒏 𝑹𝒆𝒂𝒍𝒊𝒔𝒎 𝒂𝒏𝒅 𝑰𝒅𝒆𝒂𝒍𝒊𝒔𝒎. A quem

[Logica-l] WBL'21: Chamada Preliminar de Trabalhos

2021-01-20 Por tôpico Renata Wassermann
O Segundo Workshop Brasileiro de Lógica (WBL’21) é uma iniciativa do Grupo de Interesse em Lógica da Sociedade Brasileira de Computação (SBC), numa parceria com a Sociedade Brasileira de Lógica (SBL). Em sua segunda edição, seu objetivo é congregar lógicos de diferentes áreas da Computação e em dif

[Logica-l] Fwd: I Encontro Brasileiro em Teoria das Categorias: 25 a 29 de janeiro

2021-01-20 Por tôpico Jorge Petrucio Viana
Boa tarde! Repassando uma mensagem do Hugo Mariano (IME-USP). Espero que ele não se importe... abraços Petrucio xxx Caros colegas e estudantes, Divulgo que o I Encontro Brasileiro de Teoria das Categorias ocorrerá (remotamente) entre 25 e 29 de janeiro. Para poder assistir as apresentaçõe