Posted: Aug 20, 2017 9:53 am
Calling a rock an atheist might be a category error. Category errors are type errors, and programmers are extremely divided on what should and should not be a type error. A Lisp programmer might be happy to say that rocks are atheists. A Haskell programmer would say that if someone finds themselves wondering whether rocks are atheists, there's probably a bug somewhere, and such things should be chucked out immediately as errors in grammar.SafeAsMilk wrote:tuco wrote:Let me just note that babies and rocks are not capable of confirming nor negating a proposition.
I never really got the whole babies/rock comparison. Rocks cannot, in any capacity, have anything like beliefs or propositions. My baby, on the other hand, believes and disbelieves all sorts of things. Simplistic perhaps, but in terms of capability there is no comparison.