91 ideas
| 9641 | Definitions should be replaceable by primitives, and should not be creative [Brown,JR] |
| 9634 | Set theory says that natural numbers are an actual infinity (to accommodate their powerset) [Brown,JR] |
| 9613 | Naïve set theory assumed that there is a set for every condition [Brown,JR] |
| 9615 | Nowadays conditions are only defined on existing sets [Brown,JR] |
| 9617 | The 'iterative' view says sets start with the empty set and build up [Brown,JR] |
| 9642 | A flock of birds is not a set, because a set cannot go anywhere [Brown,JR] |
| 9605 | If a proposition is false, then its negation is true [Brown,JR] |
| 9649 | Axioms are either self-evident, or stipulations, or fallible attempts [Brown,JR] |
| 9638 | Berry's Paradox finds a contradiction in the naming of huge numbers [Brown,JR] |
| 9604 | Mathematics is the only place where we are sure we are right [Brown,JR] |
| 9622 | 'There are two apples' can be expressed logically, with no mention of numbers [Brown,JR] |
| 9648 | π is a 'transcendental' number, because it is not the solution of an equation [Brown,JR] |
| 9621 | Mathematics represents the world through structurally similar models. [Brown,JR] |
| 9646 | There is no limit to how many ways something can be proved in mathematics [Brown,JR] |
| 9647 | Computers played an essential role in proving the four-colour theorem of maps [Brown,JR] |
| 9643 | Set theory may represent all of mathematics, without actually being mathematics [Brown,JR] |
| 9644 | When graphs are defined set-theoretically, that won't cover unlabelled graphs [Brown,JR] |
| 9625 | To see a structure in something, we must already have the idea of the structure [Brown,JR] |
| 9628 | Sets seem basic to mathematics, but they don't suit structuralism [Brown,JR] |
| 9606 | The irrationality of root-2 was achieved by intellect, not experience [Brown,JR] |
| 9612 | There is an infinity of mathematical objects, so they can't be physical [Brown,JR] |
| 9610 | Numbers are not abstracted from particulars, because each number is a particular [Brown,JR] |
| 9620 | Empiricists base numbers on objects, Platonists base them on properties [Brown,JR] |
| 9639 | Does some mathematics depend entirely on notation? [Brown,JR] |
| 9629 | For nomalists there are no numbers, only numerals [Brown,JR] |
| 9630 | The most brilliant formalist was Hilbert [Brown,JR] |
| 9608 | There are no constructions for many highly desirable results in mathematics [Brown,JR] |
| 9645 | Constructivists say p has no value, if the value depends on Goldbach's Conjecture [Brown,JR] |
| 9619 | David's 'Napoleon' is about something concrete and something abstract [Brown,JR] |
| 2590 | Dispositions need mental terms to define them [Putnam] |
| 2591 | Total paralysis would mean that there were mental states but no behaviour at all [Putnam] |
| 2588 | Is pain a functional state of a complete organism? [Putnam] |
| 2589 | Functionalism is compatible with dualism, as pure mind could perform the functions [Putnam] |
| 2592 | Functional states correlate with AND explain pain behaviour [Putnam] |
| 2587 | Temperature is mean molecular kinetic energy, but they are two different concepts [Putnam] |
| 6376 | Neuroscience does not support multiple realisability, and tends to support identity [Polger on Putnam] |
| 2330 | If humans and molluscs both feel pain, it can't be a single biological state [Putnam, by Kim] |
| 9611 | 'Abstract' nowadays means outside space and time, not concrete, not physical [Brown,JR] |
| 9609 | The older sense of 'abstract' is where 'redness' or 'group' is abstracted from particulars [Brown,JR] |
| 9640 | A term can have not only a sense and a reference, but also a 'computational role' [Brown,JR] |
| 19906 | All countries are in a mutual state of nature [Locke] |
| 19882 | We are not created for solitude, but are driven into society by our needs [Locke] |
| 19864 | In nature men can dispose of possessions and their persons in any way that is possible [Locke] |
| 19865 | There is no subjection in nature, and all creatures of the same species are equal [Locke] |
| 19866 | The rational law of nature says we are all equal and independent, and should show mutual respect [Locke] |
| 19872 | The animals and fruits of the earth belong to mankind [Locke] |
| 19907 | There is a natural right to inheritance within a family [Locke] |
| 19863 | Politics is the right to make enforceable laws to protect property and the state, for the common good [Locke] |
| 5654 | The Second Treatise explores the consequences of the contractual view of the state [Locke, by Scruton] |
| 19888 | A society only begins if there is consent of all the individuals to join it [Locke] |
| 6702 | If anyone enjoys the benefits of government (even using a road) they give tacit assent to its laws [Locke] |
| 19909 | A politic society is created from a state of nature by a unanimous agreement [Locke] |
| 19910 | A single will creates the legislature, which is duty-bound to preserve that will [Locke] |
| 19893 | Anyone who enjoys the benefits of a state has given tacit consent to be part of it [Locke] |
| 19894 | You can only become an actual member of a commonwealth by an express promise [Locke] |
| 19892 | Children are not born into citizenship of a state [Locke] |
| 19885 | Absolute monarchy is inconsistent with civil society [Locke] |
| 19886 | The idea that absolute power improves mankind is confuted by history [Locke] |
| 19903 | Despotism is arbitrary power to kill, based neither on natural equality, nor any social contract [Locke] |
| 19905 | People stripped of their property are legitimately subject to despotism [Locke] |
| 19904 | Legitimate prisoners of war are subject to despotism, because that continues the state of war [Locke] |
| 19895 | Even the legislature must be preceded by a law which gives it power to make laws [Locke] |
| 19900 | The executive must not be the legislature, or they may exempt themselves from laws [Locke] |
| 19902 | Any obstruction to the operation of the legislature can be removed forcibly by the people [Locke] |
| 19908 | Rebelling against an illegitimate power is no sin [Locke] |
| 19911 | If legislators confiscate property, or enslave people, they are no longer owed obedience [Locke] |
| 19901 | The people have supreme power, to depose a legislature which has breached their trust [Locke] |
| 19887 | Unanimous consent makes a united community, which is then ruled by the majority [Locke] |
| 19913 | A master forfeits ownership of slaves he abandons [Locke] |
| 19883 | Slaves captured in a just war have no right to property, so are not part of civil society [Locke] |
| 19870 | If you try to enslave me, you have declared war on me [Locke] |
| 19871 | Freedom is not absence of laws, but living under laws arrived at by consent [Locke] |
| 19880 | All value depends on the labour involved [Locke] |
| 19884 | There is only a civil society if the members give up all of their natural executive rights [Locke] |
| 19873 | We all own our bodies, and the work we do is our own [Locke] |
| 6580 | Locke (and Marx) held that ownership of objects is a natural relation, based on the labour put into it [Locke, by Fogelin] |
| 20520 | Locke says 'mixing of labour' entitles you to land, as well as nuts and berries [Wolff,J on Locke] |
| 19875 | A man's labour gives ownership rights - as long as there are fair shares for all [Locke] |
| 19874 | If a man mixes his labour with something in Nature, he thereby comes to own it [Locke] |
| 19877 | Fountain water is everyone's, but a drawn pitcher of water has an owner [Locke] |
| 19876 | Gathering natural fruits gives ownership; the consent of other people is irrelevant [Locke] |
| 19878 | Mixing labour with a thing bestows ownership - as long as the thing is not wasted [Locke] |
| 19879 | A man owns land if he cultivates it, to the limits of what he needs [Locke] |
| 19898 | Soldiers can be commanded to die, but not to hand over their money [Locke] |
| 19881 | The aim of law is not restraint, but to make freedom possible [Locke] |
| 19868 | It is only by a law of Nature that we can justify punishing foreigners [Locke] |
| 19867 | Reparation and restraint are the only justifications for punishment [Locke] |
| 19912 | Self-defence is natural, but not the punishment of superiors by inferiors [Locke] |
| 19869 | Punishment should make crime a bad bargain, leading to repentance and deterrence [Locke] |
| 19899 | The consent of the people is essential for any tax [Locke] |
| 9635 | Given atomism at one end, and a finite universe at the other, there are no physical infinities [Brown,JR] |