111 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] |
| 18137 | Impredicative definitions are wrong, because they change the set that is being defined? [Bostock] |
| 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] |
| 18122 | Classical interdefinitions of logical constants and quantifiers is impossible in intuitionism [Bostock] |
| 18114 | There is no single agreed structure for set theory [Bostock] |
| 18107 | A 'proper class' cannot be a member of anything [Bostock] |
| 18115 | We could add axioms to make sets either as small or as large as possible [Bostock] |
| 18139 | The Axiom of Choice relies on reference to sets that we are unable to describe [Bostock] |
| 18105 | Replacement enforces a 'limitation of size' test for the existence of sets [Bostock] |
| 18724 | In logic nothing is hidden [Wittgenstein] |
| 18108 | First-order logic is not decidable: there is no test of whether any formula is valid [Bostock] |
| 18109 | The completeness of first-order logic implies its compactness [Bostock] |
| 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] |
| 18123 | Substitutional quantification is just standard if all objects in the domain have a name [Bostock] |
| 18120 | The Deduction Theorem is what licenses a system of natural deduction [Bostock] |
| 18125 | Berry's Paradox considers the meaning of 'The least number not named by this name' [Bostock] |
| 18101 | Each addition changes the ordinality but not the cardinality, prior to aleph-1 [Bostock] |
| 18100 | ω + 1 is a new ordinal, but its cardinality is unchanged [Bostock] |
| 18102 | A cardinal is the earliest ordinal that has that number of predecessors [Bostock] |
| 18106 | Aleph-1 is the first ordinal that exceeds aleph-0 [Bostock] |
| 18738 | We don't get 'nearer' to something by adding decimals to 1.1412... (root-2) [Wittgenstein] |
| 18095 | Instead of by cuts or series convergence, real numbers could be defined by axioms [Bostock] |
| 18099 | The number of reals is the number of subsets of the natural numbers [Bostock] |
| 18093 | For Eudoxus cuts in rationals are unique, but not every cut makes a real number [Bostock] |
| 18708 | Infinity is not a number, so doesn't say how many; it is the property of a law [Wittgenstein] |
| 18110 | Infinitesimals are not actually contradictory, because they can be non-standard real numbers [Bostock] |
| 18156 | Modern axioms of geometry do not need the real numbers [Bostock] |
| 18097 | The Peano Axioms describe a unique structure [Bostock] |
| 18148 | Hume's Principle is a definition with existential claims, and won't explain numbers [Bostock] |
| 18145 | Many things will satisfy Hume's Principle, so there are many interpretations of it [Bostock] |
| 18149 | There are many criteria for the identity of numbers [Bostock] |
| 18143 | Frege makes numbers sets to solve the Caesar problem, but maybe Caesar is a set! [Bostock] |
| 18116 | Numbers can't be positions, if nothing decides what position a given number has [Bostock] |
| 18117 | Structuralism falsely assumes relations to other numbers are numbers' only properties [Bostock] |
| 18141 | Nominalism about mathematics is either reductionist, or fictionalist [Bostock] |
| 18157 | Nominalism as based on application of numbers is no good, because there are too many applications [Bostock] |
| 18150 | Actual measurement could never require the precision of the real numbers [Bostock] |
| 18158 | Ordinals are mainly used adjectively, as in 'the first', 'the second'... [Bostock] |
| 18127 | Simple type theory has 'levels', but ramified type theory has 'orders' [Bostock] |
| 18144 | Neo-logicists agree that HP introduces number, but also claim that it suffices for the job [Bostock] |
| 18147 | Neo-logicists meet the Caesar problem by saying Hume's Principle is unique to number [Bostock] |
| 18146 | If Hume's Principle is the whole story, that implies structuralism [Bostock] |
| 18129 | Many crucial logicist definitions are in fact impredicative [Bostock] |
| 18111 | Treating numbers as objects doesn't seem like logic, since arithmetic fixes their totality [Bostock] |
| 18159 | Higher cardinalities in sets are just fairy stories [Bostock] |
| 18155 | A fairy tale may give predictions, but only a true theory can give explanations [Bostock] |
| 18140 | The best version of conceptualism is predicativism [Bostock] |
| 18138 | Conceptualism fails to grasp mathematical properties, infinity, and objective truth values [Bostock] |
| 18131 | If abstracta only exist if they are expressible, there can only be denumerably many of them [Bostock] |
| 18134 | Predicativism makes theories of huge cardinals impossible [Bostock] |
| 18135 | If mathematics rests on science, predicativism may be the best approach [Bostock] |
| 18136 | If we can only think of what we can describe, predicativism may be implied [Bostock] |
| 18133 | The usual definitions of identity and of natural numbers are impredicative [Bostock] |
| 18132 | The predicativity restriction makes a difference with the real numbers [Bostock] |
| 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] |
| 18121 | In logic a proposition means the same when it is and when it is not asserted [Bostock] |
| 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] |