7 ideas
18491 | The idea of 'making' can be mere conceptual explanation (like 'because') [Künne] |
13831 | Logic is based on transitions between sentences [Prawitz] |
13825 | Natural deduction introduction rules may represent 'definitions' of logical connectives [Prawitz] |
13823 | In natural deduction, inferences are atomic steps involving just one logical constant [Prawitz] |
18383 | Plantinga says there is just this world, with possibilities expressed in propositions [Plantinga, by Armstrong] |
11891 | Possibilities for an individual can only refer to that individual, in some possible world [Plantinga, by Mackie,P] |
20704 | A possible world contains a being of maximal greatness - which is existence in all worlds [Plantinga, by Davies,B] |