92 ideas
| 17774 | Definitions make our intuitions mathematically useful [Mayberry] |
| 17773 | Proof shows that it is true, but also why it must be true [Mayberry] |
| 5728 | The concept of truth was originated by the senses [Lucretius] |
| 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] |
| 5702 | The senses are much the best way to distinguish true from false [Lucretius] |
| 5729 | If the senses are deceptive, reason, which rests on them, is even worse [Lucretius] |
| 5697 | The only possible standard for settling doubts is the foundation of the senses [Lucretius] |
| 5727 | Most supposed delusions of the senses are really misinterpretations by the mind [Lucretius] |
| 5714 | Even simple facts are hard to believe at first hearing [Lucretius] |
| 5718 | The mind is in the middle of the breast, because there we experience fear and joy [Lucretius] |
| 5717 | The mind is a part of a man, just like a hand or an eye [Lucretius] |
| 21387 | The separate elements and capacities of a mind cannot be distinguished [Lucretius] |
| 5709 | The actions of the mind are not determinate and passive, because atoms can swerve [Lucretius] |
| 5695 | Only bodies can touch one another [Lucretius] |
| 5711 | The earth is and always has been an insentient being [Lucretius] |
| 5712 | Particles may have sensation, but eggs turning into chicks suggests otherwise [Lucretius] |
| 5719 | The mind moves limbs, wakes the body up, changes facial expressions, which involve touch [Lucretius] |
| 5724 | Lions, foxes and deer have distinct characters because their minds share in their bodies [Lucretius] |
| 5713 | You needn't be made of laughing particles to laugh, so why not sensation from senseless seeds? [Lucretius] |
| 6611 | One man's meat is another man's poison [Lucretius] |
| 5730 | Our bodies weren't created to be used; on the contrary, their creation makes a use possible [Lucretius] |
| 23110 | Human injustice is not a permanent feature of communities [Rawls] |
| 5726 | The dead are no different from those who were never born [Lucretius] |
| 15676 | Rawls defends the priority of right over good [Rawls, by Finlayson] |
| 5705 | Nature only wants two things: freedom from pain, and pleasure [Lucretius] |
| 4123 | A fair arrangement is one that parties can agree to without knowing how it will benefit them personally [Rawls, by Williams,B] |
| 21051 | Check your rationality by thinking of your opinion pronounced by the supreme court [Rawls] |
| 3279 | Utilitarianism inappropriately scales up the individual willingness to make sacrifices [Rawls, by Nagel] |
| 22406 | The maximisation of happiness must be done fairly [Rawls, by Smart] |
| 21137 | Rawls rejected cosmopolitanism because it doesn't respect the autonomy of 'peoples' [Rawls, by Shorten] |
| 3280 | Why does the rational agreement of the 'Original Position' in Rawls make it right? [Nagel on Rawls] |
| 20552 | The original position models the idea that citizens start as free and equal [Rawls, by Swift] |
| 18636 | Choose justice principles in ignorance of your own social situation [Rawls] |
| 18631 | All desirable social features should be equal, unless inequality favours the disadvantaged [Rawls] |
| 21119 | Power is only legitimate if it is reasonable for free equal citizens to endorse the constitution [Rawls] |
| 20538 | Utilitarians lump persons together; Rawls somewhat separates them; Nozick wholly separates them [Swift on Rawls] |
| 9277 | Rawls's account of justice relies on conventional fairness, avoiding all moral controversy [Gray on Rawls] |
| 23420 | In a pluralist society we can't expect a community united around one conception of the good [Rawls] |
| 20527 | Liberty Principle: everyone has an equal right to liberties, if compatible with others' liberties [Rawls] |
| 21018 | The social contract has problems with future generations, national boundaries, disabilities and animals [Rawls, by Nussbaum] |
| 21041 | Justice concerns not natural distributions, or our born location, but what we do about them [Rawls] |
| 23583 | If an aggression is unjust, the constraints on how it is fought are much stricter [Rawls] |
| 5716 | Nature runs the universe by herself without the aid of gods [Lucretius] |
| 5704 | There can be no centre in infinity [Lucretius] |
| 5703 | The universe must be limitless, since there could be nothing outside to limit it [Lucretius] |
| 5693 | Everything is created and fed by nature from atoms, and they return to atoms in death [Lucretius] |
| 5701 | If an object is infinitely subdivisible, it will be the same as the whole universe [Lucretius] |
| 5708 | In downward motion, atoms occasionally swerve slightly for no reason [Lucretius] |
| 17004 | Nothing can break the binding laws of eternity [Lucretius] |
| 5706 | Atoms move themselves [Lucretius] |
| 5696 | If there were no space there could be no movement, or even creation [Lucretius] |
| 5700 | It is quicker to break things up than to assemble them [Lucretius] |
| 5698 | We can only sense time by means of movement, or its absence [Lucretius] |
| 5715 | This earth is very unlikely to be the only one created [Lucretius] |
| 5694 | Nothing can be created by divine power out of nothing [Lucretius] |
| 5699 | If matter wasn't everlasting, everything would have disappeared by now [Lucretius] |
| 5707 | The universe can't have been created by gods, because it is too imperfect [Lucretius] |
| 5710 | Gods are tranquil and aloof, and have no need of or interest in us [Lucretius] |
| 5731 | Why does Jupiter never hurl lightning from a blue sky? [Lucretius] |
| 5722 | For a separated spirit to remain sentient it would need sense organs attached to it [Lucretius] |
| 5725 | An immortal mind couldn't work harmoniously with a mortal body [Lucretius] |
| 5720 | Spirit is mortal [Lucretius] |
| 5721 | The mind is very small smooth particles, which evaporate at death [Lucretius] |
| 5723 | If spirit is immortal and enters us at birth, why don't we remember a previous existence? [Lucretius] |