1 Aristotle 2005. 2 beta version.

Slides:



Advertisements
Similar presentations
Basic Terms in Logic Michael Jhon M. Tamayao.
Advertisements

1 Five Steps to Interoperability (in the domain of scientific ontology) Barry Smith.
Classification of Organisms
Aristotle: Lecture Three Categories.. Aristotles Theory of Change Parmenides mistake according to Aristotle. The first people to philosophize about the.
1 Against Ontologically Evil Misuse of Predicate Logic Barry Smith
Singular: summum genus.  The ten summa genera are divided into substantial predicates and accidental predicates.  Substantial predicates answer the.
CPSC 322 Introduction to Artificial Intelligence November 5, 2004.
Ontology From Wikipedia, the free encyclopedia In philosophy, ontology (from the Greek oν, genitive oντος: of being (part. of εiναι: to be) and –λογία:
1 Ontological Imperialism Barry Smith Presented at GIScience 2000: First International Conference on Geographic Information Science, Savannah, Georgia.
Categories and On Interpretation Philosophy 21 Fall, 2004 G. J. Mattey.
Ontology in Buffalo Barry Smith. 2 Ontology (phil.) The science of being Ontologies (tech.) Standardized classification systems which enable data from.
Organization of Semantic Memory The study of Collins & Quillian (1969):Collins & Quillian (1969): The authors were interested in the organization of semantic.
Ontology as a Branch of Philosophy. A brief history of ontology Aristotle (384 BC – 322 BC) Realist theory of categories Intelligible universals extending.
Historical Introduction to Ontologies Barry Smith.
PSY 369: Psycholinguistics Mental representations II.
1 An Ontology of Relations for Biomedical Informatics Barry Smith 10 January 2005.
1 Part 3 Tools of Ontology: Universals, Partitions.
1 VT. 2 Ontology Barry Smith 3 IFOMIS Institute for Formal Ontology and Medical Information Science Faculty of Medicine University of Leipzig
1 The Ontology of Measurement Barry Smith ONTOLOGIST.cOm.
1 The Ontology of Measurement Barry Smith ONTOLOGIST.cOm.
Thomas Bittner and Barry Smith IFOMIS (Saarbrücken) Normalizing Medical Ontologies Using Basic Formal Ontology.
1 Logical Tools and Theories in Contemporary Bioinformatics Barry Smith
1 The Theory of Granular Partitions: A New Paradigm for Ontology Barry Smith Department of Philosophy University at Buffalo
1 Forms of Life Barry Smith 2.
A taxonomy of granular partitions Thomas Bittner and Barry Smith Northwestern University, NCGIA and SUNY Buffalo.
AN INTRODUCTION TO BIOMEDICAL ONTOLOGY Barry Smith University at Buffalo 1.
VT. From Basic Formal Ontology to Medicine Barry Smith and Anand Kumar.
Pathways and Networks for Realists Barry Smith 1.
BFO/MedO: Basic Formal Ontology and Medical Ontology Draft ( )
1 VT 2 Ontology and Ontologies Barry Smith 3 IFOMIS Strategy get real ontology right first and then investigate ways in which this real ontology can.
1 Aristoteles und die vernetzte Welt Barry Smith
A Simple Partition 5 A partition can be more or less refined.
1 Rules for Good Ontology Rules of thumb: represent ideals to be approximated to in practice.
A taxonomy of granular partitions Thomas Bittner and Barry Smith Northwestern University, NCGIA and SUNY Buffalo.
The Logic of Biological Classification Barry Smith March 2004.
Part 4 Ontology: Philosophical and Computational.
Immanent Realism, Orderings and Quantities Ingvar Johansson, Institute for Formal Ontology and Medical Information Science, Saarbrücken
1 Truth and Categorization Barry Smith
Relations are Not Sets of Ordered Pairs Ingvar Johansson, Institute for Formal Ontology and Medical Information Science, Saarbrücken
1 How to test a philosophical theory empirically Barry Smith Institute for Formal Ontology and Medical Information Science sponsored by.
Why, in the future, all sciences will be computer sciences Barry Smith.
Level B Unit 5 Part 1 Vocabulary
Introduction to Knowledge Representation
Of 39 lecture 2: ontology - basics. of 39 ontology a branch of metaphysics relating to the nature and relations of being a particular theory about the.
Science Vocabulary All About Animals.
1 Ontology as Master Discipline of Information Science Barry Smith
Life in General Living matter is organized into complex structures based on organic molecules. They have cells. Homeostasis is maintained by Living.
1 From Aristotle to Analytic Metaphysics – From Frege to Tarski: A Critical Introduction to Ontology and First-Order Logic Barry Smith.
LOGIC AND ONTOLOGY Both logic and ontology are important areas of philosophy covering large, diverse, and active research projects. These two areas overlap.
Structured Knowledge Chapter 7. 2 Logic Notations Does logic represent well knowledge in structures?
The Effect of Metaphysics on Epistemology With special consideration of what has happened to our understanding of the human person by Sue Reilly.
The Ten Categories of Being
Ontology as a Branch of Philosophy
1 VT. 2 Ontology Barry Smith 3 Aristotle author of The Categories Aristotle.
The Ten Categories of Being Aristotle. We looked at the problem of universals and we saw that in dealing with this, Plato reasoned that there is a world.
In the name of god.  Animals come in many types and color. Some are white, some are green. Some live in groups like deer and bees. Different types of.
Species and Classification in Biology Barry Smith
1 SNAP and SPAN Barry Smith 2 Institute for Formal Ontology and Medical Information Science Faculty of Medicine University of Leipzig.
1 How to build an ontology Barry Smith
1 BFO and GOL Ontological theory vs. ontology language GOL as an ontology representation language analogous to KIF (thus maximally eclectic) BFO as an.
Classification of vertebrates. Q What are vertebrates? Give examples A: Animals with backbones are called vertebrates. Ex snake, dog, duck, horse and.
My Pals are Here! Science © 2008 Marshall Cavendish (Singapore) Private Limited.
Ifomis.org 1 Ontology and Its Applications II Barry Smith
What is the theory of categories (predicable „things”)? Is it a logical theory? From the historical point of view: it was. Predicable things have some.
1 Why computer science needs philosophy Barry Smith National Center for Ontological Research.
Module 5 Other Knowledge Representation Formalisms
REVIEW FOR MIDTERM Download:
ece 627 intelligent web: ontology and beyond
SNAP and SPAN Barry Smith.
Introduction to Applied and Theoretical Ontology Barry Smith
Presentation transcript:

1 Aristotle 2005

2 beta version

3 Organism DNA Protein Organelle Cell Tissue Organ m m m

4 FUNCTIONAL GENOMICS proteomics, reactomics, metabonomics, phenomics, behaviouromics, toxicopharmacogenomics

5 The incompatibilities between different scientific cultures and terminologies immunology genetics cell biology

6 how can we overcome the incompatibilities which become apparent when data from distinct sources are combined?

7 Metaphysically intriguing answer: “Ontology”

8 Google hits (as of yesterday) ontology + Heidegger 58K ontology + Aristotle 77K ontology + philosophy327K ontology + engineering335K ontology + software 468K ontology + database 594K ontology + information systems 702K

9 Ontology = building software artefacts standardized classification systems so that data from one source can be expressed in a language which makes it compatible with data from every other source

10 IFOMIS Institute for Formal Ontology and Medical Information Science

11 A Linnaean Species Hierarchy

12 (Small) Disease Hierarchy

13 Combining hierarchies Organisms Diseases

14 via Dependence Relations Organisms Diseases

15 A Window on Reality

16 Organisms Diseases A Window on Reality

17 A Window on Reality

18 Gene Ontology databases

19 Cancer MD/Saliva databases Informatics.htm

20 New golden age of classification 30,000 genes in human 200,000 proteins 100s of cell types 100,000s of disease types 1,000,000s of biochemical pathways (including disease pathways) … legacy of Human Genome Project

21

22 Inherence Relations Substances Accidents

23 From Species to Genera canary animal bird

24 From Species to Genera animal bird canary can sing is yellow has wings can fly has feathers has skin moves eats breathes species-genus hierarchy as inference machine

25 From Species to Genera animal bird canary can sing is yellow has wings can fly has feathers has skin moves eats breathes fish has fins can swim has gills

26 siamese mammal cat organism substance species, genera animal instances frog

27 siamese mammal cat organism substance types animal tokens frog

28 animal bird canary From Species to Genera can sing is yellow has skin moves eats breathes has wings can fly has feathers species-genus hierarchy as inference machine X

29 Why are species-genus hierarchies good ways to represent our reasoning? 1. They capture the natural ways we think (Kantianism)... species are concepts 2. They capture the way the world is (Aristotelian realism)

30 genus Species-genus trees can be represented also as map-like partitions

31 From Species to Genera canary animal bird

32 From Species to Genera animal bird canary

33 Species Genera as Tree canary animal bird fish ostrich

34 Species-Genera as Map/Partition animal bird canary ostrich fish canary

35 Tree and Map/Partition

36 If Aristotelian realism is right, then such partitions are transparent to the reality beyond

37 A Window on Reality

38

39 Coarse-grained Partition

40 Fine-Grained Partition

41 Artist’s Grid

42 Partitions often come with a labelling and an address system

43 Periodic Table Die periodische Tabelle der chemischen Elemente

44 From Species to Genera animal bird canary can sing is yellow has wings can fly has feathers has skin moves eats breathes fish has fins can swim has gills

45 From Species to Genera animal bird canary can sing is yellow has wings can fly has feathers has skin moves eats breathes fish has fins can swim has gills ostrich has long thin legs is tall can‘t fly y

46 From Species to Genera animal bird canary can sing is yellow has wings can fly has feathers has skin moves eats breathes fish has fins can swim has gills ostrich has long thin legs is tall can’t fly y

47 Theory of vagueness How can -based conceptualizations be transparent, if the world is shaped like this ?

48 hard vs. soft categories Kantianism: we constitute/shape/create (empirical) reality in such a way as to ensure that it corresponds to our categories Aristotelianism: reality in itself is messy, but our categories fit nonetheless

49 How so? because they are made up, not of crisp (hard), but of open (soft) genera and species

50 that is: when we apply our categories to reality we are aware that we have to deal with an opposition... between standard or focal or prototypical instances... and non-standard or ‘fringe’ instances

51 birds ostrich Natural categories have borderline cases sparrow

they have a kernel/penumbra structure kernel of focal instances penumbra of borderline cases

53 animal bird canary ostrich fish every cell in every common-sense partition is subject to this same kernel-penumbra structure:

54 Prototypicality among species some species of a given genus are more typical, standard, than others canary is more typical than ostrich

55 instances Some instances of a given species are more typical than others albino frog

56 The entities in reality are organized into hierarchies of species and genera... and subject to prototypicality

57 In addition to objects (substances), which pertain to what a thing is at all times at which it exists: cow man rock planet

58 the world contains also accidents which pertain to how a thing is at some time at which it exists: red hot hungry obese diabetic

59 An accident = what holds of a substance per accidens

60 Accidents, too, instantiate genera and species Thus accidents, too, form trees

61 quality color red scarlet R232, G54, B24

62 and they are distinguished as between tokens and types (which is to say: between genera and species on the one hand,... and instances on the other)

63 Accidents: Species and instances this individual accident of redness (this token redness – here, now) quality color red scarlet R232, G54, B24

64 substance one substantial category John, man nine accidental categories hunger, your hunger, being hungry your sun-tan your being taller than Mary accidents

65 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

66 substance Substances are the bearers of accidents accidents Bearers

67 substance Substances are the bearers of accidents accidents John = relations of inherence (one-sided existential dependence) Bearers hunger

68 Aristotle 1.0 an ontology recognizing: substance tokens accident tokens substance types accident types + prototypicality + species-genus trees

69 Aristotle’s Ontological Square SubstantialAccidental Second substance man cat ox Second accident headache sun-tan dread First substance this man this cat this ox First accident this headache this sun-tan this dread Universal Particular

70 Alberti’s Grid c.1450

71 Some philosophers accept only part of this ontology

72 Standard Predicate Logic – F(a), R(a,b)... SubstantialAccidental Attributes F, G, R Individuals a, b, c this, that Universal Particular

73 in fact however we need more than Aristotle 1.0

74 Is everything in reality either a substance or an accident?

75 Armchair ontology

76 Positive and negative parts positive part hole (made of matter) (not made of matter)

77 Shoes

78 Temple at Corinth

79

80

81

82 CIRCULATORY SYSTEM

83 CIRCULATORY SYSTEM (Principal Organs)

84 NERVOUS SYSTEM

85 Bodily Systems respiratorydigestive skeletal circulatory musculatory immune

86 Bodily Systems respiratorydigestive skeletal circulatory musculatory immune

87 What is a hole (conduit, cavity)?

88 quid? substance quantum? quantity quale? quality ad quid? relation ubi? place quando? time in quo situ? status/context in quo habitu? habitus quid agit? action quid patitur? passion One + Nine Categories

89 quid? substance quantum? quantity quale? quality ad quid? relation ubi? place quando? time in quo situ? status/context in quo habitu? habitus quid agit? action quid patitur? passion Holes are places?

90 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) Place hereby confused with boundary And there can be no empty place

