display all the ideas for this combination of philosophers
41 ideas
| 19469 | We grasp thoughts (thinking), decide they are true (judgement), and manifest the judgement (assertion) [Frege] |
| Full Idea: We distinguish the grasp of a thought, which is 'thinking', from the acknowledgement of the truth of a thought, which is the act of 'judgement', from the manifestation of this judgement, which is an 'assertion'. | |
| From: Gottlob Frege (The Thought: a Logical Enquiry [1918], p.329 (62)) |
| 8620 | Thought is the same everywhere, and the laws of thought do not vary [Frege] |
| Full Idea: Thought is in essentials the same everywhere: it is not true that there are different kinds of laws of thought to suit the different kinds of objects thought about. | |
| From: Gottlob Frege (Grundlagen der Arithmetik (Foundations) [1884], Intro) | |
| A reaction: Different kinds of thinker might also be candidates for different laws of thought. I'm unsure of Frege's grounds for this claim; most continental philosophers would probably reject it. |
| 9581 | Many people have the same thought, which is the component, not the private presentation [Frege] |
| Full Idea: The same thought can be grasped by many people. The components of a thought, and even more so the things themselves, must be distinguished from the presentations which in the soul accompany the grasping of a thought. | |
| From: Gottlob Frege (Review of Husserl's 'Phil of Arithmetic' [1894], p.325) | |
| A reaction: This is the basic realisation, also found in Russell, of how so much confusion has crept into philosophy, in Berkeley, for example. Frege starts down the road which leads to the externalist view of content. |
| 8162 | Thoughts have their own realm of reality - 'sense' (as opposed to the realm of 'reference') [Frege, by Dummett] |
| Full Idea: For Frege, thoughts belong to a special realm of reality, which he called the 'realm of sense' and distinguished from the 'realm of reference'. | |
| From: report of Gottlob Frege (The Thought: a Logical Enquiry [1918]) by Michael Dummett - Thought and Reality 1 | |
| A reaction: A thought is, for Frege, a proposition. There is a halfway Platonism possible here, where the 'realm' for such things exists, but within that realm the objects might be conventional, or some such. Real possible worlds containing fictions! |
| 9818 | A thought is distinguished from other things by a capacity to be true or false [Frege, by Dummett] |
| Full Idea: On Frege's view, what distinguishes thoughts from everything else is that they may meaningfully be called 'true' and 'false'. | |
| From: report of Gottlob Frege (The Thought: a Logical Enquiry [1918]) by Michael Dummett - Frege philosophy of mathematics Ch.2 | |
| A reaction: A lot of thinking is imagistic, and while the image may or may not truly picture the world, we tend to think that the truth or otherwise of daydreaming is simply irrelevant. Does Frege take all thought to be propositional? |
| 18265 | We don't judge by combining subject and concept; we get a concept by splitting up a judgement [Frege] |
| Full Idea: Instead of putting a judgement together out of an individual as subject and an already previously formed concept as predicate, we do the opposite and arrive at a concept by splitting up the content of possible judgement. | |
| From: Gottlob Frege (Boole calculus and the Concept script [1881], p.17) | |
| A reaction: This is behind holistic views of sentences, and hence of whole languages, and behind Quine's rejection of 'properties' inferred from the predicates in judgements. |
| 16379 | Thoughts about myself are understood one way to me, and another when communicated [Frege] |
| Full Idea: When Dr Lauben thinks he has been wounded, ..only Dr Lauben can grasp thoughts determined in this way. But he cannot communicate a thought which only he can grasp. To say 'I have been wounded' he must use 'I' in a sense graspable by others. | |
| From: Gottlob Frege (The Thought: a Logical Enquiry [1918]), quoted by François Recanati - Mental Files 16.1 | |
| A reaction: [compressed] This seems to be the first, and very influential, attempt to explain the unusual and revealing semantics of indexicals. It seems to be the ultimate source of 2-D semantics, by introducing two modes of meaning for one term. |
| 16876 | We need definitions to cram retrievable sense into a signed receptacle [Frege] |
| Full Idea: If we need such signs, we also need definitions so that we can cram this sense into the receptacle and also take it out again. | |
| From: Gottlob Frege (Logic in Mathematics [1914], p.209) | |
| A reaction: Has anyone noticed that Frege is the originator of the idea of the mental file? Has anyone noticed the role that definition plays in his account? |
| 16875 | We use signs to mark receptacles for complex senses [Frege] |
| Full Idea: We often need to use a sign with which we associate a very complex sense. Such a sign seems a receptacle for the sense, so that we can carry it with us, while being always aware that we can open this receptacle should we need what it contains. | |
| From: Gottlob Frege (Logic in Mathematics [1914], p.209) | |
| A reaction: This exactly the concept of a mental file, which I enthusiastically endorse. Frege even talks of 'opening the receptacle'. For Frege a definition (which he has been discussing) is the assigment of a label (the 'definiendum') to the file (the 'definiens'). |
| 9870 | Early Frege takes the extensions of concepts for granted [Frege, by Dummett] |
| Full Idea: In the 'Grundlagen' Frege takes the notion of the extension of a concept for granted as unproblematic. | |
| From: report of Gottlob Frege (Grundlagen der Arithmetik (Foundations) [1884]) by Michael Dummett - Frege philosophy of mathematics Ch.16 | |
| A reaction: This comfortable notion was undermined by Russell's discovery of a concept which couldn't have an extension. Maybe we could defeat the Russell problem (and return to Frege's common sense) by denying that sets are objects. |
| 13878 | Concepts are, precisely, the references of predicates [Frege, by Wright,C] |
| Full Idea: For Frege concepts are, precisely, the Bedeutungen of predicates. | |
| From: report of Gottlob Frege (Grundlagen der Arithmetik (Foundations) [1884]) by Crispin Wright - Frege's Concept of Numbers as Objects 1.iv | |
| A reaction: On p.17 Wright challenges Frege's right to make that assumption. |
| 7736 | A concept is a non-psychological one-place function asserting something of an object [Frege, by Weiner] |
| Full Idea: A concept is a one-place function - something that can be asserted of an object - as found in 'Earth is a planet' and 'Venus is a planet'. This notion of concept does not belong to psychology at all. | |
| From: report of Gottlob Frege (Grundlagen der Arithmetik (Foundations) [1884]) by Joan Weiner - Frege Ch.4 | |
| A reaction: This doesn't seem to leave room for the concept of the object or substance of which the something is asserted. In 'x is a planet' we need a concept of what x is. But then Frege will reduce the reference to a set of descriptions (i.e. functions). |
| 17430 | Fregean concepts have precise boundaries and universal applicability [Frege, by Koslicki] |
| Full Idea: Both precise boundaries and universal applicability are built into the very notion of a Fregean concept from the outset, while isolation and non-arbitrary division are additional criteria imposed on concepts. | |
| From: report of Gottlob Frege (Grundlagen der Arithmetik (Foundations) [1884]) by Kathrin Koslicki - Isolation and Non-arbitrary Division 2.1 | |
| A reaction: The latter two criteria are for concepts which create counting units. |
| 8622 | Psychological accounts of concepts are subjective, and ultimately destroy truth [Frege] |
| Full Idea: Defining concepts psychologically, in terms of the nature of the human mind, makes everything subjective, and if we follow it through to the end, does away with truth. | |
| From: Gottlob Frege (Grundlagen der Arithmetik (Foundations) [1884], Intro) | |
| A reaction: This is the reason for Frege's passionate opposition to psychological approaches to thought. The problem, though, is to give an account in which the fixity of truth connects to the fluctuations of mental life. How does it do that?? |
| 9947 | Concepts are the ontological counterparts of predicative expressions [Frege, by George/Velleman] |
| Full Idea: Concepts, for Frege, are the ontological counterparts of predicative expressions. | |
| From: report of Gottlob Frege (Function and Concept [1891]) by A.George / D.J.Velleman - Philosophies of Mathematics Ch.2 | |
| A reaction: That sounds awfully like what many philosophers call 'universals'. Frege, as a platonist (at least about numbers), I would take to be in sympathy with that. At least we can say that concepts seem to be properties. |
| 10319 | An assertion about the concept 'horse' must indirectly speak of an object [Frege, by Hale] |
| Full Idea: Frege had a notorious difficulty over the concept 'horse', when he suggests that if we wish to assert something about a concept, we are obliged to proceed indirectly by speaking of an object that represents it. | |
| From: report of Gottlob Frege (Function and Concept [1891], Ch.2.II) by Bob Hale - Abstract Objects | |
| A reaction: This sounds like the thin end of a wedge. The great champion of objects is forced to accept them here as a façon de parler, when elsewhere they have ontological status. |
| 8488 | A concept is a function whose value is always a truth-value [Frege] |
| Full Idea: A concept in logic is closely connected with what we call a function. Indeed, we may say at once: a concept is a function whose value is always a truth-value. ..I give the name 'function' to what is meant by the 'unsaturated' part. | |
| From: Gottlob Frege (Function and Concept [1891], p.30) | |
| A reaction: So a function becomes a concept when the variable takes a value. Problems arise when the value is vague, or the truth-value is indeterminable. |
| 18752 | 'The concept "horse"' denotes a concept, yet seems also to denote an object [Frege, by McGee] |
| Full Idea: The phrase 'the concept "horse"' can be the subject of a sentence, and ought to denote an object. But it clearly denotes the concept "horse". Yet Fregean concepts are said to be 'incomplete' objects, which led to confusion. | |
| From: report of Gottlob Frege (On Sense and Reference [1892]) by Vann McGee - Logical Consequence 4 | |
| A reaction: This is the notorious 'concept "horse"' problem, which was bad news for Frege's idea of a concept. |
| 9839 | Frege equated the concepts under which an object falls with its properties [Frege, by Dummett] |
| Full Idea: Frege equated the concepts under which an object falls with its properties. | |
| From: report of Gottlob Frege (On Concept and Object [1892], p.201) by Michael Dummett - Frege philosophy of mathematics Ch.8 | |
| A reaction: I take this to be false, as objects can fall under far more concepts than they have properties. I don't even think 'being a pencil' is a property of pencils, never mind 'being my favourite pencil', or 'not being Alexander the Great'. |
| 9190 | A concept is a function mapping objects onto truth-values, if they fall under the concept [Frege, by Dummett] |
| Full Idea: In later Frege, a concept could be taken as a particular case of a function, mapping every object on to one of the truth-values (T or F), according as to whether, as we should ordinarily say, that object fell under the concept or not. | |
| From: report of Gottlob Frege (Grundgesetze der Arithmetik 1 (Basic Laws) [1893]) by Michael Dummett - The Philosophy of Mathematics 3.5 | |
| A reaction: As so often in these attempts at explanation, this sounds circular. You can't decide whether an object truly falls under a concept, if you haven't already got the concept. His troubles all arise (I say) because he scorns abstractionist accounts. |
| 13665 | Frege took the study of concepts to be part of logic [Frege, by Shapiro] |
| Full Idea: Frege took the study of concepts and their extensions to be within logic. | |
| From: report of Gottlob Frege (Grundgesetze der Arithmetik 1 (Basic Laws) [1893]) by Stewart Shapiro - Foundations without Foundationalism 7.1 | |
| A reaction: This is part of the plan to make logic a universal language (see Idea 13664). I disagree with this, and with the general logicist view of the position of logic. The logical approach thins concepts out. See Deleuze/Guattari's horror at this. |
| 9948 | Unlike objects, concepts are inherently incomplete [Frege, by George/Velleman] |
| Full Idea: For Frege, concepts differ from objects in being inherently incomplete in nature. | |
| From: report of Gottlob Frege (Function and Concept [1891]) by A.George / D.J.Velleman - Philosophies of Mathematics Ch.2 | |
| A reaction: This is because they are 'unsaturated', needing a quantified variable to complete the sentence. This could be a pointer towards Quine's view of properties, as simply an intrinsic feature of predication about objects, with no separate identity. |
| 8651 | A concept is a possible predicate of a singular judgement [Frege] |
| Full Idea: A concept is for me that which can be predicate of a singular judgement-content. | |
| From: Gottlob Frege (Grundlagen der Arithmetik (Foundations) [1884], §66 n) | |
| A reaction: This seems intuitively odd, given that a predicate could (in principle) be of almost infinite complexity, whereas I would be reluctant to call anything a 'concept' if it couldn't be grasped by a single action of a normal conscious mind. |
| 4973 | As I understand it, a concept is the meaning of a grammatical predicate [Frege] |
| Full Idea: As I understand it, a concept is the meaning of a grammatical predicate. | |
| From: Gottlob Frege (On Concept and Object [1892], p.193) | |
| A reaction: All the ills of twentieth century philosophy reside here, because it makes a concept an entirely linguistic thing, so that animals can't have concepts, and language is cut off from reality, leading to relativism, pragmatism, and other nonsense. |
| 9846 | Defining 'direction' by parallelism doesn't tell you whether direction is a line [Dummett on Frege] |
| Full Idea: The stipulation that the direction of a line a is to be the same as that of a line b just in case a is parallel to b does not determine whether the direction of a line is itself a line or something quite different. | |
| From: comment on Gottlob Frege (Grundlagen der Arithmetik (Foundations) [1884], §60) by Michael Dummett - Frege philosophy of mathematics Ch.11 | |
| A reaction: Nice point. Maybe not being able to say exactly what something is is either a symptom of nonsense, and simply a symptom that we are dealing with an abstract concept. If abstractions don't exist, they don't need individuation criteria. |
| 9976 | Frege accepts abstraction to the concept of all sets equipollent to a given one [Tait on Frege] |
| Full Idea: Frege's own conception of abstraction (although he disapproves of the term) is in agreement with the view that abstracting from the particular nature of the elements of M would yield the concept under which fall all sets equipollent to M. | |
| From: comment on Gottlob Frege (Grundlagen der Arithmetik (Foundations) [1884]) by William W. Tait - Frege versus Cantor and Dedekind III | |
| A reaction: Nice! This shows how difficult it is to slough off the concept of abstractionism and live with purely logical concepts of it. If we 'construct' a set, then there is a process of creation to be explained; we can't just think of platonic givens. |
| 10803 | Frege himself abstracts away from tone and color [Yablo on Frege] |
| Full Idea: Frege himself abstracts away from tone and color. | |
| From: comment on Gottlob Frege (Grundlagen der Arithmetik (Foundations) [1884]) by Stephen Yablo - Carving Content at the Joints §3 | |
| A reaction: Gotcha! I have been searching for instances where Frege perpetrates psychological abstraction right in the heart of his theory. No one can avoid it, if they are in the business of trying to formulate new concepts. Reference ignores sense, and vice versa. |
| 9988 | If we abstract 'from' two cats, the units are not black or white, or cats [Tait on Frege] |
| Full Idea: When from a set of two cats, one black and one white, we 'abstract' the number two as a set of pure units, the units are not black and white, respectively, and they are not cats. | |
| From: comment on Gottlob Frege (Grundlagen der Arithmetik (Foundations) [1884], §34) by William W. Tait - Frege versus Cantor and Dedekind XI | |
| A reaction: Well said. Frege is contemptuous of this approach, as if we were incapable of thinking of a black cat as anything other than as black or cat, when we can catch cats as 'food', or 'objects', or just plain 'countables'. |
| 9579 | Disregarding properties of two cats still leaves different objects, but what is now the difference? [Frege] |
| Full Idea: If from a black cat and a white cat we disregard colour, then posture, then location, ..we finally derive something which is completely without restrictions on content; but what is derived from the objects does differ, although it is not easy to say how. | |
| From: Gottlob Frege (Review of Husserl's 'Phil of Arithmetic' [1894], p.324) | |
| A reaction: This is a key objection to abstractionism for Frege - we are counting two cats, not two substrata of essential catness, or whatever. But what makes a cat countable? (Key question!) It isn't its colour, or posture or location. |
| 9587 | How do you find the right level of inattention; you eliminate too many or too few characteristics [Frege] |
| Full Idea: Inattention is a very strong lye which must not be too concentrated, or it dissolves everything (such as the connection between the objects), but must not be too weak, to produce sufficient change. Personally I cannot find the proper dilution. | |
| From: Gottlob Frege (Review of Husserl's 'Phil of Arithmetic' [1894], p.330) | |
| A reaction: We may sympathise with the lack of precision here (frustrating for a logician), but it is not difficult to say of a baseball defence 'just concentrate on the relations, and ignore the individuals who implement it'. You retain basic baseball skills. |
| 9890 | The modern account of real numbers detaches a ratio from its geometrical origins [Frege] |
| Full Idea: From geometry we retain the interpretation of a real number as a ratio of quantities or measurement-number; but in more recent times we detach it from geometrical quantities, and from all particular types of quantity. | |
| From: Gottlob Frege (Grundgesetze der Arithmetik 2 (Basic Laws) [1903], §159), quoted by Michael Dummett - Frege philosophy of mathematics | |
| A reaction: Dummett glosses the 'recent' version as by Cantor and Dedekind in 1872. This use of 'detach' seems to me startlingly like the sort of psychological abstractionism which Frege was so desperate to avoid. |
| 9855 | Frege's logical abstaction identifies a common feature as the maximal set of equivalent objects [Frege, by Dummett] |
| Full Idea: Like psychological abstractionism, Frege's method (which we can call 'logical abstraction') aims at isolating what is in common between the members of any equivalent sets of objects, by identifying the feature with the maximal set of such objects. | |
| From: report of Gottlob Frege (Grundlagen der Arithmetik (Foundations) [1884]) by Michael Dummett - Frege philosophy of mathematics Ch.14 | |
| A reaction: [compressed] So Frege's approach to abstraction is a branch of the view that properties are sets. This view, in addition to being vulnerable to Russell's paradox, ignores the causal role of properties, making them all categorical (which is daft). |
| 10802 | Frege's 'parallel' and 'direction' don't have the same content, as we grasp 'parallel' first [Yablo on Frege] |
| Full Idea: Frege's discussion of 'direction' borders on incoherent. He claims that the equivalence of lines a and b and their directions being equal have the same content, which leads to the concept of direction, but we grasp the equivalence before the equality. | |
| From: comment on Gottlob Frege (Grundlagen der Arithmetik (Foundations) [1884]) by Stephen Yablo - Carving Content at the Joints § 1 | |
| A reaction: [The Frege is in Grundlagen §64] Well said. The notion that we get the full concept of 'direction' from such paltry resources seems very weak. For a start, parallel lines exhibit two directions, not one. |
| 10525 | Frege put the idea of abstraction on a rigorous footing [Frege, by Fine,K] |
| Full Idea: It was Frege who first showed how the idea of abstraction could be put on a rigorous footing. | |
| From: report of Gottlob Frege (Grundlagen der Arithmetik (Foundations) [1884]) by Kit Fine - Precis of 'Limits of Abstraction' p.305 | |
| A reaction: This refers to the crucial landmark in philosophical thought about abstraction. The question is whether Frege had to narrow the concept of abstraction and abstract entities too severely, in order to achieve his rigour. |
| 10526 | Fregean abstraction creates concepts which are equivalences between initial items [Frege, by Fine,K] |
| Full Idea: Fregean abstraction rests on initial items, taken to be related by an equivalence relation (e.g. parallelism, or equinumerosity), and then an operation for forming abstraction (e.g. direction or number), with identity related to their equivalence. | |
| From: report of Gottlob Frege (Grundlagen der Arithmetik (Foundations) [1884]) by Kit Fine - Precis of 'Limits of Abstraction' p.305 | |
| A reaction: [compressed] This is the best summary I have found of the modern theory of abstraction, as opposed to the nature of the abstracta themselves. A minimum of two items is needed to implement the process. |
| 10556 | We create new abstract concepts by carving up the content in a different way [Frege] |
| Full Idea: (In creating the concept of direction..) We carve up the content in a way different from the original way, and this yields us a new concept. ...It is a matter of drawing boundary lines that were not previously given. | |
| From: Gottlob Frege (Grundlagen der Arithmetik (Foundations) [1884], §64) | |
| A reaction: [second half in §88] 'Recarving' is now the useful shorthand for Frege's way of creating abstract concepts (rather than the old psychological way of ignoring some features of an object). |
| 9882 | You can't simultaneously fix the truth-conditions of a sentence and the domain of its variables [Dummett on Frege] |
| Full Idea: Frege's root confusion (over abstraction by identity, and other things) was to believe that he could simultaneously fix the truth-conditions of such statements and the domain over which the individual variables were to range. | |
| From: comment on Gottlob Frege (Grundlagen der Arithmetik (Foundations) [1884], §64-68) by Michael Dummett - Frege philosophy of mathematics Ch.18 | |
| A reaction: This strikes me as a wonderfully penetrating criticism, but it also seems to me to threaten Dummett's whole programme of doing ontology through language. If a quantified sentences needs a domain, how do you first decide your domain? |
| 9881 | From basing 'parallel' on identity of direction, Frege got all abstractions from identity statements [Frege, by Dummett] |
| Full Idea: Having rightly perceived that the fundamental class here was statements of identity between directions, Frege leapt to the conclusion that the basis for introducing new abstract terms consisted of determining the truth-conditions of identity-statements. | |
| From: report of Gottlob Frege (Grundlagen der Arithmetik (Foundations) [1884], §64-68) by Michael Dummett - Frege philosophy of mathematics Ch.18 | |
| A reaction: This seems to be the modern view - that abstraction consists of the assertion of an equivalence principle. Dummett criticises Frege here (see Idea 9882). There always seems to be a chicken/egg problem. Why would the identity be asserted? |
| 5816 | Frege said concepts were abstract entities, not mental entities [Frege, by Putnam] |
| Full Idea: Frege, rebelling against 'psychologism', identified concepts (and hence 'intensions' or meanings) with abstract entities rather than mental entities. | |
| From: report of Gottlob Frege (works [1890]) by Hilary Putnam - Meaning and Reference p.119 | |
| A reaction: This, of course, assumes that 'abstract' entities and 'mental' entities are quite distinct things. A concept is presumably a mental item which has content, and the word 'concept' is simply ambiguous, between the container and the contents. |
| 9588 | Number-abstraction somehow makes things identical without changing them! [Frege] |
| Full Idea: Number-abstraction simply has the wonderful and very fruitful property of making things absolutely the same as one another without altering them. Something like this is possible only in the psychological wash-tub. | |
| From: Gottlob Frege (Review of Husserl's 'Phil of Arithmetic' [1894], p.332) | |
| A reaction: Frege can be awfully sarcastic. I don't really see his difficulty. For mathematics we only need to know what is countable about an object - we don't need to know how many hairs there are on the cat, only that it has identity. |
| 11846 | If we abstract the difference between two houses, they don't become the same house [Frege] |
| Full Idea: If abstracting from the difference between my house and my neighbour's, I were to regard both houses as mine, the defect of the abstraction would soon be made clear. It may, though, be possible to obtain a concept by means of abstraction... | |
| From: Gottlob Frege (Grundgesetze der Arithmetik 2 (Basic Laws) [1903], §99) | |
| A reaction: Note the important concession at the end, which shows Frege could never deny the abstraction process, despite all the modern protests by Geach and Dummett that he totally rejected it. |