1 vt. 2 ontology barry smith 3 aristotle author of the categories aristotle

103
1 VT

Upload: george-rodgers

Post on 18-Jan-2016

229 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: 1 VT. 2 Ontology Barry Smith 3 Aristotle author of The Categories Aristotle

1

VT

Page 2: 1 VT. 2 Ontology Barry Smith 3 Aristotle author of The Categories Aristotle

2

Ontology

Barry Smith

Page 3: 1 VT. 2 Ontology Barry Smith 3 Aristotle author of The Categories Aristotle

3

Aristotle

author of The Categories

Aristotle

Page 4: 1 VT. 2 Ontology Barry Smith 3 Aristotle author of The Categories Aristotle

4

From Species to Genera

canary

animal

bird

Page 5: 1 VT. 2 Ontology Barry Smith 3 Aristotle author of The Categories Aristotle

5

Species Genera as Tree

canary

animal

bird fish

ostrich

Page 6: 1 VT. 2 Ontology Barry Smith 3 Aristotle author of The Categories Aristotle

6

Species-genusgenus trees can be represented also as map-like partitions

Page 7: 1 VT. 2 Ontology Barry Smith 3 Aristotle author of The Categories Aristotle

7

From Species to Genera

canary

animal

bird

Page 8: 1 VT. 2 Ontology Barry Smith 3 Aristotle author of The Categories Aristotle

8

From Species to Genera

animal

bird

canarycanary

Page 9: 1 VT. 2 Ontology Barry Smith 3 Aristotle author of The Categories Aristotle

9

Species Genera as Tree

canary

animal

bird fish

ostrich

Page 10: 1 VT. 2 Ontology Barry Smith 3 Aristotle author of The Categories Aristotle

10

Species-Genera as Map/Partition

animal

bird

canary

ostrich

fish

canary

Page 11: 1 VT. 2 Ontology Barry Smith 3 Aristotle author of The Categories Aristotle

11

If Aristotelian realism is right,

then such partitions are transparent to the reality beyond

Page 12: 1 VT. 2 Ontology Barry Smith 3 Aristotle author of The Categories Aristotle

12

Tree and Map/Partition

Page 13: 1 VT. 2 Ontology Barry Smith 3 Aristotle author of The Categories Aristotle

13

Alberti’s Grid

c.1450

Page 14: 1 VT. 2 Ontology Barry Smith 3 Aristotle author of The Categories Aristotle

14

 

Coarse-grained Partition

Page 15: 1 VT. 2 Ontology Barry Smith 3 Aristotle author of The Categories Aristotle

15

 

Fine-Grained Partition

Page 16: 1 VT. 2 Ontology Barry Smith 3 Aristotle author of The Categories Aristotle

16

Scientific theories

comprehend in their underlying category systems veridical partitions of reality

often there are many veridical partitions of reality,

cross-cutting each other,

differing only in nuances)

Page 17: 1 VT. 2 Ontology Barry Smith 3 Aristotle author of The Categories Aristotle

17

What is a gene?

GDB: a gene is a DNA fragment that can be transcribed and translated into a protein

Genbank: a gene is a DNA region of biological interest with a name and that carries a genetic trait or phenotype

(from Schulze-Kremer)

GO does not tell us which of these is correct, or indeed whether either is correct, and it does not tell us how to integrate data from the corresponding sources

Page 18: 1 VT. 2 Ontology Barry Smith 3 Aristotle author of The Categories Aristotle

18

Question:

what other sorts of partitions have this feature of transparency?

the partitions of common sense (folk biology, folk physics, folk psychology ...)

Answer:

Page 19: 1 VT. 2 Ontology Barry Smith 3 Aristotle author of The Categories Aristotle

19

Aristotle

the ontologist of common-sense reality

Aristotle

Page 20: 1 VT. 2 Ontology Barry Smith 3 Aristotle author of The Categories Aristotle

20

The world we grasp in natural language

= the world as apprehended via that conceptualization we call common sense

= the normal environment (the niche) shared by children and adults in everyday perceiving and acting

Page 21: 1 VT. 2 Ontology Barry Smith 3 Aristotle author of The Categories Aristotle

21

The world of mothers, milk, and mice ...

Page 22: 1 VT. 2 Ontology Barry Smith 3 Aristotle author of The Categories Aristotle

22

The Empty Mask (Magritte)

mama

mouse

milk

Mount Washington

Page 23: 1 VT. 2 Ontology Barry Smith 3 Aristotle author of The Categories Aristotle

23

our common-sense partition of the world of common sense is transparent

(common sense, like science, is [mostly*] true)

mothers exist ...

* “mostly” because of the problem of vagueness

Page 24: 1 VT. 2 Ontology Barry Smith 3 Aristotle author of The Categories Aristotle

24

Problem of vagueness solved

by recognizing that our categories apply to reality in such a way as to respect an opposition

... between standard or focal or prototypical instances

... and non-standard or ‘fringe’ instances

Page 25: 1 VT. 2 Ontology Barry Smith 3 Aristotle author of The Categories Aristotle

25

birds

ostrich

Natural categories have borderline cases

sparrow

Page 26: 1 VT. 2 Ontology Barry Smith 3 Aristotle author of The Categories Aristotle

26

... they have a kernel/penumbra structure

kernel of focal

instances

penumbra of borderline cases

Page 27: 1 VT. 2 Ontology Barry Smith 3 Aristotle author of The Categories Aristotle

27

animal

bird

canary

ostrich

fish

every cell in every common-sense partition is subject to this same kernel-penumbra structure:

Page 28: 1 VT. 2 Ontology Barry Smith 3 Aristotle author of The Categories Aristotle

28

What is common-sense reality?

the mesoscopic space of everyday human action and perception

– a space centered on objects organized into hierarchies of species and genera

... and subject to prototypicality

Page 29: 1 VT. 2 Ontology Barry Smith 3 Aristotle author of The Categories Aristotle

29

but more:

Page 30: 1 VT. 2 Ontology Barry Smith 3 Aristotle author of The Categories Aristotle

30

in addition to objects (substances),

which pertain to what a thing is at all times at which it exists:

cow man rock planet

Page 31: 1 VT. 2 Ontology Barry Smith 3 Aristotle author of The Categories Aristotle

31

the common-sense world contains also accidents

which pertain to how a thing is at some time at which it exists:

red hot suntanned spinning

Page 32: 1 VT. 2 Ontology Barry Smith 3 Aristotle author of The Categories Aristotle

32

An accident

= what holds of a substance per accidens

Page 33: 1 VT. 2 Ontology Barry Smith 3 Aristotle author of The Categories Aristotle

33

quid? substance quantum? quantity quale? qualityad quid? relationubi? placequando? timein quo situ? status/contextin quo habitu? habitusquid agit? actionquid patitur? passion

Nine Accidental Categories

Page 34: 1 VT. 2 Ontology Barry Smith 3 Aristotle author of The Categories Aristotle

34

= relations of inherence(one-sided existential dependence)

John

hunger

Substances are the bearers of accidents

Page 35: 1 VT. 2 Ontology Barry Smith 3 Aristotle author of The Categories Aristotle

35

Both substances and accidents

instantiate universals at higher and lower levels of generality

Page 36: 1 VT. 2 Ontology Barry Smith 3 Aristotle author of The Categories Aristotle

36

siamese

mammal

cat

organism

substancespecies, genera

animal

instances

frog

Page 37: 1 VT. 2 Ontology Barry Smith 3 Aristotle author of The Categories Aristotle

37

Common nouns

pekinese

mammal

cat

organism

substance

animal

common nouns

proper names

Page 38: 1 VT. 2 Ontology Barry Smith 3 Aristotle author of The Categories Aristotle

38

siamese

mammal

cat

organism

substancetypes

animal

tokens

frog

Page 39: 1 VT. 2 Ontology Barry Smith 3 Aristotle author of The Categories Aristotle

39

Our clarification

accidents to be divided into

two large and essential distinct families of

