Programa

Aula 1: Brevíssima história da ontologia e epistemologia na matemática
Aula 2: Conjuntos e os diferentes tipos de infinitos
Aula 3: Lógica e logicismo
Aula 4: Método axiomático e o Programa de Hilbert

Bibliografia

Dedekind, R. (1963) Essays on the Theory of Numbers. Nova Iorque: Dover Publications.
Carnap, R. [1928] A Estrutura Lógica do Mundo (Trad. J. Ferrari). Em preparação.
Boolos, G., Burgess, J., & Jeffrey, R. (2013) Computabilidade e Lógica (Trad. Cezar Mortari). Ed. Unesp.
Fajardo, R. A. S. (2024) A Teoria dos Conjuntos e os Fundamentos da Matemática. Edusp.
Frege, G. [1884] Fundamentos de Aritmética (Trad. L. H. Lopes dos Santos). In Coleção os Pensadores. Nova Cultural, 1989.
Fried, M. (2024) Ontology in the History and Philosophy of Mathematical Practice: An Introduction. In B. Sriraman (ed.) Handbook of the History and Philosophy of Mathematical Practice. Springer, 2024, pp. 2166--76.
Hilbert, D. [1926] Sobre o Infinito (Trad. W. Carnielli). In W. Carnielli & R. Epstein Computabilidade, Funções Computáveis, Lógica e os Fundamentos da Matemática. Ed. Unesp, 2005, pp. 76-91.
Kant, I. (2001) Crítica da Razão Pura (Trad. M. Pinto & A. Morujão). Lisboa: Fundação Calouste Gulbenkian.
Priest, G. (2000) Lógica: Uma brevíssima introdução (Trad. E. Gonçalves & A. Nakano). Em preparação