Ciências Formais e Filosofia: Lógica e Matemática

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.

Esta publicação pode ser adquirida online através do website das publicações facfil.