Failures of Categoricity and Compositionality for Intuitionistic Disjunction

Thought: A Journal of Philosophy 1 (4):281-291 (2012)
  Copy   BIBTEX

Abstract

I show that the model-theoretic meaning that can be read off the natural deduction rules for disjunction fails to have certain desirable properties. I use this result to argue against a modest form of inferentialism which uses natural deduction rules to fix model-theoretic truth-conditions for logical connectives.

Author's Profile

Jack Woods
University of Leeds

Analytics

Added to PP
2013-04-17

Downloads
790 (#16,493)

6 months
81 (#46,232)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?