8 Some simple consequences of the framework

8.1 The logic induced on L by m and PS.

The relation M:

, and a subspace of PS representing the actual possibilities in the environment, R, induces a logic upon L, in a straightforward manner: for any

iff

Thus one can also introduce the following logical symbols (distinct from those in L):

iff

iff etc.

One can also introduce the logical constants T and F, by setting and .

The exact relationship between this induced logic and any logic in L, will thus depend on the nature of the relationship M and the nature of PS.

Modelling Learning as Modelling - 23 FEB 98

Generated with CERN WebMaker