Abstract
Standard approaches to proper names, based on Kripke’s views, hold that the semantic values of expressions are (set-theoretic) functions from possible worlds to extensions and that names are rigid designators, i.e. that their values are constant functions from worlds to entities. The difficulties with these approaches are well-known and in this paper we develop an alternative. Based on earlier work on a higher order logic that is truly intensional in the sense that it does not validate the axiom scheme of Extensionality, we develop a simple theory of names in which Kripke’s intuitions concerning rigidity are accounted for, but the more unpalatable consequences of standard implementations of his theory are avoided. The logic uses Frege’s distinction between sense and reference and while it accepts the rigidity of names it rejects the view that names have direct reference. Names have constant denotations across possible worlds, but the semantic value of a name is not determined by its denotation.
I would like to thank the anonymous referees for their excellent advice.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Benzmüller, C., Brown, C.E., Kohlhase, M.: Higher Order Semantics and Extensionality. Journal of Symbolic Logic 69 (2004)
Burge, T.: Reference and Proper Names. Journal of Philosophy 70, 425–439 (1973)
Graff Fara, D.: Names as Predicates (2011) (unpublished manuscript)
Fitting, M.: Types, Tableaus, and Gödels God. Kluwer Academic Publishers, Dordrecht (2002)
Frege, G.: Über Sinn und Bedeutung. In: Patzig, G. (ed.) Funktion, Begriff, Bedeutung. Fünf Logische Studien. Vanden Hoeck, Göttingen (1892)
Henkin, L.: Completeness in the Theory of Types. Journal of Symbolic Logic 15, 81–91 (1950)
Kripke, S.: Identity and Necessity. In: Munitz, M. (ed.) Identity and Individuation, pp. 135–164. New York University Press (1971)
Kripke, S.: Naming and Necessity. In: Davidson, D., Harman, G. (eds.) Semantics of Natural Language, pp. 253–355. Reidel, Dordrecht (1972)
Matushansky, O.: Why Rose is the Rose: On the use of definite articles in proper names. In: Bonami, O., Cabredo Hofherr, P. (eds.) Empirical Issues in Formal Syntax and Semantics, vol. 6, pp. 285–307. CSSP, Paris (2006)
Muskens, R.A.: Intensional Models for the Theory of Types. Journal of Symbolic Logic 72(1), 98–118 (2007)
Muskens, R.A.: Meaning and Partiality. CSLI, Stanford (1995)
Partee, B.: Noun Phrase Interpretation and Type Shifting Principles. In: Groenendijk, J., de Jongh, D., Stokhof, M. (eds.) Studies in Discourse Representation and the Theory of Generalized Quantifiers, pp. 115–143. Foris, Dordrecht (1986)
Quine, W.V.O.: From a Logical Point of View. Harper and Row, New York (1953)
Quine, W.V.O.: On What There Is. Review of Metaphysics 2, 21–28 (1948); Reprinted in Quine (1953)
Quine, W.V.O.: Word and Object. MIT Press (1960)
Russell, B.: On Denoting. Mind 14(56), 479–493 (1905)
Whitehead, A.N., Russell, B.: Principia Mathematica. Cambridge University Press (1913)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Muskens, R. (2012). A Theory of Names and True Intensionality. In: Aloni, M., Kimmelman, V., Roelofsen, F., Sassoon, G.W., Schulz, K., Westera, M. (eds) Logic, Language and Meaning. Lecture Notes in Computer Science, vol 7218. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-31482-7_45
Download citation
DOI: https://doi.org/10.1007/978-3-642-31482-7_45
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-31481-0
Online ISBN: 978-3-642-31482-7
eBook Packages: Computer ScienceComputer Science (R0)