QUALITIES

and

PROCESSES

Page 40: 1 VT. 2 Ontology Barry Smith 3 Aristotle author of The Categories Aristotle

40

There are universals

both among substances (man, mammal)

and among qualities (hot, red)

and among processes (run, movement)

There are universals also among spatial regions (triangle, room, cockpit)

and among spatio-temporal regions (orbit)

Page 41: 1 VT. 2 Ontology Barry Smith 3 Aristotle author of The Categories Aristotle

41

Substance universals

pertain to what a thing is at all times at which it exists:

cow man rock planetVW Golf

Page 42: 1 VT. 2 Ontology Barry Smith 3 Aristotle author of The Categories Aristotle

42

Quality universals

pertain to how a thing is at some time at which it exists:

red hot suntanned spinningClintophobic Eurosceptic

Page 43: 1 VT. 2 Ontology Barry Smith 3 Aristotle author of The Categories Aristotle

43

Process universals

reflect invariants in the spatiotemporal world taken as an atemporal whole

football match

course of disease

exercise of function

(course of) therapy

Page 44: 1 VT. 2 Ontology Barry Smith 3 Aristotle author of The Categories Aristotle

44

Processes and qualities, too, instantiate genera and species

Thus process and quality universals form trees

Page 45: 1 VT. 2 Ontology Barry Smith 3 Aristotle author of The Categories Aristotle

45

Accidents: Species and instances

quality

color

red

scarlet

R232, G54, B24

this individual accident of redness (this token redness – here, now)

Page 46: 1 VT. 2 Ontology Barry Smith 3 Aristotle author of The Categories Aristotle

46

substance

one substantial categoryJohn, man

nine accidental categorieshunger, your hunger, being hungryyour sun-tanyour being taller than Mary

accidents

Page 47: 1 VT. 2 Ontology Barry Smith 3 Aristotle author of The Categories Aristotle

47

substance

place (in the Lyceum)

time (yesterday)

position (is sitting)

possession (has shoes on)

action (cuts)

passion (is cut)

quantity (two feet long)

quality (white)

relation (taller than)

John

accidents

Page 48: 1 VT. 2 Ontology Barry Smith 3 Aristotle author of The Categories Aristotle

48

substance

Substances are the bearers of accidents

accidentsBearers

Page 49: 1 VT. 2 Ontology Barry Smith 3 Aristotle author of The Categories Aristotle

49

substance

Substances are the bearers of accidents

accidents

John = relations of inherence(one-sided existential dependence)

Bearers

hunger

Page 50: 1 VT. 2 Ontology Barry Smith 3 Aristotle author of The Categories Aristotle

50

s

substance

Page 51: 1 VT. 2 Ontology Barry Smith 3 Aristotle author of The Categories Aristotle

51

Substance + Accident = State of Affairs

setting into relief

States of Affair

s

Page 52: 1 VT. 2 Ontology Barry Smith 3 Aristotle author of The Categories Aristotle

52

instances

Prototypicality among instances too

albino frogalbino frog

Page 53: 1 VT. 2 Ontology Barry Smith 3 Aristotle author of The Categories Aristotle

53

Aristotle 1.0

an ontology recognizing:substance tokensaccident tokenssubstance typesaccident types

Page 54: 1 VT. 2 Ontology Barry Smith 3 Aristotle author of The Categories Aristotle

54

Is everything in common-sense reality either a substance or an accident?

Page 55: 1 VT. 2 Ontology Barry Smith 3 Aristotle author of The Categories Aristotle

55

well, what about artefacts ?

Page 56: 1 VT. 2 Ontology Barry Smith 3 Aristotle author of The Categories Aristotle

56

Standard Aristotelian theory of artefacts:

artefacts are mereological sums of substances

Page 57: 1 VT. 2 Ontology Barry Smith 3 Aristotle author of The Categories Aristotle

57

Positive and negative parts

positivepart

negativepartor hole

(made of matter)

(not made of matter)

Page 58: 1 VT. 2 Ontology Barry Smith 3 Aristotle author of The Categories Aristotle

