display all the ideas for this combination of texts
3 ideas
23476 | Logical constants seem to be entities in propositions, but are actually pure form [Russell] |
23477 | We use logical notions, so they must be objects - but I don't know what they really are [Russell] |
13825 | Natural deduction introduction rules may represent 'definitions' of logical connectives [Prawitz] |