4 ideas
8720 | A logic is 'relevant' if premise and conclusion are connected, and 'paraconsistent' allows contradictions [Priest,G, by Friend] |
9212 | Possible states of affairs are not propositions; a proposition can't be a state of affairs! [Fine,K] |
9213 | The actual world is a possible world, so we can't define possible worlds as 'what might have been' [Fine,K] |
9591 | The human intellect has not been, and cannot be, fully formalized [Nagel/Newman] |