Dialectica 12 (3‐4):466-497 (1958)

A survey is made of work since 1879 on foundational problems viewed as an analysis, by reduction and formalization, of the concepts proof, feasible, number, set, and constructivity. It is suggested that there are five domains of concepts and methods, viz., anthropologism, finitism, intuitionism, predicativism, and platonism. It is also suggested that the central problem is to characterize these domains by formalization and to determine their interrelations by different forms of reduction. Finally, the range of logic in the narrower sense is discussed, and applications of mathematical logic are briefly outlined.ZusammenfassungDie Entwicklung der Grundlagenforschung seit dem Jahre 1879 wird hier im Überblick dargestellt und zwar vom Standpunkt einer Analyse durch Reduktion and Formalisierung der Begriffe Beweis, Zahl, Menge und Konstruktivität aus gesehen. Fünf Bereiche von Begriffsbildungen und Methoden werden zu Grunde gelegt, nämlich: Anthropologismus, Finitismus, Intuitionismus, Prädikativismus und Platonismus. Als zentrale Aufgabenstellung wird hier die Charakterisierung dieser Bereiche durch Formalisierung betrachtet und weiterhin die Bestimmung ihrer gegenseitigen Zusammenhänge durch verschiedene Arten von Reduktionen. Schliesslich wird das Gebiet der Logik im engeren Sinne diskutiert und Anwendungen der mathematischen Logik skizziert.RésuméL'article réexamine les travaux faits depuis 1879 sur les problèmes du fondement des mathématiques, que P'on considère comme des analyses par réduction et formalisation des concepts de démonstration, de nombre, d'ensemble, et de constructivité. On suggère qu'il existe cinq domaines de concepts et de méthodes, à savoir: anthropologisme, finitisme, intuitionisme, « predicativism » et platonisme. On suggère aussi que le problème essentiel consiste à caractériser ces domaines par formalisation et à déterminer leurs relations réciproques par différentes formes de réduction. Finalement, on étudie la portée de la logique prise dans son sens le plus étroit et on esquisse rapidement les applications de la logique mathématique
Keywords No keywords specified (fix it)
Categories No categories specified
(categorize this paper)
DOI 10.1111/j.1746-8361.1958.tb01476.x
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: 63,295
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Strict Finitism.Crispin Wright - 1982 - Synthese 51 (2):203 - 282.
Splittings and Disjunctions in Reverse Mathematics.Sam Sanders - 2020 - Notre Dame Journal of Formal Logic 61 (1):51-74.
Strict Finitism, Feasibility, and the Sorites.Walter Dean - 2018 - Review of Symbolic Logic 11 (2):295-346.
Grim’s Arguments Against Omniscience and Indefinite Extensibility.Laureano Luna - 2012 - International Journal for Philosophy of Religion 72 (2):89-101.

View all 10 citations / Add more citations

Similar books and articles

Review: Hao Wang, Eighty Years of Foundational Studies. [REVIEW]Steven Orey - 1963 - Journal of Symbolic Logic 28 (2):173-173.
Controlling Educational Expenditure Eighty Years Ago.Eric Eaglesham - 1957 - British Journal of Educational Studies 5 (2):119 - 130.
Eighty-Seven Years of Minutes.David Holdcroft - 1987 - Mind 96 (382):141-144.
Martin Heidegger Is Eighty-Years Old.Robert Cooper - 1970 - Southern Journal of Philosophy 8 (4):269-269.


Added to PP index

Total views
20 ( #536,499 of 2,448,723 )

Recent downloads (6 months)
2 ( #302,846 of 2,448,723 )

How can I increase my downloads?


My notes