The property of being the implementation of a computational structure has been argued to be vacuously instantiated. This claim provides the basis for most antirealist arguments in the field of the philosophy of computation. Standard manoeuvres for combating these antirealist arguments treat the problem as endogenous to computational theories. The contrastive analysis of computational and other mathematical representations put forward here reveals that the problem should instead be treated within the more general framework of the Newman problem in structuralist accounts (...) of mathematical representation. It is argued that purely structuralist and purely functionalist accounts of implementation are inadequate to tackle the problem. An extensive evaluation of semantic accounts is provided, arguing that semantic properties are, unlike structural and functional ones, suitable to restrict the intended domain of implementation of computational properties in such a way as to block the Newman problem. The semantic hypothesis is defended from a number of recent objections. (shrink)

Defending or attacking either functionalism or computationalism requires clarity on what they amount to and what evidence counts for or against them. My goal here is not to evaluate their plausibility. My goal is to formulate them and their relationship clearly enough that we can determine which type of evidence is relevant to them. I aim to dispel some sources of confusion that surround functionalism and computationalism, recruit recent philosophical work on mechanisms and computation to shed light on them, and (...) clarify how functionalism and computationalism may or may not legitimately come together. (shrink)

In the mid of nineteenth century, the hypothesis, “machine can think,” became very popular after Alan Turing’s article on “Computing Machinery and Intelligence.” This hypothesis, “machine can think,” established the foundations of machine intelligence and claimed that machines have a mind. It has the power to compete with human beings. In the first section, I shall explore the importance of Turing thesis, which has been conceptualized in the domain of machine intelligence. Turing presented a completely different view of the machine (...) itself. It addressed philosophers, rather than the mathematicians, and proclaimed that digital computers might be considered as intelligent machines. This approach was wholly new, both philosophically and technically, and started many philosophical debates which continue to this day. He proposed an imitation game, as a test, what is now referred to as a Turing test to evaluate if a machine thinks. That is to say that the main aim of machine intelligence not only constructs challenging programs to solve our day-to-day problems but also reproduce mentality in machines and claimed that all the mental qualities are ascribable to machines. What will be attempted in this paper is a critical evaluation of the arguments against the Turing test put forward by many philosophers. (shrink)

Functionalism in the philosophy of mind is the doctrine that what makes something a mental state of a particular type does not depend on its internal constitution, but rather on the way it functions, or the role it plays, in the system of which it is a part. This doctrine is rooted in Aristotle's conception of the soul, and has antecedents in Hobbes's conception of the mind as a “calculating machine”, but it has become fully articulated (and popularly endorsed) only (...) in the last third of the 20th century. Though the term ‘functionalism’ is used to designate a variety of positions in a variety of other disciplines, including psychology, sociology, economics, and architecture, this entry focuses exclusively on functionalism as a philosophical thesis about the nature of mental states. (shrink)

Ovaj rad istražuje mogućnost davanja kompatibilističkog argumenta iz aspekta umjetne inteligencije. Ključna pretpostavka našeg rada jest da je umjetna inteligencija načelno moguća i da se realizira na računalnim arhitekturama u bitnome nalik današnjim. Uz taj je uvjet moguće dati definiciju slobode koja je pomirljiva s determiniranim izračunom, uz pomoć načelne nedokučivosti inteligentnog procesa. Ovo se temeljem funkcionalizma može translatirati u filozofiju uma. Pitanje je li moguće naš argument adaptirati za drugačije teorije filozofije uma ostavljamo otvorenim.

Cognitive science has been beset for thirty years by foundational disputes about the nature and extension of cognition—e.g. whether cognition is necessarily representational, whether cognitive processes extend outside the brain or body, and whether plants or microbes have them. Whereas previous philosophical work aimed to settle these disputes, I aim to understand what conception of cognition scientists could share given that they disagree so fundamentally. To this end, I develop a number of variations on traditional conceptual explication, and defend a (...) novel explication of cognition called the sensitive management hypothesis. -/- Since expert judgments about the extension of “cognition” vary so much, I argue that there is value in explication that accurately models the variance in judgments rather than taking sides or treating that variance as noise. I say of explications that accomplish this that they are ecumenically extensionally adequate. Thus, rather than adjudicating whether, say, plants can have cognitive processes like humans, an ecumenically adequate explication should classify these cases differently: human cognitive processes as paradigmatically cognitive, and plant processes as controversially cognitive. -/- I achieve ecumenical adequacy by articulating conceptual explications with parameters, or terms that can be assigned a number of distinct interpretations based on the background commitments of participants in a discourse. For example, an explication might require that cognition cause “behavior,” and imply that plant processes are cognitive or not depending on whether anything plants do can be considered “behavior.” Parameterization provides a unified treatment of embattled concepts by isolating topics of disagreement in a small number of parameters. -/- I incorporate these innovations into an account on which cognition is the “sensitive management of organismal behavior.” The sensitive management hypothesis is ecumenically extensionally adequate, accurately classifying a broad variety of cases as paradigmatically or controversially cognitive phenomena. I also describe an extremely permissive version of the sensitive management hypothesis, arguing that it has the potential to explain several features of cognitive scientific discourse, including various facts about the way cognitive scientists ascribe representations to cognitive systems. (shrink)

This paper explains the main theses of functionalism about mental states. This view is taken as a response addressed to the metaphysical aspect of the mind-body problem. It is explained what distinguishes functional properties as second-order properties, and how to understand supervenience and multiple realizability. The paper applies these ideas to machine functionalism and analytic functionalism, the two main versions of functionalism.

We present a novel reductive theory of type-identity physicalism, which is inspired by the foundations of statistical mechanics as a general theory of natural kinds. We show that all the claims mounted against type-identity physicalism in the literature don’t apply to Flat Physicalism, and moreover that this reductive theory solves many of the problems faced by the various non-reductive approaches including functionalism. In particular, we show that Flat Physicalism can account for the appearance of multiple realizability in the special sciences, (...) and that it gives a novel account of the genuine autonomy of the kinds and laws in the special sciences. We further show that the thesis of genuine multiple realization, which is compatible with all forms of non-reductive approaches including functionalism, implies what we call token-dualism; namely the idea that in every token there are non-physical facts, which may either be non-physical properties or some non-physical substance. In other words, we prove that non-reductive kinds necessarily assume non-reductive tokens, i.e., token dualism. Finally, we show that all forms of non-reductive approaches including functionalism imply a literally multi-leveled structure of reality. (shrink)