Combining Texts

All the ideas for 'On the Question of Absolute Undecidability', 'works' and 'Theory of Science (Wissenschaftslehre, 4 vols)'

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

21 ideas

2. Reason / A. Nature of Reason / 7. Status of Reason
21945 Foucault originally felt that liberating reason had become an instrument of domination [Foucault, by Gutting]
2. Reason / B. Laws of Thought / 1. Laws of Thought
7807 The laws of thought are true, but they are not the axioms of logic [Bolzano, by George/Van Evra]
4. Formal Logic / F. Set Theory ST / 1. Set Theory
17884 Mathematical set theory has many plausible stopping points, such as finitism, and predicativism [Koellner]
17893 'Reflection principles' say the whole truth about sets can't be captured [Koellner]
5. Theory of Logic / K. Features of Logics / 5. Incompleteness
17894 We have no argument to show a statement is absolutely undecidable [Koellner]
6. Mathematics / A. Nature of Mathematics / 2. Geometry
9618 Bolzano wanted to reduce all of geometry to arithmetic [Bolzano, by Brown,JR]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / i. Cardinal infinity
17890 There are at least eleven types of large cardinal, of increasing logical strength [Koellner]
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / d. Peano arithmetic
17887 PA is consistent as far as we can accept, and we expand axioms to overcome limitations [Koellner]
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / g. Incompleteness of Arithmetic
17891 Arithmetical undecidability is always settled at the next stage up [Koellner]
6. Mathematics / C. Sources of Mathematics / 2. Intuition of Mathematics
9830 Bolzano began the elimination of intuition, by proving something which seemed obvious [Bolzano, by Dummett]
7. Existence / C. Structure of Existence / 1. Grounding / c. Grounding and explanation
17265 Philosophical proofs in mathematics establish truths, and also show their grounds [Bolzano, by Correia/Schnieder]
12. Knowledge Sources / E. Direct Knowledge / 2. Intuition
9185 Bolzano wanted to avoid Kantian intuitions, and prove everything that could be proved [Bolzano, by Dummett]
13. Knowledge Criteria / E. Relativism / 1. Relativism
21942 Foucault challenges knowledge in psychology and sociology, not in the basic sciences [Foucault, by Gutting]
15. Nature of Minds / B. Features of Minds / 1. Consciousness / a. Consciousness
21941 Unlike Marxists, Foucault explains thought internally, without deference to conscious ideas [Foucault, by Gutting]
19. Language / D. Propositions / 1. Propositions
22276 Bolzano saw propositions as objective entities, existing independently of us [Bolzano, by Potter]
19. Language / D. Propositions / 2. Abstract Propositions / a. Propositions as sense
17264 Propositions are abstract structures of concepts, ready for judgement or assertion [Bolzano, by Correia/Schnieder]
12232 A 'proposition' is the sense of a linguistic expression, and can be true or false [Bolzano]
19. Language / E. Analyticity / 2. Analytic Truths
12233 The ground of a pure conceptual truth is only in other conceptual truths [Bolzano]
21. Aesthetics / B. Nature of Art / 8. The Arts / b. Literature
21939 The author function of any text is a plurality of selves [Foucault, by Gutting]
24. Political Theory / A. Basis of a State / 3. Natural Values / c. Natural rights
21940 Nature is not the basis of rights, but the willingness to risk death in asserting them [Foucault]
25. Social Practice / D. Justice / 3. Punishment / d. Reform of offenders
21116 Power is used to create identities and ways of life for other people [Foucault, by Shorten]