Combining Philosophers
Ideas for Hermarchus, Albert Einstein and Kit Fine
expand these ideas
|
start again
|
choose
another area for these philosophers
display all the ideas for this combination of philosophers
5 ideas
4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / h. System S5
9560
|
S5 provides the correct logic for necessity in the broadly logical sense [Fine,K]
|
4. Formal Logic / E. Nonclassical Logics / 3. Many-Valued Logic
14263
|
Strong Kleene disjunction just needs one true disjunct; Weak needs the other to have some value [Fine,K]
|
4. Formal Logic / F. Set Theory ST / 5. Conceptions of Set / e. Iterative sets
10565
|
There is no stage at which we can take all the sets to have been generated [Fine,K]
|
4. Formal Logic / G. Formal Mereology / 1. Mereology
13331
|
Part and whole contribute asymmetrically to one another, so must differ [Fine,K]
|
4. Formal Logic / G. Formal Mereology / 3. Axioms of Mereology
10564
|
We might combine the axioms of set theory with the axioms of mereology [Fine,K]
|