9 ideas
| 7661 | Truth is the opinion fated to be ultimately agreed by all investigators [Peirce] |
| Full Idea: The opinion which is fated to be ultimately agreed to by all who investigate, is what we mean by the truth, and the object represented in this opinion is the real. | |
| From: Charles Sanders Peirce (How to Make our Ideas Clear [1878], p.38) | |
| A reaction: At least this affirms that truth is an ideal about which we dream, and is not confined merely to what we can actually know. But it rules out anything beyond the reach of all investigation, which seems a misconception of truth. What could angels know? |
| 17833 | The first-order ZF axiomatisation is highly non-categorical [Hallett,M] |
| Full Idea: The first-order Sermelo-Fraenkel axiomatisation is highly non-categorical. | |
| From: Michael Hallett (Introduction to Zermelo's 1930 paper [1996], p.1213) |
| 17834 | Non-categoricity reveals a sort of incompleteness, with sets existing that the axioms don't reveal [Hallett,M] |
| Full Idea: The non-categoricity of the axioms which Zermelo demonstrates reveals an incompleteness of a sort, ....for this seems to show that there will always be a set (indeed, an unending sequence) that the basic axioms are incapable of revealing to be sets. | |
| From: Michael Hallett (Introduction to Zermelo's 1930 paper [1996], p.1215) | |
| A reaction: Hallett says the incompleteness concerning Zermelo was the (transfinitely) indefinite iterability of the power set operation (which is what drives the 'iterative conception' of sets). |
| 17837 | Zermelo allows ur-elements, to enable the widespread application of set-theory [Hallett,M] |
| Full Idea: Unlike earlier writers (such as Fraenkel), Zermelo clearly allows that there might be ur-elements (that is, objects other than the empty set, which have no members). Indeed he sees in this the possibility of widespread application of set-theory. | |
| From: Michael Hallett (Introduction to Zermelo's 1930 paper [1996], p.1217) |
| 17836 | The General Continuum Hypothesis and its negation are both consistent with ZF [Hallett,M] |
| Full Idea: In 1938, Gödel showed that ZF plus the General Continuum Hypothesis is consistent if ZF is. Cohen showed that ZF and not-GCH is also consistent if ZF is, which finally shows that neither GCH nor ¬GCH can be proved from ZF itself. | |
| From: Michael Hallett (Introduction to Zermelo's 1930 paper [1996], p.1217) |
| 19089 | Our whole conception of an object is its possible practical consequences [Peirce] |
| Full Idea: Consider what effects, which might conceivably have practical bearings, we conceive the objects of our conceptions to have. Then, our conception of these effects is the whole of our conception of the object. | |
| From: Charles Sanders Peirce (How to Make our Ideas Clear [1878], EP i.132), quoted by Albert Atkin - Peirce 2 'early' | |
| A reaction: This is his 1878 version, which was fine-tuned later in life. He seems to have extended his principle to include possibilities, as well as the mere objects. That is, he moved beyond mere nominalism. |
| 7660 | We are aware of beliefs, they appease our doubts, and they are rules of action, or habits [Peirce] |
| Full Idea: A belief has just three properties: first, it is something that we are aware of; second, it appeases the irritation of doubt; and, third, it involves the establishment in our nature of a rule of action, or, say for short, a habit. | |
| From: Charles Sanders Peirce (How to Make our Ideas Clear [1878], p.28) | |
| A reaction: Peirce probably believed that Bismarck breathed oxygen, but was unaware of his belief, and no one ever dreamed of acting on such a belief, unless Bismarck was gasping for air. |
| 14906 | Non-positivist verificationism says only take a hypothesis seriously if it is scientifically based and testable [Ladyman/Ross on Peirce] |
| Full Idea: With Peirce, we endorse a non-positivist version of verificationism - no hypothesis should be taken seriously if apparently beyond our capacity to investigate, and serious metaphysics must concern at least two plausible scientific hypotheses. | |
| From: comment on Charles Sanders Peirce (How to Make our Ideas Clear [1878]) by J Ladyman / D Ross - Every Thing Must Go 1.3 | |
| A reaction: [compressed] They say this is NOT a theory about meaning, as 'The Big Bang was caused by Elvis' is perfectly meaningful. Verificationism always seems to rule out bold speculation. Don't say 'take string theory seriously', if we can't test it? |
| 7903 | The six perfections are giving, morality, patience, vigour, meditation, and wisdom [Nagarjuna] |
| Full Idea: The six perfections are of giving, morality, patience, vigour, meditation, and wisdom. | |
| From: Nagarjuna (Mahaprajnaparamitashastra [c.120], 88) | |
| A reaction: What is 'morality', if giving is not part of it? I like patience and vigour being two of the virtues, which immediately implies an Aristotelian mean (which is always what is 'appropriate'). |