64 ideas
1798 | He studied philosophy by suspending his judgement on everything [Pyrrho, by Diog. Laertius] |
8927 | Philosophy moves essentially in the element of universality [Hegel] |
21776 | Philosophy aims to reveal the necessity and rationality of the categories of nature and spirit [Hegel, by Houlgate] |
8935 | Without philosophy, science is barren and futile [Hegel] |
22082 | Truth does not appear by asserting reasons and then counter-reasons [Hegel] |
22035 | The structure of reason is a social and historical achievement [Hegel, by Pinkard] |
8932 | Truth does not come from giving reasons for and against propositions [Hegel] |
1800 | Sceptics say reason is only an instrument, because reason can only be attacked with reason [Pyrrho, by Diog. Laertius] |
7077 | The true is the whole [Hegel] |
13520 | A 'tautology' must include connectives [Wolf,RS] |
13524 | Deduction Theorem: T∪{P}|-Q, then T|-(P→Q), which justifies Conditional Proof [Wolf,RS] |
13522 | Universal Generalization: If we prove P(x) with no special assumptions, we can conclude ∀xP(x) [Wolf,RS] |
13521 | Universal Specification: ∀xP(x) implies P(t). True for all? Then true for an instance [Wolf,RS] |
13523 | Existential Generalization (or 'proof by example'): if we can say P(t), then we can say something is P [Wolf,RS] |
13529 | Empty Set: ∃x∀y ¬(y∈x). The unique empty set exists [Wolf,RS] |
13526 | Comprehension Axiom: if a collection is clearly specified, it is a set [Wolf,RS] |
13534 | In first-order logic syntactic and semantic consequence (|- and |=) nicely coincide [Wolf,RS] |
13535 | First-order logic is weakly complete (valid sentences are provable); we can't prove every sentence or its negation [Wolf,RS] |
13531 | Model theory reveals the structures of mathematics [Wolf,RS] |
13532 | Model theory 'structures' have a 'universe', some 'relations', some 'functions', and some 'constants' [Wolf,RS] |
13519 | Model theory uses sets to show that mathematical deduction fits mathematical truth [Wolf,RS] |
13533 | First-order model theory rests on completeness, compactness, and the Löwenheim-Skolem-Tarski theorem [Wolf,RS] |
13537 | An 'isomorphism' is a bijection that preserves all structural components [Wolf,RS] |
13539 | The LST Theorem is a serious limitation of first-order logic [Wolf,RS] |
13538 | If a theory is complete, only a more powerful language can strengthen it [Wolf,RS] |
13525 | Most deductive logic (unlike ordinary reasoning) is 'monotonic' - we don't retract after new givens [Wolf,RS] |
13530 | An ordinal is an equivalence class of well-orderings, or a transitive set whose members are transitive [Wolf,RS] |
13518 | Modern mathematics has unified all of its objects within set theory [Wolf,RS] |
15611 | I develop philosophical science from the simplest appearance of immediate consciousness [Hegel, by Hegel] |
8928 | The Absolute is not supposed to be comprehended, but felt and intuited [Hegel] |
8929 | In the Absolute everything is the same [Hegel] |
21774 | Genuine idealism is seeing the ideal structure of the world [Hegel, by Houlgate] |
8934 | Being is Thought [Hegel] |
21773 | Experience is immediacy, unity, forces, self-awareness, reason, culture, absolute being [Hegel, by Houlgate] |
22033 | Hegel tried to avoid Kant's dualism of neutral intuitions and imposed concepts [Hegel, by Pinkard] |
6595 | If we need a criterion of truth, we need to know whether it is the correct criterion [Pyrrho, by Fogelin] |
21771 | Consciousness derives its criterion of knowledge from direct knowledge of its own being [Hegel] |
6593 | The Pyrrhonians attacked the dogmas of professors, not ordinary people [Pyrrho, by Fogelin] |
6592 | Academics said that Pyrrhonians were guilty of 'negative dogmatism' [Pyrrho, by Fogelin] |
1805 | Judgements vary according to local culture and law (Mode 5) [Pyrrho, by Diog. Laertius] |
1801 | Animals vary in their feelings and judgements (Mode 1) [Pyrrho, by Diog. Laertius] |
1804 | Perception varies with madness or disease (Mode 4) [Pyrrho, by Diog. Laertius] |
1808 | Perception of things depends on their size or quantity (Mode 8) [Pyrrho, by Diog. Laertius] |
1806 | Perception of objects depends on surrounding conditions (Mode 6) [Pyrrho, by Diog. Laertius] |
1809 | Perception is affected by expectations (Mode 9) [Pyrrho, by Diog. Laertius] |
1803 | Objects vary according to which sense perceives them (Mode 3) [Pyrrho, by Diog. Laertius] |
1807 | Perception varies with viewing distance and angle (Mode 7) [Pyrrho, by Diog. Laertius] |
1810 | Perception and judgement depend on comparison (Mode 10) [Pyrrho, by Diog. Laertius] |
1802 | Individuals vary in responses and feelings (Mode 2) [Pyrrho, by Diog. Laertius] |
20741 | Consciousness is shaped dialectically, by opposing forces and concepts [Hegel, by Aho] |
21770 | Consciousness is both of objects, and of itself [Hegel] |
5647 | Hegel claims knowledge of self presupposes desire, and hence objects [Hegel, by Scruton] |
5648 | For Hegel knowledge of self presupposes objects, and also a public and moral social world [Hegel, by Scruton] |
8930 | The in-itself must become for-itself, which requires self-consciousness [Hegel] |
8936 | Human nature only really exists in an achieved community of minds [Hegel] |
22034 | Modern life needs individuality, but must recognise that human agency is social [Hegel, by Pinkard] |
21987 | History is the progress of the consciousness of freedom [Hegel] |
3062 | There are no causes, because they are relative, and alike things can't cause one another [Pyrrho, by Diog. Laertius] |
8931 | The movement of pure essences constitutes the nature of scientific method [Hegel] |
8933 | Science confronts the inner necessities of objects [Hegel] |
3063 | Motion can't move where it is, and can't move where it isn't, so it can't exist [Pyrrho, by Diog. Laertius] |
21775 | The God of revealed religion can only be understood through pure speculative knowledge [Hegel] |
6917 | God is the essence of thought, abstracted from the thinker [Hegel, by Feuerbach] |
6915 | Hegel made the last attempt to restore Christianity, which philosophy had destroyed [Hegel, by Feuerbach] |