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)

Complex systems are to be seen as typically having multiple levels of organization. For instance, in the behavioural and cognitive sciences, there has been a long lasting trend, promoted by the seminal work of David Marr, putting focus on three distinct levels of analysis: the computational level, accounting for the What and Why issues, the algorithmic and the implementational levels specifying the How problem. However, the tremendous developments in neuroscience knowledge about processes at different scales of organization together with the (...) complexity of today cognitive theories suggest that there will hardly be only three levels of explanation. Instead, there will be many different degrees of commitments corresponding to the different granularities—from high-level (behavioural) models to low-level (neural and molecular) models of the cognitive research program. For instance, Bayesian approaches, that are usually advocated for formalizing Marr’s computational level and rational behaviour, have even been adopted to model synaptic plasticity and axon guidance by molecular gradients. As a result, we can consider the behavioural scientist as dealing with models at a multiplicity of levels. The purpose of this Research Topic in Frontiers in Theoretical and Philosophical Psychology is to promote an approach to the role of the levels and explanation and models which is of interest for cognitive scientists, neuroscientists, psychologists, behavioural scientists, and philosophers of science. (shrink)

Remarks on the Relations between Neurophysiology and Psychology. In the last decades of Analytical Philosophy, contributions to the so-called mind-body-problem have been suffering by several serious methodological misunderstandings: they have failed, for instance, to distinguish between explanations of particular and strictly general properties and between two important senses of existential statements; and they have overlooked the role conceptual explanations play in the development of science. Changing our methodological premisses, we should be able to put questions like that of the relation (...) between physiological and psychological phenomena in a new way - and we should be able to see that such newly understood questions allow answers which evade the pitfalls of both reductionist and holistic positions. The paper tries to illustrate and to defend these contentions by reference to a very elementary example: the rational re-building of our concepts to identify behaviour by which a subject controls the position of his body in space. (shrink)

Williamson’s Knowledge and its Limits is the most important philosophical discussion of knowledge in many years. It sets the agenda for epistemology for the next decade and beyond.

Deliberate contextual vocabulary acquisition (CVA) is a reader’s ability to figure out a (not the) meaning for an unknown word from its “context”, without external sources of help such as dictionaries or people. The appropriate context for such CVA is the “belief-revised integration” of the reader’s prior knowledge with the reader’s “internalization” of the text. We discuss unwarranted assumptions behind some classic objections to CVA, and present and defend a computational theory of CVA that we have adapted to a new (...) classroom curriculum designed to help students use CVA to improve their reading comprehension. (shrink)

