When Ken Malone investigates a case of something causing mental static across the United States, he is teleported to a world that doesn't exist.

The dominant scientific and philosophical view of the mind – according to which, put starkly, cognition is computation – is refuted herein, via specification and defense of the following new argument: Computation is reversible; cognition isn't; ergo, cognition isn't computation. After presenting a sustained dialectic arising from this defense, we conclude with a brief preview of the view we would put in place of the cognition-is-computation doctrine.

In this paper, I explore the consequences of the thesis that externalism and internalism are (possibly, but as we will see not necessarily, opposite) metaphysical doctrines on the individuation conditions of a thought. If I am right, this thesis primarily entails that at least some naturalist positions on the ontology of the mind, namely the reductionistic ones, are hardly compatible with both externalism and a version of internalism so conceived, namely relational internalism. Indeed, according to both externalism and relational internalism, (...) intentionality constitutes (or at least grounds) the relational content property providing the individuation conditions of a thought, as a relation to an outer or to an inner object respectively. Yet since intentionality turns out to be a modal, hence a nonnatural, property, both externalism and relational internalism deny to thoughts at least token-identity with physical states. Finally, I will give some support to the idea that externalism and internalism must be interpreted as doctrines on the individuation conditions of a thought. (shrink)

This essay examines an argument of perennial importance against naive Leibnizian absolute identity theory, originating with Ruth Barcan in 1947 (Barcan, R. 1947. ?The identity of individuals in a strict functional 3 calculus of second order?, Journal of Symbolic Logic, 12, 12?15), and developed by Arthur Prior in 1962 (Prior, A.N. 1962. Formal Logic. Oxford: The Clarendon Press), presented here in the form offered by Nicholas Griffin in his 1977 book, Relative Identity (Griffin, N. 1977. Relative Identity. Oxford: The Clarendon (...) Press). The objection considers the property of being necessarily identical to a specific object a as a counterexample to Leibnizian identity conditions, and more particularly to the indiscernibility of identicals, when it is only contingently true that a=b. The inquiry eliminates necessity and reference to a specifically designated object as responsible for the counterexample, leaving only identity. The requirements for an exact reinterpretation of Leibniz's Law in light of counterexamples involving converse intentional properties and the family of properties suggested by the property of being necessarily identical to a where a=b (or an equivalent definite descriptor variation) is only logically contingently true, are formalized in a more powerful, counterexample-resistant version of Leibniz's Law that does not succumb to relative identity as a necessary alternative motivated by desperation over the failure of the absolute identity principle. (shrink)

Does what guides a pastry chef stand on par, from the standpoint of contemporary computer science, with what guides a supercomputer? Did Betty Crocker, when telling us how to bake a cake, provide an effective procedure, in the sense of `effective' used in computer science? According to Cleland, the answer in both cases is ``Yes''. One consequence of Cleland's affirmative answer is supposed to be that hypercomputation is, to use her phrase, ``theoretically viable''. Unfortunately, though we applaud Cleland's ``gadfly philosophizing'' (...) (as, in fact, seminal), we believe that unless such a modus operandi is married to formal philosophy, nothing conclusive will be produced (as evidenced by the problems plaguing Cleland's work that we uncover). Herein, we attempt to pull off not the complete marriage for hypercomputation, but perhaps at least the beginning of a courtship that others can subsequently help along. (shrink)

The demand for 'criteria of correctness' to identify recurring particulars in Wittgenstein's private language argument favors an idealist interpretation of quantum phenomena.The indeterminacy principle in quantum physics and the logic of the private language argument share a common concern with the limitations by which microphysical or sensation particulars can be reidentified. Wittgenstein's criteria for reidentifying particular recurrent private sensations are so general as to apply with equal force to quantum particulars, and to support the idealist thesis that quantum phenomena are (...) themselves essentially mental or dependent on mental occurrences. (shrink)

In his recent _The Rediscovery of the Mind_ John Searle tries to destroy cognitive science _and_ preserve a future in which a ``perfect science of the brain'' (1992, p. 235) arrives. I show that Searle can't accomplish both objectives. The ammunition he uses to realise the first stirs up a maelstrom of consciousness so wild it precludes securing the second.

This paper develops an instrumentalistic argumentagainst an eliminativist approach to using the folkconcept of pain in clinical medicine and draws someimplications for biomedical theories of pain. Thepaper argues that the folk concept of pain plays afundamental role in several aspects of clinicalmedicine, including the diagnosis and treatment ofdiseases and symptoms, relieving human suffering, andthe doctor-patient relationship. Since clinicians mustbe able to apply biomedical theories of pain inmedical practice, these theories should not stray toofar from pain's clinical realities. Biomedicaltheories of pain (...) should at least incorporate an analogof the folk concept of pain, even if this concept isrevised in light of scientific advances. (shrink)