5 ideas
12220 | Is it the sentence-token or the sentence-type that has a logical form? [Fine,K] |
12222 | Substitutional quantification is referential quantification over expressions [Fine,K] |
18119 | Mathematics is a mental activity which does not use language [Brouwer, by Bostock] |
18118 | Brouwer regards the application of mathematics to the world as somehow 'wicked' [Brouwer, by Bostock] |
4316 | Either all action is rational, or reason dominates, or reason is only concerned with means [Cottingham] |