Combining Texts

All the ideas for 'works', 'Metaphysics: contemporary introduction' and 'On Formally Undecidable Propositions'

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


44 ideas

1. Philosophy / B. History of Ideas / 5. Later European Thought
Hegel produced modern optimism; he failed to grasp that consciousness never progresses [Hegel, by Cioran]
1. Philosophy / C. History of Philosophy / 4. Later European Philosophy / d. Nineteenth century philosophy
Hegel was the last philosopher of the Book [Hegel, by Derrida]
1. Philosophy / E. Nature of Metaphysics / 1. Nature of Metaphysics
Hegel doesn't storm the heavens like the giants, but works his way up by syllogisms [Kierkegaard on Hegel]
1. Philosophy / E. Nature of Metaphysics / 3. Metaphysical Systems
For Hegel, things are incomplete, and contain external references in their own nature [Hegel, by Russell]
1. Philosophy / E. Nature of Metaphysics / 7. Against Metaphysics
On the continent it is generally believed that metaphysics died with Hegel [Benardete,JA on Hegel]
2. Reason / B. Laws of Thought / 2. Sufficient Reason
Making sufficient reason an absolute devalues the principle of non-contradiction [Hegel, by Meillassoux]
2. Reason / C. Styles of Reason / 1. Dialectic
Rather than in three stages, Hegel presented his dialectic as 'negation of the negation' [Hegel, by Bowie]
3. Truth / F. Semantic Truth / 1. Tarski's Truth / a. Tarski's truth definition
Prior to Gödel we thought truth in mathematics consisted in provability [Gödel, by Quine]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets
Gödel show that the incompleteness of set theory was a necessity [Gödel, by Hallett,M]
5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / c. not
Negation of negation doubles back into a self-relationship [Hegel, by Houlgate]
5. Theory of Logic / K. Features of Logics / 1. Axiomatisation
The limitations of axiomatisation were revealed by the incompleteness theorems [Gödel, by Koellner]
5. Theory of Logic / K. Features of Logics / 2. Consistency
Second Incompleteness: nice theories can't prove their own consistency [Gödel, by Smith,P]
5. Theory of Logic / K. Features of Logics / 3. Soundness
If soundness can't be proved internally, 'reflection principles' can be added to assert soundness [Gödel, by Halbach/Leigh]
5. Theory of Logic / K. Features of Logics / 5. Incompleteness
Gödel's First Theorem sabotages logicism, and the Second sabotages Hilbert's Programme [Smith,P on Gödel]
The undecidable sentence can be decided at a 'higher' level in the system [Gödel]
6. Mathematics / A. Nature of Mathematics / 1. Mathematics
There can be no single consistent theory from which all mathematical truths can be derived [Gödel, by George/Velleman]
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / g. Incompleteness of Arithmetic
Gödel showed that arithmetic is either incomplete or inconsistent [Gödel, by Rey]
First Incompleteness: arithmetic must always be incomplete [Gödel, by Smith,P]
Arithmetical truth cannot be fully and formally derived from axioms and inference rules [Gödel, by Nagel/Newman]
Gödel's Second says that semantic consequence outruns provability [Gödel, by Hanna]
First Incompleteness: a decent consistent system is syntactically incomplete [Gödel, by George/Velleman]
Second Incompleteness: a decent consistent system can't prove its own consistency [Gödel, by George/Velleman]
There is a sentence which a theory can show is true iff it is unprovable [Gödel, by Smith,P]
'This system can't prove this statement' makes it unprovable either way [Gödel, by Clegg]
6. Mathematics / C. Sources of Mathematics / 10. Constructivism / d. Predicativism
Realists are happy with impredicative definitions, which describe entities in terms of other existing entities [Gödel, by Shapiro]
7. Existence / A. Nature of Existence / 3. Being / c. Becoming
The dialectical opposition of being and nothing is resolved in passing to the concept of becoming [Hegel, by Scruton]
7. Existence / A. Nature of Existence / 5. Reason for Existence
Hegel gives an ontological proof of the existence of everything [Hegel, by Scruton]
7. Existence / E. Categories / 4. Category Realism
For Hegel, categories shift their form in the course of history [Hegel, by Houlgate]
Our concepts and categories disclose the world, because we are part of the world [Hegel, by Houlgate]
7. Existence / E. Categories / 5. Category Anti-Realism
Hegel said Kant's fixed categories actually vary with culture and era [Hegel, by Houlgate]
8. Modes of Existence / B. Properties / 13. Tropes / b. Critique of tropes
If abstract terms are sets of tropes, 'being a unicorn' and 'being a griffin' turn out identical [Loux]
8. Modes of Existence / D. Universals / 1. Universals
Austere nominalists insist that the realist's universals lack the requisite independent identifiability [Loux]
Universals come in hierarchies of generality [Loux]
8. Modes of Existence / E. Nominalism / 1. Nominalism / a. Nominalism
Austere nominalism has to take a host of things (like being red, or human) as primitive [Loux]
8. Modes of Existence / E. Nominalism / 1. Nominalism / c. Nominalism about abstracta
Nominalism needs to account for abstract singular terms like 'circularity'. [Loux]
9. Objects / A. Existence of Objects / 5. Individuation / c. Individuation by location
Times and places are identified by objects, so cannot be used in a theory of object-identity [Loux]
12. Knowledge Sources / A. A Priori Knowledge / 5. A Priori Synthetic
Hegel reputedly claimed to know a priori that there are five planets [Hegel, by Field,H]
17. Mind and Body / C. Functionalism / 2. Machine Functionalism
Basic logic can be done by syntax, with no semantics [Gödel, by Rey]
23. Ethics / F. Existentialism / 1. Existentialism
Humans have no fixed identity, but produce and reveal their shifting identity in history [Hegel, by Houlgate]
24. Political Theory / A. Basis of a State / 1. A People / c. A unified people
Hegel's Absolute Spirit is the union of human rational activity at a moment, and whatever that sustains [Hegel, by Eldridge]
24. Political Theory / B. Nature of a State / 2. State Legitimacy / c. Social contract
Society isn’t founded on a contract, since contracts presuppose a society [Hegel, by Scruton]
26. Natural Theory / A. Speculations on Nature / 1. Nature
When man wills the natural, it is no longer natural [Hegel]
28. God / B. Proving God / 2. Proofs of Reason / a. Ontological Proof
Hegel's entire philosophy is nothing but a monstrous amplification of the ontological proof [Schopenhauer on Hegel]
29. Religion / B. Monotheistic Religion / 4. Christianity / a. Christianity
Hegel said he was offering an encyclopaedic rationalisation of Christianity [Hegel, by Graham]