Pragmatist reinterpretations of both deliberative‐communicative theory and legal positivism point out the mentalist fallacy entailed by these prevalent models. I argue that pragmatist approaches imply analogous erroneous beliefs since they presuppose as given the shared perception of social contexts. Therefore they take for granted the shared interpretation of social problems and shared selection of common goals. Hence I advance the necessity of inquiring into the possibility conditions for a shared perception of social contexts. This would entail the organization of institutional (...) incentives meant to extend the scope and inclusiveness of the immediate perception of social context expressed by different agents. (shrink)

The comment addresses central issues of a "theory theory" approach as exemplified in Gopnik' and Goldman's BBS-articles. Gopnik, on the one hand, tries to demonstrate that empirical evidence from developmental psychology supports the view of a "theory theory" in which common sense beliefs are constructed to explain ourselves and others. Focusing the informational processing routes possibly involved we would like to argue that his main thesis (e.g. idea of intentionality as a cognitive construct) lacks support at least for two reasons: (...) one methodological and one structural. On the other hand, Goldman raises an important question when he is asking how people ascribe mental states to themselves. Reasons why Goldman's attempt to understand common sense mental representations by using an analogy from visual perception is problematic are discussed. The role which is attributed to a phenomenology is evaluated. (shrink)

Benacerraf has presented two problems for the philosophy of mathematics. These are the problem of identification and the problem of representation. This paper aims to reconstruct the latter problem and to unpack its undermining bearing on the version of Ontic Structural Realism that frames scientific representations in terms of abstract structures. I argue that the dichotomy between mathematical structures and physical ones cannot be used to address the Benacerraf problem but strengthens it. I conclude by arguing that versions of OSR (...) that do not rely on mathematical frameworks for representational purposes need not be vulnerable to Benacerraf’s second problem. (shrink)

Scientific behavior is used as a benchmark to examine the truth status of computationalism (COMP) as a law of nature. A COMP-based artificial scientist is examined from three simple perspectives to see if they shed light on the truth or falsehood of COMP through its ability or otherwise, to deliver authentic original science on the a priori unknown like humans do. The first perspective (A) looks at the handling of ignorance and supports a claim that COMP is "trivially true" or (...) "pragmatically false" in the sense that you can simulate a scientist if you already know everything, which is a state that renders the simulation possible but pointless. The second scenario (B) is more conclusive and unusual in that it reveals that the COMP scientist can never propose/debate that COMP is a law of nature. This marked difference between the human and the artificial scientist in this single, very specific circumstance, means that COMP cannot be true as a general claim. The third scenario (C) examines the artificial scientist's ability to do science on itself/humans to uncover the "law of nature" which results in itself. This scenario reveals that a successful test for scientific behavior by a COMP-based artificial scientist supports a claim that COMP is true. Such a test is quite practical and can be applied to an artificial scientist based on any design principle, not merely COMP. Scenario (C) also reveals a practical example of the COMP scientist's inability to handle informal systems (in the form of liars), which further undermines COMP. Overall, the result is that COMP is false, with certainty in one very specific, critical place. This lends support to the claims (i) that artificial general intelligence will not succeed based on COMP principles, and (ii) computationally enacted abstract models of human cognition will never create a mind. (shrink)

A response to a recent critique by Cem Bozşahin of the theory of syntactic semantics as it applies to Helen Keller, and some applications of the theory to the philosophy of computer science.

Abstract Few theoretical insights have emerged from the extensive literature discussions of petitio principii argument. In particular, the pattern of petitio analysis has largely been one of movement between the two sides of a dichotomy, that of form and content. In this paper, I trace the basis of this dichotomy to a dualist conception of mind and world. I argue for the rejection of the form/content dichotomy on the ground that its dualist presuppositions generate a reductionist analysis of certain concepts (...) which are central to the analysis of petitio argument. I contend, for example, that no syntactic relation can assimilate within its analysis the essentially holistic nature of a notion like justification. In this regard, I expound a form of dialectical criticism which has been frequently employed in the philosophical arguments of Hilary Putnam. Here the focus of analysis is upon the way in which the proponent of a position proceeds to explain or argue for his/her own particular theses. My conclusion points to the use of such dialectic within future analyses of petitio principii. (shrink)

