Abstract
In his 2000 book Logical Properties Colin McGinn argues that predicates denote properties rather than sets or individuals. I support the thesis, but show that it is vulnerable to a type-incongruity objection, if properties are (modelled as) functions, unless a device for extensionalizing properties is added. Alternatively, properties may be construed as primitive intensional entities, as in George Bealer. However, I object to Bealer’s construal of predication as a primitive operation inputting two primitive entities and outputting a third primitive entity. Instead I recommend we follow Pavel Tichý in construing both predication and extensionalization as instances of the primitive operation of functional application.
Similar content being viewed by others
References
Aczel, P.: 1980, Frege structures and the notions of proposition, truth and set, in J. Barwise, H.J. Keisler, K. Kunen (eds.), The Kleene Symposium, North-Holland, pp. 31–59.
Bealer, G.: 1979, Theories of properties, relations, and propositions, Journal of Philosophy 76, 634–648.
Bealer, G.: 1982, Quality and Concept, Clarendon Press, Oxford.
Bealer, G.: 1989, On the identification of properties and propositional functions, Linguistics and Philosophy 12, 1–14.
Bealer, G.: 1993, A solution to Frege’s puzzle, Philosophical Perspectives, 7, 17–60.
Bealer, G. and Mönnich, U.: 1984, Property theories, in D. Gabbay and F. Günthner (eds.), Handbook of Philosophical Logic, vol. IV, D. Reidel, Dordrecht.
Jespersen, B.: 2004a, Aussonderung as procedure, in L. Běhounek (ed.), The Logica Yearbook 2003, Filosofia, Czech Academy of Science, Prague, pp. 133–144.
Jespersen, B.: 2004b, The foundations of Tichý’s logic, in Tichý (2004), pp. 9–23.
Jespersen, B.: 2005, Explicit intensionalisation, anti-actualism, and how Smith’s murderer might not have murdered Smith, Dialectica, 59, 285–314.
MacFarlane, J.: 2002, Review of McGinn (2000), Philosophical Review, 111, 462–465.
McGinn, C.: 2000, Logical Properties, Oxford University Press, Oxford, New York.
McGinn, C.: 2003, Reply to discussion on Logical Properties, Philosophical Studies 118, 453–461.
Tichý, P.: 1975, What do we talk about?, Philosophy of Science, 42, 80–93. Reprinted in Tichý (2004).
Tichý, P.: 1980, Merrill on what a sentence says, Philosophical Studies, 37, 197–200. Reprinted in Tichý (2004).
Tichý, P.: 1982, Foundations of partial type theory, Reports on Mathematical Logic, 14, 52–72. Reprinted in Tichý (2004).
Tichý, P.: 1986, Indiscernibility of identicals, Studia Logica, 45, 257–273. Reprinted in Tichý (2004).
Tichý, P.: 1988, The Foundations of Frege’s Logic, De Gruyter, Berlin, New York.
Tichý, P.: 2004, V. Svoboda, B. Jespersen, C. Cheyne (eds.), Collected Papers in Logic and Philosophy, Prague: Filosofia, Czech Academy of Sciences, and Dunedin: University of Otago Press.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Jespersen, B. PREDICATION AND EXTENSIONALIZATION. J Philos Logic 37, 479–499 (2008). https://doi.org/10.1007/s10992-007-9079-6
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10992-007-9079-6