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

[img]
Preview
PDF (Article)
Heather_Anticipation as Prediction in the Predication of Data Types.pdf

Download (226kB) | Preview

Abstract

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: 13 May 2017 23:35
URI: http://nrl.northumbria.ac.uk/id/eprint/1802

Actions (login required)

View Item View Item

Downloads

Downloads per month over past year

View more statistics


Policies: NRL Policies | NRL University Deposit Policy | NRL Deposit Licence