34 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] |
| 12149 | Indexicals are a problem for beliefs being just subject-proposition relations [Perry] |
| 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] |
| 12151 | If we replace 'I' in sentences about me, they are different beliefs and explanations of behaviour [Perry] |
| 18412 | Indexicals individuate certain belief states, helping in explanation and prediction [Perry] |
| 12150 | Indexicals reveal big problems with the traditional idea of a proposition [Perry] |
| 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] |
| 1859 | Even a sufficient cause doesn't compel its effect, because interference could interrupt the process [Aquinas] |
| 15203 | Tense is essential for thought and action [Perry, by Le Poidevin] |
| 15204 | Actual tensed sentences cannot be tenseless, because they can cite their own context [Perry, by Le Poidevin] |