display all the ideas for this combination of texts
3 ideas
11210 | Standardly 'and' and 'but' are held to have the same sense by having the same truth table [Rumfitt] |
11212 | The sense of a connective comes from primitively obvious rules of inference [Rumfitt] |
17807 | To study formal systems, look at the whole thing, and not just how it is constructed in steps [Curry] |