86 ideas
| 1887 | You cannot divide anything into many parts, because after the first division you are no longer dividing the original [Sext.Empiricus] |
| 1885 | Proof moves from agreed premises to a non-evident inference [Sext.Empiricus] |
| 15901 | Trying to represent curves, we study arbitrary functions, leading to the ordinals, which produces set theory [Cantor, by Lavine] |
| 13444 | Cantor's Theorem: for any set x, its power set P(x) has more members than x [Cantor, by Hart,WD] |
| 18098 | Cantor proved that all sets have more subsets than they have members [Cantor, by Bostock] |
| 15505 | If a set is 'a many thought of as one', beginners should protest against singleton sets [Cantor, by Lewis] |
| 10865 | The continuum is the powerset of the integers, which moves up a level [Cantor, by Clegg] |
| 10701 | Cantor showed that supposed contradictions in infinity were just a lack of clarity [Cantor, by Potter] |
| 13016 | The Axiom of Union dates from 1899, and seems fairly obvious [Cantor, by Maddy] |
| 14199 | Cantor's sets were just collections, but Dedekind's were containers [Cantor, by Oliver/Smiley] |
| 12196 | A valid hypothetical syllogism is 'that which does not begin with a truth and end with a falsehood' [Sext.Empiricus] |
| 10082 | There are infinite sets that are not enumerable [Cantor, by Smith,P] |
| 13483 | Cantor's Paradox: the power set of the universe must be bigger than the universe, yet a subset of it [Cantor, by Hart,WD] |
| 8710 | The powerset of all the cardinal numbers is required to be greater than itself [Cantor, by Friend] |
| 1902 | Since Socrates either died when he was alive (a contradiction) or died when he was dead (meaningless), he didn't die [Sext.Empiricus] |
| 15910 | Cantor named the third realm between the finite and the Absolute the 'transfinite' [Cantor, by Lavine] |
| 15905 | Cantor proved the points on a plane are in one-to-one correspondence to the points on a line [Cantor, by Lavine] |
| 9983 | Cantor took the ordinal numbers to be primary [Cantor, by Tait] |
| 17798 | Cantor presented the totality of natural numbers as finite, not infinite [Cantor, by Mayberry] |
| 9971 | Cantor introduced the distinction between cardinals and ordinals [Cantor, by Tait] |
| 9892 | Cantor showed that ordinals are more basic than cardinals [Cantor, by Dummett] |
| 14136 | A cardinal is an abstraction, from the nature of a set's elements, and from their order [Cantor] |
| 15906 | Cantor tried to prove points on a line matched naturals or reals - but nothing in between [Cantor, by Lavine] |
| 11015 | Cantor's diagonal argument proved you can't list all decimal numbers between 0 and 1 [Cantor, by Read] |
| 15903 | A real is associated with an infinite set of infinite Cauchy sequences of rationals [Cantor, by Lavine] |
| 18251 | Irrational numbers are the limits of Cauchy sequences of rational numbers [Cantor, by Lavine] |
| 15902 | Irrationals and the Dedekind Cut implied infinite classes, but they seemed to have logical difficulties [Cantor, by Lavine] |
| 15908 | It was Cantor's diagonal argument which revealed infinities greater than that of the real numbers [Cantor, by Lavine] |
| 13464 | Cantor proposes that there won't be a potential infinity if there is no actual infinity [Cantor, by Hart,WD] |
| 10112 | The naturals won't map onto the reals, so there are different sizes of infinity [Cantor, by George/Velleman] |
| 17889 | CH: An infinite set of reals corresponds 1-1 either to the naturals or to the reals [Cantor, by Koellner] |
| 8733 | The Continuum Hypothesis says there are no sets between the natural numbers and reals [Cantor, by Shapiro] |
| 13447 | Cantor: there is no size between naturals and reals, or between a set and its power set [Cantor, by Hart,WD] |
| 10883 | Cantor's Continuum Hypothesis says there is a gap between the natural and the real numbers [Cantor, by Horsten] |
| 13528 | Continuum Hypothesis: there are no sets between N and P(N) [Cantor, by Wolf,RS] |
| 9555 | Continuum Hypothesis: no cardinal greater than aleph-null but less than cardinality of the continuum [Cantor, by Chihara] |
| 15893 | Cantor's theory concerns collections which can be counted, using the ordinals [Cantor, by Lavine] |
| 18174 | Cantor extended ordinals into the transfinite, and they can thus measure infinite cardinalities [Cantor, by Maddy] |
| 18173 | Cardinality strictly concerns one-one correspondence, to test infinite sameness of size [Cantor, by Maddy] |
| 10232 | Property extensions outstrip objects, so shortage of objects caused the Caesar problem [Cantor, by Shapiro] |
| 18176 | Pure mathematics is pure set theory [Cantor] |
| 8631 | Cantor says that maths originates only by abstraction from objects [Cantor, by Frege] |
| 1889 | If an argument has an absurd conclusion, we should not assent to the absurdity, but avoid the absurd argument [Sext.Empiricus] |
| 1871 | Whether honey is essentially sweet may be doubted, as it is a matter of judgement rather than appearance [Sext.Empiricus] |
| 1883 | How can the intellect know if sensation is reliable if it doesn't directly see external objects? [Sext.Empiricus] |
| 1890 | We distinguish ambiguities by seeing what is useful [Sext.Empiricus] |
| 1870 | The basis of scepticism is the claim that every proposition has an equal opposing proposition [Sext.Empiricus] |
| 1882 | The necks of doves appear different in colour depending on the angle of viewing [Sext.Empiricus] |
| 1881 | The same oar seems bent in water and straight when out of it [Sext.Empiricus] |
| 1872 | The same tower appears round from a distance, but square close at hand [Sext.Empiricus] |
| 1873 | If we press the side of an eyeball, objects appear a different shape [Sext.Empiricus] |
| 1874 | How can we judge between our impressions and those of other animals, when we ourselves are involved? [Sext.Empiricus] |
| 1876 | If we enjoy different things, presumably we receive different impressions [Sext.Empiricus] |
| 1878 | Water that seems lukewarm can seem very hot on inflamed skin [Sext.Empiricus] |
| 1877 | If we had no hearing or sight, we would assume no sound or sight exists, so there may be unsensed qualities [Sext.Empiricus] |
| 1879 | Sickness is perfectly natural to the sick, so their natural perceptions should carry some weight [Sext.Empiricus] |
| 1880 | Some actions seem shameful when sober but not when drunk [Sext.Empiricus] |
| 1910 | With us it is shameful for men to wear earrings, but among Syrians it is considered noble [Sext.Empiricus] |
| 1911 | Even if all known nations agree on a practice, there may be unknown nations which disagree [Sext.Empiricus] |
| 1886 | If you don't view every particular, you may miss the one which disproves your universal induction [Sext.Empiricus] |
| 1884 | If we utter three steps of a logical argument, they never exist together [Sext.Empiricus] |
| 8715 | Infinities expand the bounds of the conceivable; we explore concepts to explore conceivability [Cantor, by Friend] |
| 13454 | Cantor says (vaguely) that we abstract numbers from equal sized sets [Hart,WD on Cantor] |
| 20937 | The state should produce higher civilisations for all, in tune with the economic apparatus [Gramsci] |
| 20935 | Eventually political parties lose touch with the class they represent, which is dangerous [Gramsci] |
| 20936 | Caesarism emerges when two forces in society are paralysed in conflict [Gramsci] |
| 20941 | Totalitarian parties cut their members off from other cultural organisations [Gramsci] |
| 20939 | What is the function of a parliament? Does it even constitute a part of the State structure? [Gramsci] |
| 20938 | Liberalism's weakness is its powerful rigid bureaucracy [Gramsci] |
| 20940 | Perfect political equality requires economic equality [Gramsci] |
| 1894 | Some say that causes are physical, some say not [Sext.Empiricus] |
| 1896 | If there were no causes then everything would have been randomly produced by everything [Sext.Empiricus] |
| 1897 | Knowing an effect results from a cause means knowing that the cause belongs with the effect, which is circular [Sext.Empiricus] |
| 1898 | Cause can't exist before effect, or exist at the same time, so it doesn't exist [Sext.Empiricus] |
| 1895 | Causes are either equal to the effect, or they link equally with other causes, or they contribute slightly [Sext.Empiricus] |
| 1899 | Does the original self-mover push itself from behind, or pull itself from in front? [Sext.Empiricus] |
| 1900 | If time and place are infinitely divided, it becomes impossible for movement ever to begin [Sext.Empiricus] |
| 1901 | If all atoms, times and places are the same, everything should move with equal velocity [Sext.Empiricus] |
| 10863 | Cantor proved that three dimensions have the same number of points as one dimension [Cantor, by Clegg] |
| 1903 | If motion and rest are abolished, so is time [Sext.Empiricus] |
| 1904 | Time must be unlimited, but past and present can't be non-existent, and can't be now, so time does not exist [Sext.Empiricus] |
| 1905 | How can time be divisible if we can't compare one length of time with another? [Sext.Empiricus] |
| 1891 | How can we agree on the concept of God, unless we agree on his substance or form or place? [Sext.Empiricus] |
| 13465 | Only God is absolutely infinite [Cantor, by Hart,WD] |
| 1892 | The existence of God can't be self-evident or everyone would have agreed on it, so it needs demonstration [Sext.Empiricus] |
| 1893 | If God foresaw evil he would presumably prevent it, and if he only foresees some things, why those things? [Sext.Empiricus] |