Allan Renear: An Eliminativist Ontology of the Digital World—and What It Means for Data Curation
-
0:00 - 0:02Welcome to digital dialogues.
-
0:06 - 0:11We have a speaker today who I think
has one of the most interesting minds -
0:13 - 0:16in the field, and it will be a treat
to hear what Allan has to say -
0:16 - 0:18and take it on board,
-
0:18 - 0:25and our associate director Trevor Muñoz
will be introducing Allan. -
0:25 - 0:30What I'd like to do is to have you all
introduce yourselves to begin. -
0:30 - 0:35Your name and where you're from,
and after you do that, -
0:35 - 0:36I'll ask Trevor to come up.
-
0:36 - 0:39So Stephanie, do you want to start?
-
0:39 - 0:44(audience members introduce themselves)
-
4:07 - 4:10I'm gonna turn it over to Trevor now
who will introduce Allan -
4:10 - 4:12and then we'll get on with the show.
-
4:16 - 4:17For those of you who came in afterwards,
-
4:17 - 4:19My name's Trevor Muñoz.
-
4:19 - 4:20I'm an associate director here.
-
4:24 - 4:28It's my great pleasure to introduce
our Digital Dialogue speaker today. -
4:28 - 4:31Allan Renear is interim dean and professor
-
4:31 - 4:33at the Graduate School of Library
and Information Science -
4:33 - 4:36at the University of Illinois,
Urbana-Champaign. -
4:37 - 4:41Allan also has a long and storied career
in the digital humanities. -
4:42 - 4:44Before he went to GSLIS,
-
4:44 - 4:48he was the director of s scholarly
technology group at Brown University -
4:48 - 4:52where he did some groundbreaking
digital humanities research. -
4:52 - 4:55He wrote some of the, I would say,
seminal papers of digital humanities -
4:55 - 4:59around text encoding
and our ideas about documents. -
4:59 - 5:02I know he's updated some
of the ideas about documents. -
5:02 - 5:04I think we'll hear a little
about this today. -
5:05 - 5:09After leading a digital humanities group
at Brown for many years, -
5:09 - 5:13he went to the Graduate School of Library
and Information Science of Illinois -
5:13 - 5:18and while he's been there he's done
a long string of interesting work -
5:18 - 5:22around data curation,
foundational concepts -
5:22 - 5:25in our understanding
of digital systems, -
5:25 - 5:28digital objects, and this
recent work has taken him -
5:28 - 5:34from digital humanities into considering
objects such as scientific data sets, -
5:34 - 5:37and the systems we use
to manage and curate them. -
5:37 - 5:41As Neil mentioned, Allan has
one of the most interesting minds -
5:41 - 5:45in digital humanities, and I think we'll
all benefit from his incisive perspective -
5:45 - 5:47on things that we thought we knew.
-
5:47 - 5:50So at this point I'll turn it over
to Allan to talk about -
5:50 - 5:53an Eliminativist Ontology
of the digital world, -
5:53 - 5:55and what it means for data curation.
-
5:55 - 5:57So, welcome Allan.
-
5:57 - 5:59Thank you.
-
5:59 - 6:02Thank you for inviting me.
Thank you. -
6:02 - 6:09It's great to be here with my old friends
and my new friends. -
6:09 - 6:13And eliminativist,
it's a hard word to pronounce, -
6:13 - 6:18ontology of the digital world
and what it means for data curation. -
6:18 - 6:22You know, you always get these titles
well in advance of the actual talk -
6:22 - 6:25and you're sure you're going
to accomplish so much -
6:25 - 6:27by the time the talk rolls around.
-
6:27 - 6:30Never quite do, so I'm not
going to [inaudible] -
6:30 - 6:32an Ontology of the digital world,
-
6:32 - 6:36but I will say enough to suggest
-
6:36 - 6:40how a particular kind
of Ontology might develop. -
6:40 - 6:42So this is more like towards
-
6:42 - 6:48an eliminativist ontology
of the digital world. -
6:48 - 6:56It will be a kind of unapologetic,
reflective, almost philosophical -
6:56 - 7:03meditation on the conceptual foundations
of information science. -
7:03 - 7:10As Trevor indicated I was in the workplace
in digital humanities for about 20 years. -
7:11 - 7:16In the last few years I've enjoyed
indulging my pension -
7:16 - 7:21for the philosophy of the things
I've been doing for so long. -
7:23 - 7:28My work such as it is now is so social,
-
7:28 - 7:32I cannot figure out what's mine
and what's other people's, -
7:32 - 7:35and I've practically given up.
-
7:35 - 7:40Most of what I'm presenting here
has been collaboratively developed -
7:40 - 7:46by these people, and probably some others
-
7:46 - 7:48and there are quite a number
of papers out there -
7:48 - 7:52in this vein if you want to read more.
-
7:52 - 7:57But I make the slides and I also
am totally responsible, -
7:57 - 8:00not only for the mistakes and implicities,
-
8:00 - 8:03but for anything that seems
just a little over the top, -
8:03 - 8:05that's probably mine.
-
8:05 - 8:10I'm not sure that my colleagues
would agree with everything that I say, -
8:10 - 8:13but that's the problem
when you work collaboratively. -
8:13 - 8:16Deeply collaboratively.
-
8:16 - 8:21Your really sign on for most
of what's being asserted, -
8:21 - 8:24not necessarily for all of it.
-
8:24 - 8:29I also should give credit.
A lot of the projects that you'll see here -
8:29 - 8:35are funded by NSF and also IMLS located
-
8:35 - 8:39at the Center for Informatics Research
and Sciences Scholarship at GSLIS, -
8:39 - 8:41directed by Carole Palmer.
-
8:44 - 8:46Where do I point this?
I feel like a geezer. -
8:47 - 8:49At the screen? There we go.
-
8:52 - 8:59I think it's fair to say
I'm going to be doing ontology. -
9:02 - 9:05I don't mean a lot by the word ontology.
-
9:05 - 9:08I probably could say
conceptual modeling, -
9:08 - 9:10and that would work just as well,
-
9:10 - 9:14so don't read too much
into the word ontology. -
9:14 - 9:18To make sure that you don't read
too much into the word ontology, -
9:18 - 9:21I'm going to talk a little bit
about something I'm not going to do, -
9:21 - 9:27and that is Meta-Ontology.
-
9:27 - 9:32You may wonder, "why bother?",
but you'll see in a minute. -
9:32 - 9:35Meta-Ontology is,
as you can probably guess, -
9:35 - 9:42about ontology: assertions, analysis,
arguments, claims, etc. about ontology. -
9:48 - 9:54A claim in meta-ontology might be,
-
9:54 - 9:59"when it comes to ontology,
there's no fact of the matter." -
9:59 - 10:05There's no theory independent,
society independent fact of the matter. -
10:05 - 10:09Ontologies are constructed
by people, by theories, -
10:09 - 10:12by shared interests, and so on.
-
10:12 - 10:18That's a meta-ontological claim.
It's about the nature of ontology. -
10:18 - 10:25It's claiming that it's
in some broad sense relative. -
10:26 - 10:30A relativist claim about ontology.
-
10:30 - 10:34Another common
meta-ontological claim, -
10:34 - 10:41well, actually, every meta-ontological
claim has, of course, -
10:41 - 10:47a companion claim that denies it,
so here are two meta-ontological claims. -
10:47 - 10:54One, there's a sharp distinction
between science and ontology. -
10:56 - 11:02Two: there's no sharp distinction
between science and ontology. -
11:02 - 11:04That's a meta-ontological claim.
-
11:07 - 11:12So Willard Van Orman Quine,
probably the leading pholosopher -
11:12 - 11:14of the second half of the 20th Century,
-
11:14 - 11:18was a relativist. He did not believe
there is any fact of the matter -
11:18 - 11:20with respect to ontology.
-
11:21 - 11:26He also did not think there was
a sharp line between science and ontology. -
11:27 - 11:31He was a relativist
about everything, so [inaudible] -
11:32 - 11:34he was a relativist about ontology.
-
11:34 - 11:38These are examples of issues with which
I am not going to concern myself. -
11:53 - 11:56And the reason I'm not going
to concern myself with these issues -
11:56 - 11:58is that they're very distracting.
-
11:58 - 12:02No one ever changes their mind.
I no longer think that they're much fun. -
12:02 - 12:06I also don't think
that they are very important. -
12:10 - 12:14For the most part, no matter
what your meta-ontological views, -
12:14 - 12:18you [inaudible] ontology the same way.
-
12:19 - 12:24Relativists and absolutist do ontology
more or less the same way. -
12:25 - 12:27Those who believe there is
a sharp dividing line -
12:27 - 12:29between ontology and science
and those who don't, -
12:29 - 12:33more or less do ontology the same way.
-
12:33 - 12:39The actual practice of ontology,
apart from meta-ontology, -
12:39 - 12:46I find to be engaging and practical,
useful, an important thing to do. -
12:48 - 12:50So how is ontology done, typically?
-
12:51 - 12:58By people with different,
or no meta-ontological views. -
12:58 - 13:04For the most part we start
with our beliefs about the world. -
13:05 - 13:08The beliefs we actually have.
-
13:08 - 13:11These could be common sense,
ordinary beliefs -
13:11 - 13:15or they could be scientific beliefs.
They could be mathematical beliefs. -
13:15 - 13:20We start with those beliefs
and we ask ourselves, -
13:20 - 13:27"what must there be in the world
if these things that I believe are true? -
13:29 - 13:36"What kinds of things must there be
in the world if my beliefs are true? -
13:37 - 13:41What kinds of relationships
do they have to one another?" -
13:43 - 13:46and, when you make a list of the things
-
13:46 - 13:49that apparently you think
that there are in the world, -
13:49 - 13:53sometimes that list looks too long.
It looks like you have some duplicates. -
13:53 - 13:56Perhaps you've been misled by language,
-
13:56 - 14:00and you have two different words
for the same thing. -
14:00 - 14:03Perhaps you realized
that some kind of thing -
14:03 - 14:07was composed of other things.
-
14:07 - 14:12Perhaps you also discover
you don't have enough things on the list, -
14:12 - 14:15and maybe you were confused by synonyms.
-
14:15 - 14:21I did start by saying you think about
your beliefs, your concepts, beliefs, -
14:21 - 14:25and go on from there
but typically it's hard to do that -
14:25 - 14:28without looking carefully
at the sentences -
14:28 - 14:35that express our beliefs, and that's
where the synonyms and ambiguity come in. -
14:37 - 14:40When we do ontology, most of the time
-
14:40 - 14:46we're thinking about what we believe,
but the device that assists us -
14:46 - 14:52in examining what we believe
are the sentences that we use -
14:52 - 14:55to express our belief.
-
14:55 - 15:01So, starting from that point, we go on
to try to create a picture of the world -
15:01 - 15:06that is consistent
and simple and accurate -
15:06 - 15:12and reflects the world
that must be out there -
15:12 - 15:18if the beliefs that we have
are in fact true. -
15:18 - 15:24And from what I can see, it doesn't matter
what your meta-ontology is. -
15:24 - 15:25That's how you do ontology.
-
15:25 - 15:29That's how a lot of ontology is done.
-
15:29 - 15:34I've decided that if I've ever done
meta-ontology in the past, -
15:34 - 15:36I'm not going to be doing it anymore.
-
15:36 - 15:37I'm sticking to ontology.
-
15:43 - 15:47Those were preliminaries, and maybe
this one is a little bit as well. -
15:48 - 15:55The theme of this presentation
is Eliminativism, -
15:56 - 16:02and the basic idea here
is that with respect -
16:02 - 16:04to our beliefs about the world,
-
16:04 - 16:08respect to our common sense
conceptual scheme, -
16:08 - 16:14some of the things
we think exist, don't. -
16:16 - 16:23Now, you may have encountered
this perspective in the past. -
16:23 - 16:24One place where it's
particularly prominent, -
16:24 - 16:27where it's been called Eliminativism
-
16:27 - 16:32is in cognitive science,
where in the last 20 to 30 years -
16:32 - 16:39a number of cognitive scientists
have argued that our folk psychology -
16:40 - 16:47of desire, belief, action,
is profoundly misleading. -
16:47 - 16:54That in fact, there really are no beliefs,
desires, intentions [inaudible]. -
17:00 - 17:07Instead, there are other things
that are more scientifically respectable, -
17:08 - 17:13that are more explanatory,
that will give a better account -
17:13 - 17:16of the same phenomena in the world
-
17:16 - 17:23that we've been using belief,
desire, intention to describe. -
17:27 - 17:29Those cognitive scientists
were characterized -
17:29 - 17:34as eliminating folk beliefs,
-
17:34 - 17:38and the word elimination, and I think
it was really in cognitive science -
17:38 - 17:42that it became particularly prominent,
-
17:43 - 17:47the reason elimination
was important as a concept -
17:47 - 17:49to the cognitive scientists
doing this elimination -
17:50 - 17:54is that it contrasted with what
behaviorists were doing -
17:54 - 17:59when they reduced beliefs to behavior.
-
18:00 - 18:04So instead of reducing beliefs
to dispositions to behave, -
18:05 - 18:12the more advanced cognitive scientists
instead wanted to give -
18:12 - 18:19an alternative account
of folk psychological notions. -
18:19 - 18:21An alternative account.
-
18:21 - 18:28One that discarded them,
in a sense, completely, -
18:31 - 18:33unlike behaviorists, who were saying,
-
18:33 - 18:38"I'll tell you what belief really is:
it's a disposition to behave," -
18:40 - 18:44the cognitive scientists are alluding to,
maybe idealizing a bit or something, -
18:47 - 18:49were saying, "I'm not going to tell you
-
18:49 - 18:52what belief really is,
because there are none." -
18:53 - 18:56You need to let it go
and adopt these other notions, -
18:56 - 18:59which will find much more service.
-
19:01 - 19:06Most of my intellectual life
I have detested Eliminativists. -
19:06 - 19:12I now find myself
on the edge of becoming one. -
19:15 - 19:21In information science,
when we develop models -
19:21 - 19:28that presumably describe precisely
some process, for instance, or some domain -
19:34 - 19:41and we use a language that is intended
to be understood literally, -
19:42 - 19:47we discover problems that are such
-
19:47 - 19:53that elimination of an entity,
of an entity type, -
19:53 - 19:59becomes a tempting solution.
-
19:59 - 20:06This is, in my experience, particularly
the case where our models or ontologies -
20:08 - 20:14are representing processes
that involve change and identity. -
20:14 - 20:21Eliminativist strategies become
very tempting, at least to me. -
20:21 - 20:26I'm now going to explore some elimination
-
20:28 - 20:31and it's hard to let these things go.
-
20:32 - 20:35You may not want to.
Hence, the courage. -
20:35 - 20:40As I talk now, please feel free
to interject at any point, -
20:40 - 20:43now that we're sort of getting
to the interesting part. -
20:43 - 20:48I'm not sure exactly
how long this will take, -
20:48 - 20:49and how much time
there'll be for questions -
20:49 - 20:56so just speak up if you have a question
or clarification, or if you wish -
20:56 - 20:57to contradict me.
-
20:57 - 21:00If I want to put your contradiction off,
I'll just do it. -
21:00 - 21:01(audience chuckles)
-
21:02 - 21:09So change. We are often told, those of us
who've been in digital humanities -
21:09 - 21:14for a long time, and been through
the whole hypertext excitement, -
21:14 - 21:20and all the excitement
around things virtual, -
21:20 - 21:26are told repeatedly
that digital objects are fluid, -
21:26 - 21:28malleable.
-
21:29 - 21:34More generally, that the digital world
is a place of constant change. -
21:35 - 21:39And even if you're not caught up
in the breathless hype of hypertext -
21:40 - 21:42and virtual worlds and such,
-
21:42 - 21:48it does seem that the digital world
is a place of constant change. -
21:49 - 21:54After all, we add records to databases.
-
21:54 - 21:58We edit documents.
-
21:58 - 22:02Our files get larger and smaller.
-
22:03 - 22:08We add things to our digital collections,
and we take them away. -
22:09 - 22:12A lot of stuff seems to be happening.
-
22:12 - 22:16A lot of stuff seems to be changing
in the digital world, -
22:16 - 22:19and these changes
are absolutely essential -
22:20 - 22:24to the practical work that we do.
-
22:25 - 22:29When we add a record to a database.
-
22:29 - 22:31When we remove an item
from a collection. -
22:31 - 22:33When we edit a document.
-
22:33 - 22:38Those are modifications
to digital objects, apparently -
22:38 - 22:42and you might say it's the whole reason
for having digital objects -
22:42 - 22:46so we can do things like that more easily.
-
22:46 - 22:50So the digital world does seem to be
a place of constant change. -
22:50 - 22:55I'm going to argue that you are,
we are all, deluded. -
22:55 - 23:02Digital objects
are absolutely immutable. -
23:04 - 23:06So, questions before us:
-
23:06 - 23:12When a digital object changes,
exactly what changes? -
23:12 - 23:16If digital objects can't change,
then what is really going on in the world -
23:16 - 23:20when we say, speaking loosely,
that they change? -
23:20 - 23:24And, what is a digital object anyway?
-
23:24 - 23:26So here we go.
-
23:26 - 23:28This is the beginning of the argument
-
23:28 - 23:33that digital objects cannot change.
That they are immutable -
23:33 - 23:37and I can give several different
versions of this argument. -
23:37 - 23:40This is in a way the most general.
-
23:40 - 23:44It relies upon your ordinary intuitions
about sentences. -
23:44 - 23:48Unlike some arguments
to the same conclusion, -
23:48 - 23:51it's not based on set theory
or discrete mathematics -
23:51 - 23:56nor is it restricted to the digital world.
-
23:56 - 23:59Consider the sentence,
"I remember Verona." -
23:59 - 24:06Imagine that it's the first sentence
of the first chapter or draft of a novel. -
24:06 - 24:13Now, suppose the author edits
that sentence to read, -
24:13 - 24:20"I remember, but dimly, Verona".
-
24:20 - 24:25The first sentence of the draft
has been modified. -
24:25 - 24:28It's been changed.
-
24:28 - 24:31It's now longer.
-
24:31 - 24:34I submit that if you weren't
on your guard, -
24:34 - 24:41none of those sentences
would have seemed suspicious. -
24:42 - 24:48The problem is,
exactly what got longer? -
24:48 - 24:54Something used to be three words
and is now five words. -
24:54 - 24:58Seems like it ought to be a sentence.
It consists of words, after all, -
24:58 - 25:00but what sentences would it be?
-
25:00 - 25:04"I remember Verona"?
No. -
25:04 - 25:06That sentence did not get longer.
-
25:06 - 25:13It's true, that sentence at one time
consisted only of three words, -
25:14 - 25:18but it still consists only of three words.
-
25:18 - 25:20That sentence, "I remember Verona",
-
25:20 - 25:23has not gotten longer.
-
25:23 - 25:29"I remember, but dimly, Verona."
Is that the thing that got longer? -
25:29 - 25:36It's true that it's five words,
so it's longer than "I remember Verona", -
25:40 - 25:43but it's always been longer
than "I remember Verona." -
25:43 - 25:48It has not become longer
than "I remember Verona." -
25:49 - 25:53Did the paragraph get longer,
or the chapter, or the entire text? -
25:53 - 25:58The arguments I just gave here
apply equally to those things as well. -
25:58 - 26:01Just think of them
as a longer string of words. -
26:08 - 26:12I'm pausing for just a moment in case
somebody wants to interject something. -
26:13 - 26:19This is the, you might say,
the simple argument for immutability -
26:21 - 26:23for certain kinds of objects.
-
26:27 - 26:29It's reasonable, but I just
have to stop and say, -
26:30 - 26:34"Wait a second! What do we actually mean
by modification or change anyway?" -
26:36 - 26:40I would submit that we mean
by modification or change -
26:40 - 26:44that something loses or gains a property.
-
26:45 - 26:48In the case of the Verona sentence,
the point of the last slide -
26:48 - 26:53is to suggest that there's
no plausible candidate -
26:54 - 27:00on the landscape for that,
for a thing of that kind. -
27:06 - 27:10(audience member) That which the author
is trying to project into the mind -
27:10 - 27:11of the reader.
-
27:11 - 27:13Has that changed?
-
27:13 - 27:14(audience member) Yes.
-
27:14 - 27:19I would posit that as one
of the things that's changed. -
27:20 - 27:24So if you think of writing
as a communicative intent -
27:24 - 27:26of projecting my thoughts
into your thoughts, -
27:26 - 27:30we mediated the paper,
word processor or whatever. -
27:30 - 27:32That's what's changed.
-
27:32 - 27:35I have two kind of conflicting
answers to that, -
27:35 - 27:40and I have a slide devoted
to that particular assertion. -
27:40 - 27:43I don't actually disagree
with you on a deep level. -
27:46 - 27:49The author is, you might say,
to use your phrasing, -
27:50 - 27:57trying to project something else
into the mind of the reader, -
27:59 - 28:04and so there's a sense in which
what the author's trying to project -
28:04 - 28:07into the mind of the reader
has changed. -
28:09 - 28:11I admit that.
There's a sense. -
28:11 - 28:14But it's not the right sense,
because the thing -
28:14 - 28:17that the author was
trying to project at time T1 -
28:17 - 28:20hasn't changed. It's still
"I remember Verona." -
28:20 - 28:24The thing the author was trying
to project in T2 hasn't changed, -
28:24 - 28:27it's still "I remember,
but dimly, Verona." -
28:27 - 28:32The author's trying to project
a new thing into the mind of the reader. -
28:32 - 28:34I would agree with that.
-
28:36 - 28:41There's a slide I wasn't going to show
but since this came up I'll show later, -
28:41 - 28:46that uses a coffee queue
to illustrate the same point. -
28:46 - 28:48We say the first person
in line has changed, -
28:48 - 28:53the first person in line
used to be 50 years old, -
28:53 - 28:58but the first person in line
is now 20 years old. -
28:58 - 29:05We're not claiming that in the interim
somebody who was 50 became 20. -
29:05 - 29:12It's a good classic, and not very often
heard response to this, I think. -
29:17 - 29:19But in the end, we end up agreeing.
-
29:19 - 29:22(audience member) Well, I don't know
how much you want to derail-- -
29:22 - 29:26I don't want to derail your discussion,
but I might argue that the first sentence -
29:26 - 29:31was an imperfect projection
to that what I'm referring to, -
29:31 - 29:32and the second was the most accurate,
-
29:32 - 29:37so it's not this thing T1, T2,
-
29:37 - 29:40it's that the first try was a poor one.
-
29:40 - 29:45So, you may complete
this line of reasoning, I think, -
29:45 - 29:49by saying, "you know, Allan, no one
was ever confused about this -
29:49 - 29:51"in the first place.
-
29:51 - 29:55"We never really thought
that there was a thing that changed," -
29:55 - 30:00and I'll say, I won't contest that,
-
30:00 - 30:03but I'll be suspicious, and part
of my suspicion has to do -
30:03 - 30:06with UML diagrams that I have seen
-
30:06 - 30:13that imply change where both
you and I would say there is none. -
30:13 - 30:15(audience member 2) Is there
a philosophically rigorous way -
30:15 - 30:21for identifying things
by their structural location -
30:21 - 30:27or what we may call, some kind
of abstract properties that they have -
30:27 - 30:32by virtue of the space
they mark out within a thing, -
30:32 - 30:36so for example, the classicists
have their [inaudible] of stuff, -
30:36 - 30:42and they, for them, Plato consists
of the following structure -
30:42 - 30:45where there may be disagreements
about the exact wording of line one, -
30:45 - 30:52but line one of the such and such
work is identifiable as a thing, -
30:52 - 30:57regardless of what words or specific words
or characters we think occupy that space, -
30:57 - 31:00in the same way, if we marked up
the text of Moby Dick, -
31:00 - 31:02what are we saying
of the first paragraph? -
31:02 - 31:05is something that if this were
a digital edition we could get an ID, -
31:05 - 31:09we could put to it, even if we had
disagreements about specific words -
31:09 - 31:13that are in there and I feel as though
our intuitions about the first sentence -
31:13 - 31:17of this thing
are sort of along those lines. -
31:17 - 31:20We're not talking
about those specific words, -
31:20 - 31:27we're talking about that structural piece
which then we apply our words -
31:27 - 31:30that you're going to destabilize.
-
31:30 - 31:33But I wonder if this is just
kind of an intuitional way, -
31:33 - 31:36or if there is a philosophically
rigorous way of talking about that -
31:36 - 31:38and if so, I imagine it wouldn't change
what you're saying -
31:38 - 31:42but it would feel more satisfying
if you could speak in those terms. -
31:44 - 31:48So actually again I think that perspective
that you're taking right now -
31:48 - 31:51was one that was consistent
with where I'm going, -
31:53 - 32:00but it's actually harder than you think
to identify the paragraph -
32:01 - 32:04apart from its particular contents.
-
32:05 - 32:08That is, to identify it
in a way that is consistent, -
32:08 - 32:13but the logic based modeling languages
that we typically use, -
32:13 - 32:16and I think that will become
apparent as we go. -
32:16 - 32:19So where was I?
-
32:22 - 32:27So, what we're claiming, and this is,
especially after these two comments -
32:27 - 32:30is sort of becoming
[inaudible] now, but still, -
32:30 - 32:33we're claiming that the following
[inaudible] is false. -
32:33 - 32:35There exists something x,
-
32:35 - 32:36and if you're familiar
with first order logic -
32:36 - 32:42you know this is a drum roll
that's needed right here, -
32:42 - 32:46because this is what indicates
our ontological commitments, -
32:46 - 32:48the fact that we're using
an existential quantifier -
32:48 - 32:52to say in a serious
ontological tone of voice, -
32:52 - 32:59"there is an x such that x
at T1 had length three, -
33:02 - 33:09and x at T2 had length five.
-
33:10 - 33:16So the claim here is that
an assertion of this kind -
33:16 - 33:23is false, there's no such thing.
-
33:24 - 33:28This is a topic that
Aristotle actually takes up -
33:28 - 33:31in the Physics and also
I think in the Metaphysics -
33:31 - 33:33and here's a quote from the Physics
-
33:33 - 33:35where he's considering
a similar problem: -
33:35 - 33:41"There must be
a substrate ὑποκείµενον -
33:41 - 33:44"underlying all processes
of becoming and changing, -
33:44 - 33:47but what can it be
in the present case?" -
33:47 - 33:52He's asking about something
very similar to what we are discussing. -
33:52 - 33:56What can it be in the present case?
-
33:59 - 34:03We are totally insane,
because, guess what? -
34:03 - 34:06We agree that "the first sentence
was three words and is now five" -
34:07 - 34:10can express a true proposition,
-
34:10 - 34:14so now we're really taken aback, right?
-
34:14 - 34:19But what we deny is that this
is the proposition that it asserts. -
34:21 - 34:26So we know that this sentence
can express a true proposition, -
34:26 - 34:30but we're denying that the proposition
that's expressed by this sentence -
34:31 - 34:35understood as true,
is this proposition. -
34:37 - 34:39The one that has
this logical form. -
34:39 - 34:42And yes, I'm distinguishing
proposition and sentence, -
34:42 - 34:45[inuadible]
-
34:46 - 34:51We're denying that the sentence
is literally true -
34:53 - 34:59and in a way the notion of literal truth
is [inaudible] throughout. -
35:01 - 35:07So continuing in the same vein,
the claim is that sentences -
35:07 - 35:13like “Jane lengthened the first sentence
of her novel” are idioms -
35:14 - 35:16such as the average plumber
has 3.2 children. -
35:17 - 35:22If you were to represent that in logic,
if you were doing a logic exercise, -
35:22 - 35:24you might be tempted if you
were in a hurry and it was like [inaudible] -
35:25 - 35:27to simply say, "well, there is something
that's an average plumber, -
35:28 - 35:31but of course, you're off
on the wrong foot already. -
35:31 - 35:36That would not be the right way
to formalize the proposition -
35:36 - 35:38expressed by that sentence
-
35:38 - 35:41despite the fact that the surface
syntax of the sentence -
35:41 - 35:45might suggest that it is.
-
35:45 - 35:48"There's a scarcity
of common sense in the room," -
35:48 - 35:52I'm not saying there's something
which is the scarcity of common sense, -
35:52 - 35:58but even more ordinary sentences
like "Lumbergh revised the TPS memo." -
35:59 - 36:01(my favorite movie)
-
36:02 - 36:06Sentences like that, yes,
they can express true propositions, -
36:06 - 36:13but the true proposition that they express
is not one that looks like "there is an x -
36:16 - 36:23such that x is the TPS memo,
and x was devised by Lumbergh." -
36:23 - 36:30So it's obvious that the average plumber
is a kind of logical fiction, -
36:30 - 36:37but I don't think it's obvious
that the TPS memo is a logical fiction. -
36:37 - 36:42Our claim is that it is.
-
36:42 - 36:45It is, and that means
that if you're going to use -
36:45 - 36:48a logic based representation language,
-
36:48 - 36:54like RDF, OWL, Classic,
whatever your favorite is, -
36:54 - 36:59you have a lot of work to do
to get from sentences like this -
36:59 - 37:06into a formalism that you can trust.
-
37:09 - 37:16The great biologist, Richard Lewontin,
made a little more of a reprise of remarks -
37:20 - 37:23by Rosenbluth and Wiener,
-
37:23 - 37:28"The price of metaphor
is eternal vigilance." -
37:33 - 37:37If you want to get
from an ordinary sentence like this -
37:37 - 37:42into a representation in a logic based
knowledge representation language, -
37:42 - 37:46and you want to be able
to really trust that representation -
37:46 - 37:50to never lead you astray in inferencing,
-
37:50 - 37:53it's hard.
-
37:53 - 37:58But if you don't get there,
you'll be relying on metaphors -
37:58 - 38:00and idioms and logical fictions,
-
38:00 - 38:07and the price of metaphor is eternal
vigilance against confusing yourself. -
38:08 - 38:13Drawing UML rectangles
for things that don't exist. -
38:15 - 38:19So I'm going to move quickly
through some of these slides. -
38:20 - 38:25Sort of taking the temperature
of my audience, -
38:25 - 38:30I think we've assimilated
this basic argument. -
38:30 - 38:34I'm capable of belaboring things
at great length, -
38:34 - 38:38so I think I'll not.
-
38:38 - 38:45I do want to suggest that
if you still find the argument irritating, -
38:47 - 38:50and are sure there must be
some way out, -
38:52 - 38:57you might see your problem
as trying to decide -
38:57 - 39:01which one of these
three things to reject: -
39:01 - 39:04documents are strings,
strings cannot be modified, -
39:04 - 39:09documents can be modified.
-
39:09 - 39:12You can reject
more than one, but why? -
39:12 - 39:16If you can justify rejecting one,
you've gotten around the puzzle -
39:16 - 39:19that I presented you.
-
39:19 - 39:21But, for each one that you reject,
you have an obligation. -
39:21 - 39:27If you reject the first, you need to offer
an alternative definition of document. -
39:27 - 39:30One that supports modification.
-
39:30 - 39:34If you reject the second,
you need to reconcile modification -
39:34 - 39:41with the extensionality,
with the apparent immutability of strings -
39:44 - 39:48and if you reject the third,
then you have to give some account -
39:48 - 39:51of what's really going on
-
39:51 - 39:57in cases of modification,
such as editing. -
39:57 - 40:02If editing is not the modification
of the document, -
40:02 - 40:04strictly speaking, then what is it?
-
40:04 - 40:07So whichever one you reject,
-
40:07 - 40:11you've got a kind of an obligation
in order to make your rejection -
40:11 - 40:14credible, plausible.
-
40:14 - 40:21Just for fun, I'm going to call this
the MITH feud, 2013 -
40:24 - 40:29and going to ask you,
those of you who think, -
40:29 - 40:34I'm going to ask you which
of the assertions -
40:34 - 40:39in the inconsistent triad
you would reject. -
40:39 - 40:43I'm slowing down
just to give you a chance to form your-- -
40:43 - 40:47They can't all be true, right?
-
40:47 - 40:49To form your opinion.
-
40:49 - 40:52Alright.
-
40:52 - 40:54Who wants to reject one?
-
40:54 - 40:56(man in audience)
Documents are not strings. -
40:56 - 40:58Documents are not strings.
-
40:58 - 41:05The party of documents are not strings?
-
41:05 - 41:12Okay. Who wants to reject
"strings cannot be modified"? -
41:14 - 41:17Wow! Three. Okay.
-
41:17 - 41:24Who wants to reject
"documents can be modified"? -
41:24 - 41:30Interesting. I've never had
such an even distribution. -
41:38 - 41:41With respect to the first assertion,
"documents are strings", -
41:42 - 41:47I have to confess that it was
a convenience to some extent -
41:48 - 41:50to assert that documents are strings.
-
41:51 - 41:58[Karen Rickett] and I first presented this
at Extreme Markup, now called Balisage, -
41:59 - 42:03those are XML zealots,
and so we used the XML definition -
42:03 - 42:06for the XML standard:
-
42:06 - 42:08"A textual object
is a well formed XML document if: -
42:08 - 42:11taken as a whole, it matches
the production labeled document..." -
42:11 - 42:15the only kind of thing that can match
the production is a string. -
42:20 - 42:22It's harder than you might think.
-
42:23 - 42:26I shouldn't say that
you might think, but-- -
42:26 - 42:29it's harder than sometimes, I think
-
42:29 - 42:33to get out of this simply by denying
that documents are strings, -
42:33 - 42:38because most of the definitions
of document are text. -
42:38 - 42:41Even when they're not definitions
in terms of strings, -
42:41 - 42:46are nevertheless similar enough
in the right respects -
42:46 - 42:49that they're also unmodifiable.
-
42:49 - 42:51At this conference, for instance,
it's very common to say -
42:51 - 42:56that a document is a graph,
meaning this kind of graph, you know? -
42:58 - 43:00And they mean that
in the mathematical sense. -
43:00 - 43:06But a graph is a set of tuples,
-
43:06 - 43:12and sets of tuples can't change because
sets can't lose their data. [Grambergs] -
43:13 - 43:16So graphs don't work.
-
43:16 - 43:19If you look closely at FRBR's notion
of the expression -
43:19 - 43:23as symbolic notation,
it's pretty much string like, -
43:23 - 43:25even if it's not a string.
-
43:25 - 43:30A string in the mathematical sense
is a function from integers -
43:30 - 43:32into some domain of elements.
-
43:32 - 43:35The notion of expression
is not exactly mathematical, -
43:35 - 43:38but it's clearly a sequence of elements
-
43:38 - 43:43and our intuitions about
the Verona sentence, I think, -
43:43 - 43:46count against FRBR's
notion of expression. -
43:46 - 43:50Similarly, contextual criticism
cancels notion of a text, -
43:50 - 43:57I also think is not the kind of thing
that can be changed. -
44:02 - 44:07I'm going to come back
to that in a minute, -
44:07 - 44:10so this is not the end of [inaudible].
-
44:13 - 44:15Strings cannot be modified.
-
44:15 - 44:17Some of you said that strings
cannot be modified -
44:17 - 44:19as things can be modified.
-
44:19 - 44:24So modification on my account
is a losing or a gaining of a property. -
44:28 - 44:35I would claim that a string
like "13571" has properties, -
44:35 - 44:38but it has no properties
that it can lose. -
44:39 - 44:41It has the property of having
[inaudible] five tokens, -
44:41 - 44:43of having one token [inaudible] twice,
-
44:43 - 44:46[inaudible] 35, and so on,
-
44:46 - 44:53but I would say that that string,
that string, can't lose these properties. -
44:54 - 44:57That string cannot lose those properties.
-
44:57 - 45:01We cannot identify a thing that once
had one of those properties -
45:01 - 45:04and later, did not.
-
45:04 - 45:08Now, I realize there are sub-properties
a string can have, and lose, -
45:08 - 45:15for instance, "13571" has the property
of being talked about in college [inaudible] -
45:16 - 45:21and it will lose that property.
-
45:22 - 45:25But that's a pretty thin change, right?
-
45:25 - 45:28That's not a change to the string.
-
45:28 - 45:33That's a change in the relationship
between the string and some other thing. -
45:33 - 45:38It's like you might not be
the tallest person in the room, -
45:38 - 45:41but when the tallest person
in the room leaves, -
45:41 - 45:44you might become
the tallest person in the room. -
45:44 - 45:48Have you changed?
I would say no. -
45:48 - 45:52So the thing about strings is that
although they have some properties, -
45:52 - 45:57all of their inherent properties,
they have essentially -
45:57 - 45:59so they can't lose them.
-
45:59 - 46:03They only have their relation
properties contingently. -
46:03 - 46:09So that is sort of the interesting thing
about things like strings. -
46:09 - 46:11they have some contingent properties,
-
46:11 - 46:16but all of their contingent
properties are relational. -
46:16 - 46:20They have some inherent properties
which could count as properties -
46:20 - 46:21generating modification
-
46:21 - 46:24if you could lose them,
but all of their inherent properties -
46:24 - 46:27are essential, so they can't
lose them, so they don't change. -
46:33 - 46:37In favor of "documents
can be modified", we all believe it. -
46:40 - 46:42It's part of what we say and do.
-
46:42 - 46:45So these last three slides
are supposed to suggest -
46:45 - 46:49that it's not easy
to get out of this problem. -
46:53 - 47:08There are, in my mind,
four relatively significant responses. -
47:09 - 47:15One is to deny that documents are anything
of the kind I've been saying they are. -
47:16 - 47:19That they're material
objects in the world, -
47:19 - 47:21and material objects
in the world can change. -
47:22 - 47:26Another is to say that documents
are social objects -
47:28 - 47:30and social objects can change.
-
47:32 - 47:37Another is to say that every time
we edit a document -
47:37 - 47:43there's actually
a new document being created, -
47:43 - 47:46so documents aren't really changing,
-
47:46 - 47:53but what's happening is that
new documents are being created, -
47:54 - 48:01so this does deny that documents
can be modified. -
48:01 - 48:06The last one, which I gave
an asterisk to because I think -
48:06 - 48:13it's the one-- I'm not an eliminativist,
it's the one I'm going for, -
48:16 - 48:18the string-in-a-role strategy,
-
48:18 - 48:22which argues that documents
are things like strings, -
48:22 - 48:26but they are not just strings,
they are strings -
48:26 - 48:31in a particular communicative role.
-
48:32 - 48:34(man in audience) Can I
try another way out? -
48:34 - 48:35Yeah.
-
48:35 - 48:37(man in audience) So, what if
I take the argument -
48:37 - 48:42that the three assertions
are not contradictory? -
48:42 - 48:48So take a look at the second one.
If we think of a string as an element -
48:48 - 48:52drawn from the set of all possible
combinations of characters, -
48:52 - 48:55then you're simply drawing
a new element from that set, -
48:55 - 49:00so if you look at it from that perspective
the three are not contradictory. -
49:00 - 49:03I guess this is closest
to the new document theory, -
49:03 - 49:07is that when you modify a document,
just simply drawing another string -
49:07 - 49:09from the set, you're not
modifying the string. -
49:10 - 49:13I would say that is
the new document theory. -
49:13 - 49:18Which is I think
the most popular response, -
49:18 - 49:25particularly from [inaudible]
computer scientist. -
49:30 - 49:32It does deny that documents
can be modified, -
49:32 - 49:39which is, I think, that strictly speaking,
literally speaking, -
49:39 - 49:41documents can be modified.
-
49:41 - 49:47[inaudible]
-
49:47 - 49:50So the string-in-a-role strategy.
-
49:53 - 49:57string-in-a-role is somewhat harsh
in that it does deny -
49:57 - 50:00our common sense belief
that documents can be modified. -
50:00 - 50:04It also doesn't just do that, by the way.
It also finesses the definition -
50:04 - 50:08of document in a very subtle
and important way. -
50:10 - 50:17This response claims that a document
is a string in a particular role. -
50:23 - 50:30That in fact, being a document
is a property that strings come to have -
50:30 - 50:36in particular contingent
social situations. -
50:36 - 50:41And here's the finessing,
and it's an ontological -
50:44 - 50:47maneuver, you might say.
-
50:48 - 50:53On this account, document
is not a type of entity. -
50:59 - 51:04Being a document is a role
that some entities come to have -
51:07 - 51:10in particular circumstances.
-
51:12 - 51:19So document is a kind
of nominalization of a relationship, -
51:21 - 51:26the kind of thing
you would not express as-- -
51:26 - 51:32at least it's plausible
that it would be inappropriate -
51:32 - 51:39to express in your UML diagram,
it would be inappropriate to have -
51:41 - 51:45a rectangle for documents.
Instead you would have -
51:45 - 51:52a rectangle for strings, and an arc
for being in a documentary role, -
51:53 - 51:54or something like that.
-
51:57 - 52:01So compare this, and I get
the example from Guarino and Welty, -
52:01 - 52:08this is very well known,
the concepts of person and student. -
52:12 - 52:18A student is a person
in a particular role. -
52:18 - 52:21A person who has enrolled, let's say.
-
52:24 - 52:30But a person is not a role
that something else takes on. -
52:31 - 52:33That's the intuition here.
-
52:36 - 52:41A person can become a student,
and later cease to be a student. -
52:45 - 52:48We'll see this example again in a bit.
-
52:55 - 52:58So just summarizing,
documents can enroll. -
53:03 - 53:08This is consistent with not just
Guarino and Welty but also John Searle, -
53:08 - 53:12if you're familiar with his writing
about the ontology of the social world. -
53:12 - 53:16Documents are strings,
-
53:17 - 53:22but strings are only documents
while they are in a communicative role. -
53:25 - 53:29Because documents are strings,
they're going to be immutable. -
53:29 - 53:36The thing that is a document can't change.
-
53:36 - 53:39I mentioned the burden
that one has to bear -
53:39 - 53:43if he denied modification.
-
53:43 - 53:50How do we give an account
of what apparent modification must be? -
53:53 - 53:55And I know I'm waving my hands
a bit at this point, -
53:55 - 54:01but roughly, when we say
that a document is being modified -
54:01 - 54:06what's going on is that a person
or persons comes to prefer -
54:06 - 54:10a different string for a particular
communicative role -
54:10 - 54:14than the string previously
preferred for that role. -
54:14 - 54:18I think I may have heard that
even from a couple of you already. -
54:30 - 54:33Apparent changes in digital documents,
and you can generalize this account -
54:33 - 54:37to all digital objects,
-
54:38 - 54:41apparent changes in digital objects.
-
54:41 - 54:45Remember the constantly changing
digital world I referred to -
54:45 - 54:46at the beginning.
-
54:46 - 54:52Apparent changes in digital objects
are actually changes in us, -
54:52 - 54:55in the person or persons interacting
with those objects. -
54:56 - 55:00They're not changes
in the documents themselves. -
55:01 - 55:04So what changes
when a digital object changes? -
55:04 - 55:07To answer the question
posed earlier, you do. -
55:14 - 55:16I promised you some Eliminativism.
-
55:20 - 55:27If you find it hard to accept
that documents cannot change, -
55:29 - 55:31and you should find it hard to accept,
-
55:31 - 55:37because it is part
of our conceptual scheme, I think. -
55:42 - 55:43There is another way out.
-
55:44 - 55:46(voice in audience) This is
such a relief to me, Allan. -
55:46 - 55:48(laughter)
-
55:49 - 55:51There's another way out, trust me!
-
55:52 - 55:53You're not going to be happy without it.
-
56:08 - 56:12To rehearse where we are,
it is commonly believed that documents -
56:12 - 56:15can be revised, edited, shortened,
lengthened, and modified in various ways. -
56:15 - 56:18That belief is widespread
and deeply rooted. -
56:18 - 56:21I characterized it as part
of our conceptual scheme. -
56:21 - 56:28Perhaps it is so deeply rooted
that it's actually integral -
56:28 - 56:32to our concept of a document.
-
56:32 - 56:37If that's the case, then we can
express this relationship this way. -
56:37 - 56:43If there are documents, then there
are modifiable documents. -
56:43 - 56:47It may be more natural to say, if there
are documents, then they are modifiable. -
56:47 - 56:54But we've shown that there are
no modifiable documents. -
56:55 - 57:00From the claim that if there are documents
there are modifiable documents, -
57:00 - 57:05and the assertion "there are
no modifiable documents", -
57:05 - 57:09the conclusion is only
that there are no documents, -
57:09 - 57:11and that's elimination.
-
57:16 - 57:19Let me just briefly say that there is
another line of reasoning -
57:19 - 57:25to the same conclusion, that looks at
the constricts in discrete mathematics -
57:25 - 57:28that are typically used
to define digital documents. -
57:28 - 57:34All of those concepts, whether they
be strings or graphs or relations -
57:34 - 57:38all are eventually defined
in terms of sets -
57:38 - 57:44and our standard set theory holds
that membership in a set -
57:45 - 57:48is essential to the identity of the set.
-
57:48 - 57:51Sets cannot lose or gain members.
-
57:51 - 57:53Sometimes mathematicians speak loosely,
-
57:53 - 57:55but when they're not speaking loosely,
-
57:55 - 58:02they do recognize that one set S and one
set T are identical if, and only if, -
58:03 - 58:06they have exactly the same members
-
58:06 - 58:10and that's a forward and back,
that's not just at a time. -
58:12 - 58:14Sets are used to define strings.
-
58:14 - 58:19They're used to define
the relations in a-- -
58:19 - 58:21actually, let me expand on that a bit.
-
58:21 - 58:28In a relational database model we see
information as organized in a table. -
58:28 - 58:33And our textbooks tell us that table
is understood as a mathematical relation, -
58:33 - 58:37which is a set of n sized tuples.
-
58:37 - 58:43We speak of adding or deleting
records from tables. -
58:43 - 58:50That corresponds to adding
or deleting tuples from a set, -
58:53 - 58:56and having the set survive the change.
-
58:59 - 59:03Sets cannot lose or gain elements,
whatever they are. -
59:06 - 59:12The conclusion is documents
can never change. -
59:13 - 59:16You can't add a record to a database.
-
59:18 - 59:21You can't delete a record
from a database. -
59:24 - 59:27Database switched to table here,
but it doesn't make any difference. -
59:27 - 59:30A database table is a relation.
-
59:30 - 59:32A relation is a set.
-
59:32 - 59:35Sets have their members essentially.
-
59:35 - 59:38They can't lose their [inaudible].
-
59:38 - 59:40Same goes for collections.
-
59:40 - 59:42Collections are often defined as sets.
-
59:42 - 59:44I think I've got them coming up here.
-
59:44 - 59:45Yeah, there we go!
-
59:45 - 59:51Good old [Ed Fox]'s students gave
this account of the digital library. -
59:51 - 59:54Collection is a set. There, they say it.
They even use curly braces. -
59:56 - 59:59If a collection is a set,
you can't add anything to it. -
60:00 - 60:03Nor can you remove it from it.
-
60:09 - 60:11[inaudible]
-
60:15 - 60:20Suddenly all these things
that we had in our digital world -
60:20 - 60:25that we're very familiar with,
very familiar, -
60:25 - 60:28talked about all the time,
-
60:28 - 60:35seem to incorporate logical
inconsistency in their very nature. -
60:50 - 60:53One response is to say, no,
-
60:57 - 61:04it's not inconsistent, it's just that
our notion of those things was inadequate -
61:04 - 61:08and we have to face the fact that
you can't add something to a collection. -
61:08 - 61:11You can't subtract
a record from a database. -
61:11 - 61:13You can't edit a document.
-
61:13 - 61:16That's one response.
-
61:16 - 61:20The eliminativist says, you know what?
-
61:20 - 61:22If you're going to go
that far, you give up-- -
61:24 - 61:30rather than adopt a position that is
that repugnant to my conceptual scheme, -
61:31 - 61:36my notion of a document,
a collection, a database, -
61:36 - 61:41I'd rather just say there aren't any,
-
61:41 - 61:48because the idea of a database table
that you can't add a record to -
61:49 - 61:53is just not consistent
with my notion of database table. -
61:53 - 61:56(man in audience) As a computer scientist,
can I offer what I seem to think -
61:56 - 61:58is an easier way out?
-
61:58 - 62:02When you're modifying a table,
-
62:02 - 62:08this is actually going back to my attempt
at going down the path of a new document. -
62:08 - 62:12What you're doing is you're actually
choosing a new relationship -
62:12 - 62:16whose new properties
reflect the differences -
62:16 - 62:17that adding [inaudible] a table.
-
62:17 - 62:20So when we say
we're adding a new table, -
62:20 - 62:24that's a shorthand for saying
we're manifesting a new relationship -
62:24 - 62:27in which the only difference
between this relationship -
62:27 - 62:32and the previous relationship is a table
that is the row that I modified. -
62:32 - 62:37And again, I actually am not
going to contest that view -
62:39 - 62:44because the point I want to make
is that literally speaking, -
62:48 - 62:51the relation is not modified.
-
62:52 - 62:56(man in audience) Yeah, you're choosing
a new relationship from the universe -
62:56 - 62:58of all possible relationships
-
62:58 - 63:00and when you're saying
we modified the table, -
63:00 - 63:02that's just a shorthand for doing that
-
63:02 - 63:05and I think that doesn't deny
the existence of documents -
63:05 - 63:10or tables or anything else,
but gets us out of this jam. -
63:10 - 63:13So I would say it doesn't
get us out of the jam, -
63:13 - 63:20because what we're agreeing
is what's really going on. -
63:25 - 63:32But, I maintain that a relation cannot--
-
63:35 - 63:41that you cannot add
a record to a relation. -
63:41 - 63:43(man in audience) That's right,
it's a new relation. -
63:43 - 63:45Well, it's a different relation in a way.
-
63:47 - 63:51So we actually agree, I think.
-
63:51 - 63:55(man in audience) But you're denying
the existence of the document. -
63:55 - 64:02What I'm saying is that
if the immutability of relations -
64:03 - 64:10is repugnant to your
concept of a relation, -
64:10 - 64:14then there is another approach,
and that is to deny -
64:14 - 64:19that there are, I have to say
tables in this case. -
64:19 - 64:22There are database tables.
-
64:22 - 64:27So a database table
is a modifiable relation, -
64:27 - 64:29but there are no modifiable relations.
-
64:29 - 64:31Therefore, there are no database tables.
-
64:31 - 64:34That's how the argument goes.
-
64:34 - 64:37In Khan's original paper
on the relational model -
64:37 - 64:44he sets up this near convergence
that we have here. -
64:47 - 64:50He says something like,
I can't remember exactly, -
64:50 - 64:57but he talks about how an actual database
over time is really a function -
64:59 - 65:06from times to sets,
from sets to tuples. -
65:06 - 65:11And you could say to me,
"Allan, you're completely confused here. -
65:11 - 65:18"A database is a function as Khan says.
A database is a function from times -
65:18 - 65:19to sets of tuples."
-
65:22 - 65:29I'd say, yes, that may be true,
but there's still nothing -
65:29 - 65:31in the landscape that's mutable.
-
65:32 - 65:39So when you start writing assertions
or a modeling framework, -
65:42 - 65:49UML, RDF, whatever, you had better not
have variables ranging over tables -
65:52 - 65:59that are modifiable because that would be
a literal interpretation of the sentence -
65:59 - 66:05you and I have agreed on
interpreting with a paraphrase. -
66:05 - 66:07(man in audience) Yeah,
I guess as a computer scientist, -
66:07 - 66:11if you are working in the domain
of functional programming -
66:11 - 66:15I don't think any of this
would seem as a shock. -
66:19 - 66:23I guess I don't see the cognitive
dissonance that should spring in my head, -
66:24 - 66:25that you're saying
should spring in my head-- -
66:31 - 66:32So I think maybe you're right.
-
66:36 - 66:40That at this point, having talked
about the paraphrases [inaudible], -
66:40 - 66:43the kind of dissonance
started dissipating. -
66:45 - 66:49The problem is most acute
when we're trying to actually develop -
66:50 - 66:55a conceptual model for a repository
-
66:55 - 67:02or a preservation system
or a document management system -
67:02 - 67:06and we're drawing boxes
and arrows and have an interpretation -
67:06 - 67:08[inaudible] watching.
-
67:11 - 67:17The decisions that we have
to make are actually hard. -
67:17 - 67:19Let me take a specific example.
-
67:19 - 67:24So, [Planets?], which is based on PREMIS,
-
67:24 - 67:29has a nice UML diagram
of its preservation model. -
67:30 - 67:36And they classify
documents as bitstreams, -
67:36 - 67:43and they also attach a modification date
to the document class -
67:48 - 67:55but if a document is actually
a particular bitstream, -
67:55 - 68:00then it is not going to be modifiable.
-
68:00 - 68:05You think of the class of bitstreams
as the class of every common -
68:05 - 68:07rhetorically possible bitstream.
-
68:07 - 68:10A document is one of them.
-
68:10 - 68:17That document cannot become
some other bitstream. -
68:19 - 68:23To me, that just says well,
there's interesting work to do here, -
68:23 - 68:30if we're going to have a UML diagram
that matches our intuitions -
68:33 - 68:38a little more closely or that lets us work
with these a little better, -
68:39 - 68:46but my general point is, if you take
the sentences we are likely to articulate, -
68:47 - 68:52and try to represent them in logic base
-
68:52 - 68:57of conceptual modeling language,
-
68:57 - 69:00even if you're pretty good at it,
even if you try hard, -
69:00 - 69:05you will end up just like
the Premise Planets people did, -
69:05 - 69:09not creating a system
like you just described -
69:09 - 69:12in your paraphrases,
-
69:12 - 69:17but creating one that actually
has contradictions in it. -
69:17 - 69:19Most of the time it doesn't matter
-
69:19 - 69:21because there's so much English involved,
-
69:21 - 69:24there's so much human
intervention involved, -
69:24 - 69:26we're able to navigate these problems,
-
69:26 - 69:32but the more we move towards
automatic inferencing -
69:32 - 69:36over our ontologies
and over our assertions, -
69:36 - 69:41the more likely it is that we start
to replicate every paradox -
69:41 - 69:45of the last 2,000 years
in these lights-out -
69:45 - 69:50automated inferencing systems
that are just completely unforgiving, -
69:50 - 69:52that don't understand
what we really mean. -
69:52 - 69:55(man 3 in audience) Can I add
an element of time management here-- -
69:55 - 69:57(man in audience) Feel free
to shut me up if you-- -
69:57 - 70:01(man 3 in audience) No, it's just
that we are running out of time, -
70:01 - 70:06so, Allan, could we shift over
to a couple of questions before we stop? -
70:08 - 70:10(man 4 in audience) I think I need a bit
-
70:10 - 70:12of clarification on what
is meant by document -
70:12 - 70:18because you talked about documents
as a sentence, even a database. -
70:18 - 70:21It seems that it could apply
to any sort of digital object. -
70:21 - 70:23Is that what you mean,
and if that is the case, -
70:23 - 70:29then although I could agree that
a digital object or document -
70:29 - 70:34is definitely a set or a bitstream,
-
70:34 - 70:37I keep on disagreeing that it's a string,
-
70:37 - 70:42because although a string is a set,
there are other properties and restraints -
70:42 - 70:45that are associated
with the fact that it's a string. -
70:45 - 70:49For example, it has
a certain order, a sequentiality. -
70:49 - 70:51And that doesn't exist in every document.
-
70:51 - 70:53First of all, [inaudible]
-
70:53 - 70:56so I think I need a bit more clarification
on what you mean by document -
70:56 - 70:59and [inaudible].
-
70:59 - 71:04So, I don't have a--
-
71:05 - 71:06you may have noticed in the beginning.
-
71:06 - 71:13I don't necessarily want to tie myself
to any particular account of document, -
71:13 - 71:20either specific definition
or colloquial notion, -
71:25 - 71:32so I would say, I'll take candidates
for what a document is. -
71:36 - 71:41Presumably, in ordinary circumstances,
something like the TPS memo. -
71:41 - 71:45Something that can be revised,
something that can be authored, -
71:45 - 71:49something that communicates,
-
71:49 - 71:55and when we look at definitions,
whether it's an FRBR, or a [inaudible] -
71:55 - 72:02or the XML standard, we often see
accounts of a document -
72:05 - 72:11that do make it look
like a structure of some kind, -
72:11 - 72:15often a string of symbols.
-
72:15 - 72:19But maybe one clarification,
though is that clearly, -
72:19 - 72:25I'm not focused attention
on the repeatable abstraction, -
72:26 - 72:30not on the material object
that embodies the abstraction. -
72:30 - 72:34(man 4 in audience) Yeah, absolutely.
That's why I think [inaudible] really works. -
72:34 - 72:40I'm not trying to contradict
the conclusions that you attempt to draw. -
72:40 - 72:43I think that you managed to convince me
that a document is an immutable object. -
72:44 - 72:47I just don't think it's a good idea
to call it a string, -
72:47 - 72:51because a lot of documents
will not be strings. -
72:51 - 72:56So I'm going to take an example
from what I know better than [inaudible]. -
72:56 - 73:00I consider them documents in that
they are revised, they're edited, -
73:00 - 73:06they communicate a set of instructions
and a lot more, if you will. -
73:06 - 73:11Although there is definitely some sense
of sequence, they do not operate -
73:11 - 73:16as a sequence only because even though
they communicate something -
73:16 - 73:20that is supposed to happen in time,
-
73:20 - 73:22so there's one event after the other,
-
73:22 - 73:24they also represent [inaudible]
-
73:24 - 73:26events that happen at the same time
-
73:26 - 73:31so you have at least
two sequences that are concurrent. -
73:31 - 73:35And this is not just thinking
in terms of a graph. -
73:35 - 73:38It's not just an overlapping of qualities,
-
73:38 - 73:41it's an ontological problem
and you cannot just model it -
73:41 - 73:45as something that happens
in a sequence, in a line. -
73:45 - 73:48It's not a string.
-
73:48 - 73:53So let me try this as a response.
-
73:55 - 74:00In the end, despite all this talk
about strings and such, -
74:02 - 74:09it's the fact that abstract objects
have no contingent inherent properties -
74:12 - 74:14that drives the argument forward.
-
74:15 - 74:21I refer to specific constructs
from discrete mathematics -
74:21 - 74:23like strings and so on,
-
74:23 - 74:28because they're so common in the books
that we read about digital objects. -
74:28 - 74:35But, however you conceptualize your score,
if it's a repeatable abstraction, -
74:44 - 74:47it's going to be implausible
that it's mutable. -
74:51 - 74:54It is plausible because
we talked about [inaudible] score, -
74:54 - 74:58but for the same reasons given here,
-
74:58 - 75:04after reflection, it becomes
implausible that it's mutable. -
75:04 - 75:08And so, the kinds of paraphrases
that we use for strings -
75:08 - 75:13will also involve social,
community intention. -
75:13 - 75:16Looks like we're shifting
change to communities. -
75:16 - 75:18Is what we're doing.
-
75:18 - 75:23Convention, intention, all that stuff
-
75:23 - 75:26is going to have to happen
for us of course as well. -
75:26 - 75:30Even though I don't have a snappy answer
for what a score is, -
75:30 - 75:34I'm still fairly confident
that whatever it is, -
75:34 - 75:39if it's a repeatable abstraction,
it will not have any inherent properties -
75:39 - 75:44that are contingent
and therefore will be modifiable, -
75:44 - 75:47and therefore its apparent modification
-
75:47 - 75:52will be a social construction.
-
75:52 - 75:55A genuine social construction
that's dependent upon -
75:55 - 75:59our intentional effort as a community.
-
76:02 - 76:09We have to stop there, but if your brain
is like mine right now it's racing -
76:12 - 76:14in a lot of different directions.
-
76:14 - 76:15Our mind.
-
76:15 - 76:19I'm sure that Allan will be
at the front of the room -
76:19 - 76:22to talk to you if you
would like to talk more. -
76:22 - 76:25Let's thank him
for a great digital dialogue. -
76:25 - 76:29(applause)
- Title:
- Allan Renear: An Eliminativist Ontology of the Digital World—and What It Means for Data Curation
- Description:
-
- Video Language:
- English
- Team:
- MITH Captions (Amara)
- Project:
- BATCH 1
Show all