Combining Texts

All the ideas for 'What is Cantor's Continuum Problem?st1=Kurt Gödel', 'Democracy in America (abr Renshaw)' and 'Mathematical logic and theory of types'

expand these ideas     |    start again     |     specify just one area for these texts


30 ideas

4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets
We perceive the objects of set theory, just as we perceive with our senses [Gödel]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / o. Axiom of Constructibility V = L
Gödel proved the classical relative consistency of the axiom V = L [Gödel, by Putnam]
4. Formal Logic / F. Set Theory ST / 8. Critique of Set Theory
Classes can be reduced to propositional functions [Russell, by Hanna]
5. Theory of Logic / L. Paradox / 5. Paradoxes in Set Theory / a. Set theory paradoxes
Set-theory paradoxes are no worse than sense deception in physics [Gödel]
5. Theory of Logic / L. Paradox / 5. Paradoxes in Set Theory / d. Russell's paradox
The class of classes which lack self-membership leads to a contradiction [Russell, by Grayling]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / g. Continuum Hypothesis
The Continuum Hypothesis is not inconsistent with the axioms of set theory [Gödel, by Clegg]
If set theory is consistent, we cannot refute or prove the Continuum Hypothesis [Gödel, by Hart,WD]
6. Mathematics / C. Sources of Mathematics / 4. Mathematical Empiricism / a. Mathematical empiricism
Basic mathematics is related to abstract elements of our empirical ideas [Gödel]
6. Mathematics / C. Sources of Mathematics / 6. Logicism / b. Type theory
Type theory seems an extreme reaction, since self-exemplification is often innocuous [Swoyer on Russell]
Russell's improvements blocked mathematics as well as paradoxes, and needed further axioms [Russell, by Musgrave]
Type theory means that features shared by different levels cannot be expressed [Morris,M on Russell]
6. Mathematics / C. Sources of Mathematics / 6. Logicism / c. Neo-logicism
Ramified types can be defended as a system of intensional logic, with a 'no class' view of sets [Russell, by Linsky,B]
6. Mathematics / C. Sources of Mathematics / 10. Constructivism / d. Predicativism
A set does not exist unless at least one of its specifications is predicative [Russell, by Bostock]
Russell is a conceptualist here, saying some abstracta only exist because definitions create them [Russell, by Bostock]
Vicious Circle says if it is expressed using the whole collection, it can't be in the collection [Russell, by Bostock]
24. Political Theory / A. Basis of a State / 1. A People / b. The natural life
Wherever there is a small community, the association of the people is natural [Tocqueville]
24. Political Theory / A. Basis of a State / 1. A People / c. A unified people
The people are just individuals, and only present themselves as united to foreigners [Tocqueville]
24. Political Theory / A. Basis of a State / 2. Population / b. State population
Vast empires are bad for well-being and freedom, though they may promote glory [Tocqueville]
People would be much happier and freer in small nations [Tocqueville]
24. Political Theory / B. Nature of a State / 3. Constitutions
In American judges rule according to the Constitution, not the law [Tocqueville]
24. Political Theory / C. Ruling a State / 2. Leaders / b. Monarchy
A monarchical family is always deeply concerned with the interests of the state [Tocqueville]
24. Political Theory / C. Ruling a State / 2. Leaders / c. Despotism
Despots like to see their own regulations ignored, by themselves and their agents [Tocqueville]
24. Political Theory / C. Ruling a State / 2. Leaders / d. Elites
Aristocracy is constituted by inherited landed property [Tocqueville]
24. Political Theory / C. Ruling a State / 4. Changing the State / a. Centralisation
In Europe it is thought that local government is best handled centrally [Tocqueville]
24. Political Theory / D. Ideologies / 5. Democracy / b. Consultation
An election, and its lead up time, are always a national crisis [Tocqueville]
24. Political Theory / D. Ideologies / 5. Democracy / d. Representative democracy
Universal suffrage is no guarantee of wise choices [Tocqueville]
25. Social Practice / A. Freedoms / 1. Slavery
Slavery undermines the morals and energy of a society [Tocqueville]
25. Social Practice / A. Freedoms / 3. Free speech
The liberty of the press is more valuable for what it prevents than what it promotes [Tocqueville]
25. Social Practice / B. Equalities / 1. Grounds of equality
It is admirable to elevate the humble to the level of the great, but the opposite is depraved [Tocqueville]
25. Social Practice / B. Equalities / 2. Political equality
Equality can only be established by equal rights for all (or no rights for anyone) [Tocqueville]