38 ideas
| 17926 | Rejecting double negation elimination undermines reductio proofs [Colyvan] |
| Full Idea: The intuitionist rejection of double negation elimination undermines the important reductio ad absurdum proof in classical mathematics. | |
| From: Mark Colyvan (Introduction to the Philosophy of Mathematics [2012], 1.1.3) |
| 17925 | Showing a disproof is impossible is not a proof, so don't eliminate double negation [Colyvan] |
| Full Idea: In intuitionist logic double negation elimination fails. After all, proving that there is no proof that there can't be a proof of S is not the same thing as having a proof of S. | |
| From: Mark Colyvan (Introduction to the Philosophy of Mathematics [2012], 1.1.3) | |
| A reaction: I do like people like Colyvan who explain things clearly. All of this difficult stuff is understandable, if only someone makes the effort to explain it properly. |
| 17924 | Excluded middle says P or not-P; bivalence says P is either true or false [Colyvan] |
| Full Idea: The law of excluded middle (for every proposition P, either P or not-P) must be carefully distinguished from its semantic counterpart bivalence, that every proposition is either true or false. | |
| From: Mark Colyvan (Introduction to the Philosophy of Mathematics [2012], 1.1.3) | |
| A reaction: So excluded middle makes no reference to the actual truth or falsity of P. It merely says P excludes not-P, and vice versa. |
| 17929 | Löwenheim proved his result for a first-order sentence, and Skolem generalised it [Colyvan] |
| Full Idea: Löwenheim proved that if a first-order sentence has a model at all, it has a countable model. ...Skolem generalised this result to systems of first-order sentences. | |
| From: Mark Colyvan (Introduction to the Philosophy of Mathematics [2012], 2.1.2) |
| 17930 | Axioms are 'categorical' if all of their models are isomorphic [Colyvan] |
| Full Idea: A set of axioms is said to be 'categorical' if all models of the axioms in question are isomorphic. | |
| From: Mark Colyvan (Introduction to the Philosophy of Mathematics [2012], 2.1.2) | |
| A reaction: The best example is the Peano Axioms, which are 'true up to isomorphism'. Set theory axioms are only 'quasi-isomorphic'. |
| 17928 | Ordinal numbers represent order relations [Colyvan] |
| Full Idea: Ordinal numbers represent order relations. | |
| From: Mark Colyvan (Introduction to the Philosophy of Mathematics [2012], 1.2.3 n17) |
| 17923 | Intuitionists only accept a few safe infinities [Colyvan] |
| Full Idea: For intuitionists, all but the smallest, most well-behaved infinities are rejected. | |
| From: Mark Colyvan (Introduction to the Philosophy of Mathematics [2012], 1.1.3) | |
| A reaction: The intuitionist idea is to only accept what can be clearly constructed or proved. |
| 17941 | Infinitesimals were sometimes zero, and sometimes close to zero [Colyvan] |
| Full Idea: The problem with infinitesimals is that in some places they behaved like real numbers close to zero but in other places they behaved like zero. | |
| From: Mark Colyvan (Introduction to the Philosophy of Mathematics [2012], 7.1.2) | |
| A reaction: Colyvan gives an example, of differentiating a polynomial. |
| 17922 | Reducing real numbers to rationals suggested arithmetic as the foundation of maths [Colyvan] |
| Full Idea: Given Dedekind's reduction of real numbers to sequences of rational numbers, and other known reductions in mathematics, it was tempting to see basic arithmetic as the foundation of mathematics. | |
| From: Mark Colyvan (Introduction to the Philosophy of Mathematics [2012], 1.1.1) | |
| A reaction: The reduction is the famous Dedekind 'cut'. Nowadays theorists seem to be more abstract (Category Theory, for example) instead of reductionist. |
| 13007 | Archimedes defined a straight line as the shortest distance between two points [Archimedes, by Leibniz] |
| Full Idea: Archimedes gave a sort of definition of 'straight line' when he said it is the shortest line between two points. | |
| From: report of Archimedes (fragments/reports [c.240 BCE]) by Gottfried Leibniz - New Essays on Human Understanding 4.13 | |
| A reaction: Commentators observe that this reduces the purity of the original Euclidean axioms, because it involves distance and measurement, which are absent from the purest geometry. |
| 17936 | Transfinite induction moves from all cases, up to the limit ordinal [Colyvan] |
| Full Idea: Transfinite inductions are inductive proofs that include an extra step to show that if the statement holds for all cases less than some limit ordinal, the statement also holds for the limit ordinal. | |
| From: Mark Colyvan (Introduction to the Philosophy of Mathematics [2012], 5.2.1 n11) |
| 17940 | Most mathematical proofs are using set theory, but without saying so [Colyvan] |
| Full Idea: Most mathematical proofs, outside of set theory, do not explicitly state the set theory being employed. | |
| From: Mark Colyvan (Introduction to the Philosophy of Mathematics [2012], 7.1.1) |
| 17931 | Structuralism say only 'up to isomorphism' matters because that is all there is to it [Colyvan] |
| Full Idea: Structuralism is able to explain why mathematicians are typically only interested in describing the objects they study up to isomorphism - for that is all there is to describe. | |
| From: Mark Colyvan (Introduction to the Philosophy of Mathematics [2012], 3.1.2) |
| 17932 | If 'in re' structures relies on the world, does the world contain rich enough structures? [Colyvan] |
| Full Idea: In re structuralism does not posit anything other than the kinds of structures that are in fact found in the world. ...The problem is that the world may not provide rich enough structures for the mathematics. | |
| From: Mark Colyvan (Introduction to the Philosophy of Mathematics [2012], 3.1.2) | |
| A reaction: You can perceive a repeating pattern in the world, without any interest in how far the repetitions extend. |
| 17943 | Probability supports Bayesianism better as degrees of belief than as ratios of frequencies [Colyvan] |
| Full Idea: Those who see probabilities as ratios of frequencies can't use Bayes's Theorem if there is no objective prior probability. Those who accept prior probabilities tend to opt for a subjectivist account, where probabilities are degrees of belief. | |
| From: Mark Colyvan (Introduction to the Philosophy of Mathematics [2012], 9.1.8) | |
| A reaction: [compressed] |
| 17939 | Mathematics can reveal structural similarities in diverse systems [Colyvan] |
| Full Idea: Mathematics can demonstrate structural similarities between systems (e.g. missing population periods and the gaps in the rings of Saturn). | |
| From: Mark Colyvan (Introduction to the Philosophy of Mathematics [2012], 6.3.2) | |
| A reaction: [Colyvan expounds the details of his two examples] It is these sorts of results that get people enthusiastic about the mathematics embedded in nature. A misunderstanding, I think. |
| 17938 | Mathematics can show why some surprising events have to occur [Colyvan] |
| Full Idea: Mathematics can show that under a broad range of conditions, something initially surprising must occur (e.g. the hexagonal structure of honeycomb). | |
| From: Mark Colyvan (Introduction to the Philosophy of Mathematics [2012], 6.3.2) |
| 17934 | Proof by cases (by 'exhaustion') is said to be unexplanatory [Colyvan] |
| Full Idea: Another style of proof often cited as unexplanatory are brute-force methods such as proof by cases (or proof by exhaustion). | |
| From: Mark Colyvan (Introduction to the Philosophy of Mathematics [2012], 5.2.1) |
| 17933 | Reductio proofs do not seem to be very explanatory [Colyvan] |
| Full Idea: One kind of proof that is thought to be unexplanatory is the 'reductio' proof. | |
| From: Mark Colyvan (Introduction to the Philosophy of Mathematics [2012], 5.2.1) | |
| A reaction: Presumably you generate a contradiction, but are given no indication of why the contradiction has arisen? Tracking back might reveal the source of the problem? Colyvan thinks reductio can be explanatory. |
| 17935 | If inductive proofs hold because of the structure of natural numbers, they may explain theorems [Colyvan] |
| Full Idea: It might be argued that any proof by induction is revealing the explanation of the theorem, namely, that it holds by virtue of the structure of the natural numbers. | |
| From: Mark Colyvan (Introduction to the Philosophy of Mathematics [2012], 5.2.1) | |
| A reaction: This is because induction characterises the natural numbers, in the Peano Axioms. |
| 17942 | Can a proof that no one understands (of the four-colour theorem) really be a proof? [Colyvan] |
| Full Idea: The proof of the four-colour theorem raises questions about whether a 'proof' that no one understands is a proof. | |
| From: Mark Colyvan (Introduction to the Philosophy of Mathematics [2012], 9.1.6) | |
| A reaction: The point is that the theorem (that you can colour countries on a map with just four colours) was proved with the help of a computer. |
| 17937 | Mathematical generalisation is by extending a system, or by abstracting away from it [Colyvan] |
| Full Idea: One type of generalisation in mathematics extends a system to go beyond what is was originally set up for; another kind involves abstracting away from some details in order to capture similarities between different systems. | |
| From: Mark Colyvan (Introduction to the Philosophy of Mathematics [2012], 5.2.2) |
| 7337 | In Mosaic legal theory, crimes are sins and sins are crimes [Johnson,P] |
| Full Idea: In Mosaic legal theory, all breaches of the law offend God. All crimes are sins, just as all sins are crimes. | |
| From: Paul Johnson (The History of the Jews [1987], Pt I) | |
| A reaction: This would seem to define Josephus called a 'theocracy'. Not just rule by a priesthood, but also an attempt to make civil law coincide with the teachings of sacred texts. But doing 80 m.p.h. on a motorway at 2 a.m. hardly seems like a sin. |
| 7339 | Because human life is what is sacred, Mosaic law has no death penalty for property violations [Johnson,P] |
| Full Idea: Where other codes provided the death penalty for offences against property, in Mosaic law no property offence is capital; human life is too sacred, where the rights of property alone are violated. | |
| From: Paul Johnson (The History of the Jews [1987], Pt I) | |
| A reaction: We still preserve this idea in our law, and also in our culture, where we are keen to insist that catastrophes like earthquakes or major fires are measured almost entirely by the loss of life, not the loss of property. I approve. |
| 7353 | The Pharisees undermined slavery, by giving slaves responsibility and status in law courts [Johnson,P] |
| Full Idea: It is no accident that slavery among Jews disappeared with the rise of the Pharisees, as they insisted that all were equal before God in a court. Masters were no longer responsible for actions of slaves, so a slave had status, and slavery could not work. | |
| From: Paul Johnson (The History of the Jews [1987], Pt II) | |
| A reaction: As in seventeenth century England, the rise of social freedom comes from religious sources, not social sources. A slave has status in the transcendent world of souls, despite being a nobody in the physical world. |
| 7340 | Mosaic law was the first to embody the rule of law, and equality before the law [Johnson,P] |
| Full Idea: Mosaic law meant that God ruled through his laws, and since all were equally subject to the law, the system was the first to embody the double merits of the rule of law and equality before the law. | |
| From: Paul Johnson (The History of the Jews [1987], Pt I) | |
| A reaction: If this is correct, it seems to be a hugely important step, combined with Idea 1659, that revenge should be the action of a the state, not of the individual. They are the few simple and essential keys to civilization. |
| 7338 | Man's life is sacred, because it is made in God's image [Johnson,P] |
| Full Idea: In Mosaic theology, man is made in God's image, and so his life is not just valuable, it is sacred. | |
| From: Paul Johnson (The History of the Jews [1987], Pt I) | |
| A reaction: The obvious question is what exactly is meant by "in God's image". Physically, spiritually, intellectually, morally? I am guessing that the original idea was intellectual, because we are the only rational animal. The others seem unlikely, or arrogant. |
| 7348 | The Jews sharply distinguish human and divine, but the Greeks pull them closer together [Johnson,P] |
| Full Idea: The Jews drew an absolute distinction between the human and the divine; the Greeks constantly elevated the human - they were Promethean - and lowered the divine. | |
| From: Paul Johnson (The History of the Jews [1987], Pt II) | |
| A reaction: An intriguing observation. The Greek idea runs right through European culture, surfacing (for example) in 'Faust', or 'Frankenstein', or the films of James Cameron. I'm with the Greeks; I want to see how far humanity can be elevated. |
| 7336 | A key moment is the idea of a single moral God, who imposes his morality on humanity [Johnson,P] |
| Full Idea: The discovery of monotheism, and not just of monotheism but of a sole, omnipotent God actuated by ethical principles and seeking methodically to impose them on human beings, is one of the greatest turning-points in history, perhaps the greatest of all. | |
| From: Paul Johnson (The History of the Jews [1987], Pt I) | |
| A reaction: 'Discovery' begs some questions, but when put like this you realise what a remarkable event it was. It is a good candidate for the most influential idea ever, even if large chunks of humanity, especially in the orient, never took to monotheism. |
| 7341 | Sampson illustrates the idea that religious heroes often begin as outlaws and semi-criminals [Johnson,P] |
| Full Idea: Sampson is the outstanding example of the point which the Book of Judges makes again and again, that the Lord and society are often served by semi-criminal types, outlaws and misfits, who become folk-heroes and then religious heroes. | |
| From: Paul Johnson (The History of the Jews [1987], Pt I) | |
| A reaction: This illustrates nicely Nietzsche's claim, that the jews were responsible for his 'inversion of values', in which aristocratic virtues are downgraded, and the virtues of a good slave are elevated (though Sampson may not show that point so well!). |
| 7342 | Isaiah moved Israelite religion away from the local, onto a more universal plane [Johnson,P] |
| Full Idea: The works of Isaiah (740-700 BCE) mark the point at which the Israelite religion began to spiritualize itself, to move from a specific location in space and time on to the universalist plane. | |
| From: Paul Johnson (The History of the Jews [1987], Pt I) | |
| A reaction: This is necessary if any religion is going to make converts outside the local culture. The crucial step would be to disembody God, so that He cannot be represented by a statue. The difficulty is for him to be universal, but retain a 'chosen people'. |
| 7355 | The Torah pre-existed creation, and was its blueprint [Johnson,P] |
| Full Idea: The Torah was not just a book about God. It pre-existed creation, in the same way as God did. In fact, it was the blueprint of creation. | |
| From: Paul Johnson (The History of the Jews [1987], Pt III) | |
| A reaction: You can only become a 'people of the book' (which Moslems resented in Judaism, and then emulated) if you give this stupendously high status to your book. Hence Christian fundamentalism makes sense, with its emphasis on the divinity of the Bible. |
| 7344 | Judaism involves circumcision, Sabbath, Passover, Pentecost, Tabernacles, New Year, and Atonement [Johnson,P] |
| Full Idea: The practices of Judaism developed during their Exile: circumcision, the Sabbath, the Passover (founding of the nation), Pentecost (giving of the laws), the Tabernacles, the New Year, and the Day of Atonement. | |
| From: Paul Johnson (The History of the Jews [1987], Pt II) | |
| A reaction: These were the elements of ritual created to replace the existence of a physically located state. An astonishing achievement, not even remotely achieved by any other state that was driven off its lands. A culture is an idea, not a country. |
| 7345 | In exile the Jews became a nomocracy [Johnson,P] |
| Full Idea: In exile the Jews, deprived of a state, became a nomocracy - voluntarily submitting to rule by a Law which could only be enforced by consent. Nothing like this had occurred before in history. | |
| From: Paul Johnson (The History of the Jews [1987], Pt II) | |
| A reaction: It is the most remarkable case in history of a people united and strengthened by adversity, and it became an important experiment in the building of human cultures. But what is the point of preserving a culture, with no land? Why not just integrate? |
| 7347 | Zoroastrians believed in one eternal beneficent being, Creator through the holy spirit [Johnson,P] |
| Full Idea: Cyrus the Great was a Zoroastrian, believing in one, eternal, beneficent being, 'Creator of all things through the holy spirit'. | |
| From: Paul Johnson (The History of the Jews [1987], Pt II) | |
| A reaction: Is this the actual origin of monotheism, or did they absorb this idea from the Jews? The interesting bit is the fact that the supreme being (called Marduk) is 'beneficent', which one doesn't associate with these remote and supposed pagans. |
| 7349 | Immortality based on judgement of merit was developed by the Egyptians (not the Jews) [Johnson,P] |
| Full Idea: The idea of judgement at death and immortality on the basis of merit were developed in Egypt before 1000 BCE. It is not Jewish because it was not in the Torah, and the Sadducees, who stuck to their texts, seemed to have denied the afterlife completely. | |
| From: Paul Johnson (The History of the Jews [1987], Pt II) | |
| A reaction: This is the idea considered crucial to religion by Immanuel Kant (Idea 1455), who should be declared an honorary Egyptian. To me the idea that only the good go to heaven sounds like sadly wishful thinking - a fictional consolation for an unhappy life. |
| 7354 | The main doctrine of the Pharisees was belief in resurrection and the afterlife [Johnson,P] |
| Full Idea: Belief in resurrection and the afterlife was the main distinguishing mark of Pharisaism, and thus fundamental of rabbinic Judaism. | |
| From: Paul Johnson (The History of the Jews [1987], Pt II) | |
| A reaction: Belief in an afterlife seems to go back to the Egyptians, but this development in Judaism was obviously very influential, even among early Christians, who initially seem to have only believed in resurrection of the body. |
| 7356 | Pious Jews saw heaven as a vast library [Johnson,P] |
| Full Idea: Pious Jews saw heaven as a vast library, with the Archangel Metatron as the librarian: the books in the shelves there pressed themselves together to make room for a newcomer. | |
| From: Paul Johnson (The History of the Jews [1987], Pt III) | |
| A reaction: I'm tempted to convert to Judaism. |