57 ideas
6259 | Why can't a wise man doubt everything? [Montaigne] |
6263 | No wisdom could make us comfortably walk a wide beam if it was high in the air [Montaigne] |
23122 | Montaigne was the founding father of liberalism [Montaigne, by Gopnik] |
6258 | Virtue is the distinctive mark of truth, and its greatest product [Montaigne] |
13520 | A 'tautology' must include connectives [Wolf,RS] |
13524 | Deduction Theorem: T∪{P}|-Q, then T|-(P→Q), which justifies Conditional Proof [Wolf,RS] |
13521 | Universal Specification: ∀xP(x) implies P(t). True for all? Then true for an instance [Wolf,RS] |
13522 | Universal Generalization: If we prove P(x) with no special assumptions, we can conclude ∀xP(x) [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] |
13519 | Model theory uses sets to show that mathematical deduction fits mathematical truth [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] |
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] |
6262 | We lack some sense or other, and hence objects may have hidden features [Montaigne] |
16661 | There are two sorts of category - referring to things, and to circumstances of things [Boethius] |
15035 | If universals are not separate, we can isolate them by abstraction [Boethius, by Panaccio] |
14665 | We can call the quality of Plato 'Platonity', and say it is a quality which only he possesses [Boethius] |
23308 | Reasoning relates to understanding as time does to eternity [Boethius, by Sorabji] |
6260 | Sceptics say there is truth, but no means of making or testing lasting judgements [Montaigne] |
6261 | The soul is in the brain, as shown by head injuries [Montaigne] |
5771 | Knowledge of present events doesn't make them necessary, so future events are no different [Boethius] |
5767 | Rational natures require free will, in order to have power of judgement [Boethius] |
5768 | God's universal foreknowledge seems opposed to free will [Boethius] |
5769 | Does foreknowledge cause necessity, or necessity cause foreknowledge? [Boethius] |
5762 | The wicked want goodness, so they would not be wicked if they obtained it [Boethius] |
5770 | Rewards and punishments are not deserved if they don't arise from free movement of the mind [Boethius] |
7496 | Rules and duties are based on the will, as that is all we control [Montaigne] |
5764 | When people fall into wickedness they lose their human nature [Boethius] |
7495 | Apart from the fear, dying is an easy duty [Montaigne] |
5756 | Happiness is a good which once obtained leaves nothing more to be desired [Boethius] |
22269 | We must fight fiercely to hang on to the few pleasures which survive into old age [Montaigne] |
5763 | The bad seek the good through desire, but the good through virtue, which is more natural [Boethius] |
20482 | Virtue inspires Stoics, but I want a good temperament [Montaigne] |
20480 | There is not much point in only becoming good near the end of your life [Montaigne] |
5759 | Varied aims cannot be good because they differ, but only become good when they unify [Boethius] |
5754 | You can't control someone's free mind, only their body and possessions [Boethius] |
20481 | Nothing we say can be worse than unsaying it in the face of authority [Montaigne] |
20479 | People at home care far more than soldiers risking death about the outcome of wars [Montaigne] |
16692 | Divine eternity is the all-at-once and complete possession of unending life [Boethius] |
5752 | Where does evil come from if there is a god; where does good come from if there isn't? [Boethius] |
5757 | God is the supreme good, so no source of goodness could take precedence over God [Boethius] |
5758 | God is the good [Boethius] |
5760 | The power through which creation remains in existence and motion I call 'God' [Boethius] |
5753 | The regular events of this life could never be due to chance [Boethius] |
5765 | The reward of the good is to become gods [Boethius] |
5761 | God can do anything, but he cannot do evil, so evil must be nothing [Boethius] |
5766 | If you could see the plan of Providence, you would not think there was evil anywhere [Boethius] |