display all the ideas for this combination of texts
4 ideas
15407 | Formalising arguments favours lots of connectives; proving things favours having very few [Burgess] |
15019 | Define logical constants by role in proofs, or as fixed in meaning, or as topic-neutral [Sider] |
15424 | Asserting a disjunction from one disjunct seems odd, but can be sensible, and needed in maths [Burgess] |
15409 | All occurrences of variables in atomic formulas are free [Burgess] |