display all the ideas for this combination of philosophers
6 ideas
9560 | S5 provides the correct logic for necessity in the broadly logical sense [Fine,K] |
14263 | Strong Kleene disjunction just needs one true disjunct; Weak needs the other to have some value [Fine,K] |
10565 | There is no stage at which we can take all the sets to have been generated [Fine,K] |
11222 | The ordered pair <x,y> is defined as the set {{x},{x,y}}, capturing function, not meaning [Gupta] |
13331 | Part and whole contribute asymmetrically to one another, so must differ [Fine,K] |
10564 | We might combine the axioms of set theory with the axioms of mereology [Fine,K] |