Seminário regular “Filosofia e História das Ciências" - Prof. Eduardo Rêgo | 13 de maio 2026, 16h00, FCUP
FLUP | Instituto de Filosofia
Seminário regular “Filosofia e História das Ciências" - Prof. Eduardo Rêgo
A Casa das Ciências, em parceria com a FCUP e a FLUP, promove o Seminário regular sobre “Filosofia e História das Ciências”.
O Seminário terá participação livre, aberto a todos os interessados.
Próxima sessão:
Verdade Absoluta e Matemática
Eduardo Rêgo (DM/FCUP e CMUP)
13 de maio 2026 (quarta-feira) | 16h00
Anfiteatro 0.05 do Dep. de Matemática
Faculdade de Ciências da Universidade do Porto – FCUP (Rua do Campo Alegre, Porto)
A partir de fevereiro de 2026, as sessões serão transmitidas no canal YouTube da Casa das Ciências (Live session), acessível a todos os interessados.
Resumo: Uma pesquisa “assistida por IA” sobre a definição de Verdade Absoluta indicará com grande probabilidade como exemplos típicos de verdades absolutas as “verdades matemáticas” (e.g., 2+2=4) e certas “leis fundamentais da física”.
Em contraponto a esta ideia, também central na divulgação e visões populares da matemática, tentarei através de um olhar sobre a história da matemática dar corpo à ideia que a seguinte citação, provocatória na sua forma exagerada, resume:
“Nem um teorema matemático é uma verdade absoluta!”
"Porque depende das bases axiomáticas e da lógica com que é provado. Pode haver um consenso quase absoluto sobre essas bases e essa lógica. Sobre a utilidade da sua adopção. E sobre a validade da prova dada. E portanto sobre a verdade do teorema. Que é assim quase absolutamente consensual.
Mas havendo outras bases e lógicas em que não há prova do teorema - em particular em que a prova quase consensual não é válida, ou há mesmo uma prova da sua invalidade…
Enquanto essas outras bases e lógicas se revelarem também produtivas e úteis e, critério supremo, consistentes (isto é, livres de contradições), em última análise a verdade do teorema, ainda que quase absolutamente consensual, depende de uma escolha. Não é resultado de nenhuma espécie de imperativo lógico da nossa forma de pensar. Já que as bases e lógicas alternativas são também fruto do nosso pensamento consistente.
Em última análise, mesmo um teorema matemático é resultado de alguma escolha anterior. E a sua verdade quase absolutamente consensual é a verdade de uma, também quase absoluta, conveniência colectiva. Um teorema não deixa de ser uma forma de conveniência comunitária." Procurarei relacionar a discussão com as ideias centrais sobre Lógica e Fundamentos que definem as clássicas grandes divisões da filosofia da matemática – Logicismo, Formalismo, Intuicionismo, Estruturalismo – e também, considerando algumas propostas recentes de revisão dos fundamentos e práticas matemáticas, em particular a crescente influência e dependência do computacional, especular sobre o futuro.
https://ifilosofia.up.pt/activities/seminario-regular-filosofia-historia-ciencias-eduardo-rego
Para esclarecer qualquer dúvida adicional contacte, por favor, TM.: 93 319 27 63, ou por e-mail jnt...@fc.up.pt.
Comissão Organizadora
Eduardo Rêgo (FCUP)
João Alberto Pinto (FLUP - MLAG/IF)
João Nuno Tavares (Casa das Ciências e FCUP)
Sofia Miguens (FLUP - MLAG/IF)
Mind, Language and Action Group (MLAG)
Instituto de Filosofia da Universidade do Porto – UID/00502/2025
Fundação para a Ciência e a Tecnologia (FCT)
____________________________________________
Instituto de Filosofia (UI&D 502)
Faculdade de Letras da Universidade do Porto
Via Panorâmica s/n
4150-564 Porto
Tel. 22 607 71 80
E-mail: ifilo...@letras.up.pt
http://ifilosofia.up.pt/
Financiamento, avaliação e auditoria do Instituto de Filosofia:
