P
Computer Program
Description
(or representation)
of M
W
M
R2
Abstract, Partial
Model of W
R1
Real-World
Problem or Situation
Circumstantial
Parameters
Syntactic
Domain
model-theoretic
interpretation
function
Semantic
Domain
modeling
relation
genuine interpretation function
Syntactic
Domain
...
"denotation"
interpretation
modeling
interpretation
intermediate "swing" domains
(syntactic if viewed as a source domain,
semantic if viewed as a target domain)
modeling
Actual
World
Mc
P
Program
model-theoretic
“designation”
Model of
C
C
modeling
relation
genuine interpretation function
Process
P
MC
C
genuine interpretation
relation
W
modeling
relation
MW
C'
(lower-level impressions)
implementation
MC
modeling relation
genuine interpretation relation
C
"primary representation relation"(p. 26)
genuine
interpretation
relation;
"specification" (p. 25)
modeltheoretic
designation
P
notation
relations
externalization
internalization
W (actual
world)
relation
between
expressions
& world (p. 26)
N
modeling
relation
Mw
M4!
object1
CHEMIST
class
M1
member
all
V1
WEAR
relation
object2
depends
V2
member
some
object
some
M3
property
WHITE
M2
class
COAT
External World
Cassie
Oscar
M2c!
object
M2o!
property
M1c
B1c
lex
M7o!
propername object
M1o
agent
action
B1o
M4o
act
lex
object
M3o
"roundc"
M6o!
"Cassieo"
lex
Wilfrid
Sellars's
denotation
relation
!, a circular
thing in the
external world
object
"believeo"
B2o
property
M5o
lex
denoted
"roundo"
denws
M8o!
T
is the
functional
role of
F
is expressed by
is the
content
of
E
is the
meaning
of
determines
C
determines
M
Cassie
Oscar
M2!
M7!
propername object
M1
lex
t
B1
"
M6
act
property
object
M5
M4
lex
propername
M8!
"Cassie"
object
e
"believe"
o
?
M3
object
object
eo
e
o
lex
!
L
M1
action
lex
M2!
propername
agent
t
equiv
equiv
M9!
Cassie
Oscar
M2!
M7!
propername object
M1
action
B1
"
M6
property
object
act
lex
M2!
propername
agent
M5
M4
lex
propername
M8!
"Cassie"
object
M1
e
lex
(
"believe"
o
?
o
object
M3
)
eo
e
lex
equiv
!
t
object
t
equiv
M9!
Oscar
Cassie
(rest of network as before)
(rest of network as before)
.
..
.
..
e
eo
(
o
o
!
causal links
)
Cassie
(rest of network as before)
.
..
e
(
o
!
causal link from ! to Cassie's eye
causal link from Cassie's eye to her language of thought
M2!
M1!
property
object
M3!
expression
object
property
referent
R
x
R@
!
predicate
property
M4!
A
t
C
B
A
B
CB
CA
)
(
t
t
C
program in
high-level
programming
language
B
A
semantic interpretation
gap
compile
machine-language
implementation
real-world
objects
semantic interpretation
C
D
bits in a
computer
Chess
role: Bishop
means
embodied
as
Texas
language:
'bishop'
(languageentry)
Texas
world:
(languagedeparture)
Pontiac
means
embodied
as
'bishop' :ordinary language
of chess
(languageentry)
+
(languagedeparture)
:world of ordinary chess
(Staunton pieces)
M1 = {P , ... , P , ... , P }
M1
M1
M1
i
1
{P
, ... , P , ... , P } = M2
M2
M2
M2
k
1
2
.
.
1
x
8
4
5
6
y
1
7
3
N = {Q , ... , Q i , ... , Q i , ... , Qn }
1
1
2
=
i
l
"causes"
P
Q
pain
limb withdrawal
supervenes
on
supervenes
on
P*
neural
supervenient
base
causes
Q*
anatomic/physiological
supervenient base
(psychological) macro-level: x
y
causes*
(physical, e.g., neural)
macro-causal level: X
causes*
causes
Y