28 ideas
7823 | Lucretius was rediscovered in 1417 [Grayling] |
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] |
11026 | Classical logic is deliberately extensional, in order to model mathematics [Fitting] |
11028 | λ-abstraction disambiguates the scope of modal operators [Fitting] |
6408 | Russell needed three extra axioms to reduce maths to logic: infinity, choice and reducibility [Grayling] |
15377 | Definite descriptions pick out different objects in different possible worlds [Fitting] |
6414 | Two propositions might seem self-evident, but contradict one another [Grayling] |
7091 | The argument from analogy is not a strong inference, since the other being might be an actor or a robot [Grayling] |
3519 | Man uses his body, so must be separate from it [Anon (Plat), by Maslin] |
7293 | It is legitimate to do harm if it is the unintended side-effect of an effort to achieve a good [Grayling] |
7809 | In an honour code shame is the supreme punishment, and revenge is a duty [Grayling] |
23262 | Experience, sympathy and history are sensible grounds for laying claim to rights [Grayling] |
23263 | Politics is driven by power cliques [Grayling] |
23255 | It is essential for democracy that voting is free and well informed [Grayling] |
23254 | Democracies should require a supermajority for major questions [Grayling] |
23260 | A cap on time of service would restrict party control and career ambitions [Grayling] |
23253 | Majority decisions are only acceptable if the minority interests are not vital [Grayling] |
23256 | Liberty and equality cannot be reconciled [Grayling] |
23258 | The very concept of democracy entails a need for justice [Grayling] |
23259 | There should be separate legislative, executive and judicial institutions [Grayling] |
7292 | War must also have a good chance of success, and be waged with moderation [Grayling] |
7824 | If suicide is lawful, but assisting suicide is unlawful, powerless people are denied their rights [Grayling] |
7819 | Religion gives answers, comforts, creates social order, and panders to superstition [Grayling] |
7817 | To make an afterlife appealing, this life has to be denigrated [Grayling] |
7818 | In Greek mythology only heroes can go to heaven [Grayling] |