Combining Texts

All the ideas for 'Investigations in the Foundations of Set Theory I', 'Externalism/Internalism' and 'Phenomenology of Spirit'

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


51 ideas

1. Philosophy / D. Nature of Philosophy / 1. Philosophy
Philosophy moves essentially in the element of universality [Hegel]
1. Philosophy / D. Nature of Philosophy / 5. Aims of Philosophy / b. Philosophy as transcendent
Philosophy aims to reveal the necessity and rationality of the categories of nature and spirit [Hegel, by Houlgate]
1. Philosophy / G. Scientific Philosophy / 3. Scientism
Without philosophy, science is barren and futile [Hegel]
1. Philosophy / H. Continental Philosophy / 1. Continental Philosophy
Truth does not appear by asserting reasons and then counter-reasons [Hegel]
2. Reason / A. Nature of Reason / 8. Naturalising Reason
The structure of reason is a social and historical achievement [Hegel, by Pinkard]
2. Reason / A. Nature of Reason / 9. Limits of Reason
Truth does not come from giving reasons for and against propositions [Hegel]
2. Reason / D. Definition / 8. Impredicative Definition
Predicative definitions are acceptable in mathematics if they distinguish objects, rather than creating them? [Zermelo, by Lavine]
3. Truth / D. Coherence Truth / 1. Coherence Truth
The true is the whole [Hegel]
4. Formal Logic / F. Set Theory ST / 1. Set Theory
We take set theory as given, and retain everything valuable, while avoiding contradictions [Zermelo]
Set theory investigates number, order and function, showing logical foundations for mathematics [Zermelo]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets
ZFC: Existence, Extension, Specification, Pairing, Unions, Powers, Infinity, Choice [Zermelo, by Clegg]
Zermelo published his axioms in 1908, to secure a controversial proof [Zermelo, by Maddy]
Set theory can be reduced to a few definitions and seven independent axioms [Zermelo]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / c. Axiom of Pairing II
Zermelo introduced Pairing in 1930, and it seems fairly obvious [Zermelo, by Maddy]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / i. Axiom of Foundation VIII
Zermelo used Foundation to block paradox, but then decided that only Separation was needed [Zermelo, by Maddy]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / m. Axiom of Separation
Not every predicate has an extension, but Separation picks the members that satisfy a predicate [Zermelo, by Hart,WD]
The Axiom of Separation requires set generation up to one step back from contradiction [Zermelo, by Maddy]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / e. Ordinal numbers
In ZF, the Burali-Forti Paradox proves that there is no set of all ordinals [Zermelo, by Hart,WD]
6. Mathematics / B. Foundations for Mathematics / 5. Definitions of Number / f. Zermelo numbers
For Zermelo the successor of n is {n} (rather than n U {n}) [Zermelo, by Maddy]
6. Mathematics / B. Foundations for Mathematics / 6. Mathematics as Set Theory / a. Mathematics is set theory
Zermelo believed, and Von Neumann seemed to confirm, that numbers are sets [Zermelo, by Maddy]
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / e. Structuralism critique
Different versions of set theory result in different underlying structures for numbers [Zermelo, by Brown,JR]
11. Knowledge Aims / A. Knowledge / 1. Knowledge
Maybe there is plain 'animal' knowledge, and clearly justified 'reflective' knowledge [Vahid]
11. Knowledge Aims / B. Certain Knowledge / 4. The Cogito
I develop philosophical science from the simplest appearance of immediate consciousness [Hegel, by Hegel]
11. Knowledge Aims / C. Knowing Reality / 3. Idealism / d. Absolute idealism
Being is Thought [Hegel]
Genuine idealism is seeing the ideal structure of the world [Hegel, by Houlgate]
The Absolute is not supposed to be comprehended, but felt and intuited [Hegel]
In the Absolute everything is the same [Hegel]
12. Knowledge Sources / B. Perception / 1. Perception
Experience is immediacy, unity, forces, self-awareness, reason, culture, absolute being [Hegel, by Houlgate]
12. Knowledge Sources / B. Perception / 5. Interpretation
Hegel tried to avoid Kant's dualism of neutral intuitions and imposed concepts [Hegel, by Pinkard]
13. Knowledge Criteria / A. Justification Problems / 1. Justification / a. Justification issues
Epistemic is normally marked out from moral or pragmatic justifications by its truth-goal [Vahid]
13. Knowledge Criteria / A. Justification Problems / 3. Internal or External / a. Pro-internalism
'Mentalist' internalism seems to miss the main point, if it might not involve an agent's access [Vahid]
Strong access internalism needs actual awareness; weak versions need possibility of access [Vahid]
Maybe we need access to our justification, and also to know why it justifies [Vahid]
Consciousness derives its criterion of knowledge from direct knowledge of its own being [Hegel]
13. Knowledge Criteria / A. Justification Problems / 3. Internal or External / b. Pro-externalism
Internalism in epistemology over-emphasises deliberation about beliefs [Vahid]
13. Knowledge Criteria / C. External Justification / 1. External Justification
Externalism may imply that identical mental states might go with different justifications [Vahid]
13. Knowledge Criteria / C. External Justification / 4. Tracking the Facts
With a counterfactual account of the causal theory, we get knowledge as tracking or sensitive to truth [Vahid]
13. Knowledge Criteria / C. External Justification / 10. Anti External Justification
Externalism makes the acquisition of knowledge too easy? [Vahid]
15. Nature of Minds / B. Features of Minds / 1. Consciousness / b. Essence of consciousness
Consciousness is shaped dialectically, by opposing forces and concepts [Hegel, by Aho]
15. Nature of Minds / B. Features of Minds / 1. Consciousness / c. Parts of consciousness
Consciousness is both of objects, and of itself [Hegel]
16. Persons / A. Concept of a Person / 4. Persons as Agents
Hegel claims knowledge of self presupposes desire, and hence objects [Hegel, by Scruton]
16. Persons / E. Rejecting the Self / 2. Self as Social Construct
For Hegel knowledge of self presupposes objects, and also a public and moral social world [Hegel, by Scruton]
23. Ethics / F. Existentialism / 6. Authentic Self
The in-itself must become for-itself, which requires self-consciousness [Hegel]
24. Political Theory / D. Ideologies / 7. Communitarianism / a. Communitarianism
Modern life needs individuality, but must recognise that human agency is social [Hegel, by Pinkard]
Human nature only really exists in an achieved community of minds [Hegel]
25. Social Practice / E. Policies / 5. Education / d. Study of history
History is the progress of the consciousness of freedom [Hegel]
26. Natural Theory / D. Laws of Nature / 8. Scientific Essentialism / a. Scientific essentialism
The movement of pure essences constitutes the nature of scientific method [Hegel]
26. Natural Theory / D. Laws of Nature / 8. Scientific Essentialism / b. Scientific necessity
Science confronts the inner necessities of objects [Hegel]
28. God / B. Proving God / 1. Proof of God
The God of revealed religion can only be understood through pure speculative knowledge [Hegel]
28. God / C. Attitudes to God / 4. God Reflects Humanity
God is the essence of thought, abstracted from the thinker [Hegel, by Feuerbach]
29. Religion / B. Monotheistic Religion / 4. Christianity / a. Christianity
Hegel made the last attempt to restore Christianity, which philosophy had destroyed [Hegel, by Feuerbach]