58 ideas
| 23728 | Analysis aims to express the full set of platitudes surrounding a given concept [Smith,M] |
| 23744 | Defining a set of things by paradigms doesn't pin them down enough [Smith,M] |
| 13030 | Extensionality: ∀x ∀y (∀z (z ∈ x ↔ z ∈ y) → x = y) [Kunen] |
| 13032 | Pairing: ∀x ∀y ∃z (x ∈ z ∧ y ∈ z) [Kunen] |
| 13033 | Union: ∀F ∃A ∀Y ∀x (x ∈ Y ∧ Y ∈ F → x ∈ A) [Kunen] |
| 13037 | Infinity: ∃x (0 ∈ x ∧ ∀y ∈ x (S(y) ∈ x) [Kunen] |
| 13038 | Power Set: ∀x ∃y ∀z(z ⊂ x → z ∈ y) [Kunen] |
| 13034 | Replacement: ∀x∈A ∃!y φ(x,y) → ∃Y ∀X∈A ∃y∈Y φ(x,y) [Kunen] |
| 13039 | Foundation:∀x(∃y(y∈x) → ∃y(y∈x ∧ ¬∃z(z∈x ∧ z∈y))) [Kunen] |
| 13036 | Choice: ∀A ∃R (R well-orders A) [Kunen] |
| 13029 | Set Existence: ∃x (x = x) [Kunen] |
| 13031 | Comprehension: ∃y ∀x (x ∈ y ↔ x ∈ z ∧ φ) [Kunen] |
| 13040 | Constructibility: V = L (all sets are constructible) [Kunen] |
| 23743 | Capturing all the common sense facts about rationality is almost impossible [Smith,M] |
| 23739 | Goals need desires, and so only desires can motivate us [Smith,M] |
| 23724 | A pure desire could be criticised if it were based on a false belief [Smith,M] |
| 23736 | A person can have a desire without feeling it [Smith,M] |
| 23723 | In the Humean account, desires are not true/false, or subject to any rational criticism [Smith,M] |
| 23735 | Subjects may be fallible about the desires which explain their actions [Smith,M] |
| 23738 | Humeans (unlike their opponents) say that desires and judgements can separate [Smith,M] |
| 23742 | If first- and second-order desires conflict, harmony does not require the second-order to win [Smith,M] |
| 23746 | Objective reasons to act might be the systematic desires of a fully rational person [Smith,M] |
| 23733 | Motivating reasons are psychological, while normative reasons are external [Smith,M] |
| 23740 | Humeans take maximising desire satisfaction as the normative reasons for actions [Smith,M] |
| 23745 | We cannot expect even fully rational people to converge on having the same desires for action [Smith,M] |
| 23731 | 'Externalists' say moral judgements are not reasons, and maybe not even motives [Smith,M] |
| 23732 | A person could make a moral judgement without being in any way motivated by it [Smith,M] |
| 23729 | Moral internalism says a judgement of rightness is thereby motivating [Smith,M] |
| 23730 | 'Rationalism' says the rightness of an action is a reason to perform it [Smith,M] |
| 23727 | Expressivists count attitudes as 'moral' if they concern features of things, rather than their mere existence [Smith,M] |
| 23741 | Is valuing something a matter of believing or a matter of desiring? [Smith,M] |
| 22849 | Rawls's theory cannot justify liberalism, since it presupposes free and equal participants [Charvet] |
| 22848 | People with strong prior beliefs would have nothing to do with a veil of ignorance [Charvet] |
| 22838 | Societies need shared values, so conservatism is right if rational discussion of values is impossible [Charvet] |
| 22846 | The universalism of utilitarianism implies a world state [Charvet] |
| 22835 | Liberals value freedom and equality, but the society itself must decide on its values [Charvet] |
| 22831 | Modern libertarian societies still provide education and some housing [Charvet] |
| 22839 | Liberalism needs people to either have equal autonomy, or everyone to have enough autonomy [Charvet] |
| 22847 | Kant places a higher value on the universal rational will than on the people asserting it [Charvet] |
| 22821 | Liberalism asserts maximum freedom, but that must be equal for all participants [Charvet] |
| 22834 | Egalitarian liberals prefer equality (either of input or outcome) to liberty [Charvet] |
| 22822 | Liberals promote community and well-being - because all good societies need them [Charvet] |
| 22841 | Identity multiculturalism emerges from communitarianism, preferring community to humanity [Charvet] |
| 22842 | For communitarians it seems that you must accept the culture you are born into [Charvet] |
| 22830 | Give by ability and receive by need, rather than a free labour market [Charvet] |
| 22829 | Allowing defamatory speech is against society's interests, by blurring which people are trustworthy [Charvet] |
| 22836 | 'Freedom from' is an empty idea, if the freedom is not from impediments to my desires [Charvet] |
| 22837 | Positive freedom can lead to coercion, if you are forced to do what you chose to do [Charvet] |
| 22844 | First level autonomy is application of personal values; second level is criticising them [Charvet] |
| 22840 | Mere equality, as in two trees being the same height, has no value at all [Charvet] |
| 22843 | Inequalities are worse if they seem to be your fault, rather than social facts [Charvet] |
| 22845 | Money allows unlimited inequalities, and we obviously all agree to money [Charvet] |
| 22823 | The rule of law is mainly to restrict governments [Charvet] |
| 22825 | The 1689 Bill of Rights denied the monarch new courts, or the right to sit as judge [Charvet] |
| 22826 | From 1701 only parliament could remove judges, whose decisions could not be discussed [Charvet] |
| 22827 | Justice superior to the rule of law is claimed on behalf of the workers, or the will of the nation [Charvet] |
| 22828 | The rule of law mainly benefits those with property and liberties [Charvet] |
| 22832 | Welfare is needed if citizens are to accept the obligations of a liberal state [Charvet] |