4 ideas
| 17743 | De Morgan introduced a 'universe of discourse', to replace Boole's universe of 'all things' [De Morgan, by Walicki] |
| Full Idea: In 1846 De Morgan introduced the enormously influential notion of a possibly arbitrary and stipulated 'universe of discourse'. It replaced Boole's original - and metaphysically a bit suspect - universe of 'all things'. | |
| From: report of Augustus De Morgan (works [1846]) by Michal Walicki - Introduction to Mathematical Logic History D.1.1 | |
| A reaction: This not only brings formal logic under control, but also reflects normal talk, because there is always an explicit or implicit domain of discourse when we talk. Of virtually any conversation, you can say what it is 'about'. |
| 10414 | Abstract objects are constituted by encoded collections of properties [Zalta, by Swoyer] |
| Full Idea: In Zalta's view abstract objects are correlated with collections of properties. ..They encode, as well as exemplify, properties; indeed, an abstract object (such as a Euclidean triangle) is constituted by the properties it encodes. | |
| From: report of Edward N. Zalta (Abstract Objects:intro to Axiomatic Metaphysics [1983]) by Chris Swoyer - Properties 6.3 | |
| A reaction: If we are going to explain abstract objects with properties, then properties had better not be abstract objects. Zalta has a promising idea if we start from a nominalist and naturalistic view of properties (built from physical powers). 'Encode'? |
| 10415 | Properties make round squares and round triangles distinct, unlike exemplification [Zalta, by Swoyer] |
| Full Idea: On Zalta's view, properties with the same encoding extensions are identical, but may be distinct with the same exemplification extension. So the properties of being a round square and a round triangle are distinct, but with the same exemplification. | |
| From: report of Edward N. Zalta (Abstract Objects:intro to Axiomatic Metaphysics [1983]) by Chris Swoyer - Properties | |
| A reaction: (For Zalta's view, see Idea 10414) I'm not sure about 'encoding' (cf. Hodes's use of the word), but the idea that an abstract object is just a bunch of possible properties (assuming properties have prior availability) seems promising. |
| 16570 | Elements are found last in dismantling bodies, and first in generating them [Albert of Saxony] |
| Full Idea: On one possible description, an element is what is found last when bodies are taken apart, and what is found first when bodies are generated. | |
| From: Albert of Saxony (On 'Generation and Corruption' [1356], II.3), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 2.1 |