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] |
15938 | Platonists ruin infinity, which is precisely a growing structure which is never completed [Dummett] |
15939 | For intuitionists it is constructed proofs (which take time) which make statements true [Dummett] |