56 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] |
| 22270 | Frege changed philosophy by extending logic's ability to check the grounds of thinking [Potter on Frege] |
| 18714 | We already know what we want to know, and analysis gives us no new facts [Wittgenstein] |
| 8939 | We should not describe human laws of thought, but how to correctly track truth [Frege, by Fisher] |
| 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] |
| 4971 | I don't use 'subject' and 'predicate' in my way of representing a judgement [Frege] |
| 17745 | For Frege, 'All A's are B's' means that the concept A implies the concept B [Frege, by Walicki] |
| 7728 | Frege has a judgement stroke (vertical, asserting or judging) and a content stroke (horizontal, expressing) [Frege, by Weiner] |
| 16881 | The laws of logic are boundless, so we want the few whose power contains the others [Frege] |
| 18724 | In logic nothing is hidden [Wittgenstein] |
| 7622 | In 1879 Frege developed second order logic [Frege, by Putnam] |
| 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] |
| 7729 | Frege replaced Aristotle's subject/predicate form with function/argument form [Frege, by Weiner] |
| 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] |
| 9950 | A quantifier is a second-level predicate (which explains how it contributes to truth-conditions) [Frege, by George/Velleman] |
| 9991 | For Frege the variable ranges over all objects [Frege, by Tait] |
| 10536 | Frege's domain for variables is all objects, but modern interpretations first fix the domain [Dummett on Frege] |
| 7730 | Frege introduced quantifiers for generality [Frege, by Weiner] |
| 7742 | Frege reduced most quantifiers to 'everything' combined with 'not' [Frege, by McCullogh] |
| 13824 | Proof theory began with Frege's definition of derivability [Frege, by Prawitz] |
| 13609 | Frege produced axioms for logic, though that does not now seem the natural basis for logic [Frege, by Kaplan] |
| 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] |
| 17855 | It may be possible to define induction in terms of the ancestral relation [Frege, by Wright,C] |
| 10607 | Frege's logic has a hierarchy of object, property, property-of-property etc. [Frege, by Smith,P] |
| 11008 | Existence is not a first-order property, but the instantiation of a property [Frege, by Read] |
| 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] |
| 22280 | Frege's account was top-down and decompositional, not bottom-up and compositional [Frege, by Potter] |
| 18711 | A proposition is any expression which can be significantly negated [Wittgenstein] |
| 9284 | Reasons are 'internal' if they give a person a motive to act, but 'external' otherwise [Williams,B] |
| 18733 | Laws of nature are an aspect of the phenomena, and are just our mode of description [Wittgenstein] |
| 7741 | The predicate 'exists' is actually a natural language expression for a quantifier [Frege, by Weiner] |