7 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] |
15923 | Poincaré rejected the actual infinite, claiming definitions gave apparent infinity to finite objects [Poincaré, by Lavine] |
3644 | Two things being joined together doesn't prove they are the same [Descartes] |
3621 | Only judgement decides which of our senses are reliable [Descartes] |
3637 | Ideas in God's mind only have value if he makes it so [Descartes] |