78 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] |
18719 | Grammar says that saying 'sound is red' is not false, but nonsense [Wittgenstein] |
18735 | Talking nonsense is not following the rules [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] |
10987 | Three traditional names of rules are 'Simplification', 'Addition' and 'Disjunctive Syllogism' [Read] |
11004 | Necessity is provability in S4, and true in all worlds in S5 [Read] |
11018 | There are fuzzy predicates (and sets), and fuzzy quantifiers and modifiers [Read] |
11011 | Same say there are positive, negative and neuter free logics [Read] |
11020 | Realisms like the full Comprehension Principle, that all good concepts determine sets [Read] |
18724 | In logic nothing is hidden [Wittgenstein] |
10986 | Not all validity is captured in first-order logic [Read] |
10972 | The non-emptiness of the domain is characteristic of classical logic [Read] |
11024 | Semantics must precede proof in higher-order logics, since they are incomplete [Read] |
10985 | We should exclude second-order logic, precisely because it captures arithmetic [Read] |
10970 | A theory of logical consequence is a conceptual analysis, and a set of validity techniques [Read] |
10984 | Logical consequence isn't just a matter of form; it depends on connections like round-square [Read] |
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] |
10973 | A theory is logically closed, which means infinite premisses [Read] |
18727 | A person's name doesn't mean their body; bodies don't sit down, and their existence can be denied [Wittgenstein] |
11007 | Quantifiers are second-order predicates [Read] |
10978 | In second-order logic the higher-order variables range over all the properties of the objects [Read] |
10971 | A logical truth is the conclusion of a valid inference with no premisses [Read] |
10988 | Any first-order theory of sets is inadequate [Read] |
10974 | Compactness is when any consequence of infinite propositions is the consequence of a finite subset [Read] |
10975 | Compactness does not deny that an inference can have infinitely many premisses [Read] |
10977 | Compactness blocks the proof of 'for every n, A(n)' (as the proof would be infinite) [Read] |
10976 | Compactness makes consequence manageable, but restricts expressive power [Read] |
11014 | Self-reference paradoxes seem to arise only when falsity is involved [Read] |
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] |
11025 | Infinite cuts and successors seems to suggest an actual infinity there waiting for us [Read] |
10979 | Although second-order arithmetic is incomplete, it can fully model normal arithmetic [Read] |
10980 | Second-order arithmetic covers all properties, ensuring categoricity [Read] |
10997 | Von Neumann numbers are helpful, but don't correctly describe numbers [Read] |
18737 | There are no positive or negative facts; these are just the forms of propositions [Wittgenstein] |
11016 | Would a language without vagueness be usable at all? [Read] |
11013 | Identities and the Indiscernibility of Identicals don't work with supervaluations [Read] |
11012 | A 'supervaluation' gives a proposition consistent truth-value for classical assignments [Read] |
11019 | Supervaluations say there is a cut-off somewhere, but at no particular place [Read] |
18715 | Using 'green' is a commitment to future usage of 'green' [Wittgenstein] |
10995 | A haecceity is a set of individual properties, essential to each thing [Read] |
11001 | Equating necessity with truth in every possible world is the S5 conception of necessity [Read] |
10989 | The standard view of conditionals is that they are truth-functional [Read] |
10992 | The point of conditionals is to show that one will accept modus ponens [Read] |
11017 | Some people even claim that conditionals do not express propositions [Read] |
18726 | For each necessity in the world there is an arbitrary rule of language [Wittgenstein] |
10983 | Knowledge of possible worlds is not causal, but is an ontology entailed by semantics [Read] |
10982 | How can modal Platonists know the truth of a modal proposition? [Read] |
10996 | Actualism is reductionist (to parts of actuality), or moderate realist (accepting real abstractions) [Read] |
10981 | A possible world is a determination of the truth-values of all propositions of a domain [Read] |
11000 | If worlds are concrete, objects can't be present in more than one, and can only have counterparts [Read] |
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] |
9382 | Subjects may be unaware of their epistemic 'entitlements', unlike their 'justifications' [Burge] |
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] |
10998 | The mind abstracts ways things might be, which are nonetheless real [Read] |
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] |
11005 | Negative existentials with compositionality make the whole sentence meaningless [Read] |
18711 | A proposition is any expression which can be significantly negated [Wittgenstein] |
10966 | A proposition objectifies what a sentence says, as indicative, with secure references [Read] |
18733 | Laws of nature are an aspect of the phenomena, and are just our mode of description [Wittgenstein] |