85 ideas
| 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] |
| 3593 | The only way to specify the corresponding fact is asserting the sentence [Williams,M] |
| 7077 | The true is the whole [Hegel] |
| 3585 | Coherence needs positive links, not just absence of conflict [Williams,M] |
| 3584 | Justification needs coherence, while truth might be ideal coherence [Williams,M] |
| 15413 | With four tense operators, all complex tenses reduce to fourteen basic cases [Burgess] |
| 15415 | The temporal Barcan formulas fix what exists, which seems absurd [Burgess] |
| 15430 | Is classical logic a part of intuitionist logic, or vice versa? [Burgess] |
| 15431 | It is still unsettled whether standard intuitionist logic is complete [Burgess] |
| 15429 | Relevance logic's → is perhaps expressible by 'if A, then B, for that reason' [Burgess] |
| 3599 | Deduction shows entailments, not what to believe [Williams,M] |
| 15404 | Technical people see logic as any formal system that can be studied, not a study of argument validity [Burgess] |
| 15405 | Classical logic neglects the non-mathematical, such as temporality or modality [Burgess] |
| 15427 | The Cut Rule expresses the classical idea that entailment is transitive [Burgess] |
| 15421 | Classical logic neglects counterfactuals, temporality and modality, because maths doesn't use them [Burgess] |
| 15403 | Philosophical logic is a branch of logic, and is now centred in computer science [Burgess] |
| 15407 | Formalising arguments favours lots of connectives; proving things favours having very few [Burgess] |
| 15424 | Asserting a disjunction from one disjunct seems odd, but can be sensible, and needed in maths [Burgess] |
| 15409 | All occurrences of variables in atomic formulas are free [Burgess] |
| 15414 | The denotation of a definite description is flexible, rather than rigid [Burgess] |
| 15406 | 'Induction' and 'recursion' on complexity prove by connecting a formula to its atomic components [Burgess] |
| 15425 | The sequent calculus makes it possible to have proof without transitivity of entailment [Burgess] |
| 15426 | We can build one expanding sequence, instead of a chain of deductions [Burgess] |
| 15408 | 'Tautologies' are valid formulas of classical sentential logic - or substitution instances in other logics [Burgess] |
| 15418 | Validity (for truth) and demonstrability (for proof) have correlates in satisfiability and consistency [Burgess] |
| 15412 | Models leave out meaning, and just focus on truth values [Burgess] |
| 15411 | We only need to study mathematical models, since all other models are isomorphic to these [Burgess] |
| 15416 | We aim to get the technical notion of truth in all models matching intuitive truth in all instances [Burgess] |
| 15428 | The Liar seems like a truth-value 'gap', but dialethists see it as a 'glut' [Burgess] |
| 15420 | De re modality seems to apply to objects a concept intended for sentences [Burgess] |
| 15419 | General consensus is S5 for logical modality of validity, and S4 for proof [Burgess] |
| 15417 | Logical necessity has two sides - validity and demonstrability - which coincide in classical logic [Burgess] |
| 15422 | Three conditionals theories: Materialism (material conditional), Idealism (true=assertable), Nihilism (no truth) [Burgess] |
| 15423 | It is doubtful whether the negation of a conditional has any clear meaning [Burgess] |
| 3591 | We could never pin down how many beliefs we have [Williams,M] |
| 3582 | Propositions make error possible, so basic experiential knowledge is impossible [Williams,M] |
| 15611 | I develop philosophical science from the simplest appearance of immediate consciousness [Hegel, by Hegel] |
| 3592 | Phenomenalism is a form of idealism [Williams,M] |
| 8934 | Being is Thought [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] |
| 21773 | Experience is immediacy, unity, forces, self-awareness, reason, culture, absolute being [Hegel, by Houlgate] |
| 3579 | Sense data avoid the danger of misrepresenting the world [Williams,M] |
| 3581 | Sense data can't give us knowledge if they are non-propositional [Williams,M] |
| 22033 | Hegel tried to avoid Kant's dualism of neutral intuitions and imposed concepts [Hegel, by Pinkard] |
| 3564 | Is it people who are justified, or propositions? [Williams,M] |
| 21771 | Consciousness derives its criterion of knowledge from direct knowledge of its own being [Hegel] |
| 3595 | What works always takes precedence over theories [Williams,M] |
| 3580 | Experience must be meaningful to act as foundations [Williams,M] |
| 3578 | Are empirical foundations judgements or experiences? [Williams,M] |
| 3576 | Foundationalists are torn between adequacy and security [Williams,M] |
| 3577 | Strong justification eliminates error, but also reduces our true beliefs [Williams,M] |
| 3589 | Why should diverse parts of our knowledge be connected? [Williams,M] |
| 3590 | Coherence theory must give a foundational status to coherence itself [Williams,M] |
| 3571 | Externalism does not require knowing that you know [Williams,M] |
| 3574 | Externalism ignores the social aspect of knowledge [Williams,M] |
| 3569 | In the causal theory of knowledge the facts must cause the belief [Williams,M] |
| 3567 | How could there be causal relations to mathematical facts? [Williams,M] |
| 3586 | Only a belief can justify a belief [Williams,M] |
| 3573 | Externalist reliability refers to a range of conventional conditions [Williams,M] |
| 3565 | Sometimes I ought to distrust sources which are actually reliable [Williams,M] |
| 3566 | We control our beliefs by virtue of how we enquire [Williams,M] |
| 3594 | Scepticism just reveals our limited ability to explain things [Williams,M] |
| 3575 | Scepticism can involve discrepancy, relativity, infinity, assumption and circularity [Williams,M] |
| 3587 | Seeing electrons in a cloud chamber requires theory [Williams,M] |
| 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] |
| 3588 | Foundationalists base meaning in words, coherentists base it in sentences [Williams,M] |
| 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] |
| 8931 | The movement of pure essences constitutes the nature of scientific method [Hegel] |
| 8933 | Science confronts the inner necessities of objects [Hegel] |
| 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] |