Combining Texts

All the ideas for 'works', 'Eliminative Materialism and Prop. Attitudes' and 'On the Foundations of Logic and Arithmetic'

expand these ideas     |    start again     |     specify just one area for these texts


5 ideas

5. Theory of Logic / G. Quantification / 2. Domain of Quantification
De Morgan introduced a 'universe of discourse', to replace Boole's universe of 'all things' [De Morgan, by Walicki]
6. Mathematics / C. Sources of Mathematics / 4. Mathematical Empiricism / c. Against mathematical empiricism
The existence of an arbitrarily large number refutes the idea that numbers come from experience [Hilbert]
6. Mathematics / C. Sources of Mathematics / 6. Logicism / d. Logicism critique
Logic already contains some arithmetic, so the two must be developed together [Hilbert]
17. Mind and Body / E. Mind as Physical / 3. Eliminativism
Folk psychology may not be reducible, but that doesn't make it false [Kirk,R on Churchland,PM]
Eliminative materialism says folk psychology will be replaced, not reduced [Churchland,PM]