Combining Philosophers
Ideas for Anaxarchus, David M. Armstrong and Paul Feyerabend
expand these ideas
|
start again
|
choose
another area for these philosophers
display all the ideas for this combination of philosophers
3 ideas
4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / g. System S4
15544
|
If what is actual might have been impossible, we need S4 modal logic [Armstrong, by Lewis]
|
4. Formal Logic / F. Set Theory ST / 1. Set Theory
18396
|
The set theory brackets { } assert that the member is a unit [Armstrong]
|
4. Formal Logic / F. Set Theory ST / 3. Types of Set / b. Empty (Null) Set
18393
|
For 'there is a class with no members' we don't need the null set as truthmaker [Armstrong]
|