On 7/16/07, <b class="gmail_sendername">Stathis Papaioannou</b> <<a href="mailto:stathisp@gmail.com">stathisp@gmail.com</a>> wrote:<div><span class="gmail_quote"></span><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
I'm a nominalist, in that I don't believe that categories have a<br>separate ontological status. However, this is incidental to the<br>question of whether evolved intelligent beings would recognise the<br>same categories as we do. It's easy enough to imagine a very
<br>intelligent, very precise and pedantic being which does not regard<br>anything as being the same thing unless it is *exactly* the same<br>thing, which no physical object can be from moment to moment. What<br>would you actually say to an alien who thought you were crazy to
<br>assert that the rock was the same rock as yesterday?</blockquote><div><br>Say? But the very act of saying anything, presupposes that the listener can understand that the words are part of the same utterance, spoken by the same person. It's easy to imagine - indeed, to implement in a computer program - a very precise and pedantic being which does not regard anything as being the same thing unless it is *exactly* the same thing, but such a being could not be intelligent; intelligence is the ability to solve (certain kinds of) problems, which such a being could not do.
<br></div><br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">It is difficult<br>to give a formal reason why a certain amount of vagueness should be
<br>allowed and another not, although there are practical reasons.<br></blockquote></div><br>Successful problem-solving by programs of tractable length and run time dictates said programs contain the concept of sameness (whether or not it be labelled by the English word "same"); granted we can't formally calculate from this the exact amount of vagueness that should be allowed, but in principle it does provide a formal justification.
<br>