14 ideas
17884 | Mathematical set theory has many plausible stopping points, such as finitism, and predicativism [Koellner] |
Full Idea: There are many coherent stopping points in the hierarchy of increasingly strong mathematical systems, starting with strict finitism, and moving up through predicativism to the higher reaches of set theory. | |
From: Peter Koellner (On the Question of Absolute Undecidability [2006], Intro) |
17893 | 'Reflection principles' say the whole truth about sets can't be captured [Koellner] |
Full Idea: Roughly speaking, 'reflection principles' assert that anything true in V [the set hierarchy] falls short of characterising V in that it is true within some earlier level. | |
From: Peter Koellner (On the Question of Absolute Undecidability [2006], 2.1) |
10247 | We have no adequate logic at the moment, so mathematicians must create one [Veblen] |
Full Idea: Formal logic has to be taken over by mathematicians. The fact is that there does not exist an adequate logic at the present time, and unless the mathematicians create one, no one else is likely to do so. | |
From: Oswald Veblen (Presidential Address of Am. Math. Soc [1924], 141), quoted by Stewart Shapiro - Philosophy of Mathematics | |
A reaction: This remark was made well after Frege, but before the advent of Gödel and Tarski. That implies that he was really thinking of meta-logic. |
17894 | We have no argument to show a statement is absolutely undecidable [Koellner] |
Full Idea: There is at present no solid argument to the effect that a given statement is absolutely undecidable. | |
From: Peter Koellner (On the Question of Absolute Undecidability [2006], 5.3) |
17890 | There are at least eleven types of large cardinal, of increasing logical strength [Koellner] |
Full Idea: Some of the standard large cardinals (in order of increasing (logical) strength) are: inaccessible, Mahlo, weakly compact, indescribable, Erdös, measurable, strong, Wodin, supercompact, huge etc. (...and ineffable). | |
From: Peter Koellner (On the Question of Absolute Undecidability [2006], 1.4) | |
A reaction: [I don't understand how cardinals can have 'logical strength', but I pass it on anyway] |
17887 | PA is consistent as far as we can accept, and we expand axioms to overcome limitations [Koellner] |
Full Idea: To the extent that we are justified in accepting Peano Arithmetic we are justified in accepting its consistency, and so we know how to expand the axiom system so as to overcome the limitation [of Gödel's Second Theorem]. | |
From: Peter Koellner (On the Question of Absolute Undecidability [2006], 1.1) | |
A reaction: Each expansion brings a limitation, but then you can expand again. |
17891 | Arithmetical undecidability is always settled at the next stage up [Koellner] |
Full Idea: The arithmetical instances of undecidability that arise at one stage of the hierarchy are settled at the next. | |
From: Peter Koellner (On the Question of Absolute Undecidability [2006], 1.4) |
6237 | Fear of God is not conscience, which is a natural feeling of offence at bad behaviour [Shaftesbury] |
Full Idea: Conscience is to find horribly offensive the reflection of any unjust action or behaviour; to have awe and terror of the Deity, does not, of itself, imply conscience; …thus religious conscience supposes moral or natural conscience. | |
From: 3rd Earl of Shaftesbury (Inquiry Concerning Virtue or Merit [1699], II.II.I) | |
A reaction: The reply from religion would be that the Deity has implanted natural conscience in each creature, though this seems to deny our freedom of moral judgment. Personally I am inclined to think that values are just observations of the world - such as health. |
6234 | If an irrational creature with kind feelings was suddenly given reason, its reason would approve of kind feelings [Shaftesbury] |
Full Idea: If a creature wanting reason has many good qualities and affections, it is certain that if you give this creature a reflecting faculty, it will at the same instant approve of gratitude, kindness and pity. | |
From: 3rd Earl of Shaftesbury (Inquiry Concerning Virtue or Merit [1699], I.III.III) | |
A reaction: A wonderful denunciation of the authority of reason, which must have influenced David Hume. I think, though, that the inverse of this case must be considered (if suddenly given feelings, they would fall in line with reasoning). We reason about feelings. |
6233 | A person isn't good if only tying their hands prevents their mischief, so the affections decide a person's morality [Shaftesbury] |
Full Idea: We do not say that he is a good man when, having his hands tied up, he is hindered from doing the mischief he designs; …hence it is by affection merely that a creature is esteemed good or ill, natural or unnatural. | |
From: 3rd Earl of Shaftesbury (Inquiry Concerning Virtue or Merit [1699], I.II.I) | |
A reaction: Note that he more or less equates being morally 'ill' with being 'unnatural'. We tend to reserve 'unnatural' for extreme or perverse crimes. Personally I would place more emphasis on evil judgements, and less on evil feelings. |
6236 | People more obviously enjoy social pleasures than they do eating and drinking [Shaftesbury] |
Full Idea: How much the social pleasures are superior to any other may be known by visible tokens and effects; the marks and signs which attend this sort of joy are more intense and clear than those which attend the satisfaction of thirst and hunger. | |
From: 3rd Earl of Shaftesbury (Inquiry Concerning Virtue or Merit [1699], II.II.I) | |
A reaction: He presumably refers to smiles and laughter, but they could be misleading as they are partly a means of social communication. You should ask people whether they would prefer a nice conversation or a good pork chop. Nice point, though. |
6235 | Self-interest is not intrinsically good, but its absence is evil, as public good needs it [Shaftesbury] |
Full Idea: Though no creature can be called good merely for possessing the self-preserving affections, it is impossible that public good can be preserved without them; so that a creature wanting in them is wanting in natural rectitude, and may be esteemed vicious. | |
From: 3rd Earl of Shaftesbury (Inquiry Concerning Virtue or Merit [1699], II.I.III) | |
A reaction: Aristotle held a similar view (Idea 92). I think maybe Shaftesbury was the last call of the Aristotelians, before being engulfed by utilitarians and Kantians. This idea is at the core of capitalism. |
6232 | Every creature has a right and a wrong state which guide its actions, so there must be a natural end [Shaftesbury] |
Full Idea: We know there is a right and a wrong state of every creature; and that his right one is by nature forwarded, and by himself affectionately sought. There being therefore in every creature a certain interest or good; there must also be a natural end. | |
From: 3rd Earl of Shaftesbury (Inquiry Concerning Virtue or Merit [1699], I.II.I) | |
A reaction: This is an early modern statement of Aristotelian teleology, just at the point where it was falling out of fashion. The underlying concept is that of right function. I agree with Shaftesbury, but you can't stop someone damaging their health. |
5642 | For Shaftesbury, we must already have a conscience to be motivated to religious obedience [Shaftesbury, by Scruton] |
Full Idea: Shaftesbury argued that no morality could be founded in religious obedience, or piety. On the contrary, a man is motivated to such obedience only because conscience tells him that the divine being is worthy of it. | |
From: report of 3rd Earl of Shaftesbury (Inquiry Concerning Virtue or Merit [1699]) by Roger Scruton - Short History of Modern Philosophy Ch.8 | |
A reaction: This seems to me a good argument. The only alternative is that we are brought to God by a conscience which was planted in us by God, but then how would you know you were being obedient to the right hypnotist? |