PREDICATION AND EXTENSIONALIZATION |
| |
Authors: | Bjørn Jespersen |
| |
Institution: | (1) Section of Philosophy, Delft University of Technology, Delft, The Netherlands |
| |
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 Tichy in construing both predication and extensionalization as instances
of the primitive operation of functional application. |
| |
Keywords: | C McGinn extensionalization functional application G Bealer P Tichy possible-world semantics predication simple type theory transparent intensional logic |
本文献已被 SpringerLink 等数据库收录! |
|