Failures of Categoricity and Compositionality for Intuitionistic Disjunction

Thought: A Journal of Philosophy 1 (4):281-291 (2012)
Download Edit this record How to cite View on PhilPapers
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.
PhilPapers/Archive ID
Revision history
First archival date: 2015-11-21
Latest version: 2 (2015-11-21)
View upload history
References found in this work BETA
Rejection.Smiley, Timothy
What is a Logical Constant?Peacocke, Christopher

View all 13 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Added to PP index

Total views
301 ( #9,214 of 39,015 )

Recent downloads (6 months)
18 ( #22,201 of 39,015 )

How can I increase my downloads?

Monthly downloads since first upload
This graph includes both downloads from PhilArchive and clicks to external links.