The Logic of Opacity

Download Edit this record How to cite View on PhilPapers
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
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
Everything.Williamson, Timothy

View all 29 references / Add more references

Citations of this work BETA
Classical Opacity.Caie, Michael; Goodman, Jeremy & Lederman, Harvey
Perspectivism.Goodman, Jeremy & Lederman, Harvey
Sense, reference and substitution.Goodman, Jeremy & Lederman, Harvey

Add more citations

Added to PP index

Total views
383 ( #11,138 of 49,018 )

Recent downloads (6 months)
67 ( #9,077 of 49,018 )

How can I increase my downloads?

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