31 ideas
10482 | The logic of ZF is classical first-order predicate logic with identity [Boolos] |
10492 | A few axioms of set theory 'force themselves on us', but most of them don't [Boolos] |
15717 | Using Choice, you can cut up a small ball and make an enormous one from the pieces [Kaplan/Kaplan] |
10485 | Naïve sets are inconsistent: there is no set for things that do not belong to themselves [Boolos] |
10484 | The iterative conception says sets are formed at stages; some are 'earlier', and must be formed first [Boolos] |
15712 | 1 and 0, then add for naturals, subtract for negatives, divide for rationals, take roots for irrationals [Kaplan/Kaplan] |
15711 | The rationals are everywhere - the irrationals are everywhere else [Kaplan/Kaplan] |
15714 | 'Commutative' laws say order makes no difference; 'associative' laws say groupings make no difference [Kaplan/Kaplan] |
15715 | 'Distributive' laws say if you add then multiply, or multiply then add, you get the same result [Kaplan/Kaplan] |
10491 | Infinite natural numbers is as obvious as infinite sentences in English [Boolos] |
10483 | Mathematics and science do not require very high orders of infinity [Boolos] |
10490 | Mathematics isn't surprising, given that we experience many objects as abstract [Boolos] |
4986 | A weaker kind of reductionism than direct translation is the use of 'bridge laws' [Kirk,R] |
10488 | It is lunacy to think we only see ink-marks, and not word-types [Boolos] |
10487 | I am a fan of abstract objects, and confident of their existence [Boolos] |
10489 | We deal with abstract objects all the time: software, poems, mistakes, triangles.. [Boolos] |
15713 | The first million numbers confirm that no number is greater than a million [Kaplan/Kaplan] |
5001 | Maybe we should see intentionality and consciousness as a single problem, not two [Kirk,R] |
4993 | If a bird captures a worm, we could say its behaviour is 'about' the worm [Kirk,R] |
5000 | Behaviourism says intentionality is an external relation; language of thought says it's internal [Kirk,R] |
4982 | Dualism implies some brain events with no physical cause, and others with no physical effect [Kirk,R] |
4991 | Behaviourism seems a good theory for intentional states, but bad for phenomenal ones [Kirk,R] |
4994 | Behaviourism offers a good alternative to simplistic unitary accounts of mental relationships [Kirk,R] |
4992 | In 'holistic' behaviourism we say a mental state is a complex of many dispositions [Kirk,R] |
4990 | The inverted spectrum idea is often regarded as an objection to behaviourism [Kirk,R] |
4984 | All meaningful psychological statements can be translated into physics [Kirk,R] |
4998 | Instead of representation by sentences, it can be by a distribution of connectionist strengths [Kirk,R] |
4985 | If mental states are multiply realisable, they could not be translated into physical terms [Kirk,R] |
4997 | It seems unlikely that most concepts are innate, if a theory must be understood to grasp them [Kirk,R] |
4999 | For behaviourists language is just a special kind of behaviour [Kirk,R] |
4995 | Behaviourists doubt whether reference is a single type of relation [Kirk,R] |