A comprehensive introduction to the Language of Though Hypothesis (LOTH) accessible to general audiences. LOTH is an empirical thesis about thought and thinking. For their explication, it postulates a physically realized system of representations that have a combinatorial syntax (and semantics) such that operations on representations are causally sensitive only to the syntactic properties of representations. According to LOTH, thought is, roughly, the tokening of a representation that has a syntactic (constituent) structure with an appropriate semantics. Thinking thus consists in (...) syntactic operations defined over representations. Most of the arguments for LOTH derive their strength from their ability to explain certain empirical phenomena like productivity, systematicity of thought and thinking. (shrink)

The aim of this paper is to propose an alternative behavioural definition of computation (and of a computer) based simply on whether a system is capable of reacting to the environment—the input—as reflected in a measure of programmability. This definition is intended to have relevance beyond the realm of digital computers, particularly vis-à-vis natural systems. This will be done by using an extension of a phase transition coefficient previously defined in an attempt to characterise the dynamical behaviour of cellular automata (...) and other systems. The transition coefficient measures the sensitivity of a system to external stimuli and will be used to define the susceptibility of a system to be (efficiently) programmed. (shrink)

It is the purpose of this article to explicate the logical implications of a television analogy for perception, first suggested by John R. Smythies (1956). It aims to show not only that one cannot escape the postulation of qualia that have an evolutionary purpose not accounted for within a strong functionalist theory, but also that it undermines other anti-representationalist arguments as well as some representationalist ones.

Amit's Hebbian model risks being overexplanatory, since it does not depend on specific physiological modelling of cortical ANNs, but concentrates on those phenomena which are modelled by a large class of ANNs. While offering a strong demonstration of the presence of Hebb's “cell assemblies,” it does not offer an equal account of Hebb's “phase sequence” concept.

Since Hilary Putnam and Saul Kripke's first attacks on traditional, descriptivist theories of natural kind terms, it has become customary to speak of the ‘Putnam-Kripke’ view of meaning and reference. This article argues that this is a mistake, and that Putnam's account of natural kind terms is importantly different from that of Kripke. In particular, Putnam has from the very start been sceptical of Kripke's modal claims, and in later papers he explicitly rejects the proposal that theoretical identity statements are (...) metaphysically necessary (if true). I suggest that this is wholly in line with Putnam's earlier, Quine-inspired writings on general terms, and his preoccupation with the philosophy of science. Moreover, I argue that the picture of general terms that emerges from Putnam's writings is more plausible than that suggested by Kripke. However, contrary to Putnam, I also suggest that Putnam's later views on natural kinds and natural kind terms do not support standard Twin Earth externalism. (shrink)

There has been much debate over whether to accept the claim that meaning is normative. One obstacle to making progress in that debate is that it is not always clear what the claim amounts to. In this paper, I try to resolve a dispute between those who advance the claim concerning how it should be understood. More specifically, I critically examine two competing conceptions of the normativity of meaning, rejecting one and defending the other. Though the paper aims to settle (...) a dispute among proponents of the claim that meaning is normative, it should be of interest to those who challenge it. After all, before one takes aim, one’s target needs to be in clear view. (shrink)

A commentary on a target article by Alison Gopnik (1993) How we know our minds: the illusion of first-person knowledge of intentionality. Focusing on evidence of how children acquire a theory of mind, this commentary argues that there are internal inconsistencies in theories that both argue for the functional role of conscious experiences and the irreducibility of those experiences to third-person viewable information processing.

Taken at face value, a programming language is defined by a formal grammar. But, clearly, there is more to it. By themselves, the naked strings of the language do not determine when a program is correct relative to some specification. For this, the constructs of the language must be given some semantic content. Moreover, to be employed to generate physical computations, a programming language must have a physical implementation. How are we to conceptualize this complex package? Ontologically, what kind of (...) thing is it? In this paper, we shall argue that an appropriate conceptualization is furnished by the notion of a technical artifact. (shrink)

