Natural Deduction: A Proof-Theoretical Study [Paperback]

Dag Prawitz (Author)

List Price:	CDN$ 13.50
Price:	CDN$ 9.98 & eligible for FREE Super Saver Shipping on orders over CDN$ 25. Details
You Save:	CDN$ 3.52 (26%)
	o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o

In Stock.
Ships from and sold by Amazon.ca. Gift-wrap available.

Only 1 left in stock--order soon (more on the way).

Want it delivered Tuesday, May 29? Choose One-Day Shipping at checkout.

Product Details

Paperback: 128 pages
Publisher: Dover Publications; 1 edition (Feb 24 2006)
Language: English
ISBN-10: 0486446557
ISBN-13: 978-0486446554
Product Dimensions: 19.5 x 15.2 x 0.7 cm
Shipping Weight: 141 g
Amazon Bestsellers Rank: #462,978 in Books (See Top 100 in Books)

Would you like to update product info or give feedback on images?

Product Description

Prawitz's theories form the basis of intuitionistic type theory, and his inversion principle constitutes the foundation of most modern accounts of proof-theoretic semantics. The proof-theoretical system represents a simpler and more illuminating method than alternative approaches, and this volume offers a succinct, coherent illustration of its applications to natural deduction. 1965 edition.

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 organize and find favorite items.

Customer Reviews

There are no customer reviews yet on Amazon.ca

5 star:		(0)
4 star:		(0)
3 star:		(0)
2 star:		(0)
1 star:		(0)

Share your experience with this product with others

Create your own review

Most Helpful Customer Reviews on Amazon.com ^(beta)

Amazon.com: 3.0 out of 5 stars (1 customer review)

4 of 4 people found the following review helpful

3.0 out of 5 stars Dag Prawitz' 1965 Ph.D. thesis, Aug 1 2011

By Scott - Published on Amazon.com

This review is from: Natural Deduction: A Proof-Theoretical Study (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)

› Go to Amazon.com to see the review 3.0 out of 5 stars