- Paperback: 113 pages
- Publisher: Dover Publications Inc. (1 Jan 2009)
- Language English
- ISBN-10: 0486446557
- ISBN-13: 978-0486446554
- Product Dimensions: 19.5 x 15.2 x 0.7 cm
-
Amazon Bestsellers Rank:
771,902 in Books (See Top 100 in Books)
- #21 in Books > Society, Politics & Philosophy > Philosophy > Topics > Logic
| ||||||||||||
Did you know you can trade in your old books for an Amazon.co.uk Gift Card to spend on the things you want? Plus, get an extra £5 Gift Certificate when you trade in books worth £10 or more before June 30, 2012. Visit the Books Trade-In Store for more details. |
Product details |
More About the Author
Tag this product(What's this?)Think of a tag as a keyword or label you consider is strongly related to this product.
Tags will help all customers organise and find favourite items. |
Sell a Digital Version of This Book in the Kindle Store
If you are a publisher or author and hold the digital rights to a book, you can sell a digital version of it in our Kindle Store.
Learn more
Customer Reviews
There are no customer reviews yet on Amazon.co.uk.
5 star
4 star
3 star
2 star
1 star
Most Helpful Customer Reviews on Amazon.com (beta)
Amazon.com:
1 review
4 of 4 people found the following review helpful
Dag Prawitz' 1965 Ph.D. thesis
2 Aug 2011
Format:Paperback
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)
Was this review helpful?
Let us know
Customer Discussions
|
This product's forum
Active discussions in related forums
Search Customer Discussions
|
Related forums
|
Listmania!
Look for similar items by category
- Books > Science & Nature > Mathematics > Education > Higher Education
- Books > Science & Nature > Mathematics > Mathematical Foundations > Mathematical Logic
- Books > Science & Nature > Popular Science > Maths
- Books > Scientific, Technical & Medical > Mathematics
- Books > Society, Politics & Philosophy > Philosophy > Topics > Logic
Look for similar items by subject
Feedback
- Would you like to update product info or give feedback on images?
- I am the Author, and I want to comment on my book.
- I am the Publisher, and I want to comment on this book.
|
