53 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] |
| 17774 | Definitions make our intuitions mathematically useful [Mayberry] |
| 17773 | Proof shows that it is true, but also why it must be true [Mayberry] |
| 1852 | For the mind Good is one truth among many, and Truth is one good among many [Aquinas] |
| 17795 | Set theory can't be axiomatic, because it is needed to express the very notion of axiomatisation [Mayberry] |
| 17796 | There is a semi-categorical axiomatisation of set-theory [Mayberry] |
| 17800 | The misnamed Axiom of Infinity says the natural numbers are finite in size [Mayberry] |
| 17801 | The set hierarchy doesn't rely on the dubious notion of 'generating' them [Mayberry] |
| 17803 | Limitation of size is part of the very conception of a set [Mayberry] |
| 17786 | The mainstream of modern logic sees it as a branch of mathematics [Mayberry] |
| 17788 | First-order logic only has its main theorems because it is so weak [Mayberry] |
| 17791 | Only second-order logic can capture mathematical structure up to isomorphism [Mayberry] |
| 17787 | Big logic has one fixed domain, but standard logic has a domain for each interpretation [Mayberry] |
| 17790 | No Löwenheim-Skolem logic can axiomatise real analysis [Mayberry] |
| 17779 | 'Classificatory' axioms aim at revealing similarity in morphology of structures [Mayberry] |
| 17778 | Axiomatiation relies on isomorphic structures being essentially the same [Mayberry] |
| 17780 | 'Eliminatory' axioms get rid of traditional ideal and abstract objects [Mayberry] |
| 17789 | No logic which can axiomatise arithmetic can be compact or complete [Mayberry] |
| 17784 | Real numbers can be eliminated, by axiom systems for complete ordered fields [Mayberry] |
| 17782 | Greek quantities were concrete, and ratio and proportion were their science [Mayberry] |
| 17781 | Real numbers were invented, as objects, to simplify and generalise 'quantity' [Mayberry] |
| 17799 | Cantor's infinite is an absolute, of all the sets or all the ordinal numbers [Mayberry] |
| 17797 | Cantor extended the finite (rather than 'taming the infinite') [Mayberry] |
| 17775 | If proof and definition are central, then mathematics needs and possesses foundations [Mayberry] |
| 17776 | The ultimate principles and concepts of mathematics are presumed, or grasped directly [Mayberry] |
| 17777 | Foundations need concepts, definition rules, premises, and proof rules [Mayberry] |
| 17804 | Axiom theories can't give foundations for mathematics - that's using axioms to explain axioms [Mayberry] |
| 17792 | 1st-order PA is only interesting because of results which use 2nd-order PA [Mayberry] |
| 17793 | It is only 2nd-order isomorphism which suggested first-order PA completeness [Mayberry] |
| 17794 | Set theory is not just first-order ZF, because that is inadequate for mathematics [Mayberry] |
| 17802 | We don't translate mathematics into set theory, because it comes embodied in that way [Mayberry] |
| 17805 | Set theory is not just another axiomatised part of mathematics [Mayberry] |
| 17785 | Real numbers as abstracted objects are now treated as complete ordered fields [Mayberry] |
| 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] |
| 6613 | The natural kinds are objects, processes and properties/relations [Ellis] |
| 1859 | Even a sufficient cause doesn't compel its effect, because interference could interrupt the process [Aquinas] |
| 6616 | Least action is not a causal law, but a 'global law', describing a global essence [Ellis] |
| 6615 | A species requires a genus, and its essence includes the essence of the genus [Ellis] |
| 6614 | A hierarchy of natural kinds is elaborate ontology, but needed to explain natural laws [Ellis] |
| 6612 | Without general principles, we couldn't predict the behaviour of dispositional properties [Ellis] |