For the best experience, please enable Javascript
x
Warning - This version of Internet Explorer is out of date. It has known security flaws and may not display all features of this website correctly. Please consider updating this browser.

Natural Deduction: A Proof-Theoretical Study

Natural Deduction: A Proof-Theoretical Study

By: Dag Prawitz

  • Reg. Price › $9.95
  • Share this book:
  • Share on Google+

An innovative approach to the semantics of logic, proof-theoretic semantics seeks the meaning of propositions and logical connectives within a system of inference. Gerhard Gentzen invented proof-theoretic semantics in the early 1930s, and Dag Prawitz, the author of this study, extended its analytic proofs to systems of natural deduction. 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 concept of natural deduction follows a truly natural progression, establishing the relationship between a noteworthy systematization and the interpretation of logical signs. As this survey explains, the deduction's principles allow it to proceed in a direct fashion — a manner that permits every natural deduction's transformation into the equivalent of normal form theorem. A basic result in proof theory, the normal form theorem was established by Gentzen for the calculi of sequents. The proof of this result for systems of natural deduction is in many ways simpler and more illuminating than alternative methods. This study offers clear illustrations of the proof and numerous examples of its advantages.

Republication of the Stockholm, 1965 edition.
AvailabilityUsually ships in 24 to 48 hours
ISBN 100486446557
ISBN 139780486446554
Author/EditorDag Prawitz
Page Count126
Dimensions5 3/8 x 8 1/2

You might also Like...

Product Review

Out of Stock Notification: