display all the ideas for this combination of philosophers
3 ideas
10260 | Logical consequence is defined by the impossibility of P and ¬q [Field,H, by Shapiro] |
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] |