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
Upload history
First archival date: 2017-06-26
Latest version: 1 (2018-03-05)
View other versions
Added to PP index

Total views
555 ( #12,825 of 69,140 )

Recent downloads (6 months)
80 ( #9,205 of 69,140 )

How can I increase my downloads?

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