This article addresses a classical question: Can a machine use language meaningfully and if so, how can this be achieved? The first part of the paper is mainly philosophical. Since meaning implies intentionality on the part of the language user, artificial systems which obviously lack intentionality will be `meaningless'. There is, however, no good reason to assume that intentionality is an exclusively biological property and thus a robot with bodily structures, interaction patterns and development similar to those of human beings (...) would constitute a system possibly capable of meaning – a conjecture supported through a Wittgenstein-inspired thought experiment. The second part of the paper focuses on the empirical and constructive questions. Departing from the principle of epigenesis stating that during every state of development new structure arises on the basis of existing structure plus various sorts of interaction, a model of human cognitive and linguistic development is proposed according to which physical, social and linguistic interactions between the individual and the environment have their respective peaks in three consecutive stages of development: episodic, mimetic and symbolic. The transitions between these stages are qualitative, and bear a similarity to the stages in phylogenesis proposed by Donald and Deacon. Following the principle of epigenetic development, robotogenesis could possibly recapitulate ontogenesis, leading to the emergence of intentionality, consciousness and meaning. (shrink)

G. Priest's anti-consistency argument (Priest 1979, 1984, 1987) and J. R. Lucas's anti-mechanist argument (Lucas 1961, 1968, 1970, 1984) both appeal to Gödel incompleteness. By way of refuting them, this paper defends the thesis of quartet compatibility, viz., that the logic of the mind can simultaneously be Gödel incomplete, consistent, mechanical, and recursion complete (capable of all means of recursion). A representational approach is pursued, which owes its origin to works by, among others, J. Myhill (1964), P. Benacerraf (1967), J. (...) Webb (1980, 1983) and M. Arbib (1987). It is shown that the fallacy shared by the two arguments under discussion lies in misidentifying two systems, the one for which the Gödel sentence is constructable and to be proved, and the other in which the Gödel sentence in question is indeed provable. It follows that the logic of the mind can surpass its own Gödelian limitation not by being inconsistent or non-mechanistic, but by being capable of representing stronger systems in itself; and so can a proper machine. The concepts of representational provability, representational maximality, formal system capacity, etc., are discussed. (shrink)

This paper examines the standard view of realization operative incontemporary philosophy of mind, and proposes an alternative, generalperspective on realization. The standard view can be expressed, insummary form, as the conjunction of two theses, the sufficiency thesis andthe constitutivity thesis. Physicalists of both reductionist and anti-reductionist persuasions share a conception of realization wherebyrealizations are determinative of the properties they realize and physically constitutive of the individuals with those properties. Centralto the alternative view that I explore here is the idea that (...) the requisite,metaphysically robust notion of realization is ineliminably context-sensitive. I shall argue that the sufficiency and constitutivity theses aretypically not jointly satisfied by any one candidate realizer, and that goingcontext-sensitive in one's metaphysics is preferable to the standard view.The context-sensitive views developed here are implicit in a range ofcommon views in both the philosophy of mind and the philosophy of biology,even if they have not been explicitly articulated, and even though theyundermine other views that are commonly endorsed. (shrink)

This paper surveys some recent work on realization in the philosophy of mind and the philosophy of science.

It has recently been suggested that a distinctive metaphysical relation— ‘Grounding’—is ultimately at issue in contexts in which some goings-on are said to hold ‘in virtue of’’, be ‘metaphysically dependent on’, or be ‘nothing over and above’ some others. Grounding is supposed to do good work in illuminating metaphysical dependence. I argue that Grounding is also unsuited to do this work. To start, Grounding alone cannot do this work, for bare claims of Grounding leave open such basic questions as whether (...) Grounded goings-on exist, whether they are reducible to or rather distinct from Grounding goings-on, whether they are efficacious, and so on; but in the absence of answers to such basic questions, we are not in position to assess the associated claim or theses concerning metaphysical dependence. There is no avoiding appeal to the specific metaphysical relations typically at issue in investigations into dependence—for example, type or token identity, functional realization, classical mereological parthood, the set membership relation, the proper subset relation, the determinable/determinate relation, and so on—which are capable of answering these questions. But, I argue, once the specific relations are on the scene, there is no need for Grounding. (shrink)

The realization relation that allegedly holds between mental and physical properties plays a crucial role for so-called non-reductive physicalism because it is supposed to secure both the ontological autonomy of mental properties and, despite their irreducibility, their ability to make a causal difference to the course of the causally closed physical world. For a long time however, the nature of realization has largely been ignored in the philosophy of mind until a couple of years ago authors like Carl Gillett, Derk (...) Pereboom, or Sydney Shoemaker proposed accounts according to which realization is understood against the background of the so-called 'causal theory of properties'. At least partially, the hope was to solve the problem of mental causation, in particular the kind of causal exclusion reasoning made famous by Jaegwon Kim, in a way acceptable to nonreductive physicalists. The paper asks whether a proper explication of the realization relation can indeed help explain how physically realized mental properties can be causally efficacious in the causally closed physical world and argues for a negative answer: it is important for the non-reductive physicalist to understand what exactly the realization relation amounts to, but it does not solve the problem of mental causation. (shrink)

The core entities of computer science include formal languages, spec-ifications, models, programs, implementations, semantic theories, type inference systems, abstract and physical machines. While there are conceptual questions concerning their nature, and in particular ontological ones (Turner 2018), our main focus here will be on the relationships between them. These relationships have an extensional aspect that articulates the propositional connection between the two entities, and an intentional one that fixes the direction of governance. An analysis of these two aspects will drive (...) our investigation; an investigation that will touch upon some of the central concerns of the philosophy of computer science (Turner 2017). (shrink)

So-called identity theories that postulate the identity of mental phenomena with brain states are usually associated with materialistic ontology. However, the historical picture of the actual attempts at spelling out the mind–brain identities is more complex. In the eighteenth century such identities were most enthusiastically proposed by dualists , whereas non-reductionistic materialists such as Diderot tried to get along without them. In the nineteenth century physiologists such as Broca, Charcot and Wernicke, who postulated discrete and localizable neural correlates for ideas (...) and mental images, ended up, despite their professed materialism, defending theories that resembled Cartesian schemes and the theories of their eighteenth-century dualistic predecessors. Some problems resulting from the use of these theoretical models postulating local and discrete traces, images or representations in the brain in the context of materialist ontology are obviously related to their dualistic origins and to the fact that they are necessarily bound up with dualistic presuppositions. In the context of the criticism of the nineteenth-century memory trace paradigm it is, however, important to bear in mind that functional localization as such is not dependent on the notion of localizable representations. Nor are materialist theories of the mind necessarily dependent on postulating specific type–type identities between the mental and the physiological. (shrink)

I examine the abstraction/representation theory of computation put forward by Horsman et al., connecting it to the broader notion of modeling, and in particular, model-based explanation, as considered by Rosen. I argue that the ‘representational entities’ it depends on cannot themselves be computational, and that, in particular, their representational capacities cannot be realized by computational means, and must remain explanatorily opaque to them. I then propose that representation might be realized by subjective experience, through being the bearer of the structure (...) of abstract objects that are represented. (shrink)

Organisations are computing systems. The university’s sports centre is a computing system for managing sports teams and facilities. The tenure committee is a computing system for assigning tenure status. Despite an increasing number of publications in group ontology, the computational nature of organisations has not been recognised. The present paper is the first in this debate to propose a theory of organisations as groups structured for computing. I begin by describing the current situation in group ontology and by spelling out (...) the thesis in more detail. I then present the example of a sports centre to illustrate why one might intuitively think of organisations as computing systems. To substantiate the thesis, I introduce Piccinini’s restrictive analysis of physical computation. As I show, organisations meet all criteria for being computing systems. Organisations are structured groups with the function of manipulating medium-independent vehicles according to rules. Furthermore, I argue for the modal claim that this is a necessary feature of organisations. Having sketched the computational account of organisations, I compare it to other proposals in the literature. (shrink)

The present paper studies a specific way of addressing the question whether the laws involving the basic constituents of nature are statistical. While most German physicists, above all Planck, treated the issues of determinism and causality within a Kantian framework, the tradition which I call Vienna Indeterminism began from Mach’s reinterpretation of causality as functional dependence. This severed the bond between causality and realism because one could no longer avail oneself of a priori categories as a criterion for empirical reality. (...) Hence, an independent reality criterion had to be sought, a problem which all three physicists to be studied solved in different ways that were mainly conditioned by their different concepts of probability. In order to prevent a dissipation of intuited facts, Mach had to resort to a principle of unique determination as his reality criterion, especially when discussing the Principle of Least Action. Giving theories more independence, Boltzmann understood atomism as property reduction to precisely defined theoretical entities and their interactions. While this served as a relative reality criterion, he also advocated a constructivist one because atomism was already implied by our finitary reasoning power. Finally, Exner contemplated the idea that all apparently deterministic laws are only a macroscopic limit of an irreducible indeterminism, because by adopting the frequency interpretation, observable collectives could be considered as the real basic entities. (shrink)

SummaryJ.R. Lucas has argued that it follows from Godel's Theorem that the mind cannot be a machine or represented by any formal system. Although this notorious argument against the mechanism thesis has received considerable attention in the literature, it has not been decisively rebutted, even though mechanism is generally thought to be the only plausible view of the mind. In this paper I offer an analysis of Lucas's argument which shows that it derives its persuasiveness from a subtle confusion. In (...) particular, I examine Benacerraf's reconstruction of Lucas's argument, thereby permitting a precise re‐statement of my own analysis and reinforcement of my conclusions regarding Lucas's mistake. This examination of Benacerraf's reconstruction permits us to evaluate certain radical and highly paradoxical conclusions concerning empirical psychology which Benacerraf draws, and this, in turn, permits us to consider certain suggestive implications for the mind which may, after all, follow from Godel's Theorem.RésuméJ.R. Lucas a dérivé du théorème de Gödel la conclusion que ľesprit ne peut pas être une machine ou être représenté par un systeme formel. Bien que cet argument célèbre contre la thése du mécanisme ait éveillé un interêt considérable dans la littérature, il ňa pas été réfuté de façon décisive, même si ľopinion générate prévaut que le mécanisme est la seule conception possible de ľesprit. Dans cet article, je propose une analyse du raisonnement de Lucas qui montre que sa force persuasive provient ?on;une subtile confusion. En particulier, j'examine la reconstruction, par Benacerraf, de la démonstration de Lucas, ce qui me pérmet de préciser ma propre analyse et de confirmer mes conclusions quant àľerreur de Lucas. Cet examen de la reconstruction de Benacerraf nous fournit ľoccasion de discuter certaines conclusions radicales et hautement paradoxals qu'il en tire concernant la psychologie expérimentale et nous conduit à certaines implications suggestives concernant ľesprit et qui pourraient finalement decouler du théorème de Gödel.ZusammenfassungJ.R. Lucas hat argumentiert, aus Gödels Theorem mUsse folgen, dass der menschliche Geist keine Maschine sein oder durch ein formales System dargestellt werden kann. Obschon dieses bekannte Argument gegen die mechanistische These in der Literatur beträchtliche Beachtung gefunden hat, ist es bisher noch nie eigentlich widerlegt worden, obgleich eine mechanistische Betrachtungsweise allgemein als die einzig plausible gilt. In dieser Arbeit biete ich eine Analyse von Lucas Argument an, die zeigen soil, dass seine Überzeugungskraft auf einer subtilen Konfusion beruht. Im besonderen untersuche ich Benacerrafs Rekonstruktion des Arguments, was rnirerlaubt, meine eigene Analyse in genauer Weise zu formulieren und meine Schlussfolgerung bezüglich des von Lucas gemachten Fehlers zu erharten. Diese Untersuchung von Benacerrafs Rekonstruktion ermöglicht es, gewisse radikale und im höchsten Grad paradoxe Schlüsse, die Benacerraf hinsichtlich der empirischen Psychologie zieht, zu beurteilen. Das wiederum erlaubt uns, gewisse den Geist betreffende Implikationen zu erörtern, die tatsächlich aus Gödels Theorem folgen kUnnten. (shrink)

In this essay we try an answer to the question has intentionality to be reduced to anything? We propose that it is possible to reduce any variety of intentionality to a specification of mechanisms (internal organization of the items involved in a given intentional phenomenon) and a historical pattern of interaction (structure of mutual significant relations historically acquired by different items involved in the same intentional phenomenon). We first clarify the meaning of this proposal having recourse to the Ruth Millikan’s (...) teleosemantics. Then, we assess the relevance and feasibility of our proposal, considering, in a succession, the case of animals and humans, of machines, and of sophisticated human collectives. We conclude arguing the heuristic nature of the proposed reduction. DOI:10.5007/1808-1711.2010v14n2p255. (shrink)

The paper criticizes standard functionalist arguments for multiple realization. It focuses on arguments in which psychological states are conceived as computational, which is precisely where the multiple realization doctrine has seemed the strongest. It is argued that a type-type identity thesis between computational states and physical states is no less plausible than a multiple realization thesis. The paper also presents, more tentatively, positive arguments for a picture of local reduction.

Sections 3.16 and 3.23 of Roger Penrose's Shadows of the mind (Oxford, Oxford University Press, 1994) contain a subtle and intriguing new argument against mechanism, the thesis that the human mind can be accurately modeled by a Turing machine. The argument, based on the incompleteness theorem, is designed to meet standard objections to the original Lucas-Penrose formulations. The new argument, however, seems to invoke an unrestricted truth predicate (and an unrestricted knowability predicate). If so, its premises are inconsistent. The usual (...) ways of restricting the predicates either invalidate Penrose's reasoning or require presuppositions that the mechanist can reject. (shrink)

§1. Overview. Philosophers and mathematicians have drawn lots of conclusions from Gödel's incompleteness theorems, and related results from mathematical logic. Languages, minds, and machines figure prominently in the discussion. Gödel's theorems surely tell us something about these important matters. But what?A descriptive title for this paper would be “Gödel, Lucas, Penrose, Turing, Feferman, Dummett, mechanism, optimism, reflection, and indefinite extensibility”. Adding “God and the Devil” would probably be redundant. Despite the breath-taking, whirlwind tour, I have the modest aim of forging (...) connections between different parts of this literature and clearing up some confusions, together with the less modest aim of not introducing any more confusions.I propose to focus on three spheres within the literature on incompleteness. The first, and primary, one concerns arguments that Gödel's theorem refutes the mechanistic thesis that the human mind is, or can be accurately modeled as, a digital computer or a Turing machine. The most famous instance is the much reprinted J. R. Lucas [18]. To summarize, suppose that a mechanist provides plans for a machine,M, and claims that the output ofMconsists of all and only the arithmetic truths that a human, or the totality of human mathematicians, will ever or can ever know. We assume that the output ofMis consistent. (shrink)

I identify a class of arguments against multiple realization (MR): BookofSand arguments. The arguments are in their general form successful under reasonably uncontroversial assumptions, but this, on the other hand, turns the table on identity theory: If arguments from MR can always be refuted by BookofSand arguments, is identity theory falsifiable? In the absence of operational demarcation criteria, it is not. I suggest a parameterized formal demarcation principle for brain state/process types and show how it can be used to identify (...) previously unconsidered contenders for evidence for MR, e.g., binary classification, division, and sorting. For these to be actual instances of MR, the corresponding psychological kinds must be verifiably, relevantly similar. I also briefly discuss possible linguistic, behavioral, and experimental demarcation criteria for psychological kinds. (shrink)

What psychological and philosophical significance should we attach to recent efforts at computer simulations of human cognitive capacities? In answering this question, I find it useful to distinguish what I will call "strong" AI from "weak" or "cautious" AI. According to weak AI, the principal value of the computer in the study of the mind is that it gives us a very powerful tool. For example, it enables us to formulate and test hypotheses in a more rigorous and precise fashion. (...) But according to strong AI, the computer is not merely a tool in the study of the mind; rather, the appropriately programmed computer really is a mind, in the sense that computers given the right programs can be literally said to. (shrink)

Qualia and Physicalism. It is assumed that the following three relations exhaust the possibilities for a physicalist account of qualia: 1. determination, 2. identity, 3. realization. The first relation is immediately rejected because it does not exclude property dualism. The second faces the problem that it is probably impossible to discriminate empirically between the identity thesis and the epiphenomenalist position. The third cannot handle qualia adequately, for qualia are not functional properties and the realization relation is only plausible as a (...) relation between physical realizers and functional properties. Finally, if one attempts to replace multiple realization by multiple identities it is shown that the notion of multiple property identities is unintelligible. The upshot is that if these three relations exhaust the possibilities of a physicalist construal of qualia then physicalism is wrong. (shrink)

Discussion about the application of scientific knowledge in robotics in order to build people helpers is widespread. The issue herein addressed is philosophically poignant, that of robots that are “people”. It is currently popular to speak about robots and the image of Man. Behind this lurks the dialogical mind and the questions about the significance of an artificial version of it. Without intending to defend or refute the discourse in favour of ‘recreating’ Man, a lesser familiar question is brought forth: (...) “and what if we were capable of creating a very convincible replica of man (constructing a robot-person), what would the consequences of this be and would we be satisfied with such technology?” Thorny topic; it questions the entire knowledge foundation upon which strong AI/Robotics is positioned. The author argues for improved monitoring of technological progress and thus favours implementing weaker techniques. (shrink)

Brauchen Roboter moralische Kompetenz? Die Antwort lautet ja. Einerseits benötigen Roboter moralische Kompetenz, um unsere Welt aus Regeln, Vorschriften und Werten zu begreifen, andererseits um von ihrem Umfeld akzeptiert zu werden. Wie aber lässt sich moralische Kompetenz in Roboter implementieren? Welche philosophischen Herausforderungen sind zu erwarten? Und wie können wir uns und unsere Kinder auf Roboter vorbereiten, die irgendwann über moralische Kompetenz verfügen werden? André und Iga Maria Schmiljun skizzieren aus einer humanistisch-philosophischen Perspektive erste Antworten auf diese Fragen und entwickeln (...) einen didaktischen Einstieg in das Thema für die Grundschule. (shrink)

Sets itself the Herculean task of comparing and reconciling the modern and Platonic concepts of rationality.