58

quid? substance quantum? quantity quale? qualityad quid? relationubi? placequando? timein quo situ? status/contextin quo habitu? habitusquid agit? actionquid patitur? passion

Nine Accidental Categories

Page 59: 1 VT. 2 Ontology Barry Smith 3 Aristotle author of The Categories Aristotle

59

Places

For Aristotle the place of a substance is the interior boundary of the surrounding body

(for example the interior boundary of the surrounding water where it meets a fish’s skin)

Page 60: 1 VT. 2 Ontology Barry Smith 3 Aristotle author of The Categories Aristotle

60

What is missing from Aristotle?

Gibson: affordancesniches

Barker: behavior settings

Page 61: 1 VT. 2 Ontology Barry Smith 3 Aristotle author of The Categories Aristotle

61

Places are holes

Page 62: 1 VT. 2 Ontology Barry Smith 3 Aristotle author of The Categories Aristotle

62

niches, environments are holes

Page 63: 1 VT. 2 Ontology Barry Smith 3 Aristotle author of The Categories Aristotle

63

The metaphysics of holes

Page 64: 1 VT. 2 Ontology Barry Smith 3 Aristotle author of The Categories Aristotle

64

Aristotle 1.5

an ontology ofsubstances + accidents+ holes (and other entities not made of matter)+ fiat and bona fide boundaries+ artefacts and environments

is true

Page 65: 1 VT. 2 Ontology Barry Smith 3 Aristotle author of The Categories Aristotle

65

folk biology

Aristotelian folk biology, folk physics, folk psychology, etc., are true of the common-sense world as it currently exists

(they have nothing to offer regarding its pre-history, its long term evolution, its position in the cosmos)

Page 66: 1 VT. 2 Ontology Barry Smith 3 Aristotle author of The Categories Aristotle

66

reference vs. theory

They have not much to offer, either, by way of good explanatory theories of the entities in their respective domains,

but they are transparent to those domainsnonetheless

Page 67: 1 VT. 2 Ontology Barry Smith 3 Aristotle author of The Categories Aristotle

67

reference realism vs. theory realism

this distinction applied not only to science (against T. S. Kuhn et al.) but also to common sense (against sceptics of various stripes)

the sun exists, and has existed for a long time – the very same object

Page 68: 1 VT. 2 Ontology Barry Smith 3 Aristotle author of The Categories Aristotle

68

Both scientific partitions and common-sense partitions

are based on reference-systems which have survived rigorous empirical tests

Page 69: 1 VT. 2 Ontology Barry Smith 3 Aristotle author of The Categories Aristotle

69

The $64000 Question

How do those parts and dimensions of reality which we call the common-sense world

... relate to those parts and dimensions of reality which are studied by science?

Page 70: 1 VT. 2 Ontology Barry Smith 3 Aristotle author of The Categories Aristotle

70

Aristotle 2000

Page 71: 1 VT. 2 Ontology Barry Smith 3 Aristotle author of The Categories Aristotle

71

Universe/Periodic Table

animal

bird

canary

ostrich

fishfolk biology

partition of DNA space

Page 72: 1 VT. 2 Ontology Barry Smith 3 Aristotle author of The Categories Aristotle

72

Universe/Periodic Table

animal

bird

canary

ostrich

fish

both are transparent partitions of one and the same reality

Page 73: 1 VT. 2 Ontology Barry Smith 3 Aristotle author of The Categories Aristotle

73

many transparent partitions

at different levels of granularity

will operate with species-genus hierarchies

and with an ontology of substances (objects) and accidents (attributes, processes)

along the lines described by Aristotle

Page 74: 1 VT. 2 Ontology Barry Smith 3 Aristotle author of The Categories Aristotle

74

relative hylomorphism

substances and accidents reappear in the microscopic and macroscopic worlds of e.g. molecular biology and astronomy

(Aristotelian ontological zooming)

Page 75: 1 VT. 2 Ontology Barry Smith 3 Aristotle author of The Categories Aristotle

75

we do not assert

