display all the ideas for this combination of philosophers
2 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'. |
13506 | The universal quantifier can't really mean 'all', because there is no universal set [Hart,WD] |
Full Idea: All the main set theories deny that there is a set of which everything is a member. No interpretation has a domain with everything in it. So the universal quantifier never gets to mean everything all at once; 'all' does not mean all. | |
From: William D. Hart (The Evolution of Logic [2010], 4) | |
A reaction: Could you have an 'uncompleted' universal set, in the spirit of uncompleted infinities? In ordinary English we can talk about 'absolutely everything' - we just can't define a set of everything. Must we 'define' our domain? |