Summer 2011 Thursday, 07/14. Machine Functionalism Claims that the mind is a (very complex) computer program. One that arises naturally, not one thats.

Slides:



Advertisements
Similar presentations
First, Scale Up to the Robotic Turing Test, Then Worry About Feeling.
Advertisements

Black Box Checking Book: Chapter 9 Model Checking Finite state description of a system B. LTL formula. Translate into an automaton P. Check whether L(B)
The Extended Mind.
Turing’s Test, Searle’s Objection
Minds and Machines Summer 2011 Monday, 07/11.
Functionalism. SUMMARY FROM LAST TIME “Multiple Realizability”
Summer 2011 Tuesday, 8/ No supposition seems to me more natural than that there is no process in the brain correlated with associating or with.
LAST LECTURE. Functionalism Functionalism in philosophy of mind is the view that mental states should be identified with and differentiated in terms of.
Faculty of Arts Postgraduate Open Day
Introducing Formal Methods, Module 1, Version 1.1, Oct., Formal Specification and Analytical Verification L 5.
Section 2.3 I, Robot Mind as Software.
The Recursion Theorem Sipser – pages Self replication Living things are machines Living things can self-reproduce Machines cannot self reproduce.
Philosophy of Mind Matthew Soteriou. Functionalism and Qualia Critics of functionalist accounts of the mental often appeal to thought experiments in which.
LECTURE 24 THE NATURE OF PERSONS PHYSICALISM AND DUALISM (“WHAT AM I?)
Section 2.2 You Are What You Eat Mind as Body 1 Empiricism Empiricism claims that the only source of knowledge about the external world is sense experience.
Section 2.4 There Ain’t No Such Things as Ghosts Mind as Myth.
Summer 2011 Wednesday, 07/13. Formal Systems: The ELI System The ELI-system uses only three letters of the alphabet: E, L, I. It has a single axiom, EI,
Chapter 10: What am I?.
SEARLE THE CHINESE ROOM ARGUMENT: MAN BECOMES COMPUTER.
The Mind-Body Relation Dualism: human beings are composed of a material body and an immaterial mind which are distinct from each other (Descartes) Problems:
CS 357 – Intro to Artificial Intelligence  Learn about AI, search techniques, planning, optimization of choice, logic, Bayesian probability theory, learning,
TURNING EMPIRICAL TESTS FOR “THOUGHT” ?. Alan Turing (1912 – 1954) Mathematician Created concept of computation before computers Code breaker War hero.
Acting Humanly: The Turing test (1950) “Computing machinery and intelligence”:   Can machine’s think? or Can machines behave intelligently? An operational.
Humans, Computers, and Computational Complexity J. Winters Brock Nathan Kaplan Jason Thompson.
Green’s Tri-Level Hypothesis Behavioral: a person’s performance on specific experimental tasks Cognitive: the postulated cognitive or affective systems.
The Mind-Body Relation Dualism: human beings are composed of a material body and an immaterial mind which are distinct from each other (Descartes) Problem:
Philosophy of Mind Matthew Soteriou. Physicalism The physicalist answer to the question of the relation between the mental and the physical: The mental.
© Michael Lacewing Dualism and the Mind-Body Identity Theory Michael Lacewing
The Mind-Body Problem. Some Theories of Mind Dualism –Substance Dualism: mind and body are differerent substances. Mind is unextended and not subject.
The Mind-Brain Type Identity Theory
Artificial Intelligence
Philosophy 4610 Philosophy of Mind Week 5: Functionalism.
© Michael Lacewing Functionalism and the Mind- Body Problem Michael Lacewing
More categories for our mental maps  How we understand knowledge has repercussions for how we understand our place in the world.  How we understand.
Functionalism Mind and Body Knowledge and Reality; Lecture 3.
Alan Turing In 1950 asked - Can Machines Think? Turing changed that into the Turing Test “Can Computers Understand Language?” would have been.
Chapter 6: Objections to the Physical Symbol System Hypothesis.
Turing Test and other amusements. Read this! The Actual Article by Turing.
2 March.
Human Nature 2.3 The Mind-Body Problem: How Do Mind and Body Relate?
Materialism: Minds and Machines
For Friday Read chapter 27 Program 5 due. Program 5 Any questions?
Artificial Intelligence Bodies of animals are nothing more than complex machines - Rene Descartes.
A New Artificial Intelligence 5 Kevin Warwick. Philosophy of AI II Here we will look afresh at some of the arguments Here we will look afresh at some.
Alan Turing WWII code-breaker mathematical proof of ‘Turing machines’ …in particular, “Universal Turing machine” laid foundations of computer science father.
How Solvable Is Intelligence? A brief introduction to AI Dr. Richard Fox Department of Computer Science Northern Kentucky University.
Philosophy 4610 Philosophy of Mind Week 4: Objections to Behaviorism The Identity Theory.
Announcements Turn your papers into your TA. There will be a review session on Wednesday June 11 at 5-7 PM, in GIRV Final exam is Friday June 13.
Section 2.3 I, Robot Mind as Software McGraw-Hill © 2013 McGraw-Hill Companies. All Rights Reserved.
Today’s Lecture A comment about your Third Assignment and final Paper Preliminary comments on Functionalism Hilary Putnam.
© Michael Lacewing Hume and Kant Michael Lacewing co.uk.
CTM 2. EXAM 2 Exam 1 Exam 2 Letter Grades Statistics Mean: 60 Median: 56 Modes: 51, 76.
© Michael Lacewing Kant on conceptual schemes Michael Lacewing osophy.co.uk.
Start – Thursday, Primacy of mind, categorization, and the problem of “the Other” Two categories: I [me, my, myself,...] and Other [she, her,
Psychofunctionalism. Analytic Functionalism Analytic functionalism holds that the meaning of a mental-state term is determined by a set of platitudes–
KNOWLEDGE IS A PRIORI AND A POSTERIORI By: Fatima Fuad Azeem.
The Mind And Body Problem Mr. DeZilva.  Humans are characterised by the body (physical) and the mind (consciousness) These are the fundamental properties.
Computational Functionalism. Motivations A functionalist general purpose input-output device certainly sounds like a computer A functionalist general.
Philosophy of Mind Lecture II: Mind&behavior. Behaviorism
Truths and Possible Worlds
Functionalism Computational Role
ATS2840 Philosophy of Mind Semester 1, 2017
Computational Theory of Mind
Michael Lacewing Hume and Kant Michael Lacewing © Michael Lacewing.
Functionalism Eliminativism Prop Dualism MBIT Sub Dualism Behaviourism
Mind-Brain Type Identity Theory
Recap Questions What is interactionism?
True or False: Materialism and physicalism mean the same thing.
Functionalism Eliminativism Prop Dualism MBIT Sub Dualism Behaviourism
Michael Lacewing Physicalism Michael Lacewing
Presentation transcript:

Summer 2011 Thursday, 07/14

Machine Functionalism Claims that the mind is a (very complex) computer program. One that arises naturally, not one thats designed or programmed by anyone! But what exactly does that mean? How can we understand this in a concrete, non- metaphorical way?

This is where machine tables come in. A machine table is a complete set of instructions for the machines operations, or a specification of the machines software. You can think of it as a complex job description for a machine. The job description for a heart is to pump blood, but the job description for a coke machine is captured by the following table: Machine Functionalism

Input Present State Go into this State Produce this Output NickelZEROFIVE NickelFIVETEN NickelTENZEROCoke DimeZEROTEN DimeFIVEZEROCoke DimeTENFIVECoke

Machine Functionalism The machine table for the coke machine captures what a coke machine essentially is. Any device that implements (or works according to) the machine table counts as a coke machine. Similarly, the (far more complex) machine table for the mind captures what a mind essentially is. Any device (e.g. a human brain, a Martian brain, commander Data) that implements such a machine table counts as being (or having) a mind. Individual Mental States (e.g. pains, hopes, desires) are just states of the incredibly complicated machine table for the mind. To be a pain is to be a state that responds to inputs, delivers outputs and interacts with states in a way that accords with one of the machine table states.

Machine states are parts of the specification of the job description of an entire system, e.g. a coke machine or a mind. Different machines with different machine tables (or total job-descriptions) cannot have any states in common. Since human minds would be captured by different machine tables or total job descriptions than animals, humans cannot share any mental states with animals (or other creatures). So machine functionalism seems to drop one of the main motivations for going functionalist in the first place. Machine Functionalism: Problem

A more general version of Functionalism that doesnt rely on (Turing)machine tables. What makes a pain a pain (or, more generally, any specific mental state the mental state it is) is its having a certain causal role, i.e. its being caused by some sensory inputs or mental states and causing behavioral outputs or mental states. Causal-Theoretical Functionalism

Ramsey-Lewis Method A way of characterizing individual mental states (e.g. what it is to be in pain, to want ice-cream, or to believe that it will rain tomorrow) in a non-circular or regressive way, without using (Turing)machine tables. Unless the functionalist does this, her theory fails to be a reductive theory of mental states, or characterize mental states in non-mentalistic terms.

Ramsey-Lewis Method Heres basically how it works. Step 1. Write down the job-description of pain in the form of a theory: Pain Theory:...and pain is caused by pin pricks, and pain causes distress and wincing and avoidance behavior, and distress in turn causes brow-wrinkling...

Step 2. Form a Ramsey sentence (by replacing all the occurrences of mental states by variables). Ramsey sentence: There are states S1 and S2 such that S1 is caused by pin pricks, and S1 causes S2 and wincing and avoidance behavior, and S2 in turn causes brow-wrinkling… Ramsey-Lewis Method

Step 3. Use the Ramsey sentence to characterize what it is to be in pain (or to be in distress) without presupposing any prior understanding of pain or other mental states: A person is in pain =def There are states S1 and S2 such that (S1 is caused by pin pricks, and S1 causes S2 and wincing and avoidance behavior, and S2 in turn causes brow-wrinkling…) AND the person has S1. A person is distressed =def There are states S1 and S2 such that (S1 is caused by pin pricks, and S1 causes S2 and wincing and avoidance behavior, and S2 in turn causes brow- wrinkling…) AND the person has S2.

Varieties of Functionalism Analytic functionalism. The causal job-decriptions of mental states derive from our concepts. Psychofunctionalism. The causal job-decriptions of mental states are to be discovered by empirical investigation.

A Priori vs. A Posteriori Analytic Functionalists claim that the specifications of the job-descriptions for mental states are knowable a priori. Psychofunctionalists claim that they are knowable a posteriori. A priori = with justification independent of experience. A posteriori = with justification that derives (in part) from experience.

Role vs. Realizer Functionalism Realizer state for pain: the internal state which realizes the pain-role (or job-description), in a given creature. Role state for pain: the second-order state of having some internal state or other that realizes the pain-role. The role functionalist identifies pains with role states. The realizer functionalist identifies pains with realizer states. So realizer functionalism is really just a sophisticated version of the identity theory. Problem for Role Functionalism: The Causal Efficacy of Abstract, High-level properties.

Necessary vs. Sufficient Conditions X is sufficient for Y if when X obtains, Y always follows (i.e. when the presence of X guarantees the presence of Y). X is necessary for Y if, should X fail to obtain, Y cannot be the case (i.e. X must be satisfied for Y to obtain).

The Turing Test Original version: Interrogator (in one room), a man and a woman (in another room), communicating via a teleprinter. The interrogator must determine which one is the man and which one is the woman. The woman is sincere but the man is a deceiver. Test: could a computer play the role of the man as successfully as the man? Equivalent test. Can a computer fool a human interrogator (communicating with it via typing) that it is a man?

The Turing Test Discussion Qs: Q1: Is passing the Turing Test sufficient for genuine thought and intelligence? Q2: Is it necessary?

Quiz What is Machine Functionalism and how is it different from Causal-Theoretical Functionalism Whats the difference between Analytic functionalism and Psychofunctionalism?