6 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] |
15035 | If universals are not separate, we can isolate them by abstraction [Boethius, by Panaccio] |
579 | Cratylus said you couldn't even step into the same river once [Cratylus, by Aristotle] |
578 | Cratylus decided speech was hopeless, and his only expression was the movement of a finger [Cratylus, by Aristotle] |