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.

Categories

Keywords

Reprint years

DOI

10.1002/tht3.45

Links

PhilArchive

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Inferentialism and the categoricity problem: Reply to Raatikainen.Julien Murzi & Ole Thomassen Hjortland - 2009 - Analysis 69 (3):480-488.
Inferentialism, compositionality and the thickness of meaning.Dongho Choi - 2008 - Proceedings of the Xxii World Congress of Philosophy 39:335-344.
Partial isomorphisms and intuitionistic logic.Bernd I. Dahn - 1981 - Studia Logica 40 (4):405 - 413.
And negations.Greg Restall - unknown
Inferentialism and the categoricity problem: Reply to Raatikainen. North-Holland - unknown
Combining possibilities and negations.Greg Restall - 1997 - Studia Logica 59 (1):121-141.
Glueing of analysis models in an intuitionistic setting.D. Dalen - 1986 - Studia Logica 45 (2):181 - 186.
Metacompleteness of Substructural Logics.Takahiro Seki - 2012 - Studia Logica 100 (6):1175-1199.
Categoricity and indefinite extensibility.James Walmsley - 2002 - Proceedings of the Aristotelian Society 102 (3):217–235.
Disjunction and existence under implication in elementary intuitionistic formalisms.S. C. Kleene - 1962 - Journal of Symbolic Logic 27 (1):11-18.
Transfer principles in nonstandard intuitionistic arithmetic.Jeremy Avigad & Jeffrey Helzner - 2002 - Archive for Mathematical Logic 41 (6):581-602.
The logic instinct.Stephen Crain & Drew Khlentzos - 2010 - Mind and Language 25 (1):30-65.
An addendum: Disjunction and existence under implication in elementary intuitionistic formalisms.S. C. Kleene - 1963 - Journal of Symbolic Logic 28 (2):154-156.

Analytics

Added to PP
2013-04-17

Downloads
811 (#18,234)

6 months
91 (#48,903)

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. Edited by T. J. Smiley.
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 Harmony Could and Could Not Be.Florian Steinberger - 2011 - Australasian Journal of Philosophy 89 (4):617 - 639.
From worlds to possibilities.I. L. Humberstone - 1981 - Journal of Philosophical Logic 10 (3):313 - 339.

View all 15 references / Add more references