95 ideas
6222 | If a decision is in accord with right reason, everyone can agree with it [Cumberland] |
15945 | Second-order set theory just adds a version of Replacement that quantifies over functions [Lavine] |
15914 | An 'upper bound' is the greatest member of a subset; there may be several of these, so there is a 'least' one [Lavine] |
15921 | Collections of things can't be too big, but collections by a rule seem unlimited in size [Lavine] |
15937 | Those who reject infinite collections also want to reject the Axiom of Choice [Lavine] |
15936 | The Power Set is just the collection of functions from one collection to another [Lavine] |
15899 | Replacement was immediately accepted, despite having very few implications [Lavine] |
15930 | Foundation says descending chains are of finite length, blocking circularity, or ungrounded sets [Lavine] |
15920 | Pure collections of things obey Choice, but collections defined by a rule may not [Lavine] |
15898 | The controversy was not about the Axiom of Choice, but about functions as arbitrary, or given by rules [Lavine] |
15919 | The 'logical' notion of class has some kind of definition or rule to characterise the class [Lavine] |
15900 | The iterative conception of set wasn't suggested until 1947 [Lavine] |
15931 | The iterative conception needs the Axiom of Infinity, to show how far we can iterate [Lavine] |
15932 | The iterative conception doesn't unify the axioms, and has had little impact on mathematical proofs [Lavine] |
15933 | Limitation of Size: if it's the same size as a set, it's a set; it uses Replacement [Lavine] |
15913 | A collection is 'well-ordered' if there is a least element, and all of its successors can be identified [Lavine] |
15926 | Second-order logic presupposes a set of relations already fixed by the first-order domain [Lavine] |
15934 | Mathematical proof by contradiction needs the law of excluded middle [Lavine] |
15907 | Mathematics is nowadays (thanks to set theory) regarded as the study of structure, not of quantity [Lavine] |
15942 | Every rational number, unlike every natural number, is divisible by some other number [Lavine] |
15922 | For the real numbers to form a set, we need the Continuum Hypothesis to be true [Lavine] |
18250 | Cauchy gave a necessary condition for the convergence of a sequence [Lavine] |
15904 | The two sides of the Cut are, roughly, the bounding commensurable ratios [Lavine] |
15912 | Counting results in well-ordering, and well-ordering makes counting possible [Lavine] |
15947 | The infinite is extrapolation from the experience of indefinitely large size [Lavine] |
15949 | The theory of infinity must rest on our inability to distinguish between very large sizes [Lavine] |
15940 | The intuitionist endorses only the potential infinite [Lavine] |
15909 | 'Aleph-0' is cardinality of the naturals, 'aleph-1' the next cardinal, 'aleph-ω' the ω-th cardinal [Lavine] |
15915 | Ordinals are basic to Cantor's transfinite, to count the sets [Lavine] |
15917 | Paradox: the class of all ordinals is well-ordered, so must have an ordinal as type - giving a bigger ordinal [Lavine] |
15918 | Paradox: there is no largest cardinal, but the class of everything seems to be the largest [Lavine] |
15929 | Set theory will found all of mathematics - except for the notion of proof [Lavine] |
15935 | Modern mathematics works up to isomorphism, and doesn't care what things 'really are' [Lavine] |
15928 | Intuitionism rejects set-theory to found mathematics [Lavine] |
6217 | Natural law is supplied to the human mind by reality and human nature [Cumberland] |
19956 | True goodness is political, and consists of love of and submission to the laws [Montesquieu] |
6221 | If there are different ultimate goods, there will be conflicting good actions, which is impossible [Cumberland] |
6218 | The happiness of individuals is linked to the happiness of everyone (which is individuals taken together) [Cumberland] |
6220 | The happiness of all contains the happiness of each, and promotes it [Cumberland] |
19962 | Men do not desire to subjugate one another; domination is a complex and advanced idea [Montesquieu] |
19961 | Primitive people would be too vulnerable and timid to attack anyone, so peace would reign [Montesquieu] |
19963 | People are drawn into society by needs, shared fears, pleasure, and knowledge [Montesquieu] |
20008 | People are guided by a multitude of influences, from which the spirit of a nation emerges [Montesquieu] |
19993 | In small republics citizens identify with the public good, and abuses are fewer [Montesquieu] |
19992 | In a large republic there is too much wealth for individuals to manage it [Montesquieu] |
20005 | The rich would never submit to a lottery deciding which part of their society should be slaves [Montesquieu] |
19995 | All states aim at preservation, and then have distinctive individual purposes [Montesquieu] |
19964 | The natural power of a father suggests rule by one person, but that authority can be spread [Montesquieu] |
19972 | The nobility are an indispensable part of a monarchy [Montesquieu] |
19974 | Monarchs must not just have links to the people; they need a body which maintains the laws [Montesquieu] |
19976 | Ambition is good in a monarchy, because the monarch can always restrain it [Montesquieu] |
19978 | In monarchies, men's actions are judged by their grand appearance, not their virtues [Montesquieu] |
19985 | In a monarchy, the nobility must be hereditary, to bind them together [Montesquieu] |
19986 | Monarchies can act more quickly, because one person is in charge [Montesquieu] |
19988 | A despot's agents must be given power, so they inevitably become corrupt [Montesquieu] |
19975 | Despots are always lazy and ignorant, so they always delegate their power to a vizier [Montesquieu] |
19977 | Despotism and honour are incompatible, because honour scorns his power, and lives by rules [Montesquieu] |
20007 | Tyranny is either real violence, or the imposition of unpopular legislation [Montesquieu] |
19989 | The will of a despot is an enigma, so magistrates can only follow their own will [Montesquieu] |
19970 | If the nobility is numerous, the senate is the artistocracy, and the nobles are a democracy [Montesquieu] |
19971 | Aristocracy is democratic if they resemble the people, but not if they resemble the monarch [Montesquieu] |
19984 | Great inequality between aristocrats and the rest is bad - and also among aristocrats themselves [Montesquieu] |
19980 | If a government is to be preserved, it must first be loved [Montesquieu] |
19996 | A government has a legislature, an international executive, and a domestic executive [Montesquieu] |
19997 | The judiciary must be separate from the legislature, to avoid arbitrary power [Montesquieu] |
19965 | The fundamental laws of a democracy decide who can vote [Montesquieu] |
19968 | It is basic to a democracy that the people themselves must name their ministers [Montesquieu] |
19969 | Voting should be public, so the lower classes can be influenced by the example of notable people [Montesquieu] |
19999 | All citizens (apart from the very humble poor) should choose their representatives [Montesquieu] |
19967 | In a democracy the people should manage themselves, and only delegate what they can't do [Montesquieu] |
19966 | A democratic assembly must have a fixed number, to see whether everyone has spoken [Montesquieu] |
19998 | If deputies represent people, they are accountable, but less so if they represent places [Montesquieu] |
20000 | Slavery is entirely bad; the master abandons the virtues, and they are pointless in the slave [Montesquieu] |
20003 | Slaves are not members of the society, so no law can forbid them to run away [Montesquieu] |
20006 | The demand for slavery is just the masters' demand for luxury [Montesquieu] |
20009 | Freedom of speech and writing, within the law, is essential to preserve liberty [Montesquieu] |
19994 | Freedom in society is ability to do what is right, and not having to do what is wrong [Montesquieu] |
19981 | No one even thinks of equality in monarchies and despotism; they all want superiority [Montesquieu] |
19991 | Equality is not command by everyone or no one, but command and obedience among equals [Montesquieu] |
19990 | Democracy is corrupted by lack of equality, or by extreme equality (between rulers and ruled) [Montesquieu] |
19982 | Some equality can be achieved by social categories, combined with taxes and poor relief [Montesquieu] |
19983 | Democracies may sometimes need to restrict equality [Montesquieu] |
6216 | Natural law is immutable truth giving moral truths and duties independent of society [Cumberland] |
19959 | Prior to positive laws there is natural equity, of obedience, gratitude, dependence and merit [Montesquieu] |
19960 | Sensation gives animals natural laws, but knowledge can make them break them [Montesquieu] |
20002 | The death penalty is permissible, because its victims enjoyed the protection of that law [Montesquieu] |
20010 | If religion teaches determinism, penalties must be severe; if free will, then that is different [Montesquieu] |
20001 | The only right victors have over captives is the protection of the former [Montesquieu] |
19973 | The clergy are essential to a monarchy, but dangerous in a republic [Montesquieu] |
20011 | Religion can support the state when the law fails to do so [Montesquieu] |
19987 | Religion has the most influence in despotic states, and reinforces veneration for the ruler [Montesquieu] |
20004 | French slavery was accepted because it was the best method of religious conversion [Montesquieu] |
19979 | In monarchies education ennobles people, and in despotisms it debases them [Montesquieu] |
19957 | Teaching is the best practice of the general virtue that leads us to love everyone [Montesquieu] |
19958 | Laws are the necessary relations that derive from the nature of things [Montesquieu] |