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. |
| 20581 | If men are born free, are women born slaves? [Astell] |
| Full Idea: If all men are born free, how is it that all women are born slaves? | |
| From: Mary Astell (A Serious Proposal to the Ladies I [1694]), quoted by Johanna Oksala - Political Philosophy: all that matters Ch.9 | |
| A reaction: What a magnificent question for such an early date. She is said to have been the 'first British feminist'. It is not just a feminist point, but a strong objection to the idea that anyone is 'born free'. Because there is no way to tell if it is true. |