Index
agent
finite
56
limited
26n
rational
6
real
11
algorithm
12, 17, 33, 37
anaphora
61n44
argument
Jago’s
23
Ripley’s
25
valid
3
atom
117
attitude
notional
192
propositional
14, 192, 200
base
26, 30, 47, 79, 135, 238
basis
10
base
binding
60
body of closure
62n
circumstantialist
25, 28
closure
136, 161
Closure
74
co-hyperintensionality
131, 220
collection
10, 47, 48
Compensation Principle
68, 70, 103, 127, 148, 159n157, 163, 173
composition
35, 140
Composition
74
compositionality
26
computability
12
computation
12n16, 37
concept
227
condition
157
constituent
83, 86, 93, 98, 107, 114, 117n, 124, 145, 168, 198, 226
hidden
168
constructing
30
v-constructing
according to a valuation
30, 76
construction
9, 10, 11, 30, 32, 36, 73, 75, 133
procedure
atomic
93
closed
88, 171, 227
embedding
82
equivalent
115, 227
hypothetical
141n137
improper
39n, 77, 78, 113
linguistic
116
main
91, 93, 172
of order n
46, 49, 52, 80, 135
open
88, 171
procedurally isomorphic
63, 115, 221, 227
procedurally relevant
168
proper
112
rank of
65, 104, 149, 174
typed to v-construct
77, 78, 162
v-congruent
114, 145n
v-improper
39n, 77, 112, 113
v-proper
103, 112
context
extensional
91, 101, 112, 114, 117, 121, 160
fictional
232
generic
97, 100, 124
hyperintensional
2, 3, 4, 14, 29, 35n9, 40, 59, 108, 160, 190
intensional
101, 117, 121, 160
meta-fictional
232
non-generic
97, 100, 114
opaque
4, 59, 91
transparent
91
contradiction
23
paradox
conversion
72, 107
α
63n47, 110, 130, 166, 222
β by name
159, 224
β by value
108, 126, 225
η
223
adjusted α
227, 230
correspondence
15
counterexample
72, 128, 130, 131, 154, 159n158, 164, 165, 227n63, 228, 229
counterfactual
3
counterpossible
6
criticism
17
cumulativity
112n118
deduction
71, 112, 155
definition
current
29
explicit
21, 27
foundational
30
inductive
30, 33, 47
denotation
21, 91, 137
derivation rule
157
direct quotation
4, 21n31
domain
17, 31, 37, 43, 46, 47, 77
double execution
35
Double Execution
74, 124
essence
210
execution
74
existential generalisation
120
expansion
β by value
108
fiction
4, 6, 233
formula
16, 31, 59
frame
137
French king
9, 24, 205
function
mapping
characteristic
14, 48, 218
composition of
17
degenerate
77
erasing
137
flat
9
identity
130
interpretation
138
partial
5, 9
Sub
108, 122
substitution
146, 163
total
9, 9n10
Tr
108
Hesperus
24
hyperintension
5, 8, 11, 29, 112, 124, 191, 197n10, 221, 235, 239
hyperintensionality
1, 221
hyperrequisite
211n35, 239
inaccuracy
178n
individual
26, 234
property
205, 210
induction
65, 104, 128, 136, 174, 175, 177, 180
induction hypothesis
66, 69, 105, 128, 152, 174, 176, 177, 179, 181, 182
infinite regress
11
intension
2, 15, 24, 205
intensional essentialism
204, 214
lambda calculus
5, 11, 12, 72, 111
logical jump
164
mapping
9, 14, 15, 42, 43, 46, 47, 74
match
116, 155
empty
155
incompatible
117
satisfied
117, 156
succedent
157
metalanguage
156
model
138
occurrence
bound
85, 86, 87, 168
displayed
83, 169, 191
executed
83, 169
extensional
92, 101, 124, 132
free
59, 85, 86, 87, 102, 168
hidden
170
intensional
92, 101, 115, 124, 132
of a constituent
101
of a construction
82
of variables
60
v-displayed
84, 169
v-executed
84, 169
office
92
role
individual
24, 208, 237
operator
binding
85
False
210
iterated
16
logical
16
totalising
9n11
True
207
order
application
17
of the variables
43
paradox
13, 16, 17
Phosphorus
24
principle of individuation
56
position
33, 37, 43, 56, 62, 73
postulate
226
prerequisite
209
problem case
184, 185, 186, 187, 188
procedure
10, 10n13, 11, 14, 15, 16, 17, 19, 20, 21, 22, 23, 26, 115
programming
17, 221
proof
66, 69, 103, 104, 107, 109, 111, 125, 126, 127, 129, 130, 149, 154, 163, 165, 174, 180, 196, 198, 200, 201
property modifier
213
proposition
2, 3, 4, 6, 14, 25, 27
atomic
18
hierarchical
14
negated
17
structured
14, 15, 16, 19
unity of
18
unstructured
15
puzzle
24
quantifier
16, 59, 120, 155n
range of values
17, 46
reader
18
careful
22, 27, 30, 45, 56, 59, 60, 61, 64n, 72, 74, 83, 87, 91, 92, 96, 103, 107n, 108, 109n98, 110, 119, 130n, 134, 138, 148, 153n148, 155, 158n156, 159n157, 163, 178n, 181n, 195n, 199n16, 200n, 209, 211n35, 218, 220, 221n48, 225n, 226n59, 231n67
charitable
78
curious
115n109
interested
29n, 213n37, 219n45
real numbers
26
reduction
β by name
106, 125, 182
β by value
108, 116, 182
beta
12
reference shift
91
referent
9
refinement
241n84
requisite
206, 237
rigid designator
25
role
24, 238
semantics
compositional
4
denotational
137, 138, 162
natural languages, of
24
possible world
1, 6
procedural
10, 11, 25
sequence
18n25, 31, 32, 33, 37, 56, 73
valuation
138
sequent
116, 156, 235
calculus
112, 116, 120, 199n18
valid
117, 157
simple execution
34
sound rule
158
specification
17, 46
structure
7, 8, 14, 15n, 16, 18, 20, 25, 27, 81
subconstruction
54, 81, 88, 95
direct
143
kth-order
142
subproof
174, 175
substitution
59, 64, 70, 168, 232
collisionless
62, 67, 88, 102, 122, 172
explicit
160, 173
implicit
160
in extensional context
114
in hyperintensional context
115
in intensional context
114
method
121, 194
order of
109n98
supposition
occurrence
extensional
93, 96
intensional
93, 96
synonymy
220, 227
syntax
22
term
language
60
meaningful
22
natural kind
25
simple
23
synonymous
21, 25
theorem
65, 68, 72, 102, 103, 106, 111, 131, 148, 154, 177, 180
theory
description
234
model
12
non-structuralist
6
ramified type
30n, 47
semantic
14
set
8
structuralist
6, 7, 13, 19, 25
type
13, 17, 47
transparency
233
tree
7, 8, 20, 23
trivialisation
34
Trivialisation
74
type
13, 30
checking
129n121
derivable
137
heterogeneous
32n3
of order 1
48, 49, 135
of order n
48, 79, 135
of order n+1
52, 55, 135
syntactic
22
tuple
97
typing
13
universe
6, 10, 21, 26, 30
valuation
30, 32, 37, 73
limitation
168
value
denotational
163n159
truth
26
variable
31, 33, 47, 74
bound
44, 63, 171
free
60, 87, 144, 171
free in a match
117, 159
v-constructing
37, 44, 45, 74, 76, 79, 133
hypothetically
162
vicious circle
30, 46, 57
paradox; contradiction
woodchuck
24, 25
world
impossible
6, 25, 26, 27
incomplete
6
possible
2, 14, 26
real
11