Journal of Philosophical Logic 37 (5):479 - 499 (2008)
|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.|
|Keywords||C. McGinn extensionalization functional application G. Bealer P. Tichý possible-world semantics predication simple type theory transparent intensional logic|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Peter Alward, COMMENTARY: “Second-Order Predication and the Metaphysics of Properties” by Andrew Egan.
George Bealer (1983). Completeness in the Theory of Properties, Relations, and Propositions. Journal of Symbolic Logic 48 (2):415-426.
Colin McGinn (2000). Logical Properties: Identity, Existence, Predication, Necessity, Truth. Oxford University Press.
William J. Rapaport (1985). To Be and Not to Be. Noûs 19 (2):255-271.
Andy Egan (2004). Second-Order Predication and the Metaphysics of Properties. Australasian Journal of Philosophy 82 (1):48 – 66.
Christopher Menzel (1993). The Proper Treatment of Predication in Fine-Grained Intensional Logic. Philosophical Perspectives 7:61-87.
Yaroslav Shramko (1999). A Theory of Relevant Properties 1: Reflections and Definitions. Theoria 14 (1):63-81.
Added to index2009-01-28
Total downloads12 ( #101,123 of 722,813 )
Recent downloads (6 months)2 ( #36,645 of 722,813 )
How can I increase my downloads?