Access

You are not currently logged in.

Access your personal account or get JSTOR access through your library or other institution:

login

Log in to your personal account or through your institution.

EIGHTY YEARS OF FOUNDATIONAL STUDIES

Hao Wang
Dialectica
Vol. 12, No. 3/4 (15. 9./15. 12. 1958), pp. 466-497
Published by: Wiley
Stable URL: http://www.jstor.org/stable/42964260
Page Count: 32
  • Download ($42.00)
  • Subscribe ($19.50)
  • Cite this Item
EIGHTY YEARS OF FOUNDATIONAL STUDIES
Preview not available

Abstract

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. Die Entwicklung der Grundlagenforschung seit dem Jahre 1879 wird hier im Überblick dargestellt und zwar vom Standpunkt einer Analyse durch Reduktion und 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 Piatonismus. 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. L'article réexamine les travaux faits depuis 1879 sur les problèmes du fondement des mathématiques, que Ton 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.

Page Thumbnails

  • Thumbnail: Page 
[466]
    [466]
  • Thumbnail: Page 
467
    467
  • Thumbnail: Page 
468
    468
  • Thumbnail: Page 
469
    469
  • Thumbnail: Page 
470
    470
  • Thumbnail: Page 
471
    471
  • Thumbnail: Page 
472
    472
  • Thumbnail: Page 
473
    473
  • Thumbnail: Page 
474
    474
  • Thumbnail: Page 
475
    475
  • Thumbnail: Page 
476
    476
  • Thumbnail: Page 
477
    477
  • Thumbnail: Page 
478
    478
  • Thumbnail: Page 
479
    479
  • Thumbnail: Page 
480
    480
  • Thumbnail: Page 
481
    481
  • Thumbnail: Page 
482
    482
  • Thumbnail: Page 
483
    483
  • Thumbnail: Page 
484
    484
  • Thumbnail: Page 
485
    485
  • Thumbnail: Page 
486
    486
  • Thumbnail: Page 
487
    487
  • Thumbnail: Page 
488
    488
  • Thumbnail: Page 
489
    489
  • Thumbnail: Page 
490
    490
  • Thumbnail: Page 
491
    491
  • Thumbnail: Page 
492
    492
  • Thumbnail: Page 
493
    493
  • Thumbnail: Page 
494
    494
  • Thumbnail: Page 
495
    495
  • Thumbnail: Page 
496
    496
  • Thumbnail: Page 
497
    497