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.

Analytics

Added to PP
2013-04-17

Downloads
617 (#14,502)

6 months
45 (#22,448)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Jack Woods
University of Leeds

Citations of this work

Logical Consequence.J. C. Beall, Greg Restall & Gil Sagi - 2019 - Stanford Encyclopedia of Philosophy.
Sentence Connectives in Formal Logic.Lloyd Humberstone - forthcoming - Stanford Encyclopedia of Philosophy.
More Reflections on Consequence.Julien Murzi & Massimiliano Carrara - 2014 - Logique Et Analyse 57 (227):223-258.

Add more citations

References found in this work

Multiple Conclusion Logic.D. J. Shoesmith & Timothy Smiley - 1978 - Cambridge, England / New York London Melbourne: Cambridge University Press.
Multiple Conclusions.Greg Restall - 2005 - In Petr Hájek, Luis Valdés-Villanueva & Dag Westerståhl (eds.), Logic, Methodology and Philosophy of Science. College Publications.
Rejection.Timothy Smiley - 1996 - Analysis 56 (1):1–9.
What is a Logical Constant?Christopher Peacocke - 1976 - Journal of Philosophy 73 (9):221-240.
From Worlds to Possibilities.I. L. Humberstone - 1981 - Journal of Philosophical Logic 10 (3):313 - 339.

View all 15 references / Add more references