(this might be more interesting if at this point you try to find a flaw in this argument yourself so that I can either get independent confirmation of my analysis or else hear other interesting methods of attack; my thoughts are below)
OK, here's my response, without reading anything below the quoted line:
There are no such things as triangles, there never were and there never will be. Humans construct classification criteria for organizing the actually existing things in the world, and humans need to use pattern-recognition/classification systems that are relatively parsimonious, because we don't have infinite intelligence to burn. The pattern-recognition construct 'triangle' can be defined using a very short set of rules, which makes it convenient for its actually-existing role: as the shadow, or skeleton, of a vast cloud of actually existing things (men's room signs, slices of pizza, Greek capital letter deltas, etc.) which converge to it. Note that there are many other 'forms' which arise, not because they can be easily defined in the abstract, but because humans have specialized brain structures for recognizing them: face, eye, snake.
Short version: there are two kinds of actually existing things here: real objects, and human information compression schemes. 'Forms' are only the interaction between the two.
*reads the rest of the post*
Aaaand we seem to agree. Why are you reading this Feser guy again?
ETA: On further thought, none of this refutes the theory of forms. But we know objects exist (in some sense), we know human pattern recognition exists, and we know that when you apply the latter to the former you get something that rather behaves like classical forms are supposed to, without any independent existence. So classical forms seem to be, like souls and God, an unnecessary hypothesis.
Edited at 2012-11-09 06:33 am (UTC)
Wow, I just made almost the exact same argument as your ETA furthe down the comment thread.
"Aaaand we seem to agree. Why are you reading this Feser guy again?"
1. Some of his other arguments are more interesting. 2. In philosophy even more than everywhere else, it's important to address the basics from time to time because people (okay, me) have a disturbing tendency to consider something a boring solved problem without noticing that I never actually solved it. 3. There are at least five very smart Christians who read this blog and think he's right about everything, and if I can convince even one of them otherwise that will be an accomplishment. 4. Two people have already challenged me in the comments and said I'm wrong, so it's not as obvious as I apparently think.
I propose testing the theory of Platonic Forms by finding the Form of the Triangular and filing one of its corners off.
From: (Anonymous) 2012-11-09 06:25 am (UTC)
| (Link)
|
First of all, it's fascinating that Plato anticipated prototype theory!
Secondly: I'm currently reading Lakoff's /Women, Fire, and Dangerous Things/, which is absolutely fascinating. Lakoff is a proponent of the embodied mind theory of concepts, which says that our clusters in thingspace are not independent of human activity. That is, consider the concept "chair". Certainly, chairs have some cluster structure in thingspace, but much of what unifies beanbag chairs and fancy old wooden rocking chairs under the same category is that we sit on both of these things in a similar manner. This means that even the statistical cluster structure in thingspace doesn't exist without humans to interact with the objects.
-lucidian
Clustering in thingspace emerges from a similarity criterion, and that criterion is always human-generated.
Plato and Aristotle didn't know evolution or natural selection either, let alone about ring species, or the genetic promiscuity of plants and bacteria, which totally borks their notions of natural kinds at the animal level. Feser uses an absurdum of a toothpaste-eating roadkill-inviting squirrel, but squirrels and whales share a common tree shrew (probably) ancestor. Are whales worse at being tree shrews? Do we give a f-?
I suspect Plato and Aristotle only knew Greek. The theory of forms seems the sort of naive idea someone with one language, and little understanding that different languages carve up the world differently, would come up with.
(Are whales fish?)
I think large chunks of philosophy just stop being a thing once you know a little machine learning.
Triangles are a cluster. Where you draw the boundaries isn't purely arbitrary. Triangles are well separated from other shapes, given the kinds of things your brain perceives. But depending on what you care about and what algorithm you use, clusters can come out quite differently. The fact that, under certain conditions on what your brain does, triangles come out looking a lot different from other shapes, is an "objective" fact, it's a fact about math. That *fact* would be true even if we all died, but of course the first half of the fact is "Given a clustering algorithm that works like X", and if you haven't got a clustering algorithm the statement makes no sense. You can only say triangles form a natural category *relative to some scheme of measurement.*
I don't think there's a lot to this Feser guy. Look, I wonder as much as you, "What the hell is up with those Catholics?" (The answer to "What the hell is up with those Orthodox Jews?" is, as far as I can tell, that they follow the laws and don't think about theology, but the same can't be said of Catholics.) It may just be that it's easier to be really *smart* than to be philosophically sound -- after all, there are many brilliant scientists who, when you ask them what they think about consciousness, spout utter nonsense.
Do you agree that there's some sense in which, before you've even designed humans or know what they might need clustering algorithms for, "all triangles" is a more natural category than "all triangles except isoceles triangles, plus three pentagons and a chiliagon on the side"?
Couldn't you even prove that using something like Kolmogorov complexity?
with his characteristic uh-let's-call-it-wit
Crikey. From my occasional reading of his blog, I hadn't picked up in the fact that the guy is a cross between Aristotle and Melanie Phillips.
Question for Feser: would a squirrel that spontaneously developed superintelligence and subsequently cured cancer be considered an objectively worse squirrel than one which scampers about and stores nuts for the winter?
From: (Anonymous) 2012-11-09 03:00 pm (UTC)
| (Link)
|
I have to say that I don't find your counter-argument convincing. I don't necessarily find Feser's argument convincing either, though, because both yours and his are circular. They both rely on realism or nominalism as premises. I'm starting to think that realism and nominalism is just a basic intuition thing that really can't be argued for or against.
Your latter half of the argument, about whether there is some moral weight in approximating the form, is more interesting.
I don't know if we're as symmetrical as you think. Given that everyone involved accepts the existence of atoms and human minds, if we don't need Platonic Forms and we can explain everything perfectly well without them, Occam's Razor tells us to eliminate them.
I think you're missing the subtler point Feser is making. Minds come to conceive abstractions (universals) by nature of being (as opposed to abstractions being). I.e., a rational being will instantiate abstractions as a matter of of existing in this particular universe with its particular constraints. Like e.g. how a replicator will come to exist in this particular universe with its particular constraints despite the fact that it doesn't exist as some fundamental feature of the universe (but as a result of the fundamental features of the universe).
What AT forms come down to is intentionality. I.e., why does the universe result in our minds that instantiate abstractions necessarily? Here's where your worldviews diverge, and where you'll misunderstand them (I warned you of this a while ago). ATists think intentionality can't be explained by supervenience physicalism (the least burdened physicalism -- i.e., if this is wrong, any other conception of physicalism must necessarily be wrong), and so they take on a kind of dualist worldview. Suddenly teleology makes sense, and suddenly "clusters in thingspace" isn't a sufficient answer because it doesn't answer "why?" at the meta-level.
Can you rephrase this? I don't understand, especially the first paragraph and the connection to intentionality.
Not trying to be a nitpicky jerk, but most mutations are neutral (http://www.talkorigins.org/indexcc/CB/CB101.html), since so much DNA of most organisms doesn't do anything significant.
Unless you were saying "most mutations which do something," in which case, sorry! A majority of those are harmful.
(Not sure why it turns my a-tag html into bold and parentheses. Is this a feature you turned on to discourage spam?)
Edited at 2012-11-09 07:04 pm (UTC)
I think it must be. I'm glad it's doing that instead of just rejecting your post outright (and good point)
(1) I am now concerned about the shape of your sexual organs.
(2) Is there an LJ feed for Less Wrong?
From: (Anonymous) 2012-11-10 12:34 am (UTC)
| (Link)
|
>(this might be more interesting if at this point you try to find a flaw in this argument yourself so that I can either get independent confirmation of my analysis or else hear other interesting methods of attack; my thoughts are below)
Here's the flaw I found, given that I probably read a bunch of the same stuff you have (so it's likely similar).
"Triangular" is merely the human word for the empirical group of objects that are triangular. The Canadian parliament changes what "triangular" means without affecting the empirical group of triangular objects in the least.
Triangular is an empirical group because triangular objects share certain characteristics that make them much like other triangular objects. Say, having three sides.
The proof for platonic forms conflates the label of the empirical group ("triangular") with the contents of the empirical group (objects that are triangular). The map is not the territory.
"The Canadian parliament changes what "triangular" means without affecting the empirical group of triangular objects in the least."
But isn't that the point that Feser is making? The Canadian parliament says "Some triangles have four sides" but that does not change the empirical group because it is not the nature of some triangles to be four-sided; if an object has four sides, it may be a square or a rectangle and so it belongs to another empirical group.
A four-sided square declaring "I'm really a triangle and the law supports me and you can't say different" is still a square, not a triangle.
For example, things that are natural (A) are usually safe and nontoxic (B), and chemicals manufactured in factories (~A) are usually dangerous and toxic (~B)
Nitpick: this is so not true.
(this might be more interesting if at this point you try to find a flaw in this argument yourself so that I can either get independent confirmation of my analysis or else hear other interesting methods of attack; my thoughts are below)
My thoughts were about 25% the same as what everyone else has been saying, and 75% "just what does he mean by real? Can I have that tabooed before saying anything?"
From: (Anonymous) 2012-11-24 09:58 pm (UTC)
Forms | (Link)
|
Trouble is, science makes direct reference to universals (forms). Consider circularity, a much better example than triangularity. If circularity is a label that we use for the sake of convenience without any inherent existence of its own, then we have no logical reason for thinking that what (we think we) know about circularity - such as c = 2*pi*r - can apply to the world of objects. And exactly the same would apply to all mathematical concepts. These abstract concepts would have no existence outside our minds; we would therefore have no logically-sound confidence in their applicability to the world of stuff. Science makes universal, abstract predictions about particular, concrete objects, but the validity of these predictions relies on the existence of universals.
(Of course, some people would indeed argue that we can't place any confidence in scientific predictions, but I'm guessing you're not one of them.)
It's also true that we know more about the physics behind the cat's holding together than Plato did. But this doesn't disprove forms. Physics gives us more detail about how this instance of a form remains in existence, but it in no way disproves the existence of forms per se. (I'd be interested to hearing your reasoning as to why you think this is so.) It's a parallel question. The details of physics are discovered through observation (and undergo constant refinement), while the existence of forms are deduced through logic (and, like mathematics, are inherently true - not in need of any improvement).
"This was another piece of the puzzle Plato was missing: the idea that things are made of component parts. Once we've got that, the mystery of what makes something triangular becomes much less mysterious: it's just a certain arrangement of parts in space."
Plato didn't know things were made of component parts? Really?
And saying that triangles are 'just a certain arrangement of parts in space' assumes reductionism/nominalism.
Finally, I don't think you represent Feser's argument fairly. His argument is far more complex than 'triangularity is real because it would still exist if everyone died', which is the impression one would get from reading your post.
Apologies if this is badly written - done in haste.
I think it's a case of "natural boundaries" -- the human brain is just one way to realize evidence-to-category processor, but we can think of abstract Turing machines that get sensory evidence and decide "triangle" or "not triangle" (we can imagine instead it says "how triangular" it is, if you want a more continuous form). Now, a Turing machine that obeys the Canadian parliament "sometimes four sides" is more complicated than a Turing machine that just accepts Triangles -- and so Triangles as a category are "more natural" in this objective Kolmogorovish sense. We can imagine a Turing machine that pattern-matches a squirrel's DNA to decide if something is a squirrel, etc. Humans are kinda Kolmogorovish approximation, so it's no surprise that for things we evolved around, we return the same answers -- but the property "this is a natural category" does have an objective meaning that does not depend on humans.
This, however, does not imply a Platonic ideal. It accepts categories as fuzzy and imperfect -- but they are not human-dependent. They are "mind-dependent", but any more-or-less Kolmogorovish mind will give more-or-less the same categories.
From: (Anonymous) 2013-02-05 02:20 am (UTC)
where to use cheap beats by dre for sale? | (Link)
|
ovice [url=http://www.get-beatsbydre.com]cheap beats by dre[/url] gpuqo http://www.get-beatsbydre.com cpsuq [url=http://www.givebeatsbydre.com]cheap beats by dre[/url] eqcni http://www.givebeatsbydre.com fdjag [url=http://www.givedrdrebeats.com]cheap beats by dre[/url] gaxva http://www.givedrdrebeats.com ajlpd [url=http://www.savedrdrebeats.com]cheap beats by dre[/url] bgxfb http://www.savedrdrebeats.com jaugy [url=http://www.paybeatsbydre.com]beats by dre cheap[/url] ajwmh http://www.paybeatsbydre.com cytgx [url=http://www.paycheapbeatsbydre.com]beats by dre[/url] vslwg http://www.paycheapbeatsbydre.com mefc
From: (Anonymous) 2013-02-05 02:30 am (UTC)
where to use cheap beats by dre for sale? | (Link)
|
dcibz [url=http://www.get-beatsbydre.com]beats by dre cheap[/url] drqha http://www.get-beatsbydre.com clppy [url=http://www.givebeatsbydre.com]beats by dre[/url] wgmkl http://www.givebeatsbydre.com ujqyw [url=http://www.givedrdrebeats.com]cheap beats by dre[/url] hhpui http://www.givedrdrebeats.com nrige [url=http://www.savedrdrebeats.com]beats by dre[/url] plyag http://www.savedrdrebeats.com hqwej [url=http://www.paybeatsbydre.com]cheap beats by dre[/url] rsufe http://www.paybeatsbydre.com lslsn [url=http://www.paycheapbeatsbydre.com]cheap beats by dre[/url] twggd http://www.paycheapbeatsbydre.com eupy
From: (Anonymous) 2013-02-05 02:33 am (UTC)
where to use cheap beats by dre for sale? | (Link)
|
yuyuy [url=http://www.get-beatsbydre.com]beats by dre[/url] gcncp http://www.get-beatsbydre.com dodrj [url=http://www.givebeatsbydre.com]beats by dre[/url] axzrk http://www.givebeatsbydre.com zlsvf [url=http://www.givedrdrebeats.com]beats by dre[/url] gyvuf http://www.givedrdrebeats.com lxjgw [url=http://www.savedrdrebeats.com]cheap beats by dre[/url] qsjzb http://www.savedrdrebeats.com ktply [url=http://www.paybeatsbydre.com]cheap beats by dre[/url] mwqqh http://www.paybeatsbydre.com xzzme [url=http://www.paycheapbeatsbydre.com]dr dre beats[/url] cgjyv http://www.paycheapbeatsbydre.com evoi
From: (Anonymous) 2013-02-05 02:45 am (UTC)
where to buy Cheap beats by dre For Sale? | (Link)
|
zlmgo [url=http://www.foxbeatsbydre.co.uk]dre beats[/url] vbunp http://www.foxbeatsbydre.co.uk lhbai [url=http://www.add-beatsbydre.co.uk]dr dre beats[/url] cbidb http://www.add-beatsbydre.co.uk gmgpa [url=http://www.add-drdrebeats.co.uk]dr dre beats[/url] lfmyw http://www.add-drdrebeats.co.uk xnfed [url=http://www.onlinecheapbeatsbydre.com]beats by dre[/url] phanc http://www.onlinecheapbeatsbydre.com ebvtf [url=http://www.justdrdrebeatssale.com]cheap beats by dre[/url] sgnom http://www.justdrdrebeatssale.com cqlko [url=http://www.vip-beatsbydresale.com]cheap beats by dre[/url] pnvxr http://www.vip-beatsbydresale.com usmk
From: (Anonymous) 2013-02-05 02:46 am (UTC)
where to buy cenline handbags for cheap price? | (Link)
|
oxiid [url=http://www.pickcelinehandbags.com]celine bag[/url] orqvlt http://www.pickcelinehandbags.com uycjb [url=http://www.savecelinehandbags.com]cheap celine bag[/url] ybzngi http://www.savecelinehandbags.com unpsd [url=http://www.savecelinebags.com]cheap celine bags[/url] uqqnir http://www.savecelinebags.com vzlf [url=http://www.goodcelinebags.com]celine bag[/url] tvzuti http://www.goodcelinebags.com aoyij [url=http://www.goodcelinehandbags.com]cheap celine bag[/url] fmqkrj http://www.goodcelinehandbags.com glxml [url=http://www.onlinecelinebags.com]celine bag online[/url] lsjycb http://www.onlinecelinebags.com swki
From: (Anonymous) 2013-02-05 02:54 am (UTC)
where to buy cheap louis vuitton for sale? | (Link)
|
lmmdi [url=http://www.salelouisvuitton-no1.com]louis vuitton outlet[/url] awsjbj http://www.salelouisvuitton-no1.com fohbq [url=http://www.get-louisvuittonoutlet.com]louis vuitton outlet[/url] lmzuqc http://www.get-louisvuittonoutlet.com okpna [url=http://www.pick-louisvuittonoutlet.com]louis vuitton outlet[/url] jxxhqf http://www.pick-louisvuittonoutlet.com pixb [url=http://www.foxlouisvuitton.com]louis vuitton bags[/url] ptgphf http://www.foxlouisvuitton.com tyeak [url=http://www.lo-louisvuittonoutlet.com]louis vuitton outlet[/url] lyeprs http://www.lo-louisvuittonoutlet.com wujkp [url=http://www.locheaplouisvuitton.com]louis vuitton sale[/url] szlnpg http://www.locheaplouisvuitton.com bgcw
From: (Anonymous) 2013-02-09 01:36 am (UTC)
Buy cheap beats by dre sale online here in uk | (Link)
|
zpsuo [url=http://www.foxbeatsbydre.co.uk]dr dre beats[/url] yyeps http://www.foxbeatsbydre.co.uk balgx [url=http://www.add-beatsbydre.co.uk]beats by dr dre[/url] adnle http://www.add-beatsbydre.co.uk ocezl [url=http://www.add-drdrebeats.co.uk]dr dre beats[/url] xdtzq http://www.add-drdrebeats.co.uk nqwod [url=http://www.onlinecheapbeatsbydre.com]dre beats[/url] sgjrz http://www.onlinecheapbeatsbydre.com tovci [url=http://www.justdrdrebeatssale.com]cheap beats by dre[/url] wyyny http://www.justdrdrebeatssale.com holmx [url=http://www.vip-beatsbydresale.com]dr dre beats[/url] imddp http://www.vip-beatsbydresale.com dgff
From: (Anonymous) 2013-02-10 09:31 am (UTC)
where to buy canada goose For Sale? | (Link)
|
koouc [url=http://www.getcanadagooseoutlet.com]canada goose[/url] ibrqqh http://www.getcanadagooseoutlet.com tsqte [url=http://www.pick-canadagoose.com]canada goose[/url] hodpgi http://www.pick-canadagoose.com gnpkh [url=http://www.pickupcanadagoose.com]canada goose[/url] dcjvgx http://www.pickupcanadagoose.com sckn [url=http://www.pay-canadagooseoutlet.com]canada goose jacket[/url] nnqoto http://www.pay-canadagooseoutlet.com fubyc [url=http://www.yescanadagooseoutlet.com]canada goose outlet[/url] qcbjuq http://www.yescanadagooseoutlet.com wwzhi [url=http://www.online-canadagooseoutlet.com]canada goose[/url] zsejnn http://www.online-canadagooseoutlet.com xogj
From: (Anonymous) 2013-02-11 08:29 am (UTC)
where can i buy cheap mulberry outlet online | (Link)
|
scqef [url=http://www.im-mulberrybags.co.uk]mulberry handbags[/url] iyvfrz http://www.im-mulberrybags.co.uk wksdc [url=http://www.im-mulberryoutlet.co.uk]mulberry sale[/url] oscaoc http://www.im-mulberryoutlet.co.uk gtzta [url=http://www.pay-mulberrybags.co.uk]mulberry outlet[/url] phnrng http://www.pay-mulberrybags.co.uk qehv [url=http://www.online-mulberry.co.uk]mulberry outlet[/url] zwyrbt http://www.online-mulberry.co.uk susca [url=http://www.goodcelinehandbags.com]mulberry bags[/url] vbklql http://www.goodcelinehandbags.com ztxda [url=http://www.onlinecelinebags.com]mulberry outlet online[/url] xlxhxj http://www.onlinecelinebags.com hiah |