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

Post on 18-Jan-2016

225 views 0 download

Tags:

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

1

VT

2

Ontology

Barry Smith

3

Aristotle

author of The Categories

Aristotle

4

From Species to Genera

canary

animal

bird

5

Species Genera as Tree

canary

animal

bird fish

ostrich

6

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

7

From Species to Genera

canary

animal

bird

8

From Species to Genera

animal

bird

canarycanary

9

Species Genera as Tree

canary

animal

bird fish

ostrich

10

Species-Genera as Map/Partition

animal

bird

canary

ostrich

fish

canary

11

If Aristotelian realism is right,

then such partitions are transparent to the reality beyond

12

Tree and Map/Partition

13

Alberti’s Grid

c.1450

14

 

Coarse-grained Partition

15

 

Fine-Grained Partition

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)

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

18

Question:

what other sorts of partitions have this feature of transparency?

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

Answer:

19

Aristotle

the ontologist of common-sense reality

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

21

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

22

The Empty Mask (Magritte)

mama

mouse

milk

Mount Washington

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

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

25

birds

ostrich

Natural categories have borderline cases

sparrow

26

... they have a kernel/penumbra structure

kernel of focal

instances

penumbra of borderline cases

27

animal

bird

canary

ostrich

fish

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

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

29

but more:

30

in addition to objects (substances),

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

cow man rock planet

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

32

An accident

= what holds of a substance per accidens

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

34

= relations of inherence(one-sided existential dependence)

John

hunger

Substances are the bearers of accidents

35

Both substances and accidents

instantiate universals at higher and lower levels of generality

36

siamese

mammal

cat

organism

substancespecies, genera

animal

instances

frog

37

Common nouns

pekinese

mammal

cat

organism

substance

animal

common nouns

proper names

38

siamese

mammal

cat

organism

substancetypes

animal

tokens

frog

39

Our clarification

accidents to be divided into

two large and essential distinct families of

QUALITIES

and

PROCESSES

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)

41

Substance universals

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

cow man rock planetVW Golf

42

Quality universals

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

red hot suntanned spinningClintophobic Eurosceptic

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

44

Processes and qualities, too, instantiate genera and species

Thus process and quality universals form trees

45

Accidents: Species and instances

quality

color

red

scarlet

R232, G54, B24

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

46

substance

one substantial categoryJohn, man

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

accidents

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

48

substance

Substances are the bearers of accidents

accidentsBearers

49

substance

Substances are the bearers of accidents

accidents

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

Bearers

hunger

50

s

substance

51

Substance + Accident = State of Affairs

setting into relief

States of Affair

s

52

instances

Prototypicality among instances too

albino frogalbino frog

53

Aristotle 1.0

an ontology recognizing:substance tokensaccident tokenssubstance typesaccident types

54

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

55

well, what about artefacts ?

56

Standard Aristotelian theory of artefacts:

artefacts are mereological sums of substances

57

Positive and negative parts

positivepart

negativepartor hole

(made of matter)

(not made of matter)

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

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)

60

What is missing from Aristotle?

Gibson: affordancesniches

Barker: behavior settings

61

Places are holes

62

niches, environments are holes

63

The metaphysics of holes

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

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)

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

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

68

Both scientific partitions and common-sense partitions

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

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?

70

Aristotle 2000

71

Universe/Periodic Table

animal

bird

canary

ostrich

fishfolk biology

partition of DNA space

72

Universe/Periodic Table

animal

bird

canary

ostrich

fish

both are transparent partitions of one and the same reality

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

74

relative hylomorphism

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

(Aristotelian ontological zooming)

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

76

Perspectivalism

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

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

78

all express partitions which are transparent,

at different levels of granularity,

to the same reality beyond

79

 

Coarse-grained Partition

what happens when a fringe instance arises ?

80

 

Coarse-grained Partition

what happens when a fringe instance arises ?

Aristotle 1.0: you shrug your shoulders

81

 

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

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

83

IFOMIS

Institute for Formal Ontology and Medical Information Science

Faculty of Medicine

University of Leipzig

http://ifomis.de

84

The Idea

Computational medical research

will transform the discipline of medicine

… but only if communication problems can be solved

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

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)

87

First ontology

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

88

Linnaean Ontology

89

Medical Diagnostic Ontology

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

91

as tree

hormone

digestive hormone peptide hormone

adrenocorticotropin glycopeptide hormone

follicle-stimulating hormone

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

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

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

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

96

Methodology

Get ontology right first

(realism; descriptive adequacy; rather powerful logic);

solve tractability problems later

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)

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

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

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

101

MedO

including sub-ontologies:

cell ontology

drug ontology

protein ontology

gene ontology

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)

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