[FRIAM] mental imagery

[Jon Zingale]

Nick,

The code is a formal reporting of each of Eric's claims, along with
theorems demonstrating the internal validity of his reasoning. There is a
lot of boilerplate, because you know, formal languages. The use of
dependent typing and coinduction do some heavy lifting wrt self-reference
in the following snippets:

def Discourse.{u} : Type (u+1) := Type u

structure DiscourseState (D : Type) where ... property : D → Prop

structure EmbodiedInstance (C : ObjectiveCategory) where ...

as Eric posited:

"""

It feels like there ought to be some formal-language way, using some
representation for self-reference, to articulate what it means to
(said objectively) “be in a posture of” treating the state of
discourse “as if” it entailed these affordances-from-the-objective,
while acknowledging that the whole thing is self-referent within a
system that could be free-floating.

"""
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://redfish.com/pipermail/friam_redfish.com/attachments/20251123/2e8bcf0e/attachment.html>