Combining Philosophers
Ideas for Lynch,MP/Glasgow,JM, Jos A. Benardete and Kit Fine
expand these ideas
|
start again
|
choose
another area for these philosophers
display all the ideas for this combination of philosophers
8 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 / 1. Set Theory
3326
|
Set theory attempts to reduce the 'is' of predication to mathematics [Benardete,JA]
|
3327
|
The set of Greeks is included in the set of men, but isn't a member of it [Benardete,JA]
|
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets
3335
|
The standard Z-F Intuition version of set theory has about ten agreed axioms [Benardete,JA, by PG]
|
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]
|