91 Parts

92 What is a part?

93 where does a body part start ?... a limb is not a substance

94 nose...and it’s not an accident, either

95 nose... two kinds of boundaries

96 nose fiat boundaries

97 nose bona fide boundaries

98 Systems respiratorydigestive skeletal circulatory musculatory immune

99 quid? substance quantum? quantity quale? quality ad quid? relation ubi? place quando? time in quo situ? status/context in quo habitu? habitus quid agit? action quid patitur? passion What is a System?

100 A hydraulic system

101 Systems interconnect with other systems

102 plus NERVOUS SYSTEM (Regulatory Links)

103 bodily systems are separated from each other by fiat boundaries thus systems are not substances... and they’re not accidents either

104 Systems have functions

105 Systems can malfunction Ontology of disease Ontology of death

106 Aristotle 4.0 an ontology of substances + accidents (1.0) + holes (conduits, cavities) + parts + fiat and bona fide boundaries + systems + functions, malfunctions

107 Aristotle 2005

108 Universe/Periodic Table animal bird canary ostrich fish animal biology partition of DNA space (molecular biology)

109 Universe/Periodic Table animal bird canary ostrich fish both are transparent partitions of one and the same reality

110 DNA Protein Organelle Cell Tissue Organ Organism m m m

111 also systems on the molecular level

112

113 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) and holes and parts and systems along the lines described by Aristotle 4.0

114 relative hylomorphism substances and accidents reappear in the microscopic and macroscopic worlds of e.g. molecular biology and astronomy (Aristotelian ontological zooming)

115 Perspectivalism Different partitions may represent cuts through the same reality which are skew to each other

116 Cerebral Cortex

117 Mouse Chromosome 5

cell molecular biology

119 cell anatomy (coarse grain)

cell anatomy (fine grain)

121 All veridical perspectives are equal Each veridical perspective (= transparent partition) captures some corresponding domain of objects

122 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

123 all express partitions which are transparent, at different levels of granularity, to the same reality beyond

124 A partition of a given genus

125 Coarse-grained Partition what happens when a fringe instance arises ?

126 Coarse-grained Partition what happens when a fringe instance arises ? Aristotle 1.0: you shrug your shoulders

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

128 The advance of science is not an advance away from Aristotle towards something better. It is a rigorous demonstration of the correctness of his ontological approach

129 Aristotle THE END