pragmatist comments on [Poll] Less Wrong and Mainstream Philosophy: How Different are We? - Less Wrong

38 Post author: Jayson_Virissimo 26 September 2012 12:25PM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Comments (627)

You are viewing a single comment's thread. Show more comments above.

Comment author: pragmatist 26 September 2012 02:57:41PM 13 points [-]

An abstract object is an object that does not correspond to any pattern of matter and energy in space-time. Purported examples of abstract objects are numbers, properties, sets, etc. An object that does correspond to some concentration of matter/energy in space-time is called a concrete object.

Nominalism: Abstract objects do not exist.

Platonism: Abstract objects exist.

Comment author: Kaj_Sotala 26 September 2012 04:27:21PM 15 points [-]

Still not sure what this means. Is there some sense in which this distinction pays rent in anticipated experience?

Comment author: RobertLumley 26 September 2012 04:43:25PM 14 points [-]

I voted other because of my confusion on this point. I think we need to taboo "exists".

Comment author: Wei_Dai 27 September 2012 10:42:00AM 7 points [-]

Using my recent attempt at (partially) tabooing "exists" to translate:

Nominalism: We can't rationally care about abstract objects.

Platonism: We can rationally care about abstract objects.

So far Platonism appears to be "winning" according to this definition since UDT is Platonist in this sense, and there isn't really a "nominalist decision theory" that's equivalent or seems as promising.

Comment author: DanArmak 27 September 2012 11:51:30PM 3 points [-]

That just shifts the ground to disagreeing about what is "rational" when arguing about different epistemologies.

Comment author: [deleted] 27 September 2012 11:58:15PM 1 point [-]

Shifting the ground to an easier, more tractable problem? Awesome.

Comment author: drnickbone 27 September 2012 10:19:27PM 1 point [-]

That seems a rather new argument for Platonism.

But what about possibilist versions of Platonism as in "Abstract objects are ones which possibly exist"? It seems quite rational to care about things which might happen, or which might exist without conceding that they actually will happen or actually do exist.

Comment author: RichardHughes 27 September 2012 09:54:37PM 1 point [-]

I voted 'other' to the original question. I would vote 'accept platonism' to this question.

Comment author: pragmatist 26 September 2012 04:49:37PM 2 points [-]

My inclination is to say that it doesn't, and that the disagreement is really just about how to use the word "exist". But there are a couple of ways in which the distinction might have a bearing on anticipated experience.

One prominent argument for Platonism is the Quine-Putnam Indispensability Argument, which says that our best strategy for ontological commitment is to believe in the existence of those objects over which our best scientific theories indispensably quantify. So if one cannot dispense with quantification over mathematical objects while maintaining the integrity of our best theories, then we should believe in the existence of those mathematical objects. If one accepts this criterion, then whether or not one believes in the existence of abstract objects depends on whether our best theories indispensably quantify over such objects, so the Platonism vs. nominalism debate depends on science. Hartry Field wrote a book where he tries to axiomatize Newtonian continuum mechanics without any quantification over real numbers.

Also, it's plausible that Tegmark's Level IV multiverse hypothesis assumes Platonism, since it requires that mathematical structures have independent existence. So if you believe Tegmark's hypothesis constrains anticipation, then perhaps Platonism does as well.

Comment author: Manfred 27 September 2012 08:28:34AM *  0 points [-]

Hartry Field wrote a book where he tries to axiomatize Newtonian continuum mechanics without any quantification over real numbers.

Ah, that sounds a bit like coordinate-free physics.

Comment author: DanArmak 26 September 2012 05:02:35PM 1 point [-]

It's a prerequisite that a question must not pay rent in anticipated experience before it can be part of philosophy.

Comment author: diegocaleiro 04 October 2012 04:10:25AM 0 points [-]

Nope. The prerequisite is that it is uncertain whether it does or not pay rent. See Russell 'Problems of Philosophy" for a characterization of philosophy as "That which may eventually develop into science"...

Comment author: [deleted] 27 September 2012 04:14:49PM 0 points [-]

That reminds me of my aunt saying “philosophy is that thing with which or without which the world would stay the same” (the Italian words for ‘which’ and ‘same’ rhyme).

