display all the ideas for this combination of texts
3 ideas
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] |
9135 | We now see that generalizations use variables rather than abstract entities [Sorensen] |