that every level of granularity is structured in substance-accident form -- perhaps there are pure process levels, perhaps there are levels structured as fields

Page 76: 1 VT. 2 Ontology Barry Smith 3 Aristotle author of The Categories Aristotle

76

Perspectivalism

PerspectivalismDifferent partitions may represent cuts through the same reality which are skew to each other

Page 77: 1 VT. 2 Ontology Barry Smith 3 Aristotle author of The Categories Aristotle

77

An organism is a totality of molecules

An organism is a totality of cells

An organism is a single unitary substance

... all of these express veridical partitions

An organism is a totality of atoms

Page 78: 1 VT. 2 Ontology Barry Smith 3 Aristotle author of The Categories Aristotle

78

all express partitions which are transparent,

at different levels of granularity,

to the same reality beyond

Page 79: 1 VT. 2 Ontology Barry Smith 3 Aristotle author of The Categories Aristotle

79

 

Coarse-grained Partition

what happens when a fringe instance arises ?

Page 80: 1 VT. 2 Ontology Barry Smith 3 Aristotle author of The Categories Aristotle

80

 

Coarse-grained Partition

what happens when a fringe instance arises ?

Aristotle 1.0: you shrug your shoulders

Page 81: 1 VT. 2 Ontology Barry Smith 3 Aristotle author of The Categories Aristotle

81

 

Aristotle 2000:you go out to find a finer grained partition which will recognize the phenomenon in question as prototypical

Page 82: 1 VT. 2 Ontology Barry Smith 3 Aristotle author of The Categories Aristotle

82

The advance of science

is not an advance away from Aristotle towards something better.

Provided Aristotle is interpreted aright, it is a rigorous demonstration of the correctness of his ontological approach

Page 83: 1 VT. 2 Ontology Barry Smith 3 Aristotle author of The Categories Aristotle

83

IFOMIS

Institute for Formal Ontology and Medical Information Science

Faculty of Medicine

University of Leipzig

http://ifomis.de

Page 84: 1 VT. 2 Ontology Barry Smith 3 Aristotle author of The Categories Aristotle

84

The Idea

Computational medical research

will transform the discipline of medicine

… but only if communication problems can be solved

Page 85: 1 VT. 2 Ontology Barry Smith 3 Aristotle author of The Categories Aristotle

85

Medicine

desperately needs to find a way

to enable the huge amounts of data

resulting from trials by different groups

to be (f)used together

Page 86: 1 VT. 2 Ontology Barry Smith 3 Aristotle author of The Categories Aristotle

86

How resolve incompatibilities?

Ganze Industrie von ‘Ontologien’ in der heutigen Informationswissenschaft

“ONTOLOGY” = the solution of first resort (compare: kicking a television set)

But what does ‘ontology’ mean?Current most popular answer: a hierarchy of concepts (a thesaurus, a list of terms)

Page 87: 1 VT. 2 Ontology Barry Smith 3 Aristotle author of The Categories Aristotle

87

First ontology

(from Porphyry’s Commentary on Aristotle’s Categories)

Page 88: 1 VT. 2 Ontology Barry Smith 3 Aristotle author of The Categories Aristotle

88

Linnaean Ontology

Page 89: 1 VT. 2 Ontology Barry Smith 3 Aristotle author of The Categories Aristotle

89

Medical Diagnostic Ontology

Page 90: 1 VT. 2 Ontology Barry Smith 3 Aristotle author of The Categories Aristotle

90

Example: The Gene Ontology (GO)

hormone ; GO:0005179

%digestive hormone ; GO:0046659 %peptide hormone ; GO:0005180 %adrenocorticotropin ; GO:0017043 %glycopeptide hormone ; GO:0005181 %follicle-stimulating hormone ; GO:0016913

Page 91: 1 VT. 2 Ontology Barry Smith 3 Aristotle author of The Categories Aristotle

91

as tree

hormone

digestive hormone peptide hormone

adrenocorticotropin glycopeptide hormone

follicle-stimulating hormone

