89 ideas
18730 | The history of philosophy only matters if the subject is a choice between rival theories [Wittgenstein] |
18704 | Philosophy tries to be rid of certain intellectual puzzles, irrelevant to daily life [Wittgenstein] |
18710 | Philosophers express puzzlement, but don't clearly state the puzzle [Wittgenstein] |
18732 | We don't need a theory of truth, because we use the word perfectly well [Wittgenstein] |
18714 | We already know what we want to know, and analysis gives us no new facts [Wittgenstein] |
18706 | Words of the same kind can be substituted in a proposition without producing nonsense [Wittgenstein] |
18735 | Talking nonsense is not following the rules [Wittgenstein] |
18719 | Grammar says that saying 'sound is red' is not false, but nonsense [Wittgenstein] |
18731 | There is no theory of truth, because it isn't a concept [Wittgenstein] |
18707 | All thought has the logical form of reality [Wittgenstein] |
9672 | Free logic is one of the few first-order non-classical logics [Priest,G] |
9697 | X1 x X2 x X3... x Xn indicates the 'cartesian product' of those sets [Priest,G] |
9685 | <a,b&62; is a set whose members occur in the order shown [Priest,G] |
9675 | a ∈ X says a is an object in set X; a ∉ X says a is not in X [Priest,G] |
9674 | {x; A(x)} is a set of objects satisfying the condition A(x) [Priest,G] |
9673 | {a1, a2, ...an} indicates that a set comprising just those objects [Priest,G] |
9677 | Φ indicates the empty set, which has no members [Priest,G] |
9676 | {a} is the 'singleton' set of a (not the object a itself) [Priest,G] |
9679 | X⊂Y means set X is a 'proper subset' of set Y [Priest,G] |
9678 | X⊆Y means set X is a 'subset' of set Y [Priest,G] |
9681 | X = Y means the set X equals the set Y [Priest,G] |
9683 | X ∩ Y indicates the 'intersection' of sets X and Y, the objects which are in both sets [Priest,G] |
9682 | X∪Y indicates the 'union' of all the things in sets X and Y [Priest,G] |
9684 | Y - X is the 'relative complement' of X with respect to Y; the things in Y that are not in X [Priest,G] |
9694 | The 'relative complement' is things in the second set not in the first [Priest,G] |
9693 | The 'intersection' of two sets is a set of the things that are in both sets [Priest,G] |
9692 | The 'union' of two sets is a set containing all the things in either of the sets [Priest,G] |
9698 | The 'induction clause' says complex formulas retain the properties of their basic formulas [Priest,G] |
9688 | A 'singleton' is a set with only one member [Priest,G] |
9687 | A 'member' of a set is one of the objects in the set [Priest,G] |
9695 | An 'ordered pair' (or ordered n-tuple) is a set with its members in a particular order [Priest,G] |
9696 | A 'cartesian product' of sets is the set of all the n-tuples with one member in each of the sets [Priest,G] |
9686 | A 'set' is a collection of objects [Priest,G] |
9689 | The 'empty set' or 'null set' has no members [Priest,G] |
9690 | A set is a 'subset' of another set if all of its members are in that set [Priest,G] |
9691 | A 'proper subset' is smaller than the containing set [Priest,G] |
9680 | The empty set Φ is a subset of every set (including itself) [Priest,G] |
18724 | In logic nothing is hidden [Wittgenstein] |
18709 | Laws of logic are like laws of chess - if you change them, it's just a different game [Wittgenstein] |
18736 | Contradiction is between two rules, not between rule and reality [Wittgenstein] |
18723 | We may correctly use 'not' without making the rule explicit [Wittgenstein] |
18718 | Saying 'and' has meaning is just saying it works in a sentence [Wittgenstein] |
18727 | A person's name doesn't mean their body; bodies don't sit down, and their existence can be denied [Wittgenstein] |
18738 | We don't get 'nearer' to something by adding decimals to 1.1412... (root-2) [Wittgenstein] |
18708 | Infinity is not a number, so doesn't say how many; it is the property of a law [Wittgenstein] |
18737 | There are no positive or negative facts; these are just the forms of propositions [Wittgenstein] |
18715 | Using 'green' is a commitment to future usage of 'green' [Wittgenstein] |
18726 | For each necessity in the world there is an arbitrary rule of language [Wittgenstein] |
18712 | Understanding is translation, into action or into other symbols [Wittgenstein] |
18280 | We live in sense-data, but talk about physical objects [Wittgenstein] |
18729 | Part of what we mean by stating the facts is the way we tend to experience them [Wittgenstein] |
18734 | If you remember wrongly, then there must be some other criterion than your remembering [Wittgenstein] |
18721 | Explanation and understanding are the same [Wittgenstein] |
18720 | Explanation gives understanding by revealing the full multiplicity of the thing [Wittgenstein] |
18716 | A machine strikes us as being a rule of movement [Wittgenstein] |
18713 | If an explanation is good, the symbol is used properly in the future [Wittgenstein] |
18717 | Thought is an activity which we perform by the expression of it [Wittgenstein] |
18725 | A proposition draws a line around the facts which agree with it [Wittgenstein] |
18728 | The meaning of a proposition is the mode of its verification [Wittgenstein] |
18705 | Words function only in propositions, like levers in a machine [Wittgenstein] |
18711 | A proposition is any expression which can be significantly negated [Wittgenstein] |
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] |
18733 | Laws of nature are an aspect of the phenomena, and are just our mode of description [Wittgenstein] |