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.

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

Truth and the Unprovability of Consistency

Hartry Field
Mind
Vol. 115, No. 459 (Jul., 2006), pp. 567-605
Published by: Oxford University Press on behalf of the Mind Association
Stable URL: http://www.jstor.org/stable/3840582
Page Count: 39
  • Download ($42.00)
  • Cite this Item
If you need an accessible version of this item please contact JSTOR User Support
Truth and the Unprovability of Consistency
Preview not available

Abstract

It might be thought that we could argue for the consistency of a mathematical theory T within T, by giving an inductive argument that all theorems of T are true and inferring consistency. By Gödel's second incompleteness theorem any such argument must break down, but just how it breaks down depends on the kind of theory of truth that is built into T. The paper surveys the possibilities, and suggests that some theories of truth give far more intuitive diagnoses of the breakdown than do others. The paper concludes with some morals about the nature of validity and about a possible alternative to the idea that mathematical theories are indefinitely extensible.

Page Thumbnails

  • Thumbnail: Page 
[567]
    [567]
  • Thumbnail: Page 
568
    568
  • Thumbnail: Page 
569
    569
  • Thumbnail: Page 
570
    570
  • Thumbnail: Page 
571
    571
  • Thumbnail: Page 
572
    572
  • Thumbnail: Page 
573
    573
  • Thumbnail: Page 
574
    574
  • Thumbnail: Page 
575
    575
  • Thumbnail: Page 
576
    576
  • Thumbnail: Page 
577
    577
  • Thumbnail: Page 
578
    578
  • Thumbnail: Page 
579
    579
  • Thumbnail: Page 
580
    580
  • Thumbnail: Page 
581
    581
  • Thumbnail: Page 
582
    582
  • Thumbnail: Page 
583
    583
  • Thumbnail: Page 
584
    584
  • Thumbnail: Page 
585
    585
  • Thumbnail: Page 
586
    586
  • Thumbnail: Page 
587
    587
  • Thumbnail: Page 
588
    588
  • Thumbnail: Page 
589
    589
  • Thumbnail: Page 
590
    590
  • Thumbnail: Page 
591
    591
  • Thumbnail: Page 
592
    592
  • Thumbnail: Page 
593
    593
  • Thumbnail: Page 
594
    594
  • Thumbnail: Page 
595
    595
  • Thumbnail: Page 
596
    596
  • Thumbnail: Page 
597
    597
  • Thumbnail: Page 
598
    598
  • Thumbnail: Page 
599
    599
  • Thumbnail: Page 
600
    600
  • Thumbnail: Page 
601
    601
  • Thumbnail: Page 
602
    602
  • Thumbnail: Page 
603
    603
  • Thumbnail: Page 
604
    604
  • Thumbnail: Page 
605
    605