Posner & Raichle (1994) is a nice addition to the Scientific American Library and the average reader will both enjoy the book and learn a great deal. As an activeresearcher, however, I find the book disappointing in many respects. My two major disappointments are in the illusion of computation that is created throughout the volume and in the inadequate perspective of the presentation on visual attention.

This symposium contribution discusses some issues of ontology involved in the metaethics of Hilary Putnam's book Ethics without Ontology.

In this paper I will discuss Kims powerful explanatory exclusion argument against the causal efficacy of mental properties. Baker and Burge misconstrue Kims challenge if they understand it as being based on a purely metaphysical understanding of causation that has no grounding in an epistemological analysis of our successful scientific practices. As I will show, the emphasis on explanatory practices can only be effective in answering Kim if it is understood as being part of the dual-explanandum strategy. Furthermore, a fundamental (...) problem of the contemporary debate about mental causation consists in the fact that all sides take very different examples to be paradigmatic for the relation between psychological and neurobiological explanations. Even if we should expect some alignment in the explanatory scope of neurobiology and psychology/folk-psychology, there is no reason to expect that all mental explanations are exempted by physical explanations, since they do not in general explain the same phenomena. (shrink)

At the end of the 19th century, Josiah Royce participated in what has come to be called the great debate (Royce, 1897; Armour, 2005).1 The great debate concerned issues in metaphysical theology, and, since metaphysics was primarily idealistic, it dealt considerably with the relations between the divine Self and lesser selves. After the great debate, Royce developed his idealism in his Gifford Lectures (1898-1900). These were published as The World and the Individual. At the end of the first volume, Royce (...) added a Supplementary Essay. The Essay, continuing themes from the great debate, developed an intriguing mathematical model of the relations between the divine Self and lesser selves. The second volume went on to.. (shrink)

When it comes to the question of what kind of moral claim an intelligent or autonomous machine might have, one way to answer this is by way of comparison with humans: Is there a fundamental difference between humans and other entities? If so, on what basis, and what are the implications for science and ethics? This question is inherently imprecise, however, because it presupposes that we can readily determine what it means for two types of entities to be sufficiently different—what (...) I will refer to as being “discontinuous”. In this paper, I will sketch a formal characterization of what it means for types of entities to be unique with regard to each other. This expands upon Bruce Mazlish’s initial formulation of what he terms a continuity between humans and machines, Alan Turing’s epistemological approach to the question of machine intelligence, and Sigmund Freud’s notion of scientific revolutions dealing blows to the self-esteem of mankind. I will discuss on what basis we should regard entities as (dis-)continuous, the corresponding moral and scientific implications, as well as an important difference between what I term downgrading and upgrading continuities—a dramatic difference in how two previously discontinuous types of entities might become continuous. All of this will be phrased in terms of which scientific levels of explanation we need to presuppose, in principle or in practice, when we seek to explain a given type of entity. The ultimate purpose is to provide a framework that defines which questions we need to ask if we argue that two types of entities ought (not) to be explained (hence treated) in the same manner, as well as what it takes to reconsider scientific and ethical hierarchies imposed on the natural and artificial world. (shrink)

The authors ofImages of the Mindhave made a significant contribution to our understanding of the brain through imaging technology. The book is well written, timely, beautifully illustrated and conveys a sense of history. It will appeal to alay audience as well as a professional audience.

The view that the brain is a sort of computer has functioned as a theoretical guideline both in cognitive science and, more recently, in neuroscience. But since we can view every physical system as a computer, it has been less than clear what this view amounts to. By considering in some detail a seminal study in computational neuroscience, I first suggest that neuroscientists invoke the computational outlook to explain regularities that are formulated in terms of the information content of electrical (...) signals. I then indicate why computational theories have explanatory force with respect to these regularities:in a nutshell, they underscore correspondence relations between formal/mathematical properties of the electrical signals and formal/mathematical properties of the represented objects. I finally link my proposal to the philosophical thesis that content plays an essential role in computational taxonomy. (shrink)

