Formal Ontology. Schedule. Sep. 4: Introduction: Mereology , Dependence and Geospatial Ontology Reading: Basic Tools of Formal Ontology Ontological Tools for Geographic Representation. Schedule.
Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.
after starting off on the right road
Objecta directly depicting language
A new sort of mereological inference rule
– the key to the idea of a directly depicting language
Basic Formal Ontology
processSnapshot vs. Video
processSubstances and processes
demand different sorts of inventories
When do both exist to be inventoried together?
t i m e system of representations?The Four-Dimensionalist Ontology
t i m e system of representations?boundaries are mostly fiat
everything is flux
clinical trial system of representations?
t i m emereology works without restriction everywhere here
here time exists outside the ontology, as an index or time-stamp
Tools of Ontology:
Mereology, Topology, Dependence
cannot exist without a thinker
found among substances
and among qualities and processes
substance 3-D section through reality
physical (bona fide) boundary 3-D section through reality
fiat boundaryFiat boundaries
... a mountain is not a substance
...and it’s not a quality, either
boundary 3-D section through reality
kiss marks of substances
stand in relations of one-sided dependence to a plurality of substances simultaneously
x marks of substances