annotate 2025-05-08.txt @ 82:9ca6db06a003

in progress
author Henry S Thompson <ht@inf.ed.ac.uk>
date Thu, 22 May 2025 16:42:36 +0100
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
82
9ca6db06a003 in progress
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
1 [HST spent too long trying to get the astonishing fact of language
9ca6db06a003 in progress
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
2 evolution on the table as something which deserves a place in GA]
9ca6db06a003 in progress
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
3
9ca6db06a003 in progress
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
4 The inscrutability of the size of Universe is another thing that
9ca6db06a003 in progress
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
5 defies comprehension.
9ca6db06a003 in progress
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
6
9ca6db06a003 in progress
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
7 If it's just chance that we happen to have come to be in a corner of
9ca6db06a003 in progress
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
8 that Universe where recursive compositional expressive mechanisms are
9ca6db06a003 in progress
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
9 possible the unlikelihood isn't an argument against it being the case.
9ca6db06a003 in progress
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
10
9ca6db06a003 in progress
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
11 Suppose I were to say to a high-school class we agree to have
9ca6db06a003 in progress
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
12 recursively-specifiable syntactic and semantic language, and have a
9ca6db06a003 in progress
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
13 brain that produces and consumes its product, and yes, it's unlikely
9ca6db06a003 in progress
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
14 in the extreme, but so-be-it.
9ca6db06a003 in progress
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
15
9ca6db06a003 in progress
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
16 Is there anything to conclude from that.
9ca6db06a003 in progress
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
17
9ca6db06a003 in progress
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
18 Imagine the course we're teaching, and a typology of unlikelihoods,
9ca6db06a003 in progress
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
19 smallness and small-enough-ness. Very^4 unlikely that we'll gasp for
9ca6db06a003 in progress
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
20 breath because the oxygen has all left the room. Do we have to have a
9ca6db06a003 in progress
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
21 view on whether there's a universe almost like ours where the same
9ca6db06a003 in progress
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
22 UUID _does_ get minted for two different objects?
9ca6db06a003 in progress
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
23
9ca6db06a003 in progress
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
24 What are we doing? We want to... MacIntyre says we need 'real'
9ca6db06a003 in progress
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
25 language to reflect on/assess our beliefs and desires. Evolved
9ca6db06a003 in progress
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
26 corners of the universe that have the requisite properties that [this
9ca6db06a003 in progress
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
27 process] can be enjoined are astonishingly unlikely, but we are
9ca6db06a003 in progress
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
28 evidently in one.
9ca6db06a003 in progress
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
29
9ca6db06a003 in progress
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
30 What more do we need, in order to have intentionality.
9ca6db06a003 in progress
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
31
9ca6db06a003 in progress
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
32 [HST] MacIntyre grants (persistent of) categorisations
9ca6db06a003 in progress
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
33 [BCS] Sufficient, or Necessary? [HST] I'll take that as a homework assignment
9ca6db06a003 in progress
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
34
9ca6db06a003 in progress
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
35 [BCS] Suppose we have a minimal 'higher' animal: persistent individuals and
9ca6db06a003 in progress
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
36 categorisation. Do you have anything yet that reeks of the religious?
9ca6db06a003 in progress
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
37 My intuition is 'no'. The critter has to stand up on its hind legs
9ca6db06a003 in progress
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
38 and _wonder_, in order for there to be... in order for its finitude,
9ca6db06a003 in progress
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
39 one might say, to lead it to [HST ask Why?][ref. _Child's Christmas in
9ca6db06a003 in progress
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
40 Wales]
9ca6db06a003 in progress
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
41
9ca6db06a003 in progress
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
42 MacIntyre on Davidson? Counterfactuals are crucial to practical
9ca6db06a003 in progress
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
43 reasoning. BCS says I could imagine a counterfactual toting rational
9ca6db06a003 in progress
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
44 argumenter, who still lacks this openness to God and to wonder.
9ca6db06a003 in progress
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
45
9ca6db06a003 in progress
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
46 And until an AI system can wonder, I won't be particularly
9ca6db06a003 in progress
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
47 interested/concerned, it will still be a mere machine.
9ca6db06a003 in progress
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
48
9ca6db06a003 in progress
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
49 Haugeland distinguishes the impossible from the possible but not
9ca6db06a003 in progress
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
50 actual from the actual.
9ca6db06a003 in progress
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
51
9ca6db06a003 in progress
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
52 "A blue proton" gets you in to trouble.
9ca6db06a003 in progress
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
53
9ca6db06a003 in progress
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
54 With respect of our project, and the opening salvos of GA, there is a
9ca6db06a003 in progress
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
55 need to characterise the territory that we want to open up, and
9ca6db06a003 in progress
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
56 something has to be very open to not reduce to boring behaviourism.
9ca6db06a003 in progress
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
57
9ca6db06a003 in progress
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
58 The speaker has to be gripped by a certain openness, a certain
9ca6db06a003 in progress
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
59 possibility, will this cake rise whatever. How to open the space
9ca6db06a003 in progress
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
60 enough for wonder to be genuinely gripping, seems important.
9ca6db06a003 in progress
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
61
9ca6db06a003 in progress
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
62 We want people to want to read this after the first page or two, even
9ca6db06a003 in progress
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
63 if they can't say exactly why.