If you need an accessible version of this item please contact JSTOR User Support

The Road to Modern Logic-An Interpretation

Jose Ferreiros
The Bulletin of Symbolic Logic
Vol. 7, No. 4 (Dec., 2001), pp. 441-484
DOI: 10.2307/2687794
Stable URL: http://www.jstor.org/stable/2687794
Page Count: 44
  • Download PDF
  • Cite this Item

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.

If you need an accessible version of this item please contact JSTOR User Support
The Road to Modern Logic-An Interpretation
Preview not available

Abstract

This paper aims to outline an analysis and interpretation of the process that led to First-Order Logic and its consolidation as a core system of modern logic. We begin with an historical overview of landmarks along the road to modern logic, and proceed to a philosophical discussion casting doubt on the possibility of a purely rational justification of the actual delimitation of First-Order-Logic. On this basis, we advance the thesis that a certain historical tradition was essential to the emergence of modern logic; this traditional context is analyzed as consisting in some guiding principles and, particularly, a set of exemplares (i.e., paradigmatic instances). Then, we proceed to interpret the historical course of development reviewed in section 1, which can broadly be described as a two-phased movement of expansion and then restriction of the scope of logical theory. We shall try to pinpoint ambivalencies in the process, and the main motives for subsequent changes. Among the latter, one may emphasize the spirit of modern axiomatics, the situation of foundational insecurity in the 1920s, the resulting desire to find systems well-behaved from a proof-theoretical point of view, and the metatheoretical results of the 1930s. Not surprisingly, the mathematical and, more specifically, the foundational context in which Firs-Order-Logic matured will be seen to have played a primary role in its shaping.

Page Thumbnails

  • Thumbnail: Page 
441
    441
  • Thumbnail: Page 
442
    442
  • Thumbnail: Page 
443
    443
  • Thumbnail: Page 
444
    444
  • Thumbnail: Page 
445
    445
  • Thumbnail: Page 
446
    446
  • Thumbnail: Page 
447
    447
  • Thumbnail: Page 
448
    448
  • Thumbnail: Page 
449
    449
  • Thumbnail: Page 
450
    450
  • Thumbnail: Page 
451
    451
  • Thumbnail: Page 
452
    452
  • Thumbnail: Page 
453
    453
  • Thumbnail: Page 
454
    454
  • Thumbnail: Page 
455
    455
  • Thumbnail: Page 
456
    456
  • Thumbnail: Page 
457
    457
  • Thumbnail: Page 
458
    458
  • Thumbnail: Page 
459
    459
  • Thumbnail: Page 
460
    460
  • Thumbnail: Page 
461
    461
  • Thumbnail: Page 
462
    462
  • Thumbnail: Page 
463
    463
  • Thumbnail: Page 
464
    464
  • Thumbnail: Page 
465
    465
  • 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