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

Total views
447 ( #12,263 of 58,375 )

Recent downloads (6 months)
41 ( #19,200 of 58,375 )

How can I increase my downloads?

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