We confront the following popular views: that mind or life are algorithms; that thinking, or more generally any process other than computation, is computation; that anything other than a working brain can have thoughts; that anything other than a biological organism can be alive; that form and function are independent of matter; that sufficiently accurate simulations are just as genuine as the real things they imitate; and that the Turing test is either a necessary or sufficient or scientific procedure for (...) evaluating whether or not an entity is intelligent. Drawing on the distinction between activities and tasks, and the fundamental scientific principles of ontological lawfulness, epistemological realism, and methodological skepticism, we argue for traditional scientific materialism of the emergentist kind in opposition to the functionalism, behaviourism, tacit idealism, and merely decorative materialism of the artificial intelligence and artificial life communities. (shrink)

In science as in mathematics, it is popular to know little and resent much about category theory. Less well known is how common it is to know little and like much about set theory. The set theory of almost all scientists, and even the average mathematician, is fundamentally different from the formal set theory that is contrasted against category theory. The latter two are often opposed by saying one emphasizes Substance, the other Form. However, in all known systems of mathematics (...) throughout history, mathematicians have moved fluidly between ideas conceived of as thing-like, property-like, and process-like. On the other hand one way to advance science is to better distinguish between thing, property, and process. All this constitutes a distracting background for those interested in, or distressed by, the possible application of category theory to science, and to mathematics as well. (shrink)

In science as in mathematics, it is popular to know little and resent much about category theory. Less well known is how common it is to know little and like much about set theory. The set theory of almost all scientists, and even the average mathematician, is fundamentally different from the formal set theory that is contrasted against category theory. The latter two are often opposed by saying one emphasizes Substance, the other Form. However, in all known systems of mathematics (...) throughout history, mathematicians have moved fluidly between ideas conceived of as thing-like, property-like, and process-like. On the other hand one way to advance science is to better distinguish between thing, property, and process. All this constitutes a distracting background for those interested in, or distressed by, the possible application of category theory to science, and to mathematics as well. (shrink)