Translate

27.9.11

28/09 - Fábio M. Bertato

LÓGICA TRADICIONAL E SIMBOLISMO NO INÍCIO DA MATEMÁTICA MODERNA

Fábio M. Bertato
CLE- UNICAMP

A partir da leitura de certos textos de Aristóteles e de seus comentadores, estabeleceu-se entre os autores medievais a convicção acerca da akríbeia (avkri,beia, em latim: certitudo) da Matemática, isto é, da “certeza da Matemática”. Alessandro Piccolomini (1508-1578), em sua obra Commentarium
de Certitudine Mathematicarum disciplinarum (1547), questiona o estatuto epistemológico da Matemática, argumentando que suas demonstrações não são potissimae. Sua obra originou a bem conhecida Quaestio de Certitudine Mathematicarum.
Nosso objetivo é apresentar, no contexto da Quaestio, a abordagem realizada por Conrad Dasypodius (c.1530 -1600) e Christian Herlinus (m. 1562?) em sua obra Analyseis Geometricae sex librorum Euclidis (1566) e por Pierre Hérigone (c.1580-1643?) em seu Cursus Mathematicus (1634-1637). Os primeiros efetuaram uma das mais exaustivas tentativas de mostrar que os teoremas da matemática podem ser representados na lógica tradicional. O segundo introduziu um amplo conjunto de símbolos para notações matemáticas, para tornar a Matemática inteligível “sem o uso de qualquer idioma”. Ambas as obras são virtualmente desconhecidas entre os lógicos e historiadores da Lógica.

Um comentário:

  1. Agora fui alertado de que o texto em grego e os itálicos (latim) não aparecem na postagem. Mea culpa.

    ResponderExcluir