Triviality Results and the Relationship between Logical and Natural Languages

Mind 128 (510):485-526 (2019)

Authors
Justin Khoo
Massachusetts Institute of Technology
Matthew Mandelkern
All Souls College, Oxford
Abstract
Inquiry into the meaning of logical terms in natural language (‘and’, ‘or’, ‘not’, ‘if’) has generally proceeded along two dimensions. On the one hand, semantic theories aim to predict native speaker intuitions about the natural language sentences involving those logical terms. On the other hand, logical theories explore the formal properties of the translations of those terms into formal languages. Sometimes, these two lines of inquiry appear to be in tension: for instance, our best logical investigation into conditional connectives may show that there is no conditional operator that has all the properties native speaker intuitions suggest if has. Indicative conditionals have famously been the source of one such tension, ever since the triviality proofs of both Lewis (1976) and Gibbard (1981) established conclusions which are in prima facie tension with ordinary judgments about natural language indicative conditionals. In a recent series of papers, Branden Fitelson has strengthened both triviality results (Fitelson 2013, 2015, 2016), revealing a common culprit: a logical schema known as IMPORT-EXPORT. Fitelson’s results focus the tension between the logical results and ordinary judgments, since IMPORT-EXPORT seems to be supported by intuitions about natural language. In this paper, we argue that the intuitions which have been taken to support IMPORT-EXPORT are really evidence for a closely related, but subtly different, principle. We show that the two principles are independent by showing how, given a standard assumption about the conditional operator in the formal language in which IMPORT-EXPORT is stated, many existing theories of indicative conditionals validate one, but not the other. Moreover, we argue that once we clearly distinguish these principles, we can use propositional anaphora to show that IMPORT-EXPORT is in fact not valid for natural language indicative conditionals (given this assumption about the formal conditional operator). This gives us a principled and independently motivated way of rejecting a crucial premise in many triviality results, while still making sense of the speaker intuitions which appeared to motivate that premise. We suggest that this strategy has broad application and an important lesson: in theorizing about the logic of natural language, we must pay careful attention to the translation between the formal languages in which logical results are typically proved, and natural languages which are the subject matter of semantic theory.
Keywords conditionals  triviality results
Categories (categorize this paper)
DOI 10.1093/mind/fzy006
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

On Conditionals.Dorothy Edgington - 1995 - Mind 104 (414):235-329.
Studies in the Way of Words.Paul Grice - 1989 - Philosophical Quarterly 40 (160):393-395.
Defaults in Update Semantics.Frank Veltman - 1996 - Journal of Philosophical Logic 25 (3):221 - 261.

View all 61 references / Add more references

Citations of this work BETA

The Spectre of Triviality.Nate Charlow - forthcoming - Analysis.
Bounded Modality.Matthew Mandelkern - 2019 - Philosophical Review 128 (1):1-61.
Import‐Export and ‘And’.Matthew Mandelkern - forthcoming - Philosophy and Phenomenological Research.

Add more citations

Similar books and articles

Conditionals, Indeterminacy, and Triviality.Justin Khoo - 2013 - Philosophical Perspectives 27 (1):260-287.
Subjunctive Credences and Semantic Humility.Sarah Moss - 2013 - Philosophy and Phenomenological Research 87 (2):251-278.
Hurford Conditionals.Matthew Mandelkern & Jacopo Romoli - 2018 - Journal of Semantics 35 (2):357-367.
The Probabilities of Conditionals Revisited.Igor Douven & Sara Verbrugge - 2013 - Cognitive Science 37 (4):711-730.
Logical Consequence and Natural Language.Michael Glanzberg - 2015 - In Colin Caret & Ole Hjortland (eds.), Foundations of Logical Consequence. Oxford University Press. pp. 71-120.
The Logic of Indicative Conditionals.Chhanda Chakraborti - 1995 - Dissertation, The University of Utah
Triviality Pursuit.Alan Hájek - 2011 - Topoi 30 (1):3-15.
Embedding If and Only If.Adam Sennet & Jonathan Weisberg - 2012 - Journal of Philosophical Logic 41 (2):449-460.
Conditionals and Actuality.Timothy Williamson - 2009 - Erkenntnis 70 (2):135 - 150.
Linguistics and Natural Logic.George Lakoff - 1970 - Synthese 22 (1-2):151 - 271.

Analytics

Added to PP index
2018-02-23

Total views
114 ( #61,587 of 2,327,896 )

Recent downloads (6 months)
55 ( #9,153 of 2,327,896 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature