Seminário Lógica no Avião, 2013 - 2018
Organizadores:
Edgar Almeida
Alexandre Costa-Leite
Rodrigo Freire
(2019)
Prefácio EditorialEdgar Almeida
Alexandre Costa-Leite
Rodrigo Freire
Parte 1 - Fundamentos da lógica e da matemática
Gödel's theorem and paraconsistencyGraham Priest
Linear models and set theorySantiago Jockwich Martinez
Giorgio Venturi
Hesitações na aritmética de FregeFernando Ferreira
Some remarks on the validity of the principle of explosion in intuitionistic logicEdgar Campos
Abilio Rodrigues
On how kelsenian jurisprudence and intuitionistic logic help to avoid contrary-to-duty paradoxes in legal ontologiesEdward H. Haeusler
Alexandre Rademaker
Alguns comentários sobre a questão da identidade entre lógicasHugo Luiz Mariano
Categorias com morfismos verdade e prototopos: uma semântica para linguagens proposicionaisEdelcio G. de Souza
Parte 2 - Fundamentos da física e metafísica
O gato de Schrödinger não está vivo e morto antes da medição: sobre a interpretação dos resultados quânticosDécio Krause
The common present in a block universeYuri Balashov
