chapter 3 psych

profiledeefer
Chapter4.2_Fromphysicalsymbolsystemstothelanguageofthought-revisedfor3rdedition.ppt

Chapter 4.2:
From physical symbol systems to the language of thought

Ways of developing PSSH

• The 4 claims are compatible with different ways of thinking about physical symbol systems and how the system manipulates them

• diagrammatic symbol structures (e.g. WHISPER)

• language-like symbol structures (e.g. Language of thought theory)

Cognitive Science  José Luis Bermúdez / Cambridge University Press 2020

Cognitive Science  José Luis Bermúdez / Cambridge University Press 2020

Note that WHISPER is not introduced until chapter 7

*

Motivations for LOTH

• Philosophy

– explaining how causation by content is possible

• Cognitive science

– required for a computational approach to

practical reasoning

perception

concept learning

Cognitive Science  José Luis Bermúdez / Cambridge University Press 2020

Cognitive Science  José Luis Bermúdez / Cambridge University Press 2020

*

3 basic claims

• Psychological states are realized by physical states

• applies to both personal-level states (e.g. beliefs) and subpersonal states (e.g. states of the early visual system

• Psychological states represent the world

• Psychological states enter into causal relations

• with other psychological states and ultimately with behavior

Cognitive Science  José Luis Bermúdez / Cambridge University Press 2020

Cognitive Science  José Luis Bermúdez / Cambridge University Press 2020

*

The challenge of causation by content

• The challenge of explaining how psychological states can enter into causal relations in virtue of their content (how they represent the world)

• Causal interactions are interactions between physical objects (e.g. populations of neurons)

• Content properties are not physical properties

• Danger of content properties being epiphenomenal (soprano example)

Cognitive Science  José Luis Bermúdez / Cambridge University Press 2020

Cognitive Science  José Luis Bermúdez / Cambridge University Press 2020

Content and vehicle 1

• Philosophers typically distinguish between

• the content of a belief (how the world is believed to be)

• the vehicle of the belief (the physical object that realizes the belief in the CNS)

• Analogy between the meaning of a sentence and the spoken sounds/written inscription

Cognitive Science  José Luis Bermúdez / Cambridge University Press 2020

Cognitive Science  José Luis Bermúdez / Cambridge University Press 2020

Content and vehicle 2

• This distinction between content and vehicle applies to the full range of representations in the CNS

  • personal level representations: beliefs, desires and other propositional attitudes
  • subpersonal representations: computational states of modules, individual neurons etc.

Cognitive Science  José Luis Bermúdez / Cambridge University Press 2020

Cognitive Science  José Luis Bermúdez / Cambridge University Press 2020

Content and structure

• Mental representations have contents that can be either true or false

• Truth-evaluable contents can be expressed by declarative sentences

• Declarative sentences report possible states of affairs

• The content is true just if the possible state of affairs reported is actual

Cognitive Science  José Luis Bermúdez / Cambridge University Press 2020

Cognitive Science  José Luis Bermúdez / Cambridge University Press 2020

States of affairs

• States of affairs have structure – e.g.

• An object having a particular property (e.g. St Louis county has a population of approximately 1M)

• Two object standing in a relation (e.g. St Louis is east of Kansas City)

Cognitive Science  José Luis Bermúdez / Cambridge University Press 2020

Cognitive Science  José Luis Bermúdez / Cambridge University Press 2020

Theories of content

Two ways of thinking about the content of mental representations

Coarse-grained: Contents correspond to states of affairs

Fine-grained: Contents correspond to ways of thinking about states of affairs

Either way, contents are typically viewed as having structure

Cognitive Science  José Luis Bermúdez / Cambridge University Press 2020

Cognitive Science  José Luis Bermúdez / Cambridge University Press 2020

Structure and the LOT

• The LOT hypothesis is a hypothesis about the vehicles of mental representations

• The vehicles of propositional attitudes have a structure that is isomorphic to the structure of their contents

• The vehicles are isomorphic to the structure of the sentences that express those contents

• This structure at the level of the vehicle is what explains the possibility of causation by content

Cognitive Science  José Luis Bermúdez / Cambridge University Press 2020

Cognitive Science  José Luis Bermúdez / Cambridge University Press 2020

Three claims

Causation through content is ultimately determined by causal interactions between physical structures

These physical structures have sentence-like structure, which determines how they are built up and how they interact with each other

Causal relations betweens sentences in the language of thought respect logical/rational relations between the contents of those sentences

Cognitive Science  José Luis Bermúdez / Cambridge University Press 2020

Cognitive Science  José Luis Bermúdez / Cambridge University Press 2020

Cognitive Science  José Luis Bermúdez / Cambridge University Press 2020

Physical symbols and intentional realism

Cognitive Science  José Luis Bermúdez / Cambridge University Press 2020

*

Logic and mental causation

• Causation by content exploits rational/logical connections between contents

Content of desire: I will not lose money

Content of belief: If I buy shares then I will lose money

Content of intention: I will not buy shares

My belief and desire cause my intention in virtue of logical relations between the relevant contents

Cognitive Science  José Luis Bermúdez / Cambridge University Press 2020

Cognitive Science  José Luis Bermúdez / Cambridge University Press 2020

Problem of causation by content

• How do causal interactions between the physical vehicles of mental representations preserve/exploit logical relations between the contents of those mental representations?

• LOT answer =

– the LOT is like a formal language

– this allows the LOT to exploit the relation between syntax and semantics that we find in a formal language

Cognitive Science  José Luis Bermúdez / Cambridge University Press 2020

Cognitive Science  José Luis Bermúdez / Cambridge University Press 2020

Formal languages

Examples

  • Propositional calculus
  • Predicate calculus
  • Theories that have predicate calculus as underlying logic
  • Theory of arithmetic
  • Theory of Turing machines coded into the theory of arithmetic

Cognitive Science  José Luis Bermúdez / Cambridge University Press 2020

Cognitive Science  José Luis Bermúdez / Cambridge University Press 2020

Syntax

  • Syntax of a formal language

• alphabet of basic symbols of various types

e.g. predicates, names

• rules for combining basic symbols into complex symbols according to their type

e.g. rules governing wffs

• rules for manipulating those complex symbols

e.g. rules of inference

  • Rules identify symbols in terms of their formal (typographic) features

Cognitive Science  José Luis Bermúdez / Cambridge University Press 2020

Cognitive Science  José Luis Bermúdez / Cambridge University Press 2020

Semantics

  • Semantics provides an interpretation for the symbols of the formal language

– objects are assigned to names

– sets of objects are assigned to 1-place relations

– sets of n-tuples of objects are assigned to n- place relations

Cognitive Science  José Luis Bermúdez / Cambridge University Press 2020

Cognitive Science  José Luis Bermúdez / Cambridge University Press 2020

Two types of logical relation

Logical deducibility

Sentence p is deducible from sentences  iff there is a sequence of legitimate symbol manipulations that lead from some subset of  to p

Logical consequence

Sentence p is a consequence of sentences  iff there is no way of interpreting the symbols in  and p that makes all of  true and p false

Cognitive Science  José Luis Bermúdez / Cambridge University Press 2020

Cognitive Science  José Luis Bermúdez / Cambridge University Press 2020

Completeness and soundness

  • Two basic results about (first-order) logics (and hence about theories that can be expressed in first-order logics)

Soundness: If p is derivable from  then p is a consequence of 

Completeness: If p is a consequence of  then p is derivable from 

Cognitive Science  José Luis Bermúdez / Cambridge University Press 2020

Cognitive Science  José Luis Bermúdez / Cambridge University Press 2020

Implications for LOT

• We can think about logical relations between contents of mental representations in terms of logical consequence

• We can think about causal relations between the vehicles of mental representations in terms of logical deducibility (physical transformations that implement syntactic rules)

• Soundness and completeness ensure that consequence and deducibility always go together

Cognitive Science  José Luis Bermúdez / Cambridge University Press 2020

Cognitive Science  José Luis Bermúdez / Cambridge University Press 2020

Example

Cognitive Science  José Luis Bermúdez / Cambridge University Press 2020

Symbols Transformation rule Meaning/Semantics
1. Fa Georgina is tall
2. Ga Georgina has red hair
3. Fa & Ga If complex symbols ‘S’ and ‘S*’ appear on earlier lines then write ‘S & S*’ Georgina is tall and has red hair
4. x (Fx & Gx) If on an earlier line there is a complex symbol containing a name symbol then replace the name symbol by ‘x’ and write ‘x’ in front of the result Something is tall and has red hair

Cognitive Science  José Luis Bermúdez / Cambridge University Press 2020

Cognitive science arguments

Basic strategy  CogSci treats information-processing as a form of computation

• we need the LOT as a medium for computational information-processing

Applications

• practical decision-making

• concept acquisition

• language-learning

Cognitive Science  José Luis Bermúdez / Cambridge University Press 2020

Cognitive Science  José Luis Bermúdez / Cambridge University Press 2020

LOT and language-learning

Language learning is essentially a process of hypothesis formation and testing  we need the LOT as a medium for formulating and modifying the hypotheses

The hypotheses are truth-rules - e.g.

“a is F” is true iff b is G (where a = b and ‘F’ and ‘G’ refer to the same set of objects)

Means that the LOT must be at least as expressively powerful as the language being learnt

Cognitive Science  José Luis Bermúdez / Cambridge University Press 2020

Cognitive Science  José Luis Bermúdez / Cambridge University Press 2020

Problems

• How plausible is it to treat language-learning as a process of translation?

• How do we learn the meaning of ‘red’?

• ‘a is red’ is true iff a is red*

or

• starting with paradigm cases of red objects and then learning what other objects are relevantly similar

Cognitive Science  José Luis Bermúdez / Cambridge University Press 2020

Cognitive Science  José Luis Bermúdez / Cambridge University Press 2020

Unwelcome implications?

• Fodor argues that most natural language words have atomistic meanings

• failure of dictionary definitions/analysis of necessary and sufficient conditions

• This means that there have to be words in the LOT corresponding to almost all words in, say, English

• This huge LOT vocabulary has to be innate

Cognitive Science  José Luis Bermúdez / Cambridge University Press 2020

Cognitive Science  José Luis Bermúdez / Cambridge University Press 2020