http://popups.lib.uliege.be/1373-5411/index.php?id=4594 Anticipation is a natural characteristic of any system. 'Natural' is difficult to define formally in a mathematical model. For a model is an artificial construct relying on reduced conditions and assumptions. A model gives rise to weak anticipation while strong anticipation requires us to raise our sights to metaphysics where naturality resides. A prime distinction is that metaphysics has a higher-order tense logic. Strong anticipation is no prisoner of time like weak anticipation. In general while adjointness has a logical ordering the operation of an environment C on a subobject A has a solution subobject B under Heyting inference A ⇒ B in the environment of C. This is represented as the expression C x A ⟶ B ┤ BA ⟵ C, the adjunction of the natural metaphysical ordering which constitutes strong anticipation. The environment C may be more particularised as an adjunction between the induced monad and comonad functors. The uniqueness of the adjunction in natural metaphysics is examined in the context of the Beck-Chevalley test for computing the multiplicity of formal models possible for weak anticipation. Full text issues Volume 23 Introduction fr Mon, 14 Oct 2024 14:56:01 +0200 Mon, 14 Oct 2024 14:56:08 +0200 http://popups.lib.uliege.be/1373-5411/index.php?id=4594 0