The Logic of Opacity

Philosophy and Phenomenological Research 99 (1):81-114 (2019)
  Copy   BIBTEX

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.

Similar books and articles

Does Semantic Relationism Solve Frege's Puzzle?Bryan Pickel & Brian Rabern - 2017 - Journal of Philosophical Logic 46 (1):97-118.
Troubles with Direct Reference.Pierre Baumann - 2012 - Fenomenologia. Diálogos Possíveis Campinas: Alínea/Goiânia: Editora da Puc Goiás 93:33-51.
Can Frege pose Frege's puzzle?Stavroula Glezakos - 2009 - In Joseph Almog & Paolo Leonardi (eds.), The Philosophy of David Kaplan. Oxford University Press. pp. 202.
Searle on proper names.Michael McKinsey - 1971 - Philosophical Review 80 (2):220-229.
Berg’s Answer to Frege’s Puzzle.Wayne A. Davis - 2017 - Philosophia 45 (1):19-34.
Higher Order Modal Logic.Reinhard Muskens - 2006 - In Patrick Blackburn, Johan Van Benthem & Frank Wolter (eds.), Handbook of Modal Logic. Elsevier. pp. 621-653.
Gottlob Frege.Kevin C. Klement - 2001 - Internet Encyclopedia of Philosophy.
A Logic Inspired by Natural Language: Quantifiers As Subnectors.Nissim Francez - 2014 - Journal of Philosophical Logic 43 (6):1153-1172.
A fregean principle.Philip Hugly & Charles Sayward - 1998 - History and Philosophy of Logic 19 (3):125-135.

Analytics

Added to PP
2017-06-26

Downloads
1,086 (#10,850)

6 months
168 (#14,815)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Jeffrey Sanford Russell
University of Southern California
Andrew Bacon
University of Southern California

Citations of this work

Perspectivism.Jeremy Goodman & Harvey Lederman - 2021 - Noûs 55 (3):623-648.
Classical Opacity.Michael Caie, Jeremy Goodman & Harvey Lederman - 2019 - Philosophy and Phenomenological Research 101 (3):524-566.
A Theory of Structured Propositions.Andrew Bacon - 2023 - Philosophical Review 132 (2):173-238.
Closed Structure.Peter Fritz, Harvey Lederman & Gabriel Uzquiano - 2021 - Journal of Philosophical Logic 50 (6):1249-1291.
Sense, reference and substitution.Jeremy Goodman & Harvey Lederman - 2020 - Philosophical Studies 177 (4):947-952.

View all 18 citations / Add more citations

References found in this work

Word and Object.Willard Van Orman Quine - 1960 - Les Etudes Philosophiques 17 (2):278-279.
To Be F Is To Be G.Cian Dorr - 2016 - Philosophical Perspectives 30 (1):39-134.
Semantical Considerations on Modal Logic.Saul Kripke - 1963 - Acta Philosophica Fennica 16:83-94.
Two-dimensional semantics.David J. Chalmers - 2006 - In E. Lepore & B. Smith (eds.), The Oxford Handbook to the Philosophy of Language. Oxford University Press.
On sense and reference.Gottlob Frege - 2010 - In Darragh Byrne & Max Kölbel (eds.), Arguing about language. New York: Routledge. pp. 36--56.

View all 28 references / Add more references