display all the ideas for this combination of texts
3 ideas
21586 | The logical connectives are not objects, but are formal, and need a context [Russell] |
13837 | With a pure notion of truth and consequence, the meanings of connectives are fixed syntactically [Hacking] |
13839 | Perhaps variables could be dispensed with, by arrows joining places in the scope of quantifiers [Hacking] |