28 ideas
14231 | We should always apply someone's theory of meaning to their own utterances [Liggins] |
17325 | Truth-maker theory can't cope with non-causal dependence [Liggins] |
17318 | Truthmakers for existence is fine; otherwise maybe restrict it to synthetic truths? [Liggins] |
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] |
14232 | We normally formalise 'There are Fs' with singular quantification and predication, but this may be wrong [Liggins] |
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] |
17320 | Either p is true or not-p is true, so something is true, so something exists [Liggins] |
17326 | The dependence of {Socrates} on Socrates involves a set and a philosopher, not facts [Liggins] |
17327 | Non-causal dependence is at present only dimly understood [Liggins] |
17322 | Necessities supervene on everything, but don't depend on everything [Liggins] |
14233 | Nihilists needn't deny parts - they can just say that some of the xs are among the ys [Liggins] |
411 | If we succeed in speaking the truth, we cannot know we have done it [Xenophanes] |
412 | If God had not created honey, men would say figs are sweeter [Xenophanes] |
17324 | 'Because' can signal an inference rather than an explanation [Liggins] |
17321 | Value, constitution and realisation are non-causal dependences that explain [Liggins] |
17323 | If explanations track dependence, then 'determinative' explanations seem to exist [Liggins] |
10117 | Intuitonists in mathematics worried about unjustified assertion, as well as contradiction [Brouwer, by George/Velleman] |
1640 | The basic Eleatic belief was that all things are one [Xenophanes, by Plato] |
3055 | Xenophanes said the essence of God was spherical and utterly inhuman [Xenophanes, by Diog. Laertius] |
408 | Ethiopian gods have black hair, and Thracian gods have red hair [Xenophanes] |
407 | Mortals believe gods are born, and have voices and clothes just like mortals [Xenophanes] |