How Fundamental is the Fundamental Assumption?

Download Edit this record How to cite View on PhilPapers
Abstract
The fundamental assumption of Dummett’s and Prawitz’ proof-theoretic justification of deduction is that ‘if we have a valid argument for a complex statement, we can construct a valid argument for it which finishes with an application of one of the introduction rules governing its principal operator’. I argue that the assumption is flawed in this general version, but should be restricted, not to apply to arguments in general, but only to proofs. I also argue that Dummett’s and Prawitz’ project of providing a logical basis for metaphysics only relies on the restricted assumption.
PhilPapers/Archive ID
KRBHFI
Upload history
Archival date: 2012-10-10
View other versions
Added to PP index
2012-05-24

Total views
401 ( #11,962 of 53,648 )

Recent downloads (6 months)
53 ( #11,778 of 53,648 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.