structure for 'Objects'    |     alphabetical list of themes    |     unexpand these ideas

9. Objects / A. Existence of Objects / 2. Abstract Objects / c. Modern abstracta

[examples amd principles of modern abstracta]

17 ideas
Wholly uniform things like space and numbers are mere abstractions [Leibniz]
     Full Idea: Things which are uniform, containing no variety, are always mere abstractions: for instance, time, space, and the other entities of pure mathematics.
     From: Gottfried Leibniz (New Essays on Human Understanding [1704], 2.01)
     A reaction: I presume that being 'mere abstractions' denies them ontological status, and makes them creations of thought. If so, I like this idea a lot.
Frege says singular terms denote objects, numerals are singular terms, so numbers exist [Frege, by Hale]
     Full Idea: Frege's argument for abstract objects is: 1) singular terms in true expressions must denote objects, 2) numerals function as singular terms, 3) there must exist numbers denoted by those expressions.
     From: report of Gottlob Frege (Grundlagen der Arithmetik (Foundations) [1884]) by Bob Hale - Abstract Objects Ch.1
     A reaction: [compressed] Given that most of the singular term usages can be rephrased adjectively, this strikes me as a weak argument, though Hale pins his whole book on it.
Frege establishes abstract objects independently from concrete ones, by falling under a concept [Frege, by Dummett]
     Full Idea: For Frege it is legitimate, in order to establish the existence of a certain number, to cite a concept under which only abstract objects fall, and in such a way guarantee the existence of the number quite independently of what concrete objects there are.
     From: report of Gottlob Frege (Grundlagen der Arithmetik (Foundations) [1884]) by Michael Dummett - Frege Philosophy of Language (2nd ed) Ch.14
     A reaction: This approach of Frege's got into trouble with Russell's Paradox, which gave a concept under which nothing could fall. It strikes me as misguided even without that problem. I say abstracta are rooted in the concrete.
Logical objects are extensions of concepts, or ranges of values of functions [Frege]
     Full Idea: How are we to conceive of logical objects? My only answer is, we conceive of them as extensions of concepts or, more generally, as ranges of values of functions ...what other way is there?
     From: Gottlob Frege (Letters to Russell [1902], 1902.07.28), quoted by J. Alberto Coffa - The Semantic Tradition from Kant to Carnap 7 epigr
     A reaction: This is the clearest statement I have found of what Frege means by an 'object'. But an extension is a collection of things, so an object is a group treated as a unity, which is generally how we understand a 'set'. Hence Quine's ontology.
There can be impossible and contradictory objects, if they can have properties [Meinong, by Friend]
     Full Idea: Meinong (and Priest) leave room for impossible objects (like a mountain made entirely of gold), and even contradictory objects (such as a round square). This would have a property, of 'being a contradictory object'.
     From: report of Alexius Meinong (The Theory of Objects [1904]) by Michèle Friend - Introducing the Philosophy of Mathematics 6.8
     A reaction: This view is only possible with a rather lax view of properties. Personally I don't take 'being a pencil' to be a property of a pencil. It might be safer to just say that 'round squares' are possible linguistic subjects of predication.
Abstract objects must have names that fall within the range of some functional expression [Dummett]
     Full Idea: For an object to be abstract, we require only that an understanding of any name of that object involves a recognition that the object is in the range of some functional expression.
     From: Michael Dummett (Frege Philosophy of Language (2nd ed) [1973], Ch.14)
     A reaction: I'm not sure I understand this, but a function must involve a relation between some objects, such that a unique object is consequently picked out.
It is absurd to deny the Equator, on the grounds that it lacks causal powers [Dummett]
     Full Idea: If someone argued that assuming the existence of the Equator explains nothing, and it has no causal powers, so everything would be the same if it didn't exist, so we needn't accept its existence, we should gape at the crudity of the misunderstanding.
     From: Michael Dummett (Frege philosophy of mathematics [1991], Ch.15)
     A reaction: Not me. I would gape if someone argued that latitude 55° 14' (and an infinity of other lines) exists for the same reasons (whatever they may be) that the Equator exists. A mode of description can't create an object.
Abstract objects nowadays are those which are objective but not actual [Dummett]
     Full Idea: Objects which are objective but not actual are precisely what are now called abstract objects.
     From: Michael Dummett (Frege philosophy of mathematics [1991], Ch.15)
     A reaction: Why can there not be subjective abstract objects? 'My favourites are x, y and z'. 'I'll decide later what my favourites are'. 'I only buy my favourites - nothing else'.
