The Logic of Opacity

Download Edit this record How to cite View on PhilPapers
Abstract
We explore the view that Frege's puzzle is a source of straightforward counterexamples to Leibniz's law. Taking this seriously requires us to revise the classical logic of quantifiers and identity; we work out the options, in the context of higher-order logic. The logics we arrive at provide the resources for a straightforward semantics of attitude reports that is consistent with the Millian thesis that the meaning of a name is just the thing it stands for. We provide models to show that some of these logics are non-degenerate.
PhilPapers/Archive ID
BACTLO-5
Revision history
First archival date: 2017-06-26
Latest version: 1 (2018-03-05)
View upload history
References found in this work BETA
To Be F Is To Be G.Cian Dorr - 2016 - Philosophical Perspectives 30 (1):39-134.
Word and Object.Quine, Willard Van Orman

View all 29 references / Add more references

Citations of this work BETA
Classical Opacity.Caie, Michael; Goodman, Jeremy & Lederman, Harvey
Sense, Reference and Substitution.Goodman, Jeremy & Lederman, Harvey

Add more citations

Added to PP index
2017-06-26

Total views
256 ( #12,657 of 41,512 )

Recent downloads (6 months)
52 ( #11,511 of 41,512 )

How can I increase my downloads?

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