31 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] |
| 19125 | If we define truth, we can eliminate it [Halbach/Leigh] |
| 1852 | For the mind Good is one truth among many, and Truth is one good among many [Aquinas] |
| 19128 | If a language cannot name all objects, then satisfaction must be used, instead of unary truth [Halbach/Leigh] |
| 19120 | Semantic theories need a powerful metalanguage, typically including set theory [Halbach/Leigh] |
| 19127 | The T-sentences are deductively weak, and also not deductively conservative [Halbach/Leigh] |
| 19124 | A natural theory of truth plays the role of reflection principles, establishing arithmetic's soundness [Halbach/Leigh] |
| 19126 | If deflationary truth is not explanatory, truth axioms should be 'conservative', proving nothing new [Halbach/Leigh] |
| 19129 | The FS axioms use classical logical, but are not fully consistent [Halbach/Leigh] |
| 19130 | KF is formulated in classical logic, but describes non-classical truth, which allows truth-value gluts [Halbach/Leigh] |
| 10580 | Mathematics is both necessary and a priori because it really consists of logical truths [Yablo] |
| 10579 | Putting numbers in quantifiable position (rather than many quantifiers) makes expression easier [Yablo] |
| 10577 | Concrete objects have few essential properties, but properties of abstractions are mostly essential [Yablo] |
| 10578 | We are thought to know concreta a posteriori, and many abstracta a priori [Yablo] |
| 19121 | We can reduce properties to true formulas [Halbach/Leigh] |
| 19122 | Nominalists can reduce theories of properties or sets to harmless axiomatic truth theories [Halbach/Leigh] |
| 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] |
| 1859 | Even a sufficient cause doesn't compel its effect, because interference could interrupt the process [Aquinas] |