Binding bound variables in epistemic contexts

Download Edit this record How to cite View on PhilPapers
Abstract
Quine insisted that the satisfaction of an open modalised formula by an object depends on how that object is described. Kripkeā€™s "objectual" interpretation of quantified modal logic, whereby variables are rigid, is commonly thought to avoid these Quinean worries. Yet there remain residual Quinean worries in the epistemic case. Theorists have recently been toying with assignment-shifting treatments of epistemic contexts. On such views an epistemic operator ends up binding all the variables in its scope. One might worry that this yields the undesirable result that any attempt to "quantify in" to an epistemic environment is blocked. But a famous alternative to Kripke's semantics, namely Lewis' counterpart semantics, also faces this worry, since it also treats the boxes and diamonds as assignment-shifting devices. As I'll demonstrate, the mere fact that a variable is bound is no obstacle to binding it. This provides a helpful lesson for those modelling de re epistemic contexts with assignment sensitivity, and perhaps leads the way toward the proper treatment of binding in both metaphysical and epistemic contexts: Kripke for metaphysical modality, Lewis for epistemic modality.
PhilPapers/Archive ID
RABBBV
Revision history
Archival date: 2018-04-04
View upload history
References found in this work BETA
Naming and Necessity.Kripke, Saul A.

View all 26 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Added to PP index
2018-04-04

Total downloads
85 ( #22,921 of 37,113 )

Recent downloads (6 months)
25 ( #14,011 of 37,113 )

How can I increase my downloads?

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