Putnam (Representations and reality. MIT Press, Cambridge, 1988) and Searle (The rediscovery of the mind. MIT Press, Cambridge, 1992) famously argue that almost every physical system implements every finite computation. This universal implementation claim, if correct, puts at the risk of triviality certain functional and computational views of the mind. Several authors have offered theories of implementation that allegedly avoid the pitfalls of universal implementation. My aim in this paper is to suggest that these theories are still consistent with a (...) weaker result, which is the nomological possibility of systems that simultaneously implement different complex automata. Elsewhere I (Shagrir in J Cogn Sci, 2012) argue that this simultaneous implementation result challenges a computational sufficiency thesis (articulated by Chalmers in J Cogn Sci, 2012). My focus here is on theories of implementation. After presenting the basic simultaneous implementation construction, I argue that these theories do not avoid the simultaneous implementation result. The conclusion is that the idea that the implementation of the right kind of automaton suffices for a possession of a mind is dubious. (shrink)

In their critique of connectionist models Fodor and Pylyshyn (1988) dismiss such models as not being cognitive or psychological. Evaluating Fodor and Pylyshyn's critique requires examining what is required in characterizating models as 'cognitive'. The present discussion examines the various senses of this term. It argues the answer to the title question seems to vary with these different senses. Indeed, by one sense of the term, neither representa-tionalism nor connectionism is cognitive. General ramifications of such an appraisal are discussed and (...) alternative avenues for cognitive research are suggested. (shrink)

Elvira Schnabel; Wittgenstein on Rules: what follows and what does not, Journal of Philosophy of Education, Volume 25, Issue 1, 30 May 2006, Pages 83–94, https.

Triviality arguments against the computational theory of mind claim that computational implementation is trivial and thus does not serve as an adequate metaphysical basis for mental states. It is common to take computational implementation to consist in a mapping from physical states to abstract computational states. In this paper, I propose a novel constraint on the kinds of physical states that can implement computational states, which helps to specify what it is for two physical states to non-trivially implement the same (...) computational state. (shrink)

Searle's (1990) argument for the seems to rest on a confusion between ontological and epistemological claims. The potential consciousness of a mental state does not yield the same effect as does its actual consciousness, namely, the preservation of aspectual shape. Searle's distinction between the consciousness of an intentional object and that of a mental state, which is meant to counter the objection that deep unconscious rules cease to be deep once they become conscious, fails to do its appointed task.

Summary Searle claims that for a machine to have intentional states it is not sufficient that a formal programme be instantiated. Various types of objections to this claim have been brought up by Searle's critics. Searle's replies to some of these objections are analysed. It turns out that it is more to these objections than Searle wants to make us believe. What is crucial, however, is that Searle's „Gedankenexperiment results in a dilemma. At the outset of the dilemma there are (...) two ways of not understanding. According to one of these ways a person (Searle's homunculus) does not understand something without knowing that s/he does not understand. While in the other mode the person knows that s/he doesn't understand. In the first case the inference from facts about the homunculus to facts about the computer is not valid whereas in the second case one would attribute mental states to the computer. Thereby Searle's claim turns out to be unfounded. (shrink)

In this paper, I provide further elaboration of my theory of conscious experience, in response to the criticisms made by David Cole, and I directly address a number of the issues he raises. In particular, I examine Cole's claim that functionalism rather than neurophysiology is the theoretical key to consciousness. I argue that weak type-physicalism provides an analysis which is more fine grained, makes weaker assumptions, and allows more scope for empirical methods.

The paper examines the status of conscious presentation with regard to mental content and intentional states. I argue that conscious presentation of mental content should be viewed on the model of a secondary quality, as a subjectiveeffect of the microstructure of an underlying brain state. The brain state is in turn viewed as the instantiation of an abstract computational state, with the result that introspectively accessible content is interpreted as a presentation of the associated computational state realized by the brain. (...) However, if the relation between consciousness and representational content is construed in this manner, then conscious presentation does not provide an adequate foundation for the claim that human mental states areintrinsically intentional. On this model, I argue that functionalism is able to account for (non-intrinsic) intentionality, but not for consciousness, which has implications for the computational paradigm, as well as for Searle's Chinese room thought experiment. (shrink)

There are methodological problems with the new techniques reviewed by Posner & Raichle. Some brain mechanisms are not detected by the temporal and spatial resolution. Questions are also raised by the stimulation paradigms.