Combining Texts

All the ideas for 'The Problem of Possibilia', 'works' and 'Gdel's Proof'

expand these ideas     |    start again     |     specify just one area for these texts


4 ideas

4. Formal Logic / E. Nonclassical Logics / 5. Relevant Logic
A logic is 'relevant' if premise and conclusion are connected, and 'paraconsistent' allows contradictions [Priest,G, by Friend]
10. Modality / B. Possibility / 1. Possibility
Possible states of affairs are not propositions; a proposition can't be a state of affairs! [Fine,K]
10. Modality / E. Possible worlds / 2. Nature of Possible Worlds / a. Nature of possible worlds
The actual world is a possible world, so we can't define possible worlds as 'what might have been' [Fine,K]
18. Thought / A. Modes of Thought / 5. Rationality / b. Human rationality
The human intellect has not been, and cannot be, fully formalized [Nagel/Newman]