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] |
8754 | Logic is dependent on mathematics, not the other way round [Heyting, by Shapiro] |
8978 | Events are made of other things, and are not fundamental to ontology [Bennett] |
10364 | Facts are about the world, not in it, so they can't cause anything [Bennett] |