×

zbMATH — the first resource for mathematics

A revolution in the foundations of mathematics? (English) Zbl 0937.03006
The author criticizes ordinary first-order logic for its numerous inadequacies and points out that a less restrictive idea of what our basic logic is like leads to a version of a first-order logic that may be free of these inadequacies.
MSC:
03A05 Philosophical and critical aspects of logic and foundations
03B10 Classical first-order logic
00A30 Philosophy of mathematics
03B55 Intermediate logics
03C80 Logic with extra quantifiers and operators
PDF BibTeX XML Cite
Full Text: DOI