display all the ideas for this combination of texts
2 ideas
10606 | Frege treats properties as a kind of function, and maybe a property is its characteristic function [Frege, by Smith,P] |
Full Idea: Frege urges us to regard properties as just a special kind of function, and in the case of numerical properties he comes close to identifying a property with its characteristic function. | |
From: report of Gottlob Frege (Grundlagen der Arithmetik (Foundations) [1884]) by Peter Smith - Intro to Gödel's Theorems 11.3 n 5 | |
A reaction: Every now and then really interesting bits of metaphysics pop out of Frege, though it usually needs commentators to show the implications. Does the 'characteristic' imply a teleological view? |
7703 | If classes can't be eliminated, and they are property combinations, then properties (universals) can't be either [Jacquette] |
Full Idea: If classes alone cannot be eliminated from ontology on Quine's terms, and if classes are defined as property combinations, then neither are all properties, universals in the tradition sense, entirely eliminable. | |
From: Dale Jacquette (Ontology [2002], Ch. 9) | |
A reaction: If classes were totally conventional (and there was no such things as a 'natural' class) then you might admit something to a class without knowing its properties (as 'the thing in the box'). |