Hi im thinking about instantiation and properties and whether properties can instantiate other properties. Is it true that properties can instantiate other ones? Are there any good examples of it? Thanks
-
Look up second-order properties or second-order logic– David GudemanCommented Jul 19, 2022 at 6:47
-
See Second-order and Higher-order Logic– Mauro ALLEGRANZACommented Jul 19, 2022 at 7:24
-
For Frege, existence is a second order property.– Mauro ALLEGRANZACommented Jul 19, 2022 at 7:24
-
Think about it what does instantiate a property really mean?– Double KnotCommented Jul 22, 2022 at 1:27
Add a comment
|
1 Answer
Sure.
Consider a thermometer based on red-dyed alcohol. You must construct it with some amount of liquid. This amount is a property. You must also construct it with some ratio between water and dye and alcohol. This ratio produces the expansion properties of the liquid with temperature. These properties are, ta-da!, properties. So the quantity of liquid and the ratio of components produces (instantiates) the volume at different temperatures, which are still more properties.
So, the combination of these properties, and the volume of the glass components of the thermometer, produce the property that a temperature of 30°C will have a liquid height of one value (a property) and a temperature of 10°C will have a different height of liquid (another property).
