Werner Ceusters
Werner Ceusters
http://www.referent-tracking.com/RTU/files/painTokyo1_27_2011/1.0/painTokyo1_27_2011.pdf
I support this, but with appropriate time-indexing of the axioms course.
> How's that? The antecedent says it occupies a spatial region at t. If it occupies that region then it occupies the same region for any part of t. The...
I am not sure what you mean with 'dense time', But it seems right that that at a temporal instant 'nothing' happens, so an inflating balloon isn't inflating at a...
(forall (t m) (if (instance-of m site t) (exists (s t2) (and (temporal-part-of t2 t) (occupies-spatial-region m s t2))))) This works, because you did not universally quantify t2. My comment...
I did read *69 comment, but it doesn't use the term 'dense time'. Furthermore, I don't see what the impact would be on my suggestion. If it is stated that...
I don't understand your sphere example. Of course there is a part of the sphere that occupies the right hemisphere of the spatial region, but it is not the north...
@alanruttenberg so in your view, it is not the case that every material entity has fiat object parts? Even for an atom, I could still by fiat declare it to...
> Bump: @wceusters can we close this? Yes
> Thank you for pointing this out. The top of the hierarchy really should be called particular. That it isn't is a legacy. It is further complicated by the fact...