- Taschenbuch: 113 Seiten
- Verlag: Dover Pubn Inc (24. Februar 2006)
- Sprache: Englisch
- ISBN-10: 0486446557
- ISBN-13: 978-0486446554
- Größe und/oder Gewicht: 19,5 x 15,2 x 0,7 cm
- Amazon Bestseller-Rang: Nr. 213.403 in Englische Bücher (Siehe Top 100 in Englische Bücher)
|
||||||||||||||||||||
|
||||||||||||||||||||
|
||||||||||||||||||||
Produktinformation |
Mehr über den Autor
Entdecken Sie Bücher, lesen Sie über Autoren und mehr
› Besuchen Sie die Seite von Dag Prawitz auf Amazon
› Besuchen Sie die Seite von Dag Prawitz auf Amazon
Tags(Was ist das?)Bei einem Tag handelt es sich um ein Schlagwort, das zum Produkt passt.
Tags erleichtern allen Kunden die Suche und die Sortierung ihrer Lieblingsprodukte. |
Eine digitale Version dieses Buchs im Kindle-Shop verkaufen
Wenn Sie ein Verleger oder Autor sind und die digitalen Rechte an einem Buch haben, können Sie die digitale Version des Buchs in unserem Kindle-Shop verkaufen.
Weitere Informationen
Kundenrezensionen
Es gibt noch keine Kundenrezensionen auf Amazon.de
5 Sterne
4 Sterne
3 Sterne
2 Sterne
1 Sterne
Die hilfreichsten Kundenrezensionen auf Amazon.com (beta)
Amazon.com:
1 Rezension
4 von 4 Kunden fanden die folgende Rezension hilfreich
Dag Prawitz' 1965 Ph.D. thesis
2. August 2011
Format:Taschenbuch
This nice little Dover 2006 reprint of the 1965 Ph.D. thesis at the University of Stockholm by Dag Prawitz contains 7 short chapters and 3 appendices. They are: I. Natural Dedution of Gentzen Type / II. The Inversion Principle / III. Normal Deductions in Classical Logic / IV. Normal Deductions in Intuitionistic Logic / V. Second-Order Logic / VI. Modal Logic / VII. Some Other Concepts of Implication / APPENDIX A. The Calculi of Sequents / APPENDIX B. On a Set Theory by Fitch / APPENDIX C. Notes on Some Other Variants of Natural Deduction
Prawitz wrote a highly informative new preface for the Dover reissuance of his thesis monograph. This book is not highly difficult, but it ultimately had to satisfy Prawitz' Stockholm Ph.D. committee so he tended to lay out the fundamentals of the logics he wrote about, without showing any 'operations' of those logics. For me that isn't a very satisfying read. Plus, I didn't feel a need to go at logic for several philosophical positions as Prawitz did. All this makes clear that this book is nothing like a regular logic textbook and shouldn't be mistaken as such. I read only the first two chapters last winter.
In some circles this thesis is still regarded highly as groundbreaking in most of its subjects, so for $10 it's a steal. If you are interested in proof theoretical logic, buy this little book. Personally I'm not much proof theoretical at all, but this is still a fine reference for me, if only because the main introduction and elimination rules are clearly shown in Chapter I.
Here is a much more difficult proof theory book I own that is an actual textbook: Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science) and a phenomenal logic textbook I fully read in Nov11, and my absolute favorite book! Logic for Computer Scientists (Modern Birkhäuser Classics)
Prawitz wrote a highly informative new preface for the Dover reissuance of his thesis monograph. This book is not highly difficult, but it ultimately had to satisfy Prawitz' Stockholm Ph.D. committee so he tended to lay out the fundamentals of the logics he wrote about, without showing any 'operations' of those logics. For me that isn't a very satisfying read. Plus, I didn't feel a need to go at logic for several philosophical positions as Prawitz did. All this makes clear that this book is nothing like a regular logic textbook and shouldn't be mistaken as such. I read only the first two chapters last winter.
In some circles this thesis is still regarded highly as groundbreaking in most of its subjects, so for $10 it's a steal. If you are interested in proof theoretical logic, buy this little book. Personally I'm not much proof theoretical at all, but this is still a fine reference for me, if only because the main introduction and elimination rules are clearly shown in Chapter I.
Here is a much more difficult proof theory book I own that is an actual textbook: Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science) and a phenomenal logic textbook I fully read in Nov11, and my absolute favorite book! Logic for Computer Scientists (Modern Birkhäuser Classics)
Ist diese Rezension hilfreich?
Wir wollen von Ihnen hören.
Kunden diskutieren
|
Das Forum zu diesem Produkt
Fragen stellen, Meinungen austauschen, Einblicke gewinnen Aktive Diskussionen in ähnlichen Foren
Kundendiskussionen durchsuchen
|
Ähnliche Foren
|
||||||||||||||||||||||||||||||||||
Lieblingslisten
Ähnliche Artikel finden
Anhand des Sachgebietes nach ähnlichen Produkten suchen:
Ihr Kommentar
Möchten Sie die Produktinformationen aktualisieren oder Feedback zu den Produktabbildungen geben?
|
