Logica Universalis 6 (3-4):459-475 (2012)

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 independence-friendly logic which hence is not a new logic nor a further development of ordinary first-order logic but a richer version of it
Keywords Quantifier  independence (in logic)  first-order logic  IF logic  epsilon–delta technique
Categories (categorize this paper)
DOI 10.1007/s11787-012-0065-6
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 56,949
Through your library

References found in this work BETA

If Logic, Definitions and the Vicious Circle Principle.Jaakko Hintikka - 2012 - Journal of Philosophical Logic 41 (2):505-517.

Add more references

Citations of this work BETA

Hintikka and the Functions of Logic.Montgomery Link - 2019 - Logica Universalis 13 (2):203-217.

Add more citations

Similar books and articles

19th Century Logic Between Philosophy and Mathematics.Volker Peckhaus - 1999 - Bulletin of Symbolic Logic 5 (4):433-450.
Second-Order Logic and Foundations of Mathematics.Jouko Väänänen - 2001 - Bulletin of Symbolic Logic 7 (4):504-520.
Logic, Logic and Logic.George Boolos - 1998 - Harvard University Press.
Generalized Quantifiers in Dependence Logic.Fredrik Engström - 2012 - Journal of Logic, Language and Information 21 (3):299-324.
Managing Informal Mathematical Knowledge: Techniques From Informal Logic.Andrew Aberdein - 2006 - Lecture Notes in Artificial Intelligence 4108:208--221.

Analytics

Added to PP index
2013-03-10

Total views
67 ( #148,674 of 2,409,935 )

Recent downloads (6 months)
4 ( #189,545 of 2,409,935 )

How can I increase my downloads?

Downloads

My notes