On Thursday, December 20, 2018 at 6:31:49 PM UTC-6, Bruce wrote: > > On Fri, Dec 21, 2018 at 11:07 AM Philip Thrift <[email protected] > <javascript:>> wrote: > >> On Thursday, December 20, 2018 at 3:40:53 PM UTC-6, Bruce wrote: >>> >>> On Fri, Dec 21, 2018 at 3:13 AM Bruno Marchal <[email protected]> wrote: >>> >>> >>> Is not 333’s oddness timeless? >>> >>> >>> Category error. >>> >>> >> >> On category error: >> >> I've never understood "category error" [ >> https://en.wikipedia.org/wiki/Category_mistake ]. (Some philosopher I >> read about recently gave a talk on the non-existence of category errors. >> Good.) >> > > Philosophers will say anything to earn a quid! > > >> >> *Is 333's oddness timeless? *is a perfectly reasonable question. >> >> To the immaterialist, the answer could be "yes". >> To the materialist, the answer could not be "no". >> >> It all depends. >> >> There is a type of dualists who say 333 is one category (nonphysical) and >> time (as in spacetime) is in another category (physical), but this dualism >> is just mixed-up confusion to me. >> > > That's what a category error is -- a mixed-up confusion. To say that the > "number 3" is red is a category error, unless one is talking about a > child's play number set, in which the wooden block in the shape of "3" > might well be coloured red. As you say, whether or not something is a > category error often depends on the context. > > Bruce >
I can understand "type error" (in programming - and [per Montague] English is a programming language!). So if x is of type Number, a compiler could return a type error for red?(x) depending in the type definition of red?. There is (apparently) a numbers to colors theory in psychology where *a 3* might cause a color sensation for some people; and there's the color code for #000003 [ https://www.colorcodehex.com/000003/ ]. Poets of course live with "category errors": My love is a red, red, rose, ...", etc. - pt -- You received this message because you are subscribed to the Google Groups "Everything List" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/d/optout.
