We are exploring ways to converge independently-conceived and diverse methods of analysis into common formats that represent their particular intent as faithfully as possible, making the experimental claim that universal definitions are feasible and useful.

We are considering the visionary idea that that the fundamentals of logic and semantics, though discovered independently, and generally discussed as if they are logically independent, can and ideally should be viewed as interdependent functions within the bounds of a single logical space, capable to supporting of the smooth interconnection between every type of logic and form of symbolic representation.

The Closed Loop provides a model of the fundamentals of semantics, logic and mathematics. As this project continues to build and gather momentum, we are continuing to explore the connections and "fit" between the pieces.

Mon, Apr 5, 2021