83
http://ifomis.org 1 Sprechakte und Dokumentenakte Barry Smith Institute for Formal Ontology and Medical Information Science Saarbrücken Department of Philosophy University at Buffalo

Http://ifomis.org 1 Sprechakte und Dokumentenakte Barry Smith Institute for Formal Ontology and Medical Information Science Saarbrücken Department of Philosophy

  • View
    216

  • Download
    0

Embed Size (px)

Citation preview

Page 1: Http://ifomis.org 1 Sprechakte und Dokumentenakte Barry Smith Institute for Formal Ontology and Medical Information Science Saarbrücken Department of Philosophy

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

http://ifomis.org 85ENDE