8 ideas
19426 | 'Nominal' definitions just list distinguishing characteristics [Leibniz] |
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] |
19424 | Knowledge needs clarity, distinctness, and adequacy, and it should be intuitive [Leibniz] |
19427 | True ideas represent what is possible; false ideas represent contradictions [Leibniz] |
20074 | We can keep Davidson's account of intentions in action, by further explaining prior intentions [Davidson, by Stout,R] |
19425 | In the schools the Four Causes are just lumped together in a very obscure way [Leibniz] |