21 ideas
15375 | If terms change their designations in different states, they are functions from states to objects [Fitting] |
15376 | Intensional logic adds a second type of quantification, over intensional objects, or individual concepts [Fitting] |
15378 | Awareness logic adds the restriction of an awareness function to epistemic logic [Fitting] |
15379 | Justication logics make explicit the reasons for mathematical truth in proofs [Fitting] |
21495 | Theoretical and practical politics are both concerned with the best lives for individuals [Russell] |
11026 | Classical logic is deliberately extensional, in order to model mathematics [Fitting] |
11028 | λ-abstraction disambiguates the scope of modal operators [Fitting] |
12155 | Statements of 'relative identity' are really statements of resemblance [Perry] |
15377 | Definite descriptions pick out different objects in different possible worlds [Fitting] |
21517 | Individuals need creativity, reverence for others, and self-respect [Russell] |
21523 | We would not want UK affairs to be settled by a world parliament [Russell] |
21522 | Democracy is inadequate without a great deal of devolution [Russell] |
21521 | Anarchy does not maximise liberty [Russell] |
21528 | Groups should be autonomous, with a neutral authority as arbitrator [Russell] |
21527 | On every new question the majority is always wrong at first [Russell] |
21526 | Unfortunately ordinary voters can't detect insincerity [Russell] |
21525 | When the state is the only employer, there is no refuge from the prejudices of other people [Russell] |
21518 | Men unite in pursuit of material things, and idealise greed as part of group loyalty [Russell] |
21519 | We need security and liberty, and then encouragement of creativity [Russell] |
21524 | The right to own land gives a legal right to a permanent income [Russell] |
21520 | That our heaven is a dull place reflects the misery of excessive work in life [Russell] |