display all the ideas for this combination of texts
2 ideas
13337 | A language: primitive terms, then definition rules, then sentences, then axioms, and finally inference rules [Tarski] |
18739 | Three stages of philosophical logic: syntactic (1905-55), possible worlds (1963-85), widening (1990-) [Horsten/Pettigrew] |