Re: Time, Causality and Demand-Pull
On Thu, Jun 08, 2000 at 03:44:20PM -0700, Thompson, John A wrote:
> The main point of dispute over the PSL Core seems to be whether or not
> it can be extended to model situations involving relativity (where
> there is no absolute time). Sowa is worried (or convinced?) that it
> cannot, and the PSL Core designers are perhaps beginning to admit that
> no extension to the Core can model relativity, but they consider that
> unimportant for what it was designed to do.
>
> Is this a correct description of where the argument stands now?
As far as it goes. A corollary of Sowa's argument was that that Petri
nets (equivalently (?), linear logic) should constitute the basic formal
framework for process representation. It was argued in reply that the
mathematically simpler and more accessible first-order axioms and model
theory of PSL constituted a preferable foundation.
-chris
--
Christopher Menzel # web: philebus.tamu.edu/~cmenzel
Philosophy, Texas A&M University # net: chris.menzel@tamu.edu
College Station, TX 77843-4237 # vox: (409) 845-8764