1. 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science

2. 2 Realist Perspectivalism There is a multiplicity of ontological perspectives on reality, all equally veridical i.e. transparent to reality

3. 3 Anatomy vs. Pathology

4. 4 The Problem The tumor developed in John’s lung over 25 years

5. 5 The Problem ____ developed in _____ over 25 years process state

6. 6 The Problem The tumor developed in the lung over 25 years substances things objects continuants

7. 7 The Problem The tumor developed in John’s lung over 25 years PARTHOOD NOT DETERMINATE

8. 8 The Problem The tumor developed in the lung over 25 years substances GLUING THESE TOGETHER YIELDS ONTOLOGICAL MONSTERS processes

9. 9 Substances and processes exist in time in different ways substance t i m e process

10. 10 SNAP vs SPAN Endurants vs perdurants Continuants vs occurrents In preparing an inventory of reality we keep track of these two different kinds of entities in two different ways

11. 11 No way in which sums of substances and processes can exist in time … hence

12. 12 Fourdimensionalism – only processes exist – time is just another dimension, analogous to the three spatial dimensions – substances are analyzed away as worms/fibers within the four- dimensional plenum

13. 13 There are no substances Bill Clinton does not exist Rather: there exists within the four- dimensional plenum a continuous succession of processes which are similar in a Billclintonizing way

14. 14 Fourdimensionalism (the SPAN perspective) is right in everything it says But incomplete

15. 15 Realist Perspectivalism There is a multiplicity of ontological perspectives on reality, all equally veridical = transparent to reality

16. 16 Need for different perspectives Not one ontology, but a multiplicity of complementary ontologies Cf. particle vs. wave ontologies in quantum mechanics

17. 17 Two Orthogonal, Complementary Perspectives SNAP and SPAN

18. 18 Snapshot Video ontology ontology substance t i m e process

19. 19 SNAP and SPAN stocks and flows commodities and services product and process anatomy and physiology

20. 20 SNAP and SPAN SNAP entities - have continuous existence in time - preserve their identity through change - exist in toto if they exist at all SPAN entities - have temporal parts - unfold themselves phase by phase - exist only in their phases/stages

21. 21 You are a substance Your life is a process You are 3-dimensional Your life is 4-dimensional

22. 22 Many SNAP Ontologies t1t1 t3t3 t2t2 here time exists outside the ontology, as an index or time-stamp

23. 23 each SNAP i section through reality includes everything which exists (present tense)

24. 24 mereology works without restriction (parthood is everywhere determinate) in every SNAP i ontology

25. 25 SNAP i ontologies = a sequence of snapshots

26. 26 Three kinds of SNAP entities 1.Substances 2.Dependents (SPQR… entities) 3.Spatial regions, contexts, niches, environments

27. 27 SPQR… entities States, powers, qualities, roles … functions, dispositions, plans, shapes, status, habitus, liabilities … = dependent SNAP entities

28. 28 SPQR… entities: one-place: your temperature, color, height my knowledge of French the whiteness of this cheese the warmth of this stone the fragility of this glass

29. 29 relational SPQR… entities John Mary love stand in relations of one-sided dependence to a plurality of substances simultaneously specific dependence

30. 30 Generic dependence of relational SPQR… entities legal systems languages (as systems of competences) religions (as systems of beliefs)

31. 31 Three kinds of SNAP entities 1.Substances 2.Dependents (SPQR… entities) 3.Spatial regions, contexts, niches, environments

32. 32 Three kinds of SNAP entities 1.Substances 2.Dependents (SPQR… entities) 3.Spatial regions, contexts, niches, environments

33. 33 Spatial regions, contexts, niches, environments Organism species evolve into environments Domesticated spatial regions: rooms, nostrils, your alimentary tract Fiat spatial regions: JFK designated airspace

34. 34

35. 35 SNAP: Entities existing in toto at a time

36. 36 Three kinds of SNAP entities 1.Substances 2.SPQR… entities 3.Spatial regions, Contexts, Niches

37. 37 Substances

38. 38 SPQR …

39. 39 Spatial regions

40. 40 The SPAN Ontology t i m e

41. 41 here time exists as part of the domain of the ontology The SPAN ontology

42. 42 mereology works without restriction everywhere here t i m e clinical trial

43. 43 Processes, too, are dependent on substances One-place vs. relational processes One-place processes: your getting warmer your getting hungrier