'We've crossed the Equator' has truth-conditions, so accept the Equator - and it's an object [Dummett]
     Full Idea: 'We've crossed the Equator' is judged true if we are nearer the other Pole, so it not for philosophers to deny that the Earth has an equator, and we see that the Equator is not a concept or relation or function, so it must be classified as an object.
     From: Michael Dummett (Frege philosophy of mathematics [1991], Ch.15)
     A reaction: A lovely example of linguistic philosophy in action (and so much the worse for that, I would say). A useful label here, I suggest (unoriginally, I think), is that we should label such an item a 'semantic object', rather than a real object in our ontology.
We deal with abstract objects all the time: software, poems, mistakes, triangles.. [Boolos]
     Full Idea: We twentieth century city dwellers deal with abstract objects all the time, such as bank balances, radio programs, software, newspaper articles, poems, mistakes, triangles.
     From: George Boolos (Must We Believe in Set Theory? [1997], p.129)
     A reaction: I find this claim to be totally question-begging, and typical of a logician. The word 'object' gets horribly stretched in these discussions. We can create concepts which have all the logical properties of objects. Maybe they just 'subsist'?
Properties make round squares and round triangles distinct, unlike exemplification [Zalta, by Swoyer]
     Full Idea: On Zalta's view, properties with the same encoding extensions are identical, but may be distinct with the same exemplification extension. So the properties of being a round square and a round triangle are distinct, but with the same exemplification.
     From: report of Edward N. Zalta (Abstract Objects:intro to Axiomatic Metaphysics [1983]) by Chris Swoyer - Properties
     A reaction: (For Zalta's view, see Idea 10414) I'm not sure about 'encoding' (cf. Hodes's use of the word), but the idea that an abstract object is just a bunch of possible properties (assuming properties have prior availability) seems promising.
Contextually defined abstract terms genuinely refer to objects [Wright,C, by Dummett]
     Full Idea: Wright says we should accord to contextually defined abstract terms a genuine full-blown reference to objects.
     From: report of Crispin Wright (Frege's Concept of Numbers as Objects [1983]) by Michael Dummett - Frege philosophy of mathematics Ch.18
     A reaction: This is the punch line of Wright's neo-logicist programme. See Idea 9868 for his view of reference. Dummett regards this strong view of contextual definition as 'exorbitant'. Wright's view strikes me as blatantly false.
The empty set is the purest abstract object [Jubien]
     Full Idea: The empty set is the pure abstract object par excellence.
     From: Michael Jubien (Ontology and Mathematical Truth [1977], p.118 n8)
     A reaction: So a really good PhD on the empty set could crack the whole nature of reality. Get to work, whoever you are!
Objects just are what singular terms refer to [Hale/Wright]
     Full Idea: Objects, as distinct from entities of other types (properties, relations or, more generally, functions of different types and levels), just are what (actual or possible) singular terms refer to.
     From: B Hale / C Wright (Intro to 'The Reason's Proper Study' [2001], 3.1)
     A reaction: I find this view very bizarre and hard to cope with. It seems either to preposterously accept the implications of the way we speak into our ontology ('sakes'?), or preposterously bend the word 'object' away from its normal meaning.
Numbers, sets and propositions are abstract particulars; properties, qualities and relations are universals [Jacquette]
     Full Idea: Roughly, numbers, sets and propositions are assumed to be abstract particulars, while properties, including qualities and relations, are usually thought to be universals.
     From: Dale Jacquette (Ontology [2002], Ch. 9)
     A reaction: There is an interesting nominalist project of reducing all of these to particulars. Numbers to patterns, sets to their members, propositions to sentences, properties to causal powers, relations to, er, something else.
Bodies, properties, relations, events, numbers, sets and propositions are 'things' if they exist [Lowe]
     Full Idea: Not only material bodies but also properties, relations, events, numbers, sets, and propositions are—if they are acknowledged as existing—to be accounted ‘things’.
     From: E.J. Lowe (Things [1995])
     A reaction: There might be lots of borderline cases here. Is the sky a thing? Is air a thing? How is transparency a thing? Is minus-one a thing? Is an incomplete proposition a thing? Etc.
The modern Fregean use of the term 'object' is much broader than the ordinary usage [Hale]
     Full Idea: The notion of an 'object' first introduced by Frege is much broader than that of most comparable ordinary uses of 'object', and is now fairly standard and familiar.
     From: Bob Hale (Abstract Objects [1987], Ch.1)
     A reaction: This makes it very difficult to get to grips with the metaphysical issues involved, since the ontological claims disappear into a mist of semantic vagueness.