Combining Texts

All the ideas for 'fragments/reports', 'Quaestiones Disputatae de Malo' and 'Model Theory'

expand these ideas     |    start again     |     specify just one area for these texts

27 ideas

2. Reason / A. Nature of Reason / 1. On Reason
1848 We are coerced into assent to a truth by reason's violence [Aquinas]
2. Reason / A. Nature of Reason / 4. Aims of Reason
1858 The mind is compelled by necessary truths, but not by contingent truths [Aquinas]
2. Reason / D. Definition / 7. Contextual Definition
10476 The idea that groups of concepts could be 'implicitly defined' was abandoned [Hodges,W]
3. Truth / A. Truth Problems / 3. Value of Truth
1852 For the mind Good is one truth among many, and Truth is one good among many [Aquinas]
5. Theory of Logic / A. Overview of Logic / 5. First-Order Logic
10478 Since first-order languages are complete, |= and |- have the same meaning [Hodges,W]
5. Theory of Logic / B. Logical Consequence / 4. Semantic Consequence |=
10477 |= in model-theory means 'logical consequence' - it holds in all models [Hodges,W]
5. Theory of Logic / I. Semantics of Logic / 4. Satisfaction
10474 |= should be read as 'is a model for' or 'satisfies' [Hodges,W]
5. Theory of Logic / J. Model Theory in Logic / 1. Logical Models
10473 Model theory studies formal or natural language-interpretation using set-theory [Hodges,W]
10475 A 'structure' is an interpretation specifying objects and classes of quantification [Hodges,W]
10481 Models in model theory are structures, not sets of descriptions [Hodges,W]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / i. Cardinal infinity
10480 First-order logic can't discriminate between one infinite cardinal and another [Hodges,W]
12. Knowledge Sources / D. Empiricism / 5. Empiricism Critique
1860 Knowledge may be based on senses, but we needn't sense all our knowledge [Aquinas]
16. Persons / F. Free Will / 3. Constraints on the will
1855 If we saw something as totally and utterly good, we would be compelled to will it [Aquinas]
16. Persons / F. Free Will / 4. For Free Will
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]
16. Persons / F. Free Will / 5. Against Free Will
1854 We must admit that when the will is not willing something, the first movement to will must come from outside the will [Aquinas]
20. Action / B. Preliminaries of Action / 2. Willed Action / a. Will to Act
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]
22. Metaethics / A. Ethics Foundations / 1. Nature of Ethics / g. Moral responsibility
1850 Without free will not only is ethical action meaningless, but also planning, commanding, praising and blaming [Aquinas]
22. Metaethics / C. The Good / 1. Goodness / g. Consequentialism
1851 Good applies to goals, just as truth applies to ideas in the mind [Aquinas]
25. Social Practice / E. Policies / 5. Education / b. Education principles
13304 Learned men gain more in one day than others do in a lifetime [Posidonius]
26. Natural Theory / C. Causation / 9. General Causation / d. Causal necessity
1859 Even a sufficient cause doesn't compel its effect, because interference could interrupt the process [Aquinas]
27. Natural Reality / D. Time / 1. Nature of Time / d. Time as measure
20820 Time is an interval of motion, or the measure of speed [Posidonius, by Stobaeus]