6 ideas
18261 | A simplification which is complete constitutes a definition [Kant] |
22275 | Logic gives us the necessary rules which show us how we ought to think [Kant] |
10558 | Abstract objects are actually constituted by the properties by which we conceive them [Zalta] |
14528 | Maybe modal thought is unavoidable, as a priori recognition of necessary truth-preservation in reasoning [Hale/Hoffmann,A] |
18260 | If we knew what we know, we would be astonished [Kant] |
10557 | Abstract objects are captured by second-order modal logic, plus 'encoding' formulas [Zalta] |