display all the ideas for this combination of texts
3 ideas
9820 | In classical logic, logical truths are valid formulas; in higher-order logics they are purely logical [Dummett] |
10819 | Tarski gives us the account of truth needed to build a group of true sentences in a model [Field,H] |
10827 | Model theory is unusual in restricting the range of the quantifiers [Field,H] |