37 ideas
| 1848 | We are coerced into assent to a truth by reason's violence [Aquinas] |
| 1858 | The mind is compelled by necessary truths, but not by contingent truths [Aquinas] |
| 13838 | A decent modern definition should always imply a semantics [Hacking] |
| 1852 | For the mind Good is one truth among many, and Truth is one good among many [Aquinas] |
| 13833 | 'Thinning' ('dilution') is the key difference between deduction (which allows it) and induction [Hacking] |
| 13834 | Gentzen's Cut Rule (or transitivity of deduction) is 'If A |- B and B |- C, then A |- C' [Hacking] |
| 13835 | Only Cut reduces complexity, so logic is constructive without it, and it can be dispensed with [Hacking] |
| 13845 | The various logics are abstractions made from terms like 'if...then' in English [Hacking] |
| 13840 | First-order logic is the strongest complete compact theory with Löwenheim-Skolem [Hacking] |
| 13844 | A limitation of first-order logic is that it cannot handle branching quantifiers [Hacking] |
| 13842 | Second-order completeness seems to need intensional entities and possible worlds [Hacking] |
| 13837 | With a pure notion of truth and consequence, the meanings of connectives are fixed syntactically [Hacking] |
| 13839 | Perhaps variables could be dispensed with, by arrows joining places in the scope of quantifiers [Hacking] |
| 13843 | If it is a logic, the Löwenheim-Skolem theorem holds for it [Hacking] |
| 1860 | Knowledge may be based on senses, but we needn't sense all our knowledge [Aquinas] |
| 1855 | If we saw something as totally and utterly good, we would be compelled to will it [Aquinas] |
| 1856 | Nothing can be willed except what is good, but good is very varied, and so choices are unpredictable [Aquinas] |
| 1862 | However habituated you are, given time to ponder you can go against a habit [Aquinas] |
| 1849 | Since will is a reasoning power, it can entertain opposites, so it is not compelled to embrace one of them [Aquinas] |
| 1861 | The will is not compelled to move, even if pleasant things are set before it [Aquinas] |
| 1853 | Because the will moves by examining alternatives, it doesn't compel itself to will [Aquinas] |
| 1854 | We must admit that when the will is not willing something, the first movement to will must come from outside the will [Aquinas] |
| 1847 | The will must aim at happiness, but can choose the means [Aquinas] |
| 1857 | We don't have to will even perfect good, because we can choose not to think of it [Aquinas] |
| 1846 | The will can only want what it thinks is good [Aquinas] |
| 1850 | Without free will not only is ethical action meaningless, but also planning, commanding, praising and blaming [Aquinas] |
| 1851 | Good applies to goals, just as truth applies to ideas in the mind [Aquinas] |
| 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] |
| 1859 | Even a sufficient cause doesn't compel its effect, because interference could interrupt the process [Aquinas] |