44. 44 Examples of relational processes kissings, thumpings, conversations, dancings, join their carriers together into collectives of greater or lesser duration

45. 45 SPAN: Entities extended in time

46. 46 Two kinds of SPAN entities 1.Processes (including events: process-boundaries) 2.Spatio-temporal regions

47. 47 Processes

48. 48 Spatio-temporal regions

49. 49 4-dimensional environments Lobsters have evolved into environments marked by cyclical patterns of temperature change Tudor England The Afghan winter The window of opportunity for an invasion of Iraq

50. 50 How do you know whether an entity is SNAP or SPAN?

51. 51 problem cases forest fire anthrax epidemic hurricane Maria traffic jam ocean wave

52. 52 forest fire: a process a pack of monkeys jumping from tree to tree and eating up the trees as they go the Olympic flame: a process or a thing? (anthrax spores are little monkeys)

53. 53 The Cornucopia of Formal Relations

54. 54 Formal-ontological concepts come for free do not add anything to being are domain-independent are expressed linguistically by closed- class items … HOW TO GENERATE THEM?

55. 55 The idea (first rough version) Formal relations are those relations which are not captured by either SNAP or SPAN because they traverse the SNAP- SPAN divide they glue SNAP and SPAN entities together

56. 56 This generates a first list of formal relations, e.g. dependence, but we find some of these relations also within SNAP or within SNAP

57. 57 The idea (modified version) Formal relations are the relations that hold SNAP and SPAN entities/ontologies together and analogous relations

58. 58 Example: Individuation, segmentation

59. 59 Substances tokens separated by bona fide boundaries form natural kinds, types (universals, species + genera) separated by bona fide boundaries

60. 60 Processes Process tokens merge into one another Process kinds merge into one another … few clean joints either between tokens or between types

61. 61 boundaries are mostly fiat t i m e everything is flux

62. 62 Some clean joints derive from the fact that processes are dependent on substances (my headache is cleanly demarcated from your headache)

63. 63 Some clean joints in realms of artefactual processes: weddings chess games dog shows ontology tutorials sharp divisions imputed via clocks, calendars

64. 64 Clean joints also through language = fiat demarcations Quinean gerrymandering ontologies are attractive for processes not for substances Quine: there are no substances

65. 65 SNAP entities provide the principles of individuation/segmentation for SPAN entities No change without some THING or QUALITY which changes

66. 66 Example: Ontological Dependence (SPAN, SNAP): process  substance The erosion of the rock necessitates the existence of the rock (SNAP, SNAP): SPQR  substance The token redness of the sand necessitates the existence of the sand

67. 67 Generating a typology Two main types of formal relations: meta-ontological: obtain between entities of different ontologies intra-ontological: obtain between entities of the same ontology (intra- SNAP, intra-SPAN)

68. 68 Three parameters: - the arity of the relation - the types of the relata, expressed as an ordered list, called the signature of the relation - the formal nature of the relation

69. 69 Principal Signatures In the binary case: SNAP-SNAP - (SNAP i, SNAP i ), i = i - (SNAP i, SNAP i ), i j SPAN-SPAN SNAP-SPAN SPAN-SNAP

70. 70 Transtemporal relations Examples: Genidentity (transtemporal generalization of identity/part-whole) Successive causality

71. 71 Genidentity Also SPAN-SPAN? Is there a form of genidentity among processes? The such-has-to-have-come-forth-from relation. Signature: SNAP i -SNAP j Cut a chunk of matter in two, the sum of the remaining pieces is genidentical to the chunk before cutting

72. 72 Successive Causality SNAP-SPAN: Agent causation A substance produces causally a process SPAN-SPAN: Process causation One process causes another process SPAN-SNAP: Causal repercussion A process results in the modification of a substance (always mediated by process causation) SNAP-SNAP: Causal origin One substance is the causal origin of another (mediated by other types of causal relations )

73. 73 Successive Causality SNAP-SPAN: Agent causation SPAN-SPAN: Process causation SPAN-SNAP: Causal repercussion SNAP-SNAP: Causal origin do not apply on all levels of granularity (holds of examples given below also)

74. 74 Our main target: Temporally extended relations Simultaneous Causality Participation (holds between a substance and a process such as an action or a life or history) Realization (holds between SPQR… entities and their SPAN expressions)

75. 75 Simultaneous causality SPAN-SPAN The rise in temperature causes the (simultaneous) increase in pressure (Boyle’s law)

76. 76 Substance  Process PARTICIPATION (a species of dependence)

