Filosofia e Fundamentos de Matemática
“Como é possível a matemática pura?” é o título duma parte dum livro de Kant. Platão, Descartes, Leibniz, Frege, Husserl, Russell, Wittgenstein, Quine e outros grandes filósofos deram uma importância fundamental às questões da filosofia da matemática. Podemos mesmo dizer (com J. P. Mayberry) que a preocupação com a filosofia da matemática constitui a característica que mais claramente distingue a filosofia ocidental das outras grandes tradições filosóficas. O interesse dos filósofos pela matemática tem várias razões. Vou mencionar duas. Em primeiro lugar, a matemática é o exemplo paradigmático dum ramo do conhecimento cujas verdades não estão (ou não parecem estar) alicerçadas na experiência. Como é isso possível? Em segundo lugar, alguns dos mais profundos problemas da filosofia encontram a sua formulação mais cristalina quando são especializados para o domínio da matemática e seus fundamentos.
Alguns matemáticos célebres também se interessaram pelos fundamentos da sua disciplina. Isto foi especialmente verdade durante o primeiro quartel do século passado, quando Poincaré, Hilbert, Weyl, Brouwer e al. debateram apaixonadamente os fundamentos da matemática. A filosofia da matemática pode, por vezes, tornar precisas as suas doutrinas fundacionais, abrindo assim a possibilidade destas serem desenvolvidas e/ou refutadas matematicamente. Como é bem sabido, historicamente deram-se algumas refutações: vejam-se, por exemplo, a refutação do logicismo de Frege pelo paradoxo de Russell, ou a refutação do programa de Hilbert pelos teoremas da incompletude de Gödel. Claro que, como qualquer assunto de filosofia, a filosofia da matemática parece por vezes sofrer de ambiguidades irremovíveis. “Não há um substituto matemático para a filosofia”, disse Saul Kripke; “nem sequer para a filosofia da matemática”, acrescentaria eu próprio. A especial combinação do rigor matemático com a reflexão filosófica torna a filosofia e os fundamentos da matemática um assunto especialmente fascinante.
Os artigos ainda não publicados devem ser considerados rascunhos. Não os citem sem a minha permissão.
Quanto aos artigos publicados, note o leitor que os artigos on line são manuscritos que deram origem às versões publicadas. Há algumas diferenças entre os manuscritos e os artigos publicados. Se pretender citar um artigo deve consultar a versão publicada.
Artigos:
Zigzag and Fregean arithmetic. In: “The Philosophers and Mathematics”, organizado por H. Tahiri. Logic, Epistemology, and the Unity of Science 43, Springer International, 2018, pp. 81-100.
www.springer.com/us/book/9783319937328
Categoricity and mathematical knowledge. Revista Portuguesa de Filosofia 73(3-4), pp. 1423-1436 (2017).
https://www.jstor.org/stable/26291344
On the notion of object - A logical genealogy. Disputatio 24, pp. 609-624 (2012).
A most artistic package of a jumble of ideas. dialectica 62, pp. 205-222, 2008. Número especial comemorativo do quinquagésimo aniversário do artigo de Kurt Gödel Über eine bisher noch nicht benützte Erweiterung des finiten Standpunktes nesta mesma revista. Editor convidado: Thomas Strahm.
Doi: 10.1111/j.1746-8361.2008.01134.x
The co-ordination principles: a problem for bilateralism. Mind 117: 1051-1057, 2008.
To catch one's own shadow. In: “Actas do Segundo Encontro Nacional de Filosofia Analítica”, organizado por Sofia Miguens, João Alberto Pinto e Carlos Mauro. Faculdade de Letras da Universidade do Porto, Porto 2006, pp. 14-16.
https://loja.up.pt/pt/produto/analises-actas-2-ordm-encontro -nacional-de-filosofia
Comments on predicative logic. Journal of Philosophical Logic 35: pp. 1-8, 2006.
Doi: 10.1007/s10992-005-9001-z
Amending Frege's Grundgesetze der Arithmetik, Synthese 147: 3-19, 2005. Há um sumário alargado em português deste artigo intitulado Emendando o Grundgesetze der Arithmetik de Frege, fruto duma comunicação ao Primeiro Encontro Nacional de Filosofia Analítica (Universidade de Coimbra, 17 e 18 de Maio de 2002).
Doi: 10.1007/s11229-004-6204-8
On the consistency of the Delta-1-1-fragment of Frege's Grundgesetze, com Kai Wehmeier. Journal of Philosophical Logic 31:301-311, 2002.
A note on finiteness in the predicative foundations of arithmetic, Journal of Philosophical Logic 28: 165-174, 1999.
A substitutional framework for arithmetical validity, Grazer Philosophische Studien, 56: 133-149, 1998/9.
Recensão:
De A Course in Mathematical Logic for Mathematicians (2ª edição), Yuri Manin (com a colaboração de Boris Zilber), Graduate Texts in Mathematics, Springer 2009. Newsletter of the European Mathematical Society 78, pp. 61-63 (2010).
De Fixing Frege, John Burgess, Princeton University Press 2005. Australasian Journal of Philosophy 84(3), pp. 464-466 (2006).
[Os artigos acima são apenas para uso pessoal. Na maior parte dos casos, os editores são detentores do Copyright ©.]
Para ver ou imprimir os artigos 'on-line' desta página necessita de ter, ou necessita de fazer o 'download' duma cópia do Adobe Acrobat Reader.