display all the ideas for this combination of philosophers
4 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] |
17813 | Löwenheim-Skolem says any theory with a true interpretation has a model in the natural numbers [White,NP] |