77. 77 Participation (SNAP-SPAN) A substance (SNAP) participates in a process (SPAN) A runner participates in a race A voter participates in an election

78. 78 Participation x y substances x, y participate in process B time B x y SNAP-t i. time SPAN B slice of x’s life

79. 79 Axes of variation activity/passivity (agentive) direct/mediated benefactor/malefactor (conducive to existence) [MEDICINE]

80. 80 SNAP-SPAN Participation Perpetration (+agentive) Initiation Perpetuation Termination Influence Facilitation Hindrance Mediation Patiency (-agentive)

81. 81 Perpetration A substance perpetrates an action (direct and agentive participation in a process): The referee fires the starting-pistol The captain gives the order

82. 82 Initiation A substance initiates a process: The referee starts the race The attorney initiates the process of appeal

83. 83 Perpetuation A substance sustains a process: The singer sings the song The charged filament perpetuates the emission of light

84. 84 Termination A substance terminates a process: The operator terminates the projection of the film The judge terminates the imprisonment of the pardoned convict

85. 85 Influence A substance (or its quality) has an effect on a process The steepness of the slope affects the movement of the troops The politicians influence the course of the war

86. 86 Facilitation A substance plays a secondary role in a process (for example by participating in a part or layer of the process) The catalyst provides the chemical conditions for the reaction The traffic-police facilitate our rapid progress to the airport

87. 87 Facilitation is this really a binary relation?

88. 88 Hindrance, prevention A substance has a negative effect on the unfolding of a process (by participating in other processes) The drug hinders the progression of the disease The strikers prevent the airplane from departing

89. 89 Hindrance, prevention Is this really a binary relation ? (What is the second term?)

90. 90 Mediation A substance plays an indirect role in the unfolding of a process relating other participants: The Norwegians mediate the discussions between the warring parties

91. 91 Patiency Dual of agentive participation John kisses [Mary] (John agent) Mary is kissed [by John] (Mary patient)

92. 92 Signatures of meta-relations SNAP ComponentSPAN Component Substances SPQR… Space Regions Processuals Processes Events Space-Time Regions

93. 93 Signatures of meta-relations SNAP ComponentSPAN Component Substances SPQR… Space Regions Processuals Processes Events Space-Time Regions

94. 94 Signatures of meta-relations SNAP ComponentSPAN Component Substances SPQR… Space Regions Processuals Processes Events Space-Time Regions

95. 95 Signatures of meta-relations SNAP ComponentSPAN Component Substances SPQR… Space Regions Processuals Processes Events Space-Time Regions

96. 96 REALIZATION

97. 97 Signatures of meta-relations SNAP ComponentSPAN Component Substances SPQR… Spatial Regions Processuals Processes Events Space-Time Regions participation realization

98. 98 Realization (SPQR  process) The most general relation between a dependent (SPQR…) entity and a process The power to legislate is realized through the passing of a law The role of antibiotics in treating infections is via the killing of bacteria

99. 99 Realization (SNAP-SPAN) the execution of a plan, algorithm the expression of a function the exercise of a role the realization of a disposition

100. 100 SPQR… entities and their SPAN realizations plan function role disposition algorithm SNAP

101. 101 SPQR… entities and their SPAN realizations execution expression exercise realization application course SPAN

102. 102 Material examples: performance of a symphony projection of a film expression of an emotion utterance of a sentence application of a therapy course of a disease increase of temperature

103. 103 SNAP  SPAN Participation Substance  Process Realization SPQR  Process

104. 104 SPAN  SNAP Involvement

105. 105 SPAN  SNAP Involvement Creation Sustaining in being Destruction Demarcation Blurring Degradation

106. 106 Involvement process  substance (sometimes the converse of participation): Races involve racers (but not always): Wars involve civilians

107. 107 Creation A process brings into being a substance: The declaration of independence creates the new state The work of the potter creates the vase

108. 108 Sustaining in being A process sustains in being a substance: The circulation of the blood sustains the body Levying taxes sustains the army

109. 109 Degradation A process has negative effects upon a substance Eating sugar contributes to the deterioration of your teeth. The flow of water erodes the rock

110. 110 Destruction A process puts a substance out of existence The explosion destroys the car The falling of the vase on the floor breaks it

111. 111 Demarcation A process creates (fiat or bona fide) boundaries of substances. The signing of the treaty establishes fixed borders between the two nations The tracing of the area of operation by the surgeon defines a boundary, the incision performed by the surgeon yet another one

