8 ideas
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] |
19400 | Possibles demand existence, so as many of them as possible must actually exist [Leibniz] |
19401 | God's sufficient reason for choosing reality is in the fitness or perfection of possibilities [Leibniz] |
19402 | The actual universe is the richest composite of what is possible [Leibniz] |
8840 | There are five possible responses to the problem of infinite regress in justification [Cleve] |
8841 | Modern foundationalists say basic beliefs are fallible, and coherence is relevant [Cleve] |