Anticipation as prediction in the predication of data types

Heather, Michael and Rossiter, Nick (2009) Anticipation as prediction in the predication of data types. International Journal of Computing Anticipatory Systems, 20. pp. 333-346. ISSN 1373-5411

PDF (Article)
Heather_Anticipation as Prediction in the Predication of Data Types.pdf

Download (226kB) | Preview


Every object in existence has its type. Every subject in language has its predicate. Every intension in logic has its extension. Each therefore has two levels but with the fundamental problem of the relationship between the two. The formalism of set theory cannot guarantee the two are co-extensive. That has to be imposed by the axiom of extensibility, which is inadequate for types as shown by Bertrand Russell's rami ed type theory, for language as by Henri Poincar e's impredication and for intension unless satisfying Port Royal's de nitive concept. An anticipatory system is usually de ned to contain its own future state. What is its type? What is its predicate? What is its extension? Set theory can well represent formally the weak anticipatory system, that is in a model of itself. However we have previously shown that the metaphysics of process category theory is needed to represent strong anticipation. Time belongs to extension not intension. The apparent prediction of strong anticipation is really in the structure of its predication. The typing of anticipation arises from a combination of and | respectively (co) multiplication of the (co)monad induced by adjointness of the system's own process. As a property of cartesian closed categories this predication has signi cance for all typing in general systems theory including even in the de nition of time itself.

Item Type: Article
Uncontrolled Keywords: time
Subjects: G900 Others in Mathematical and Computing Sciences
Department: Faculties > Engineering and Environment > Mathematics, Physics and Electrical Engineering
Related URLs:
Depositing User: EPrint Services
Date Deposited: 21 Mar 2011 16:41
Last Modified: 17 Dec 2023 11:50

Actions (login required)

View Item View Item


Downloads per month over past year

View more statistics