15 ideas
| 11211 | If a sound conclusion comes from two errors that cancel out, the path of the argument must matter [Rumfitt] |
| Full Idea: If a designated conclusion follows from the premisses, but the argument involves two howlers which cancel each other out, then the moral is that the path an argument takes from premisses to conclusion does matter to its logical evaluation. | |
| From: Ian Rumfitt ("Yes" and "No" [2000], II) | |
| A reaction: The drift of this is that our view of logic should be a little closer to the reasoning of ordinary language, and we should rely a little less on purely formal accounts. |
| 4975 | A thought can be split in many ways, so that different parts appear as subject or predicate [Frege] |
| Full Idea: A thought can be split up in many ways, so that now one thing, now another, appears as subject or predicate | |
| From: Gottlob Frege (On Concept and Object [1892], p.199) | |
| A reaction: Thus 'the mouse is in the box', and 'the box contains the mouse'. A simple point, but important when we are trying to distinguish thought from language. |
| 11212 | The sense of a connective comes from primitively obvious rules of inference [Rumfitt] |
| Full Idea: A connective will possess the sense that it has by virtue of its competent users' finding certain rules of inference involving it to be primitively obvious. | |
| From: Ian Rumfitt ("Yes" and "No" [2000], III) | |
| A reaction: Rumfitt cites Peacocke as endorsing this view, which characterises the logical connectives by their rules of usage rather than by their pure semantic value. |
| 11210 | Standardly 'and' and 'but' are held to have the same sense by having the same truth table [Rumfitt] |
| Full Idea: If 'and' and 'but' really are alike in sense, in what might that likeness consist? Some philosophers of classical logic will reply that they share a sense by virtue of sharing a truth table. | |
| From: Ian Rumfitt ("Yes" and "No" [2000]) | |
| A reaction: This is the standard view which Rumfitt sets out to challenge. |
| 9949 | There is the concept, the object falling under it, and the extension (a set, which is also an object) [Frege, by George/Velleman] |
| Full Idea: For Frege, the extension of the concept F is an object, as revealed by the fact that we use a name to refer to it. ..We must distinguish the concept, the object that falls under it, and the extension of the concept, which is the set containing the object. | |
| From: report of Gottlob Frege (On Concept and Object [1892]) by A.George / D.J.Velleman - Philosophies of Mathematics Ch.2 | |
| A reaction: This I take to be the key distinction needed if one is to grasp Frege's account of what a number is. When we say that Frege is a platonist about numbers, it is because he is committed to the notion that the extension is an object. |
| 18995 | Frege mistakenly takes existence to be a property of concepts, instead of being about things [Frege, by Yablo] |
| Full Idea: Frege's theory treats existence as a property, not of things we call existent, but of concepts instantiated by those things. 'Biden exists' says our Biden-concept has instances. That is certainly not how it feels! We speak of the thing, not of concepts. | |
| From: report of Gottlob Frege (On Concept and Object [1892]) by Stephen Yablo - Aboutness 01.4 | |
| A reaction: Yablo's point is that you must ask what the sentence is 'about', and then the truth will refer to those things. Frege gets into a tangle because he thinks remarks using concepts are about the concepts. |
| 14742 | It can't be indeterminate whether x and y are identical; if x,y is indeterminate, then it isn't x,x [Salmon,N] |
| Full Idea: Insofar as identity seems vague, it is provably mistaken. If it is vague whether x and y are identical (as in the Ship of Theseus), then x,y is definitely not the same as x,x, since the first pair is indeterminate and the second pair isn't. | |
| From: Nathan Salmon (Reference and Essence: seven appendices [2005], App I) | |
| A reaction: [compressed; Gareth Evans 1978 made a similar point] This strikes me as begging the question in the Ship case, since we are shoehorning the new ship into either the slot for x or the slot for y, but that was what we couldn’t decide. No rough identity? |
| 10317 | It is unclear whether Frege included qualities among his abstract objects [Frege, by Hale] |
| Full Idea: Expositors of Frege's views have disagreed over whether abstract qualities are to be reckoned among his objects. | |
| From: report of Gottlob Frege (On Concept and Object [1892]) by Bob Hale - Abstract Objects Ch.2.II | |
| A reaction: [he cites Dummett 1973:70-80, and Wright 1983:25-8] There seems to be a danger here of a collision between Fregean verbal approaches to ontological commitment and the traditional views about universals. No wonder they can't decide. |
| 10535 | Frege's 'objects' are both the referents of proper names, and what predicates are true or false of [Frege, by Dummett] |
| Full Idea: Frege's notion of an object plays two roles in his semantics. Objects are the referents of proper names, and they are equally what predicates are true and false of. | |
| From: report of Gottlob Frege (On Concept and Object [1892]) by Michael Dummett - Frege Philosophy of Language (2nd ed) Ch.4 | |
| A reaction: Frege is the source of a desperate desire to turn everything into an object (see Idea 8858!), and he has the irritating authority of the man who invented quantificational logic. Nothing but trouble, that man. |
| 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'. |
| 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. |
| 9167 | Frege felt that meanings must be public, so they are abstractions rather than mental entities [Frege, by Putnam] |
| Full Idea: Frege felt that meanings are public property, and identified concepts (and hence 'intensions' or meanings) with abstract entities rather than mental entities. | |
| From: report of Gottlob Frege (On Concept and Object [1892]) by Hilary Putnam - Meaning and Reference p.150 | |
| A reaction: This is the germ of Wittgenstein's private language argument. I am inclined to feel that Frege approached language strictly as a logician, and didn't really care that he got himself into implausible platonist ontological commitments. |
| 18885 | Kripke and Putnam made false claims that direct reference implies essentialism [Salmon,N] |
| Full Idea: Kripke and Putnam made unsubstantiated claims, indeed false claims, to the effect that the theory of direct reference has nontrivial essentialist import. | |
| From: Nathan Salmon (Reference and Essence: seven appendices [2005], Pref to Exp Ed) | |
| A reaction: Kripke made very few claims, and is probably innocent of the charge. Most people agree with Salmon that you can't derive metaphysics from a theory of reference. |
| 4974 | For all the multiplicity of languages, mankind has a common stock of thoughts [Frege] |
| Full Idea: For all the multiplicity of languages, mankind has a common stock of thoughts. | |
| From: Gottlob Frege (On Concept and Object [1892], p.196n) | |
| A reaction: Given the acknowledgement here that two very different sentences in different languages can express the same thought, he should recognise that at least some aspects of a thought are non-linguistic. |
| 11214 | We learn 'not' along with affirmation, by learning to either affirm or deny a sentence [Rumfitt] |
| Full Idea: The standard view is that affirming not-A is more complex than affirming the atomic sentence A itself, with the latter determining its sense. But we could learn 'not' directly, by learning at once how to either affirm A or reject A. | |
| From: Ian Rumfitt ("Yes" and "No" [2000], IV) | |
| A reaction: [compressed] This seems fairly anti-Fregean in spirit, because it looks at the psychology of how we learn 'not' as a way of clarifying what we mean by it, rather than just looking at its logical behaviour (and thus giving it a secondary role). |