Combining Texts
Ideas for
'Taking Rights Seriously', 'On the Source of Necessity' and 'W.V. Quine'
expand these ideas
|
start again
|
choose
another area for these texts
display all the ideas for this combination of texts
2 ideas
4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / g. System S4
15102
|
S4 says there must be some necessary truths (the actual ones, of which there is at least one) [Cameron]
|
4. Formal Logic / D. Modal Logic ML / 4. Alethic Modal Logic
8480
|
S4: 'poss that poss that p' implies 'poss that p'; S5: 'poss that nec that p' implies 'nec that p' [Orenstein]
|