display all the ideas for this combination of texts
2 ideas
18961 | We can identify functions with certain sets - or identify sets with certain functions [Putnam] |
Full Idea: Instead of identifying functions with certain sets, I might have identified sets with certain functions. | |
From: Hilary Putnam (Philosophy of Logic [1971], Ch.9) |
8525 | Relations need terms, so they must be second-order entities based on first-order tropes [Campbell,K] |
Full Idea: Because there cannot be relations without terms, in a meta-physic that makes first-order tropes the terms of all relations, relational tropes must belong to a second, derivative order. | |
From: Keith Campbell (The Metaphysic of Abstract Particulars [1981], §8) | |
A reaction: The admission that there could be a 'derivative order' may lead to trouble for trope theory. Ostrich Nominalists could say that properties themselves are derivative second-order abstractions from indivisible particulars. Russell makes them first-order. |