Book: oksimo.R – Editor and simulator for theories

eJournal: uffmm.org
ISSN 2567-6458, 10.November 2022 – 28.November 2022
Email: info@uffmm.org
Author: Gerd Doeben-Henisch
Email: gerd@doeben-henisch.de

CONTEXT

The English translation from the German source is partially generated with the www.DeepL.com/Translator (free version).

Main Text: oksimo.R Editor and Simulator for Theories …

(Last change: 28.November 2022)

Brief Description of the Book

(Last change: 6.November 2022)

When it comes ‘to the oath’, when it is the task of creating descriptions of the world that are ‘verifiable’ by others, and that allow ‘verifiable predictions/conclusions’, then there is so far in the cultural history of mankind only one format known that makes this possible, the format of an ‘Empirical Theory’. If you try to look up the term ‘Empirical Theory’ in the German or English Wikipedia, you will be disappointed: this term does not exist there (as of November 10, 2022). This should cause astonishment, because it is so far the only and hardest criterion for a ‘truthful theory’ found in the last thousands of years. There are endless articles and books on this subject.

However, it is also part of the truth that the formats of texts that have become known so far with the claim to realize a verifiable empirical theory ultimately work with so-called ‘formalizations’, i.e. the language of logic and mathematics is used. One consequence of this is that the amount of possible readers and users of such theories is severely limited by this language alone. This is a major disadvantage, since it effectively ‘locks out’ the majority of citizens in a society.

But scientists themselves have a problem too: for formalized empirical theories, there is no supporting software that allows the text of a theory to be checked ‘at the push of a button’ at any time in the form of a simulation. Although there are — partly highly complex — simulation programs for support, these are not theories as such, but only algorithms and have to be laboriously created alongside the theory itself. If the text of the theory changes, such a change must be transferred laboriously into the algorithm. In general: an algorithm is a ‘function’ which is neither true nor false; a theory is a ‘statement’ which as such can be true or false (or it can stay ‘undefined’ with regard to ‘truth’ or ‘falsehood’).

After very many years of research — since about the mid 1980s and then experimentally for about four years — an approach has emerged which puts the concept of a testable empirical theory at the center, and takes as the starting language for an empirical description of the world the ‘normal language of everyday life’ (any is possible). This language can be ‘extended’ at will (which is common in science), but instead of virtually ‘throwing away’ the everyday language after the extension, in the new approach it is not thrown away but remains the main language.

This new approach — labeled with the acronym ‘oksimo.R’ — enables everything known so far from formal theories, but in addition much more. Above all: every citizen can read and understand texts in oksimo.R format normally. Every text in oksimo.R format is automatically a full empirical theory, even if the authors — arbitrary citizens — do not know exactly what an empirical theory is. Furthermore: at the push of a button, any theory in the oksimo.R format can be run as a ‘simulation’, where the term ‘simulation’ is very concrete here: the core of the simulation is formed by an ‘inference concept’, which computes the respective possible ‘continuations’ (= ‘inferences’) from given ‘world descriptions’ extended by possible ‘changes’, and this not only once, but ‘again and again’, until this inference process is stopped on the basis of a given criterion. Since every inference is linked to an empirical truth claim, every inference can also be checked for its empirical validity.

While up to now formalized empirical theories are very difficult to compare or even to ‘unify’, this is no problem for empirical theories in the oksimo.R format: one can unify arbitrary empirical theories in the oksimo.R format ‘at the push of a button’ to one text only and one can then directly view its effects by simulation. Of course, actual ‘interactions’ between the different ‘theory parts’ only arise if there are ‘linguistic points of contact’. But exactly this can be seen immediately with a unified simulation: no interactions at all or some, and with ‘some’ one sees then also what interacts and how. By this one can start immediately and clarify the matter further.

By the way, all forms of Artificial Intelligence (AI) known today — which usually represent very simple algorithms and which are in addition extremely dependent on a formulated task — can be used fruitfully in the context of an oksimo.R theory text by using these AI algorithms to search the ‘state space’ of possible conclusions for possible optimizations.

Furthermore, one can arbitrarily extend the empirical references to the real world through appropriate sensor technology and data connections (e.g., IoT), all in ‘web real-time’.

Additionally, one can link any server with an oksimo.R theory to any other web application.

Instead of ‘only’ developing and testing theories, oksimo.R theories can also be used to control processes or as training and text environments. Even (online) games are possible.

This opens up interesting possibilities for a new level in people’s ‘collective knowledge’ that goes beyond mere ‘text sets’.