112. 112 Blurring A process destroys boundaries of substances: The military stand-off creates the no man's land The successful transplant obliterates the boundary between original and grafted tissue

113. 113 Process  SPQR Continuation Degradation Destruction Creation Qualitative projection

114. 114 Qualitative Projection A warming process yields a rise in temperature The tenure process yields a rise in John’s status

115. 115 Creation A process brings into being a dependent entity The accident reshapes the car. The baking of the clay gives the vase its rigidity and color.

116. 116 Continuation A process sustains the existence of an SPQR entity The firing of the fireworks maintains the coloration of the sky The intake of alcohol sustains the rosiness of his cheeks

117. 117 Degradation A process affects a substance's quality or status by lowering its degree The opening of the window diminishes the temperature in the room

118. 118 Destruction A process destroys/changes an SPQR… entity The accident destroys the car's shape The burning of the vase destroys its color The demotion relieved him of his rank as an officer

119. 119 Varieties of projection Warming process  series of temperature qualities = qualitative projection Process  temporal interval = temporal projection

120. 120 Spatial Projection A process occurs in a given place or area: The Revolution took place in Paris The wind blows beyond the 24th parallel

121. 121 Starts in / ends at (spatial projection of process boundaries) A process begins/ends at a location The race started in Paris The race ended in Roubaix

122. 122 SNAP-SPAN Participation Perpetration (+agentive) Initiation Perpetuation Termination Influence Facilitation Hindrance Mediation Patiency (-agentive)

123. 123 SPAN-SNAP Involvement Creation Sustenance Destruction Continuation Degradation Destruction Creation Demarcation Blurring Qualitative projection Degradation

124. 124 Varieties of Projection A process projects onto its temporal duration, onto the spatio-temporal region it occupies onto the spatial region it occupies at a given time onto the sum of its participants at a time onto the sum of the SPQR… entities realized through it at a time

125. 125 Temporal Projection of SPAN entities onto temporal intervals of SNAP entities onto temporal intervals via their lives

126. 126 Formal relations not dealt with so far: part-whole instantiation reference, intentionality truthmaking

127. 127 Realist Perspectivalism There is a multiplicity of ontological perspectives on reality, all equally veridical i.e. transparent to reality

128. 128 Cardinal Perspectives SNAP vs. SPAN Granularity (Micro vs. Meso vs. Macro)

129. 129 Cardinal Perspectives SNAP vs. SPAN Granularity (Micro vs. Meso vs. Macro)

130. 130 ChemO GenO BFOMedO basic formal ontology

131. 131 Ontological Zooming

132. 132 Ontological Zooming human anatomy cellular anatomy

133. 133 Part-Whole Basic relation exclusively intra- ontological: either SNAP-SNAP or SPAN-SPAN. SNAP-SNAP: only if SNAP i s have the same temporal index

134. 134 Relations crossing the SNAP/SPAN border are never part-relations John’s life substance John physiological processes sustaining in existence

135. 135 Granularity spatial regionsubstance parts of substances are always substances

136. 136 Granularity spatial regionsubstance parts of spatial regions are always spatial regions

137. 137 Granularity process parts of processes are always processes

138. 138 Intra-granular and cross-granular parthood across SNAPs: Kevin’s arm is part of Kevin Kevin’s molecule is part of Kevin across SPANs: Kevin’s leg-movement is part of Kevin’s running Kevin’s cytometabolism is part of Kevin’s running

139. 139 The idea (a further modification) Formal relations are those relations which are not captured by either the SNAP or the SPAN ontology either because they can traverse the SNAP-SPAN divide or because they can traverse the granular divide

140. 140 Is this Kantianism? does every ontology/perspective generate new formal-ontological relations?

141. 141 Realist Perspectivalism There is a multiplicity of ontological perspectives on reality, all equally veridical i.e. transparent to reality

142. 142 SNAP universals and particulars

143. 143 What about reference, intentionality, truthmaking ?

144. 144

145. 145 Are there any cases of ontological dependence involving an increase in being, analogous to the increase in being between the thought and the thinker, the charge and the conductor, the swim and the swimmer between SPAN and SPAN entities? (Hypothesis: all qualities of processes are essential) Puzzle

146. 146 Co-temporality is a requisite for most SNAP-SPAN relations (participation, realization, etc.) Exception: the memory of a process state of memory: SNAP (vs. episodic remembering: SPAN)