26 ideas
12452 | Our dislike of contradiction in logic is a matter of psychology, not mathematics [Brouwer] |
15941 | For intuitionists excluded middle is an outdated historical convention [Brouwer] |
18119 | Mathematics is a mental activity which does not use language [Brouwer, by Bostock] |
18247 | Brouwer saw reals as potential, not actual, and produced by a rule, or a choice [Brouwer, by Shapiro] |
12451 | Scientific laws largely rest on the results of counting and measuring [Brouwer] |
18118 | Brouwer regards the application of mathematics to the world as somehow 'wicked' [Brouwer, by Bostock] |
12454 | Intuitionists only accept denumerable sets [Brouwer] |
12453 | Neo-intuitionism abstracts from the reuniting of moments, to intuit bare two-oneness [Brouwer] |
8728 | Intuitionist mathematics deduces by introspective construction, and rejects unknown truths [Brouwer] |
8502 | Realism doesn't explain 'a is F' any further by saying it is 'a has F-ness' [Devitt] |
8503 | The particular/universal distinction is unhelpful clutter; we should accept 'a is F' as basic [Devitt] |
8501 | Quineans take predication about objects as basic, not reference to properties they may have [Devitt] |
17368 | Essentialism concerns the nature of a group, not its category [Devitt] |
17370 | Things that gradually change, like species, can still have essences [Devitt] |
9354 | Why should necessities only be knowable a priori? That Hesperus is Phosporus is known empirically [Devitt] |
19565 | How could the mind have a link to the necessary character of reality? [Devitt] |
9353 | We explain away a priori knowledge, not as directly empirical, but as indirectly holistically empirical [Devitt] |
9356 | The idea of the a priori is so obscure that it won't explain anything [Devitt] |
19564 | Some knowledge must be empirical; naturalism implies that all knowledge is like that [Devitt] |
4688 | We imagine small and large objects scaled to the same size, suggesting a fixed capacity for imagination [Lavers] |
10117 | Intuitonists in mathematics worried about unjustified assertion, as well as contradiction [Brouwer, by George/Velleman] |
17371 | Some kinds are very explanatory, but others less so, and some not at all [Devitt] |
17369 | We name species as small to share properties, but large enough to yield generalisations [Devitt] |
17367 | Species are phenetic, biological, niche, or phylogenetic-cladistic [Devitt, by PG] |
17372 | The higher categories are not natural kinds, so the Linnaean hierarchy should be given up [Devitt] |
17373 | Species pluralism says there are several good accounts of what a species is [Devitt] |