Ciências Formais e Filosofia

Como disciplinas autónomas, a filosofia da lógica e a filosofia da matemática são relativamente recentes. Elas nascem sob a égide da refundação da lógica por parte de Frege e da teoria dos tipos de Russell, desenvolvendo-se, posteriormente, sob a influência do programa hilbertiano dos fundamentos da matemática e, depois, da teoria de modelos. Ambas as disciplinas estão atravessadas por problemas filosóficos tradicionais, ontológicos e epistemológicos, em geral, em registo linguístico, uma característica comum da filosofia contemporânea.

Como em outros domínios da filosofia, a história da lógica e da matemática, com os seus estudos de caso, contribuíram para oferecer uma visão multiforme dessas ciências, como contraponto à elegante uniformidade da sua análise formal. As quase duas dúzias de trabalhos que apresentamos ao leitor neste fascículo oferecem uma larga variedade de enfoques - histórico-exegéticos, conceituais e técnicos -, que ilustram bem o estado da arte florescente desta área de investigação, podendo, assim, atender às expectativas de um amplo espectro de interesses.¿