Online research in philosophy

The only sensible solution to the mind-body problem is a type-type identity theory. I wish to argue for a version of Type-Type identity theory that withstands the usual seemingly fatal objections, which I call ‘R-Type Identity Theory’ and which has three claims. First, an identity theory does not entail ‘reducing’ or ‘eliminating’ one set of things to or in favor of another set of things and introduces epidentity (treating identified relata as distinct). Secondly, pain and what-it-is-like to be in pain are distinguishable and introduces frigid stipulation (a pragmatic rather than semantic property by which we stipulate reference). Finally there may be more than one type of mental state in question and introduces subtypes (a pained brainless Martian is evidence that their state is a pain subtype). With the standard objections to identity theory taken care of we are free to embrace the only truly satisfying, non-Cartesian, philosophy of mind.

The type-type reductive identity of the mental to the physical was once the dominant position in the mental causation debate. In time this consensus was overturned, largely due to its inability to handle the problem of multiple realizability. In its place a nonreductive position emerged which often included an adherence to functionalism. Functionalism construes mental properties as functional states of an organism, which in turn have specific physical realizers. This nonreductive form of functionalism, henceforth called role functionalism, has faced a number of criticisms itself. Chief among these is the concern that the realizer of the functional role is causally sufficient, so the role property does not make a contribution of its own. In this paper I argue that there is a way for unreduced functional properties to play a role after all. This is done by conceiving of functional properties as higher level functional properties of a macro system which determine that its realizers will play the roles that they play.

It is commonly believed that there is a fundamental incompatibility between multiple realization and type identity in the philosophy of mind. This claim can be challenged, however, since a single neural type may be realized by different microphysical types. In this case, the identity statement would connect the psychological and the neural type, while the neural type, in turn, could be multiply realized by different microphysical types. Such a multiple realization of higher level types occurs quite frequently even within physics and it should be acceptable for physicalism in general.

Clark & Thornton's type-1/-2 distinction is not well-defined. The classes of type-1 and type-2 problems are too broad: many nocomputable functions are type-1 and type-2 learnable. They are also too narrow: trivial functions, such as identity, are neither type-1 nor type-2 learnable. Moreover, the scope of type-1 and type-2 problems appears to be equivalent. Overall, this distinction does not appear useful for machine learning or cognitive science.