Bienvenidos !!!

Este blog no tiene ninguna otra finalidad que compartir y ayudar a reflexionar sobre lógica y filosofía de la lógica, filosofía de las matemáticas, de la ciencia etc.
El blog es absolutamente gratuito. Mando los artículos a quienes lo soliciten y me envíen su mail . Es importante difundir nuestras reflexiones, discusiones, investigaciones y logros en el campo de las disciplinas que nos apasionan .

Gracias por seguir el blog !!!

Claudio Conforti

sábado, 3 de noviembre de 2012

Which Mathematical Logic is the Logic of Mathematics? Jaakko Hintikka


Abstract.

The main tool of the arithmetization and logization of analysis
in the history of nineteenth century mathematics was an informal logic of
quantifiers in the guise of the “epsilon–delta” technique. Mathematicians
slowly worked out the problems encountered in using it, but logicians from
Frege on did not understand it let alone formalize it, and instead used
an unnecessarily poor logic of quantifiers, viz. the traditional, first-order
logic. This logic does not e.g. allow the definition and study of mathematicians’
uniformity concepts important in analysis. Mathematicians’
stronger logic was rediscovered around 1990 as the form of independencefriendly
logic which hence is not a new logic nor a further development
of ordinary first-order logic but a richer version of it.

No hay comentarios:

Publicar un comentario en la entrada

Gracias por dejarme tu comentario