display all the ideas for this combination of texts
3 ideas
6092 | In a logically perfect language, there will be just one word for every simple object [Russell] |
6101 | Romulus does not occur in the proposition 'Romulus did not exist' [Russell] |
13825 | Natural deduction introduction rules may represent 'definitions' of logical connectives [Prawitz] |