Combining Texts

Ideas for 'Nietzsche and Philosophy', 'The Evolution of Logic' and 'Ontology and the Ambitions of Metaphysics'

unexpand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts


1 idea

5. Theory of Logic / A. Overview of Logic / 7. Second-Order Logic
Since properties can have properties, some theorists rank them in 'types' [Hofweber]
     Full Idea: Since properties themselves can have properties there is a well-known division in the theory of properties between those who take a typed and those who take a type-free approach.
     From: Thomas Hofweber (Ontology and the Ambitions of Metaphysics [2016], 08.5)
     A reaction: I take this idea to be about linguistic predicates, and about semantics which draws on model theory. To see it as about actual 'properties' in the physical world makes no sense.