12 ideas
18073 | Dummett says classical logic rests on meaning as truth, while intuitionist logic rests on assertability [Dummett, by Kitcher] |
12452 | Our dislike of contradiction in logic is a matter of psychology, not mathematics [Brouwer] |
19057 | Classical quantification is an infinite conjunction or disjunction - but you may not know all the instances [Dummett] |
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] |
19055 | Stating a sentence's truth-conditions is just paraphrasing the sentence [Dummett] |
19056 | If a sentence is effectively undecidable, we can never know its truth conditions [Dummett] |
10117 | Intuitonists in mathematics worried about unjustified assertion, as well as contradiction [Brouwer, by George/Velleman] |
19054 | Meaning as use puts use beyond criticism, and needs a holistic view of language [Dummett] |
1474 | Moral evil may be acceptable to God because it allows free will (even though we don't see why this is necessary) [Plantinga, by PG] |
1475 | It is logically possible that natural evil like earthquakes is caused by Satan [Plantinga, by PG] |