19 ideas
| 12452 | Our dislike of contradiction in logic is a matter of psychology, not mathematics [Brouwer] |
| 12451 | Scientific laws largely rest on the results of counting and measuring [Brouwer] |
| 12454 | Intuitionists only accept denumerable sets [Brouwer] |
| 12453 | Neo-intuitionism abstracts from the reuniting of moments, to intuit bare two-oneness [Brouwer] |
| 20298 | The traditional a priori is justified without experience; post-Quine it became unrevisable by experience [Rey] |
| 10117 | Intuitonists in mathematics worried about unjustified assertion, as well as contradiction [Brouwer, by George/Velleman] |
| 20300 | Externalist synonymy is there being a correct link to the same external phenomena [Rey] |
| 20293 | Analytic judgements can't be explained by contradiction, since that is what is assumed [Rey] |
| 20294 | 'Married' does not 'contain' its symmetry, nor 'bigger than' its transitivity [Rey] |
| 20297 | Analytic statements are undeniable (because of meaning), rather than unrevisable [Rey] |
| 20301 | The meaning properties of a term are those which explain how the term is typically used [Rey] |
| 20302 | An intrinsic language faculty may fix what is meaningful (as well as grammatical) [Rey] |
| 20303 | Research throws doubts on the claimed intuitions which support analyticity [Rey] |
| 20299 | If we claim direct insight to what is analytic, how do we know it is not sub-consciously empirical? [Rey] |
| 6613 | The natural kinds are objects, processes and properties/relations [Ellis] |
| 6616 | Least action is not a causal law, but a 'global law', describing a global essence [Ellis] |
| 6615 | A species requires a genus, and its essence includes the essence of the genus [Ellis] |
| 6614 | A hierarchy of natural kinds is elaborate ontology, but needed to explain natural laws [Ellis] |
| 6612 | Without general principles, we couldn't predict the behaviour of dispositional properties [Ellis] |