Abstract
The purpose of this paper is to investigate the significance of Gödel's Second Theorem. It is claimed that the theorem contradicts a basic constraint on our intuitive notion of 'implication'. The logic suggested as a solution to this problem contributes to a clear evaluation of the theorem. Indeed, Gödel's Second Theorem reveals from other points of view the limits of First Order Logic.
| Translated title of the contribution | The Significance of Gödel's Second Theorem |
|---|---|
| Original language | Hebrew |
| Pages (from-to) | 215-221 |
| Number of pages | 7 |
| Journal | עיון: רבעון פילוסופי |
| Volume | ל"ז |
| Issue number | ג/ד |
| State | Published - 1988 |