Comment author: DanArmak 26 September 2012 05:43:39PM 0 points [-]

As far as I can see, none of the questions in this survey have any relation to anticipated experience.

Comment author: pragmatist 26 September 2012 06:17:02PM 1 point [-]

I think a number of discoveries in psychology and neuroscience are relevant to the physicalism vs. anti-physicalism question.

I think relativity basically destroys the case for A-theory. The idea of an "objective present" loses all attraction (for me at least) when you realize that there is no such thing as objective simultaneity.

I think there's plenty of evidence that God does not exist (and there is plenty of potential evidence that would convince me that He does).

Comment author: crazy88 28 September 2012 05:12:12AM 0 points [-]

There's two things you could mean here. First, you could mean that the notion that their is no objective simultaneity removes your motivation to accept an A-theory. Second, you could mean that it makes an A-theory untenable. I take it you meant the first of these, but if not it might be worth checking out the second half of Craig Borne's book "A Future for Presentism".

Comment author: DanArmak 27 September 2012 10:40:21PM -1 points [-]

In your examples, evidence from other disciplines has bearing on questions in philosophy. The problem is that information rarely flows the other way. All the philosophical debate on these (real) questions did not contribute significantly to our understanding. And then useful data came in from the relevant sciences and settled them, and would have done so even without the philosophical arguments in place.

Comment author: pragmatist 28 September 2012 04:40:09AM *  1 point [-]

Yeah, I was responding to your original claim that none of the questions here have any link to anticipated experience. Your claim here -- that philosophy does not produce any knowledge of use to other disciplines -- is a different criticism, and one that my comment was not intended to address. I think this criticism is also false, by the way. Well, it may be true in the sense that as a matter of fact very few people in other disciplines pay much attention to contemporary philosophy, but it is false that there is nothing of value in philosophy for these other disciplines.

Comment author: thomblake 26 September 2012 05:36:25PM 3 points [-]

Other: Aristotelianism.

Abstract objects exist when instantiated. The "form of 2" does not exist in a world of forms somewhere, but 2 billiard balls is an instance of both '2' and 'billiard ball'.

Comment author: thomblake 05 October 2012 02:48:35PM 0 points [-]

I'm not sure if Aristotle actually believed an object could be an instance of two forms. That's pretty advanced polymorphism.

Comment author: [deleted] 08 October 2012 08:55:35PM *  1 point [-]

In the loose sense of 'form' (cf. Physics I.7), I think objects could: a rabbit has the form of a rabbit, and if it's white it has that form too. That's also consistant with the relationship between primary and secondary substances and non-substances from Categories.

On the other hand, in Metaphysics, 'form' is pretty much restricted to the identity of a substance. Still I think Aristotle would be happy enough with polymorphism so long as you made a distinction between substance-forms and non-substance-forms.

Comment author: thomblake 08 October 2012 09:04:01PM 0 points [-]

Sounds about right to me.

Comment author: RobbBB 15 December 2012 04:15:47AM -1 points [-]

I agree this is an 'Other' doctrine, and 'nominalism' is a bad name for the doctrine of concretism (i.e., everything is spatiotemporal). But isn't Aristotelianism a form of 'nominalism' as defined here? Doesn't your Aristotelianism deny, or refuse to affirm, any "object that does not correspond to any pattern of matter and energy in space-time"? Properties are not ordinarily thought of as objects, and even so if you think that all properties are instantiated, then they do seem to be spatiotemporal, though perhaps in an informational rather than 'matter/energy' sense. Hm.

Comment author: shminux 26 September 2012 03:29:35PM 4 points [-]

Another false dichotomy. The word exist means different things to different people.

Comment author: komponisto 27 September 2012 03:37:11PM 1 point [-]

Yes, this is definitely a confused question. "Correspondence" is complicated.

People shouldn't use "exists" to mean "corresponds to some pattern of matter and energy" (so apparently I'm a Platonist); yet they also shouldn't ignore the ontological distinction between numbers and atoms (so I guess I'm also kind of a nominalist).

Comment author: shminux 27 September 2012 04:14:41PM *  0 points [-]

Yes, this is definitely a confused question. "Correspondence" is complicated.

