Seminário regular sobre “Filosofia e História das Ciências”
A Casa das Ciências, em parceria com a FCUP e a FLUP, promove regularmente um Seminário sobre "Filosofia e História das Ciências". O Seminário teve a sua primeira sessão em abril de 2024, tendo funcionado a partir de então com periodicidade aproximadamente quinzenal (às quartas-feiras), no Departamento de Matemática da FCUP, e participação livre, aberta a todos os interessados. Ver Realizados.
As sessões do Seminário constam de uma palestra (de mais ou menos 1 h), seguida de um debate, com pausa para café, decorrendo de modo presencial, prioritariamente em língua portuguesa para terem uma ampla abrangência, também junto de professores e estudantes do ensino secundário.
A partir de fevereiro de 2026 as sessões serão transmitidas no canal
(Live session) acessível a todos os interessados.
Dia 13 de maio de 2026 (quarta-feira) às 16h (hora de Lisboa)
Eduardo Rego (DM/FCUP e CMUP)
Título: Verdade Absoluta e Matemática
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.
Para esclarecer qualquer dúvida adicional contacte, por favor, TM.: 93 319 27 63, ou por e-mail jntavar@fc.up.pt.
Porto, 2 de fevereiro de 2026.
A Comissão Organizadora
Eduardo Rêgo (FCUP)
João Alberto Pinto (FLUP)
João Nuno Tavares (Casa das Ciências e FCUP)
Sofia Miguens (FLUP)
Oportunamente serão anunciadas as próximas sessões do Seminário sobre “Filosofia e História das Ciências”. Ver A realizar.
Ver cartaz.
Local: anfiteatro 0.05 do Departamento de Matemática da Faculdade de Ciências da Universidade do Porto, Rua do Campo Alegre 4169-007 Porto. Para mais informações contacte: **93 319 27 63**.
