Home


About the AI

Capabilities

Research
Basic
Applied


Autognomics Education

Consulting and Counseling Services

Inspiration

Communication and Papers

Special: September 11th

 

 

Basic Research



Plan of Action for the Development of Autognomics Life-itself Logic, a logic that integrates heart and mind.

The Theoretical Part of the development:

The development of a technology for doing the logic which also becomes a verification of the logic as applied to whatever. It took Whitehead and Russell 11 years to write Principia Mathematica and it took a computer seconds to prove all the theorems. The kind of computerability that is needed to develop the kind of logic we need for Life-itself are different from current computerabilities. We have combined 80 years of research and development plus four years of prototype development on the creation of this new computerability. We are ready to develop more advanced forms to be used in application as follows:

I. We have an embryonic Logic of Life-itself which needs to be further developed.

Steps for this development:

A) Define what the logic needs to express: Part 1 the form and Part 2-what do we want the form to express
B) Invite scholars to a different attention to what has been looked at. Normal theories are linguistic and do not have the proper form to express what is essential, i.e., functions of functions.
C) Define what the actors are in a living process. A lot will come from Whitehead's categoreal obligations. The form of the logics we are creating are known as applicative logics (like combinator logics)
D) An important aspect in the development of the life-logic is the fixed points. Fixed points are the theory of attractors like in Chaos theory. Fixed points are paradoxical which allow oscillation, this is where you get categorical contrasts and vibration in life.

There are people around the world working on fixed points, not a lot. Generally logicians are interested in the foundations of mathematics as we know it. Consequently they set up only normal forms with restrictions that help them do that. We want to generate dialogue with those people doing fixed points research. They are not aware of the kind of application we are seeking to use fixed points on. We will present the kind of problems we are trying to solve about life-self to find out if they can tell us about fixed points which we could use.

E) We are inviting theoretician candidates to join the research. And we need empirical information as well about the subject matter that the logic needs to account for. We want to get from them what they are finding dilemmas around.
F) We are collecting documents and building links on the Web with these scholars and their empirical research.