5 ideas
12220 | Is it the sentence-token or the sentence-type that has a logical form? [Fine,K] |
17743 | De Morgan introduced a 'universe of discourse', to replace Boole's universe of 'all things' [De Morgan, by Walicki] |
12222 | Substitutional quantification is referential quantification over expressions [Fine,K] |
8406 | Not all explanations are causal, but if a thing can be explained at all, it can be explained causally [Sanford] |
8407 | A totality of conditions necessary for an occurrence is usually held to be jointly sufficient for it [Sanford] |