Life is so much easier for an instrumentalist, for whom "exist" is quite clearly defined.

Comment author: TheOtherDave 26 September 2012 05:15:52PM 0 points [-]

I agree with you that the distinction here gets at what people mean by "exists," but am not sure what makes that a false dichotomy. Personally, I lean towards nominalism precisely because "exist" isn't a verb I would apply to abstract objects... whatever it is that existence consists of, abstract objects don't do that thing.

Comment author: shminux 26 September 2012 06:28:32PM *  -2 points [-]

not sure what makes that a false dichotomy

Wikipedia:

a type of logical fallacy that involves a situation in which only two alternatives are considered, when in fact there is at least one additional option. The options may be a position that is between the two extremes (such as when there are shades of grey) or may be a completely different alternative.

For example, abstract objects could be considered to exist in the minds of people imagining them, and consequently in some neuronal pattern, which may or may not match between different individuals, but considered to not exist as something independent of the conscious minds imagining them. While this is a version of nominalism, it is not nearly as clear-cut as "abstract objects do not exist".

Comment author: siodine 26 September 2012 08:59:37PM *  1 point [-]

For example, abstract objects could be considered to exist in the minds of people imagining them, and consequently in some neuronal pattern, which may or may not match between different individuals, but considered to not exist as something independent of the conscious minds imagining them. While this is a version of nominalism, it is not nearly as clear-cut as "abstract objects do not exist".

That would be conceptualism and is a moderate anti-realist position about universals (if you're a physicalist). Nominalism and Platonism are two poles of a continuum about realism of universals. So, you probably lean towards nominalism if you're a physicalist and conceptualist.

Comment author: shminux 26 September 2012 09:17:37PM -2 points [-]

I only used the word "exist" in a sentence because TheOtherDave and I agree on the meaning of it, which I doubt that any of the -ists you mention (probably including you) would agree with.

Comment author: siodine 26 September 2012 09:41:57PM 0 points [-]

And what meaning is that?

Comment author: [deleted] 26 September 2012 08:23:41PM 1 point [-]

That seems to me to be pretty straightforward nominalism to me. I'm having a hard time imagining a more strict nominalist who would call your view an intermediate between his view and platonism.

Comment author: TheOtherDave 26 September 2012 07:17:13PM 1 point [-]

OK, thanks for clarifying.

I agree that if I don't have a crisp understanding of what it means for X to exist (such that maybe X implemented as a neuronal pattern exists, and maybe it doesn't, and no amount of data about the world could tell me which it is because I don't know how states of the world map to the existence or nonexistence of X in the first place ) then I can't clearly assert whether X exists or not.

For my own part, I'm fairly comfortable refusing to use "exists" to refer to that which abstract objects are doing by virtue of being represented by a particular neuronal pattern, and I'm consequently fairly comfortable identifying as a nominalist (for purposes of this question). If I were instead comfortable using "exists" to refer to that act, I would identify as a Platonist (fpotq). If I was comfortable doing both, or neither, I would choose "Other."

Comment author: DanArmak 26 September 2012 03:33:53PM *  1 point [-]

What do platonists say the word object means, if some objects are abstract? What is a property that is true of all objects? What are some categories of non-objects?

Comment author: pragmatist 26 September 2012 03:42:35PM 3 points [-]

For most Platonists, an object is something we quantify over. So, for instance, numbers are objects, because we say things like "There is one even prime" (existential quantification), and "All multiples of 6 are also multiples of 2" (universal quantification). Any domain over which we quantify is a domain of objects.

Comment author: DanArmak 26 September 2012 04:37:36PM 2 points [-]

Then what does it mean for an abstract object like 2 to "exist"?

Comment author: pragmatist 26 September 2012 05:07:26PM *  0 points [-]

There are many different answers to this question. One common answer is that we should believe an object exists if a theory we accept quantifies over that object. If quantum field theory requires quantification over the integers then 2 (and other integers) exist. Since contemporary physics doesn't quantify over a domain containing phlogiston, phlogiston does not exist.

Comment author: DanArmak 26 September 2012 05:19:13PM *  2 points [-]

There's something wrong when smart people argue and disagree over a question when there are many different ideas as to what the words in the question actually mean...