A Case for Second-Order Logic
De som köpt den här boken har ofta också köpt Don't Believe Everything You Think av Joseph Nguyen (häftad).
Köp båda 2 för 866 krJournal of Symbolic Logic Contains more on second-order logic than is readily available in any other textbook or survey. Philosophically, the book also contains many words of wisdom.
Stewart Shapiro is Professor of Philosophy at Ohio State University.
PART I: ORIENTATION; 1. TERMS AND QUESTIONS; 2. FOUNDATIONALISM AND FOUNDATIONS OF MATHEMATICS; PART II: LOGIC AND MATHEMATICS; 3. THEORY; 4. METATHEORY; 5. SECOND-ORDER LOGIC AND MATHEMATICS; 6. ADVANCED METATHEORY; PART III: HISTORY AND PHILOSOPHY; 7. THE HISTORICAL 'TRIUMPH' OF FIRST-ORDER LANGUAGES; 8. SECOND-ORDER LOGIC AND RULE-FOLLOWING; 9. THE COMPETITION; REFERENCES; INDEX