search

fabianneuhaus / BFO

Apache License 2.0
1 stars 0 forks source link

[FN006] s-dependence is passed along parthood #37

Open fabianneuhaus opened 10 years ago

fabianneuhaus commented 10 years ago

This is supposed to capture the discussion on page 22/23 (forall (x y z) (if (and (s-depends_on y x) (Process y) (IndependentContinuant x) (occurrent_part_of y z)) (s-depends_on z x)))

phismith commented 10 years ago

consider the process which is the first 18 months of John's life (starting from conception) this process is dependent on Mary, his mother [there are many parts of it which involve her in some strong sense; the same sense which is involved when we say e.g. that John s process of leaning against a wall is dependent on the wall) however the last 1 month of John's life is not dependent on Mary (In this strong sense)