Http://ifomis.org 1 Sprechakte und Dokumentenakte Barry Smith Institute for Formal Ontology and...
-
date post
30-Jan-2016 -
Category
Documents
-
view
215 -
download
0
Transcript of Http://ifomis.org 1 Sprechakte und Dokumentenakte Barry Smith Institute for Formal Ontology and...
![Page 1: Http://ifomis.org 1 Sprechakte und Dokumentenakte Barry Smith Institute for Formal Ontology and Medical Information Science Saarbrücken Department of Philosophy.](https://reader035.fdocuments.in/reader035/viewer/2022062500/56649d6b5503460f94a49eb0/html5/thumbnails/1.jpg)
http://ifomis.org 1
Sprechakte und Dokumentenakte
Barry Smith
Institute for Formal Ontology and Medical Information Science Saarbrücken
Department of PhilosophyUniversity at Buffalo
![Page 2: Http://ifomis.org 1 Sprechakte und Dokumentenakte Barry Smith Institute for Formal Ontology and Medical Information Science Saarbrücken Department of Philosophy.](https://reader035.fdocuments.in/reader035/viewer/2022062500/56649d6b5503460f94a49eb0/html5/thumbnails/2.jpg)
http://ifomis.org 2
Ontologie (Phil.)Die Lehre vom Sein
![Page 3: Http://ifomis.org 1 Sprechakte und Dokumentenakte Barry Smith Institute for Formal Ontology and Medical Information Science Saarbrücken Department of Philosophy.](https://reader035.fdocuments.in/reader035/viewer/2022062500/56649d6b5503460f94a49eb0/html5/thumbnails/3.jpg)
http://ifomis.org 3
Google hits Jan. 2004
• ontology + Heidegger 58K• ontology + Aristotle 77K• ontology + philosophy 327K• ontology + engineering 335K• ontology + software 468K• ontology + database 594K• ontology + information systems 702K
![Page 4: Http://ifomis.org 1 Sprechakte und Dokumentenakte Barry Smith Institute for Formal Ontology and Medical Information Science Saarbrücken Department of Philosophy.](https://reader035.fdocuments.in/reader035/viewer/2022062500/56649d6b5503460f94a49eb0/html5/thumbnails/4.jpg)
http://ifomis.org 4
Google hits (in Millionen) 6.7.06
• ontology 51.4
• ontology + philosophy 2.7
• ontology + information science 6.6
• ontology + database 9.8
Google hits (in Millionen) 3.4.07
![Page 5: Http://ifomis.org 1 Sprechakte und Dokumentenakte Barry Smith Institute for Formal Ontology and Medical Information Science Saarbrücken Department of Philosophy.](https://reader035.fdocuments.in/reader035/viewer/2022062500/56649d6b5503460f94a49eb0/html5/thumbnails/5.jpg)
http://ifomis.org 5
Q: Warum ‘Ontologie’ heute? A: Das Babelturmproblem der Informationssysteme
![Page 6: Http://ifomis.org 1 Sprechakte und Dokumentenakte Barry Smith Institute for Formal Ontology and Medical Information Science Saarbrücken Department of Philosophy.](https://reader035.fdocuments.in/reader035/viewer/2022062500/56649d6b5503460f94a49eb0/html5/thumbnails/6.jpg)
http://ifomis.org 6
‘Ontologie’ (Tech.)
= die Konstruktion künstlicher Taxonomien als Softwareartefakte, die durch ‘Tagging’ u.a. das Suchen und Finden von Information unterstützen sollen
![Page 7: Http://ifomis.org 1 Sprechakte und Dokumentenakte Barry Smith Institute for Formal Ontology and Medical Information Science Saarbrücken Department of Philosophy.](https://reader035.fdocuments.in/reader035/viewer/2022062500/56649d6b5503460f94a49eb0/html5/thumbnails/7.jpg)
http://ifomis.org 7
Ontology (science) in der Biomedizin
wir akkumulieren gigantische Mengen von Daten
![Page 8: Http://ifomis.org 1 Sprechakte und Dokumentenakte Barry Smith Institute for Formal Ontology and Medical Information Science Saarbrücken Department of Philosophy.](https://reader035.fdocuments.in/reader035/viewer/2022062500/56649d6b5503460f94a49eb0/html5/thumbnails/8.jpg)
http://ifomis.org 8
![Page 9: Http://ifomis.org 1 Sprechakte und Dokumentenakte Barry Smith Institute for Formal Ontology and Medical Information Science Saarbrücken Department of Philosophy.](https://reader035.fdocuments.in/reader035/viewer/2022062500/56649d6b5503460f94a49eb0/html5/thumbnails/9.jpg)
http://ifomis.org 9
Ontology in der Biomedizin
how do we know what data we have ?
how do I know what data you have ?
how do we know what data we don’t have ?
how do we make different sorts of data combinable ?
![Page 10: Http://ifomis.org 1 Sprechakte und Dokumentenakte Barry Smith Institute for Formal Ontology and Medical Information Science Saarbrücken Department of Philosophy.](https://reader035.fdocuments.in/reader035/viewer/2022062500/56649d6b5503460f94a49eb0/html5/thumbnails/10.jpg)
http://ifomis.org 10
where in the cell ?
what kind of process ?
wir brauchen semantischeAnnotation dieser Daten
what kind of biological goal ?
![Page 11: Http://ifomis.org 1 Sprechakte und Dokumentenakte Barry Smith Institute for Formal Ontology and Medical Information Science Saarbrücken Department of Philosophy.](https://reader035.fdocuments.in/reader035/viewer/2022062500/56649d6b5503460f94a49eb0/html5/thumbnails/11.jpg)
http://ifomis.org 11
Experten durchforsten die wissenschaftliche Literatur, um Einträge in biochemischen Datenbanken mit GO-Termini zu verbinden
diese Verbindungen werden digital katalogisiert
die verschiedenen Datenbanken werden dann durch die GO-Termini automatisch integriert
und zwar in einer Weise, die die biochemischen Daten auch für Menschen zugänglich macht
GO Methodologie der Annotation
![Page 12: Http://ifomis.org 1 Sprechakte und Dokumentenakte Barry Smith Institute for Formal Ontology and Medical Information Science Saarbrücken Department of Philosophy.](https://reader035.fdocuments.in/reader035/viewer/2022062500/56649d6b5503460f94a49eb0/html5/thumbnails/12.jpg)
http://ifomis.org 12
this leads to improvements and extensions of the ontology
GO + Annotationen stellen eine wachsende algorithmisch interpretierbare Landkarte der biologischen Wirklichkeit dar
Sie spielen auch für Menschen eine wichtige integrierende Rolle
![Page 13: Http://ifomis.org 1 Sprechakte und Dokumentenakte Barry Smith Institute for Formal Ontology and Medical Information Science Saarbrücken Department of Philosophy.](https://reader035.fdocuments.in/reader035/viewer/2022062500/56649d6b5503460f94a49eb0/html5/thumbnails/13.jpg)
http://ifomis.org 13
Ontologie als Begleitung z.B. der Rechtsinformationssysteme
Anwendungen in:
Standardisierung (z.B. des EU-Rechts)
Lernsystemen im komparativen Recht
Festlegung gemeinsamen Grundwissens
automatischem Schließen
Statistik
Integration von Daten
![Page 14: Http://ifomis.org 1 Sprechakte und Dokumentenakte Barry Smith Institute for Formal Ontology and Medical Information Science Saarbrücken Department of Philosophy.](https://reader035.fdocuments.in/reader035/viewer/2022062500/56649d6b5503460f94a49eb0/html5/thumbnails/14.jpg)
http://ifomis.org 14
![Page 15: Http://ifomis.org 1 Sprechakte und Dokumentenakte Barry Smith Institute for Formal Ontology and Medical Information Science Saarbrücken Department of Philosophy.](https://reader035.fdocuments.in/reader035/viewer/2022062500/56649d6b5503460f94a49eb0/html5/thumbnails/15.jpg)
http://ifomis.org 15
Was ist ein Dokument?
![Page 16: Http://ifomis.org 1 Sprechakte und Dokumentenakte Barry Smith Institute for Formal Ontology and Medical Information Science Saarbrücken Department of Philosophy.](https://reader035.fdocuments.in/reader035/viewer/2022062500/56649d6b5503460f94a49eb0/html5/thumbnails/16.jpg)
http://ifomis.org 16
Dokument als Gegenstand der Informatik
Bob Glushko (Document Engineering): “A document is a purposeful and self-contained collection of information.”
on-line business transactions are ‘internet information exchanges’
but there is more than information here
![Page 17: Http://ifomis.org 1 Sprechakte und Dokumentenakte Barry Smith Institute for Formal Ontology and Medical Information Science Saarbrücken Department of Philosophy.](https://reader035.fdocuments.in/reader035/viewer/2022062500/56649d6b5503460f94a49eb0/html5/thumbnails/17.jpg)
http://ifomis.org 17
OED
1., 2. Teaching, lesson learned (cf. doctor, docile, docent)
3. That which serves to show, point out, or prove something; evidence, proof.
4. Something written, inscribed, etc., which furnishes evidence or information upon any subject, as a manuscript, title-deed, tombstone, coin, picture, etc.
![Page 18: Http://ifomis.org 1 Sprechakte und Dokumentenakte Barry Smith Institute for Formal Ontology and Medical Information Science Saarbrücken Department of Philosophy.](https://reader035.fdocuments.in/reader035/viewer/2022062500/56649d6b5503460f94a49eb0/html5/thumbnails/18.jpg)
http://ifomis.org 18
eine bessere Definition
x ist ein Document=def
x ist eine dauerhafte Urkunde, die einen deontisch oder institutionell relevanten Akt
darstellt oder ausdrückt
x ist eine dauerhafte Urkunde, die eine wesentliche Rolle in einem deontisch oder
institutionell relevanten Akt spielt
![Page 19: Http://ifomis.org 1 Sprechakte und Dokumentenakte Barry Smith Institute for Formal Ontology and Medical Information Science Saarbrücken Department of Philosophy.](https://reader035.fdocuments.in/reader035/viewer/2022062500/56649d6b5503460f94a49eb0/html5/thumbnails/19.jpg)
http://ifomis.org 19
Beispiele von Dokumenten in diesem deontischen Sinn
• identification documents
• commercial documents
• legal documents
Thus: not novels, recipes, diaries ...
![Page 20: Http://ifomis.org 1 Sprechakte und Dokumentenakte Barry Smith Institute for Formal Ontology and Medical Information Science Saarbrücken Department of Philosophy.](https://reader035.fdocuments.in/reader035/viewer/2022062500/56649d6b5503460f94a49eb0/html5/thumbnails/20.jpg)
http://ifomis.org 20
Some examples Made of paper Not made of paper
novel
textbook
newspaper
recipe
map
business card
license
degree certificate
deed
contract
testament
bill
consent form
advertising hoarding
gravestone
film credits
signage on buildings
street name
clay tablet record-ing outcome of litigation
e-document
credit card
car license plate
traffic sign
![Page 21: Http://ifomis.org 1 Sprechakte und Dokumentenakte Barry Smith Institute for Formal Ontology and Medical Information Science Saarbrücken Department of Philosophy.](https://reader035.fdocuments.in/reader035/viewer/2022062500/56649d6b5503460f94a49eb0/html5/thumbnails/21.jpg)
http://ifomis.org 21
Scope of document ontology
• the sorts of things we can do with documents
• the powers of documents
• the social interactions in which documents play an essential role
• the enduring institutional systems to which documents belong
![Page 22: Http://ifomis.org 1 Sprechakte und Dokumentenakte Barry Smith Institute for Formal Ontology and Medical Information Science Saarbrücken Department of Philosophy.](https://reader035.fdocuments.in/reader035/viewer/2022062500/56649d6b5503460f94a49eb0/html5/thumbnails/22.jpg)
http://ifomis.org 22
Basic distinctions among documents
–document template (Vorlage) vs. filled-in document
–document vs. piece of paper
–authentic document vs. copy, forgery
![Page 23: Http://ifomis.org 1 Sprechakte und Dokumentenakte Barry Smith Institute for Formal Ontology and Medical Information Science Saarbrücken Department of Philosophy.](https://reader035.fdocuments.in/reader035/viewer/2022062500/56649d6b5503460f94a49eb0/html5/thumbnails/23.jpg)
http://ifomis.org 23
![Page 24: Http://ifomis.org 1 Sprechakte und Dokumentenakte Barry Smith Institute for Formal Ontology and Medical Information Science Saarbrücken Department of Philosophy.](https://reader035.fdocuments.in/reader035/viewer/2022062500/56649d6b5503460f94a49eb0/html5/thumbnails/24.jpg)
http://ifomis.org 24
Provenienz• Gemälde vs. Gedicht• Lohnsteuerformblatt vs. Lohnsteuerausweis• Fingerabdruck vs. Analyse eines Fingerabdrucks
historische vs. syntaktische Identität
• Unterschrift• Lichtbild• Siegel• Stempel
![Page 25: Http://ifomis.org 1 Sprechakte und Dokumentenakte Barry Smith Institute for Formal Ontology and Medical Information Science Saarbrücken Department of Philosophy.](https://reader035.fdocuments.in/reader035/viewer/2022062500/56649d6b5503460f94a49eb0/html5/thumbnails/25.jpg)
http://ifomis.org 25
![Page 26: Http://ifomis.org 1 Sprechakte und Dokumentenakte Barry Smith Institute for Formal Ontology and Medical Information Science Saarbrücken Department of Philosophy.](https://reader035.fdocuments.in/reader035/viewer/2022062500/56649d6b5503460f94a49eb0/html5/thumbnails/26.jpg)
http://ifomis.org 26
Allographic = identity is syntacticAutographic = identity is historical
• A signature is autographic
• A fingerprint left at the scene of the crime is autographic
• A fingerprint taken for identification purposes is allographic
Nelson Goodman, Languages of Art
![Page 27: Http://ifomis.org 1 Sprechakte und Dokumentenakte Barry Smith Institute for Formal Ontology and Medical Information Science Saarbrücken Department of Philosophy.](https://reader035.fdocuments.in/reader035/viewer/2022062500/56649d6b5503460f94a49eb0/html5/thumbnails/27.jpg)
http://ifomis.org 27
What happens when you sign your passport?
• you initiate the validity of the passport
• you attest to the truth of the assertions it contains (historical identity)
• you provide a sample pattern for comparison (syntactic identity)
Three document acts for the price of one
![Page 28: Http://ifomis.org 1 Sprechakte und Dokumentenakte Barry Smith Institute for Formal Ontology and Medical Information Science Saarbrücken Department of Philosophy.](https://reader035.fdocuments.in/reader035/viewer/2022062500/56649d6b5503460f94a49eb0/html5/thumbnails/28.jpg)
http://ifomis.org 28
Passport acts
• I use my passport to prove my identity
• You use my passport to check my identity
• He renews my passport
• They confiscate my passport
![Page 29: Http://ifomis.org 1 Sprechakte und Dokumentenakte Barry Smith Institute for Formal Ontology and Medical Information Science Saarbrücken Department of Philosophy.](https://reader035.fdocuments.in/reader035/viewer/2022062500/56649d6b5503460f94a49eb0/html5/thumbnails/29.jpg)
http://ifomis.org 29
You use my passport to check my identity
knowledge by acquaintance
knowledge by description
knowledge by comparison
![Page 30: Http://ifomis.org 1 Sprechakte und Dokumentenakte Barry Smith Institute for Formal Ontology and Medical Information Science Saarbrücken Department of Philosophy.](https://reader035.fdocuments.in/reader035/viewer/2022062500/56649d6b5503460f94a49eb0/html5/thumbnails/30.jpg)
http://ifomis.org 30
knowledge by complementation
![Page 31: Http://ifomis.org 1 Sprechakte und Dokumentenakte Barry Smith Institute for Formal Ontology and Medical Information Science Saarbrücken Department of Philosophy.](https://reader035.fdocuments.in/reader035/viewer/2022062500/56649d6b5503460f94a49eb0/html5/thumbnails/31.jpg)
http://ifomis.org 31
Two types of entities
• Discovered entities (molecules, cells, organisms)
• Created entities (corporations, ministries, obligations)
![Page 32: Http://ifomis.org 1 Sprechakte und Dokumentenakte Barry Smith Institute for Formal Ontology and Medical Information Science Saarbrücken Department of Philosophy.](https://reader035.fdocuments.in/reader035/viewer/2022062500/56649d6b5503460f94a49eb0/html5/thumbnails/32.jpg)
http://ifomis.org 32
Two types of ontology
• natural-science ontology (bio-ontologies)
• administrative ontology (e-commerce ontologies, legal ontologies, banking ontologies)
![Page 33: Http://ifomis.org 1 Sprechakte und Dokumentenakte Barry Smith Institute for Formal Ontology and Medical Information Science Saarbrücken Department of Philosophy.](https://reader035.fdocuments.in/reader035/viewer/2022062500/56649d6b5503460f94a49eb0/html5/thumbnails/33.jpg)
http://ifomis.org 33
Documents belong to the realm of administrative entities
entities such as organizations, rules, prices, debts, standardized transactions ..., which we ourselves create
But what does ‘create’ mean ?
![Page 34: Http://ifomis.org 1 Sprechakte und Dokumentenakte Barry Smith Institute for Formal Ontology and Medical Information Science Saarbrücken Department of Philosophy.](https://reader035.fdocuments.in/reader035/viewer/2022062500/56649d6b5503460f94a49eb0/html5/thumbnails/34.jpg)
http://ifomis.org 34
Speech Act Theory
• We tell people how things are (assertives)
• We try to get them to do things (directives)
• We commit ourselves to doing things (commissives)
• We express our feelings and attitudes (expressives)
• We bring about changes in the world through utterances (declarations) (“I name this ship ...”)
![Page 35: Http://ifomis.org 1 Sprechakte und Dokumentenakte Barry Smith Institute for Formal Ontology and Medical Information Science Saarbrücken Department of Philosophy.](https://reader035.fdocuments.in/reader035/viewer/2022062500/56649d6b5503460f94a49eb0/html5/thumbnails/35.jpg)
http://ifomis.org 35
The Searle thesis:
the performance of speech acts brings into being claims and obligations and deontic
powers
![Page 36: Http://ifomis.org 1 Sprechakte und Dokumentenakte Barry Smith Institute for Formal Ontology and Medical Information Science Saarbrücken Department of Philosophy.](https://reader035.fdocuments.in/reader035/viewer/2022062500/56649d6b5503460f94a49eb0/html5/thumbnails/36.jpg)
http://ifomis.org 36
appointings, marryings, promisingschange the world... provided certain background conditions are satisfied:
valid formulation
legitimate authority
acceptance by addressees
We perform a speech act ... the world changes, instantaneously
![Page 37: Http://ifomis.org 1 Sprechakte und Dokumentenakte Barry Smith Institute for Formal Ontology and Medical Information Science Saarbrücken Department of Philosophy.](https://reader035.fdocuments.in/reader035/viewer/2022062500/56649d6b5503460f94a49eb0/html5/thumbnails/37.jpg)
http://ifomis.org 37
provided certain background conditions are satisfied
documents create and sustain permanent re-usable deontic powers,
which serve coordination of actions into the future
![Page 38: Http://ifomis.org 1 Sprechakte und Dokumentenakte Barry Smith Institute for Formal Ontology and Medical Information Science Saarbrücken Department of Philosophy.](https://reader035.fdocuments.in/reader035/viewer/2022062500/56649d6b5503460f94a49eb0/html5/thumbnails/38.jpg)
http://ifomis.org 38
but speech acts are evanescent entities: they are events, which exist only in their
executions
• what is the physical basis for the temporally extended existence of its products and for their enduring power to serve coordination?
![Page 39: Http://ifomis.org 1 Sprechakte und Dokumentenakte Barry Smith Institute for Formal Ontology and Medical Information Science Saarbrücken Department of Philosophy.](https://reader035.fdocuments.in/reader035/viewer/2022062500/56649d6b5503460f94a49eb0/html5/thumbnails/39.jpg)
http://ifomis.org 39
Answer
In small societies: the memories of those involved
In large societies: documents
![Page 40: Http://ifomis.org 1 Sprechakte und Dokumentenakte Barry Smith Institute for Formal Ontology and Medical Information Science Saarbrücken Department of Philosophy.](https://reader035.fdocuments.in/reader035/viewer/2022062500/56649d6b5503460f94a49eb0/html5/thumbnails/40.jpg)
http://ifomis.org 40
Differences between document acts and speech acts
• documents endure through time, and so can create traceable liability (rückverfolgbare Haftbarkeit)
• documents can be attached together, creating new complexes whose structure mirrors relations among the human beings involved (of husband to wife, debtor to creditor)
![Page 41: Http://ifomis.org 1 Sprechakte und Dokumentenakte Barry Smith Institute for Formal Ontology and Medical Information Science Saarbrücken Department of Philosophy.](https://reader035.fdocuments.in/reader035/viewer/2022062500/56649d6b5503460f94a49eb0/html5/thumbnails/41.jpg)
http://ifomis.org 41
![Page 42: Http://ifomis.org 1 Sprechakte und Dokumentenakte Barry Smith Institute for Formal Ontology and Medical Information Science Saarbrücken Department of Philosophy.](https://reader035.fdocuments.in/reader035/viewer/2022062500/56649d6b5503460f94a49eb0/html5/thumbnails/42.jpg)
http://ifomis.org 42
Differences between document acts and speech acts
• speech acts are normally self-validating (they wear their provenance on their face)
• documents need technological devices (official stamps, special watermarks, signatures, countersignatures, seals, ...)
• documents foster proxy execution of social acts (representation, Vertretung)
• documents can be registered• documents can be amended
![Page 43: Http://ifomis.org 1 Sprechakte und Dokumentenakte Barry Smith Institute for Formal Ontology and Medical Information Science Saarbrücken Department of Philosophy.](https://reader035.fdocuments.in/reader035/viewer/2022062500/56649d6b5503460f94a49eb0/html5/thumbnails/43.jpg)
http://ifomis.org 43
![Page 44: Http://ifomis.org 1 Sprechakte und Dokumentenakte Barry Smith Institute for Formal Ontology and Medical Information Science Saarbrücken Department of Philosophy.](https://reader035.fdocuments.in/reader035/viewer/2022062500/56649d6b5503460f94a49eb0/html5/thumbnails/44.jpg)
http://ifomis.org 44
The Searle thesis
the performance of speech acts brings into being claims and obligations and deontic
powers
![Page 45: Http://ifomis.org 1 Sprechakte und Dokumentenakte Barry Smith Institute for Formal Ontology and Medical Information Science Saarbrücken Department of Philosophy.](https://reader035.fdocuments.in/reader035/viewer/2022062500/56649d6b5503460f94a49eb0/html5/thumbnails/45.jpg)
http://ifomis.org 45
The de Soto thesisdocuments and document systems create the institutional orders of modern societies
Freiheit für das Kapital! Warum der Kapitalismus nicht weltweit funktioniert,
Rowohlt 2002
![Page 46: Http://ifomis.org 1 Sprechakte und Dokumentenakte Barry Smith Institute for Formal Ontology and Medical Information Science Saarbrücken Department of Philosophy.](https://reader035.fdocuments.in/reader035/viewer/2022062500/56649d6b5503460f94a49eb0/html5/thumbnails/46.jpg)
http://ifomis.org 46
The Mystery of Capital: Why Capitalism Succeeds in the West
and Fails Everywhere Else
Freiheit für das Kapital! Warum der Kapitalismus nicht weltweit funktioniert,
Rowohlt 2002
![Page 47: Http://ifomis.org 1 Sprechakte und Dokumentenakte Barry Smith Institute for Formal Ontology and Medical Information Science Saarbrücken Department of Philosophy.](https://reader035.fdocuments.in/reader035/viewer/2022062500/56649d6b5503460f94a49eb0/html5/thumbnails/47.jpg)
http://ifomis.org 47
The Mystery of Capital
= documentation
![Page 48: Http://ifomis.org 1 Sprechakte und Dokumentenakte Barry Smith Institute for Formal Ontology and Medical Information Science Saarbrücken Department of Philosophy.](https://reader035.fdocuments.in/reader035/viewer/2022062500/56649d6b5503460f94a49eb0/html5/thumbnails/48.jpg)
http://ifomis.org 48
The creative power of documents
stock and share certificates create capital
title creates property examination documents create PhDs
marriage licenses create bonds of matrimony (Heiratsurkunde schafft Ehebund)
bankruptcy certificates create bankrupts(Insolvenznachweis schafft Bankrotteur)
statutes of incorporation create business (Statuten der Gesellschaftsgründung schaffen Unternehmen)
charters create universities, cities, guilds(Verfassung schafft eine Stadt ...)
![Page 49: Http://ifomis.org 1 Sprechakte und Dokumentenakte Barry Smith Institute for Formal Ontology and Medical Information Science Saarbrücken Department of Philosophy.](https://reader035.fdocuments.in/reader035/viewer/2022062500/56649d6b5503460f94a49eb0/html5/thumbnails/49.jpg)
http://ifomis.org 49
The creative power of documents
insurance certificates
treaties
patents
licenses
membership cards
divorce decrees
![Page 50: Http://ifomis.org 1 Sprechakte und Dokumentenakte Barry Smith Institute for Formal Ontology and Medical Information Science Saarbrücken Department of Philosophy.](https://reader035.fdocuments.in/reader035/viewer/2022062500/56649d6b5503460f94a49eb0/html5/thumbnails/50.jpg)
http://ifomis.org 50
Identity documents
![Page 51: Http://ifomis.org 1 Sprechakte und Dokumentenakte Barry Smith Institute for Formal Ontology and Medical Information Science Saarbrücken Department of Philosophy.](https://reader035.fdocuments.in/reader035/viewer/2022062500/56649d6b5503460f94a49eb0/html5/thumbnails/51.jpg)
http://ifomis.org 51
Identity documents
• create identity (and thereby create the possibility of identity theft)
• what is the ontology of identity?
![Page 52: Http://ifomis.org 1 Sprechakte und Dokumentenakte Barry Smith Institute for Formal Ontology and Medical Information Science Saarbrücken Department of Philosophy.](https://reader035.fdocuments.in/reader035/viewer/2022062500/56649d6b5503460f94a49eb0/html5/thumbnails/52.jpg)
http://ifomis.org 52
The creative power of documentsdocuments create authorities(physicians’ license creates physician)
authorities create documents(physicians creates sick notes)
documents issued by an authority within the framework of a valid legal institution
vs. documents issued by an authority extralegally on its own behalf (cf. US Declaration of Independence)
![Page 53: Http://ifomis.org 1 Sprechakte und Dokumentenakte Barry Smith Institute for Formal Ontology and Medical Information Science Saarbrücken Department of Philosophy.](https://reader035.fdocuments.in/reader035/viewer/2022062500/56649d6b5503460f94a49eb0/html5/thumbnails/53.jpg)
http://ifomis.org 53
Organizational chart
= a map of the organization and of its flows of authority
(document creates a system of positional roles)
![Page 54: Http://ifomis.org 1 Sprechakte und Dokumentenakte Barry Smith Institute for Formal Ontology and Medical Information Science Saarbrücken Department of Philosophy.](https://reader035.fdocuments.in/reader035/viewer/2022062500/56649d6b5503460f94a49eb0/html5/thumbnails/54.jpg)
http://ifomis.org 55
What kinds of documents have creative power in social reality?
not novels – which exist in many identical copies (tokens of the same type)
not watercolors in a gallery – which do not contain time-sensitive information
![Page 55: Http://ifomis.org 1 Sprechakte und Dokumentenakte Barry Smith Institute for Formal Ontology and Medical Information Science Saarbrücken Department of Philosophy.](https://reader035.fdocuments.in/reader035/viewer/2022062500/56649d6b5503460f94a49eb0/html5/thumbnails/55.jpg)
http://ifomis.org 57
What can we do with a document? [DOCUMENT ACTS]
Sign it
Stamp it
Copy it
Witness it
Fill it in
Revise it
Register it
Archive it
Realize (interrupt, abort ...) the actions mandated by it
Deliver it (de facto, de jure)
Declare it active/inactive
Display it (price list)
Attest to its validity
Nullify it
Destroy it
![Page 56: Http://ifomis.org 1 Sprechakte und Dokumentenakte Barry Smith Institute for Formal Ontology and Medical Information Science Saarbrücken Department of Philosophy.](https://reader035.fdocuments.in/reader035/viewer/2022062500/56649d6b5503460f94a49eb0/html5/thumbnails/56.jpg)
http://ifomis.org 58
Who can engage in document acts?[DOCUMENT ACTORS]
creator of document / of document-template (legislator, drafter ...)
signer / attestor
filler-in of template
checker (solicitor, notary, administrative official)
recipient
addressee (executor of an estate)
beneficiary (will ...)
registrar, archivist
![Page 57: Http://ifomis.org 1 Sprechakte und Dokumentenakte Barry Smith Institute for Formal Ontology and Medical Information Science Saarbrücken Department of Philosophy.](https://reader035.fdocuments.in/reader035/viewer/2022062500/56649d6b5503460f94a49eb0/html5/thumbnails/57.jpg)
http://ifomis.org 59
Registration
storing of documents in a way which makes them – permanently accessible (checkable, verifiable)– amendable (e.g. where property is used as
collateral for loans)– combinable (attachment): social relations are
created via cross-referenced and cross-attached documents
– more easily authenticated
![Page 58: Http://ifomis.org 1 Sprechakte und Dokumentenakte Barry Smith Institute for Formal Ontology and Medical Information Science Saarbrücken Department of Philosophy.](https://reader035.fdocuments.in/reader035/viewer/2022062500/56649d6b5503460f94a49eb0/html5/thumbnails/58.jpg)
http://ifomis.org 60
What can we do with an ontology of documents?
• what categories of documents?
• what categories of document acts?’
• what categories of provenience?
• what kinds of forgery and what kinds of safeguards?
• can we reproduce all of these computationally?
![Page 59: Http://ifomis.org 1 Sprechakte und Dokumentenakte Barry Smith Institute for Formal Ontology and Medical Information Science Saarbrücken Department of Philosophy.](https://reader035.fdocuments.in/reader035/viewer/2022062500/56649d6b5503460f94a49eb0/html5/thumbnails/59.jpg)
http://ifomis.org 61
Redundancy• Safety procedures for mission-critical technology
involve multiple layers of redundancy to ensure against catastrophe.
• a photograph alone is not sufficient to establish your identity: it must appear in the right place in the right sort of document that has been marked in the right sort of way by signatures, counter-signatures, stamps, ID numbers
• these elements serve to anchor the document to the reality beyond and to the history of its production
![Page 60: Http://ifomis.org 1 Sprechakte und Dokumentenakte Barry Smith Institute for Formal Ontology and Medical Information Science Saarbrücken Department of Philosophy.](https://reader035.fdocuments.in/reader035/viewer/2022062500/56649d6b5503460f94a49eb0/html5/thumbnails/60.jpg)
http://ifomis.org 62
Redundancy
![Page 61: Http://ifomis.org 1 Sprechakte und Dokumentenakte Barry Smith Institute for Formal Ontology and Medical Information Science Saarbrücken Department of Philosophy.](https://reader035.fdocuments.in/reader035/viewer/2022062500/56649d6b5503460f94a49eb0/html5/thumbnails/61.jpg)
http://ifomis.org 63
fingerprint
official stamps and seals
photograph
watermarks
bar code
numeric IDs allowing cross-referencing to documents
Technologies of identification
![Page 62: Http://ifomis.org 1 Sprechakte und Dokumentenakte Barry Smith Institute for Formal Ontology and Medical Information Science Saarbrücken Department of Philosophy.](https://reader035.fdocuments.in/reader035/viewer/2022062500/56649d6b5503460f94a49eb0/html5/thumbnails/62.jpg)
http://ifomis.org 64
Problems
• And how do we recreate these features in the realm of e-documents?
• How do we distinguish author from proxy in the realm of e-documents?
• How do we anchor e-documents to objects and processes in physical reality (e.g. to human beings)?
![Page 63: Http://ifomis.org 1 Sprechakte und Dokumentenakte Barry Smith Institute for Formal Ontology and Medical Information Science Saarbrücken Department of Philosophy.](https://reader035.fdocuments.in/reader035/viewer/2022062500/56649d6b5503460f94a49eb0/html5/thumbnails/63.jpg)
http://ifomis.org 65
The ontology of signatures
signed/not signedsigned
incorrectlyfraudulentlyand stampedand countersigned (Gegenzeichnungen)by a proxy (Stellvertreter)with a single/with a plurality of signatories
![Page 64: Http://ifomis.org 1 Sprechakte und Dokumentenakte Barry Smith Institute for Formal Ontology and Medical Information Science Saarbrücken Department of Philosophy.](https://reader035.fdocuments.in/reader035/viewer/2022062500/56649d6b5503460f94a49eb0/html5/thumbnails/64.jpg)
http://ifomis.org 66
The ontology of names
• a baptism ceremony creates a new sort of cultural object called a name
• names, too, belong to the domain of administrative (= created) entities
• this is an abstract yet time-bound object, like a nation or a club
• it is an object with parts (your first name and your last name are parts of your name, in something like the way in which the first movement and the last movement are parts of Beethoven’s 9th Symphony)
![Page 65: Http://ifomis.org 1 Sprechakte und Dokumentenakte Barry Smith Institute for Formal Ontology and Medical Information Science Saarbrücken Department of Philosophy.](https://reader035.fdocuments.in/reader035/viewer/2022062500/56649d6b5503460f94a49eb0/html5/thumbnails/65.jpg)
http://ifomis.org 67
How do documents relate to the underlying physical medium
• A credit card receipt is autographic
• A credit card is allographic
• But the credit card as physical carrier is dispensable:– What is important are the credit card numbers
![Page 66: Http://ifomis.org 1 Sprechakte und Dokumentenakte Barry Smith Institute for Formal Ontology and Medical Information Science Saarbrücken Department of Philosophy.](https://reader035.fdocuments.in/reader035/viewer/2022062500/56649d6b5503460f94a49eb0/html5/thumbnails/66.jpg)
http://ifomis.org 68
The ontology of (credit card) numbers
• These numbers are not mathematical (not informational) entities – they are ‘thick’ (historical) numbers, special sorts of cultural artefacts– they are information objects with provenance:
abstract keys fitting into a globally distributed lock
![Page 67: Http://ifomis.org 1 Sprechakte und Dokumentenakte Barry Smith Institute for Formal Ontology and Medical Information Science Saarbrücken Department of Philosophy.](https://reader035.fdocuments.in/reader035/viewer/2022062500/56649d6b5503460f94a49eb0/html5/thumbnails/67.jpg)
http://ifomis.org 69
Standardized documents
Template, followed by act of filling in
documents filled in completely/partiallycorrectly/incorrectlyvalidly/invalidlyby proxy ...
![Page 68: Http://ifomis.org 1 Sprechakte und Dokumentenakte Barry Smith Institute for Formal Ontology and Medical Information Science Saarbrücken Department of Philosophy.](https://reader035.fdocuments.in/reader035/viewer/2022062500/56649d6b5503460f94a49eb0/html5/thumbnails/68.jpg)
http://ifomis.org 70
Standardized documents
• allow networking
• across time (documents can accumulate through attachment - Anhänge)
• across space (different groups can orientate themselves around the same document forms)
• can encapsulate the memory and experience of an entire profession
![Page 69: Http://ifomis.org 1 Sprechakte und Dokumentenakte Barry Smith Institute for Formal Ontology and Medical Information Science Saarbrücken Department of Philosophy.](https://reader035.fdocuments.in/reader035/viewer/2022062500/56649d6b5503460f94a49eb0/html5/thumbnails/69.jpg)
http://ifomis.org 71
Good documents vs. bad documents
Good documents must be well-designed1. they must map the corresponding reality in a
perspicuous way – cf. maps as document2. they must be easy to fill in by members of its
central target audience (need for process of education?)
3. they must not create new problems (should bow off the stage once they have been properly filled in and never be seen again except in those rare cases where problems arise)
![Page 70: Http://ifomis.org 1 Sprechakte und Dokumentenakte Barry Smith Institute for Formal Ontology and Medical Information Science Saarbrücken Department of Philosophy.](https://reader035.fdocuments.in/reader035/viewer/2022062500/56649d6b5503460f94a49eb0/html5/thumbnails/70.jpg)
http://ifomis.org 72
Much valuable work on ‘documents’ in the context of XML, etc., standardization
e.g. Bob Glushko: “A document is a purposeful and self-contained collection of information.”
• focuses on information content, not on the physical container
• sees business collaborations – e.g. between on-line customer credit card authorization service when the latter verifies and charges the customer’s account – as ‘Internet information exchanges’
• but there is more than information here
![Page 71: Http://ifomis.org 1 Sprechakte und Dokumentenakte Barry Smith Institute for Formal Ontology and Medical Information Science Saarbrücken Department of Philosophy.](https://reader035.fdocuments.in/reader035/viewer/2022062500/56649d6b5503460f94a49eb0/html5/thumbnails/71.jpg)
http://ifomis.org 73
Similarities between speech acts and document acts
• Memory and learning play a role in each
• We have to be trained to use and trust documents (de Soto in Peru)
• Documentary habits are acquired in small face-to-face societies
![Page 72: Http://ifomis.org 1 Sprechakte und Dokumentenakte Barry Smith Institute for Formal Ontology and Medical Information Science Saarbrücken Department of Philosophy.](https://reader035.fdocuments.in/reader035/viewer/2022062500/56649d6b5503460f94a49eb0/html5/thumbnails/72.jpg)
http://ifomis.org 74
from the Shiprock Navajo fair
New Mexico, September 30-October 1, 2005
![Page 73: Http://ifomis.org 1 Sprechakte und Dokumentenakte Barry Smith Institute for Formal Ontology and Medical Information Science Saarbrücken Department of Philosophy.](https://reader035.fdocuments.in/reader035/viewer/2022062500/56649d6b5503460f94a49eb0/html5/thumbnails/73.jpg)
http://ifomis.org 75
Standardized documents embody social memory (the technology of filling in)
![Page 74: Http://ifomis.org 1 Sprechakte und Dokumentenakte Barry Smith Institute for Formal Ontology and Medical Information Science Saarbrücken Department of Philosophy.](https://reader035.fdocuments.in/reader035/viewer/2022062500/56649d6b5503460f94a49eb0/html5/thumbnails/74.jpg)
http://ifomis.org 76
The virtues of standardized documents
• one can more easily check that one has filled in the boxes
— correctly (from a syntactical point of view)— truthfully— by the right person— with the right authority
• the form itself can guarantee that it occupies its proper place in a network of forms
• facilitates checking and enforceability, and thus contributes to reliability and simplification of transactions
![Page 75: Http://ifomis.org 1 Sprechakte und Dokumentenakte Barry Smith Institute for Formal Ontology and Medical Information Science Saarbrücken Department of Philosophy.](https://reader035.fdocuments.in/reader035/viewer/2022062500/56649d6b5503460f94a49eb0/html5/thumbnails/75.jpg)
http://ifomis.org 77
Document Systems
• the system of identity documents (of birth and death certificates and public records offices, of visas, passports, consulates and border posts);
• the system of legal documents (of codes of law, summonses, police reports, court proceedings)
• the system of credentialing documents (of degree certificates, examinations, class lists, charters of credentialing organizations)
![Page 76: Http://ifomis.org 1 Sprechakte und Dokumentenakte Barry Smith Institute for Formal Ontology and Medical Information Science Saarbrücken Department of Philosophy.](https://reader035.fdocuments.in/reader035/viewer/2022062500/56649d6b5503460f94a49eb0/html5/thumbnails/76.jpg)
http://ifomis.org 78
as document systems evolve
• human beings acquire associated documentary skills in widening circles
• they thereby acquire the capacity to concretize the relevant kinds of ‘we’ intentionality, to occupy the relevant kinds of positional roles within larger corporate wholes
• through documents the actions of countless individuals become coordinated over space and time
![Page 77: Http://ifomis.org 1 Sprechakte und Dokumentenakte Barry Smith Institute for Formal Ontology and Medical Information Science Saarbrücken Department of Philosophy.](https://reader035.fdocuments.in/reader035/viewer/2022062500/56649d6b5503460f94a49eb0/html5/thumbnails/77.jpg)
http://ifomis.org 79
documentshelped to create modern
civilization
they help us to move from small to large societies
![Page 78: Http://ifomis.org 1 Sprechakte und Dokumentenakte Barry Smith Institute for Formal Ontology and Medical Information Science Saarbrücken Department of Philosophy.](https://reader035.fdocuments.in/reader035/viewer/2022062500/56649d6b5503460f94a49eb0/html5/thumbnails/78.jpg)
http://ifomis.org 80
Hernando de SotoInstitute for Liberty and Democracy, Lima, Peru
Bill Clinton: “The most promising anti-poverty initiative in the world”
![Page 79: Http://ifomis.org 1 Sprechakte und Dokumentenakte Barry Smith Institute for Formal Ontology and Medical Information Science Saarbrücken Department of Philosophy.](https://reader035.fdocuments.in/reader035/viewer/2022062500/56649d6b5503460f94a49eb0/html5/thumbnails/79.jpg)
http://ifomis.org 81
common beliefs about the African village
• no individual property rights• regime of ‘community property’• land cannot be bought and sold, because it is
sacred …• no legal and economic institutions• law is confined to what is legislated (= big-city
top-down, colonial law)
![Page 80: Http://ifomis.org 1 Sprechakte und Dokumentenakte Barry Smith Institute for Formal Ontology and Medical Information Science Saarbrücken Department of Philosophy.](https://reader035.fdocuments.in/reader035/viewer/2022062500/56649d6b5503460f94a49eb0/html5/thumbnails/80.jpg)
http://ifomis.org 82
using ontology (science) to answer the question:
what really exists in the African village ?
![Page 81: Http://ifomis.org 1 Sprechakte und Dokumentenakte Barry Smith Institute for Formal Ontology and Medical Information Science Saarbrücken Department of Philosophy.](https://reader035.fdocuments.in/reader035/viewer/2022062500/56649d6b5503460f94a49eb0/html5/thumbnails/81.jpg)
http://ifomis.org 83
Ontologie (science) als wissenschaftliche Begleitung der Rechtsinformationssysteme
• wissenschafliche Geschichte der Institutionen des Rechts
• wann sind welche Institutionen zuerst entstanden?– Datierung von Dokumenten
– Unterschriften
– Dokumentvorlagen
– Ankreuzfelder
![Page 82: Http://ifomis.org 1 Sprechakte und Dokumentenakte Barry Smith Institute for Formal Ontology and Medical Information Science Saarbrücken Department of Philosophy.](https://reader035.fdocuments.in/reader035/viewer/2022062500/56649d6b5503460f94a49eb0/html5/thumbnails/82.jpg)
http://ifomis.org 84
The history of document acts• in medieval England a change in the meaning of ‘to
record’ from to bear oral witness to to produce a document
• origin of practices such as dating and signing of documents, the making of financial accounts, the safekeeping of (master copies of) documents in central registries
• peasants’ charters giving smallholders title to their land
• institutions formerly the preserve of royal chanceries progressively disseminated among the laity
![Page 83: Http://ifomis.org 1 Sprechakte und Dokumentenakte Barry Smith Institute for Formal Ontology and Medical Information Science Saarbrücken Department of Philosophy.](https://reader035.fdocuments.in/reader035/viewer/2022062500/56649d6b5503460f94a49eb0/html5/thumbnails/83.jpg)
http://ifomis.org 85ENDE