Page 92: 1 VT. 2 Ontology Barry Smith 3 Aristotle author of The Categories Aristotle

92

Gene Ontology

Cellular Component Ontology: subcellular structures, locations, and macromolecular complexes;examples: nucleus, telomere

Molecular Function Ontology: tasks performed by individual gene products; examples: transcription factor, DNA helicase

Biological Process Ontology: broad biological goals accomplished by ordered assemblies of molecular functions; examples: mitosis, purine metabolism

Page 93: 1 VT. 2 Ontology Barry Smith 3 Aristotle author of The Categories Aristotle

93

Problem: There exist multiple databases

genomic cellular

structural phenotypic

… and even for each specific type of information, e.g. DNA sequence data, there exist several databases of different scope and organisation

Page 94: 1 VT. 2 Ontology Barry Smith 3 Aristotle author of The Categories Aristotle

94

What is a gene?

GDB: a gene is a DNA fragment that can be transcribed and translated into a protein

Genbank: a gene is a DNA region of biological interest with a name and that carries a genetic trait or phenotype

GO does not tell us which of these is correct, or indeed whether either is correct, and it does not tell us how to integrate data from the corresponding sources

Page 95: 1 VT. 2 Ontology Barry Smith 3 Aristotle author of The Categories Aristotle

95

Reference Ontology

An ontology is a theory of a domain of entities in the world

Ontology is outside the computer

seeks maximal expressiveness and adequacy to reality

and sacrifices computational tractability for the sake of representational adequacy

Page 96: 1 VT. 2 Ontology Barry Smith 3 Aristotle author of The Categories Aristotle

96

Methodology

Get ontology right first

(realism; descriptive adequacy; rather powerful logic);

solve tractability problems later

Page 97: 1 VT. 2 Ontology Barry Smith 3 Aristotle author of The Categories Aristotle

97

The Reference Ontology Community

IFOMIS (Leipzig) Laboratories for Applied Ontology (Trento/Rome,

Turin)Foundational Ontology Project (Leeds)Ontology Works (Baltimore)BORO Program (London)Ontek Corporation (Buffalo/Leeds)LandC (Belgium/Philadelphia)

Page 98: 1 VT. 2 Ontology Barry Smith 3 Aristotle author of The Categories Aristotle

98

Recall:

GDB: a gene is a DNA fragment that can be transcribed and translated into a protein

Genbank: a gene is a DNA region of biological interest with a name and that carries a genetic trait or phenotype

Page 99: 1 VT. 2 Ontology Barry Smith 3 Aristotle author of The Categories Aristotle

99

Ontology

Note that terms like ‘fragment’, ‘region’, ‘name’, ‘carry’, ‘trait’, ‘type’

… along with terms like ‘part’, ‘whole’, ‘function’, ‘substance’, ‘inhere’ …

are ontological terms in the sense of traditional (philosophical) ontology

Page 100: 1 VT. 2 Ontology Barry Smith 3 Aristotle author of The Categories Aristotle

100

Three types of reference ontology

1. formal ontology = framework for definition of the highly general concepts – such as object, event, part – employed in every domain

2. domain ontology, a top-level theory with a few highly general concepts from a particular domain, such as genetics or medicine

3. terminology-based ontology, a very large theory embracing many concepts and inter-concept relations

Page 101: 1 VT. 2 Ontology Barry Smith 3 Aristotle author of The Categories Aristotle

101

MedO

including sub-ontologies:

cell ontology

drug ontology

protein ontology

gene ontology

Page 102: 1 VT. 2 Ontology Barry Smith 3 Aristotle author of The Categories Aristotle

102

and sub-ontologies:

anatomical ontology

epidemiological ontology

disease ontology

therapy ontology

pathology ontology

the whole designed to give structure to the medical domain

(currently medical education comparable to stamp-collecting)

Page 103: 1 VT. 2 Ontology Barry Smith 3 Aristotle author of The Categories Aristotle

103

If sub-domains like these

cell ontology

drug ontology

protein ontology

gene ontology

are to be knitted together within a single theory,

then we need also a theory of granularity