Combining Texts
Ideas for
'Logic (Encyclopedia I)', 'Naming and Necessity lectures' and 'Truth and Truthmakers'
expand these ideas
|
start again
|
choose
another area for these texts
display all the ideas for this combination of texts
3 ideas
4. Formal Logic / D. Modal Logic ML / 1. Modal Logic
10559
|
Kripke's modal semantics presupposes certain facts about possible worlds [Kripke, by Zalta]
|
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]
|