13 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) |
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) |
3643 | The concept of mind excludes body, and vice versa [Descartes] |
Full Idea: The concept of body includes nothing at all which belongs to the mind, and the concept of mind includes nothing at all which belongs to the body. | |
From: René Descartes (Reply to Fourth Objections [1641], 225) | |
A reaction: A headache? Hunger? The mistake, I think, is to regard the mind as entirely conscious, thus creating a sharp boundary between two aspects of our lives. As shown by blindsight, I take many of my central mental operations to be pre- or non-conscious. |
20725 | The idea of duty in one's calling haunts us, like a lost religion [Weber] |
Full Idea: The idea of duty in one's calling prowls about in our lives like the ghost of dead religious beliefs. | |
From: Max Weber (The Protestant Ethic and the Spirit of Capitalism [1904], 5) | |
A reaction: Great sentence! Vast scholarship boiled down to a simple and disturbing truth. I recognise this in me. Having been 'Head of Philosophy' once is partly what motivates me to compile these ideas. |
20722 | Acquisition and low consumption lead to saving, investment, and increased wealth [Weber] |
Full Idea: If people are acquisitive but consumption is limited, the inevitable result is the accumulation of capital through the compulsion to save. The restraints on consumption naturally served to increase wealth by enabling the productive investment of capital. | |
From: Max Weber (The Protestant Ethic and the Spirit of Capitalism [1904], 5) | |
A reaction: [compressed. He also quotes John Wesley saying this] In a nutshell, this is how the protestant ethic (esp. if puritan) drives capitalism. It also needs everyone to have a 'calling', and a rebellion against monasticism in favour of worldly work. |
20724 | When asceticism emerged from the monasteries, it helped to drive the modern economy [Weber] |
Full Idea: When asceticism was carried out of the monastic cells into everyday life, and began to dominate worldly morality, it did its part in building the tremendous cosmos of the modern economic order. | |
From: Max Weber (The Protestant Ethic and the Spirit of Capitalism [1904], 5) | |
A reaction: Since Max Weber's time I should think this is less and less true. If you hunt for ascetics in the modern world, they are probably dropped out, and pursuing green politics. Industrialists are obsessed with property and wine. |
20717 | Capitalism is not unlimited greed, and may even be opposed to greed [Weber] |
Full Idea: Unlimited greed for gain is not in the least identical with capitalism, and is still less in its spirit. Capitalism may even be identical with the restraint, or at least a rational tempering, of this irrational impulse. | |
From: Max Weber (The Protestant Ethic and the Spirit of Capitalism [1904], Author's Intro) | |
A reaction: The point is that profits have to be re-invested, rather than spent on pleasure. If we are stuck with capitalism we need a theory of Ethical Capitalism. |
20718 | Modern western capitalism has free labour, business separate from household, and book-keeping [Weber] |
Full Idea: The modern Occident has developed a very different form of capitalism: the rational capitalist organisation of free labour …which needed two other factors: the separation of the business from the household, and the closely connected rational book-keeping. | |
From: Max Weber (The Protestant Ethic and the Spirit of Capitalism [1904], Author's Intro) | |
A reaction: For small businesses the separation has to be maintained by a ruthless effort of imagination. Book-keeping is because the measure of loss and profit is the engine of the whole game. Labour had to be dragged free of family and community. |
20719 | Punish the heretic, but be indulgent to the sinner [Weber] |
Full Idea: The rule of the Catholic church is 'punishing the heretic, but indulgent of the sinner'. | |
From: Max Weber (The Protestant Ethic and the Spirit of Capitalism [1904], 1) | |
A reaction: Weber cites this as if it is a folklore saying. It seems to fit the teachings of Jesus, who is intensely keen on unwavering faith, but very kind to those who stray morally. Hence Graham Greene novels, all about sinners. |