Bilateralist Detours: From Intuitionist to Classical Logic and Back

Logique Et Analyse 60 (239):301-316 (2017)
Download Edit this record How to cite View on PhilPapers
Abstract
There is widespread agreement that while on a Dummettian theory of meaning the justified logic is intuitionist, as its constants are governed by harmonious rules of inference, the situation is reversed on Huw Price's bilateralist account, where meanings are specified in terms of primitive speech acts assertion and denial. In bilateral logics, the rules for classical negation are in harmony. However, as it is possible to construct an intuitionist bilateral logic with harmonious rules, there is no formal argument against intuitionism from the bilateralist perspective. Price gives an informal argument for classical negation based on a pragmatic notion of belief, characterised in terms of the differences they make to speakers' actions. The main part of this paper puts Price's argument under close scrutiny by regimenting it and isolating principles Price is committed to. It is shown that Price should draw a distinction between A or ¬A making a difference. According to Price, if A makes a difference to us, we treat it as decidable. This material allows the intuitionist to block Price's argument. Abandoning classical logic also brings advantages, as within intuitionist logic there is a precise meaning to what it might mean to treat A as decidable: it is to assume A ∨ ¬A.
PhilPapers/Archive ID
KRBBDF
Upload history
First archival date: 2016-10-28
Latest version: 3 (2019-07-09)
View other versions
Added to PP index
2016-10-28

Total views
176 ( #25,307 of 52,990 )

Recent downloads (6 months)
15 ( #35,933 of 52,990 )

How can I increase my downloads?

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