Os textos abaixo não são necessariamente de minha autoria. Todos compartilham alguma relação com Naturalismo, Lógica e Teoria da Computação. Muitos são traduções informais que visam facilitar o acesso dos interessados aos temas. Os textos de minha autoria tem o símbolo de asterisco (*) no nome.
APOSTILAS
Apostila LaTex/Overleaf para Estudantes de Filosofia*
Arquivo de Exemplo para a Apostila
ARTIGOS
O papel da experiência na filosofia de John Dewey
O teorema forte de Löwenheim-Skolem e a doutrina da relatividade ontológica de Quine.*
O paradoxo de Skolem de perto e pessoal [Skolem’s paradox up close and personal – Vaughan Pratt (tradução)]
LIVROS/CAPÍTULOS (Lógica, Matemática e Computação)
Lógica de Primeira Ordem: [Mathematical Logic: On Numbers, Sets, Structures, and Symmetry – R. Kossak – Cap. 1 (tradução)]
Visão Lógica: [Mathematical Logic: On Numbers, Sets, Structures and Symmetry – R.Kossak – Cap.2 (tradução)]
Formalização: [Introduction to Formal Philosophy – Hansson and Kjeldahl – Cap 1 (Tradução)]
A Natureza da Computação: [The Nature of Computation – C. Moor and S. Mertens – Cap 1,2 (tradução)]
LIVROS/CAPÍTULOS (Quine e Naturalismo)
Visão Geral – O Naturalismo de Quine: [Quine – Peter Hylton – Cap1 (tradução)]
Três formas de naturalismo: [Three Forms of Naturalism – Penelope Maddy (Tradução)]