Category Archives: oksimo.R Simulator

BOOK: oksimo.R Editor and Simulator for Theories. A Philosophical Essay

ISSN 2567-6458, 6.November 2022 – 28.February 2023
Author: Gerd Doeben-Henisch


This post is part of the book project ‘oksimo.R Editor and Simulator for Theories’.


(Last change: 24.January 2023)

(Partially translated with (free version))

During the writing it becomes apparent that it is difficult to concretely specify the concrete contents at the beginning of the writing! The ‘cloud of knowledge’, out of which this book is written, is not a static object, but a space of ‘transient events’, which – in the first moment, seen from close – appear like ‘fixed contents’, but they are only momentary states of equilibrium in a manifold network of thought processes, which all take place at the same time, largely unconsciously (the way our brain works), and which produce ‘each other’. So it can happen that in a ‘living thought’ these transient states ‘rewrite’ themselves again and again. The ‘truth’ is then the total process, which can ‘connect’ with individual empirical events. Some may be ‘disturbed’ by this state of affairs, others feel ‘liberated’ as they begin to suspect that recognition, understanding, truth belong to a completely different dimension than the seemingly ‘clear, delimited, fixed facts’.

At this point one could be tempted to use the millennium old term ‘spirit’ (rather not ‘mind’) (Greek: ‘pneuma’, ‘πνευμα’) to denote this elusive ‘more’ of knowledge, but it would not help too much, would perhaps even complicate the whole state of affairs, since one then relates with a ‘known word’ something ‘not understandable’ to classical Greek thinking, which at that time did not and could not know the ‘context of its own thinking’. [0]

[0] Which does not detract from the fact that the classical Greek authors shine with a mental brilliance that can touch anyone who tries to think for himself. I myself am, among other things, very impressed by the texts attributed to Aristotle. Every minute that one can immerse oneself in his texts is a ‘gift to thinking’.


(Last change: 3.January 2023)

START (3rd Trial)

(Last change: 28.February 2023)

Older Texts – Not wrong, but actually not fitting …


(Last change: 28.November 2022)


(Last change: 15.November 2022)

  • Population
  • Water
  • Interconnecting population and water (world 1)
  • Nutrition
  • Interconnecting world 1 with nutrition (world 2)
  • Raw materials
  • Interconnecting world 2 with raw materials (world 3)
  • Energy
  • Interconnecting world 3 with energy (world 4)


(Last change: 25.November 2022)

  • World, Space, Time (Last change: 25.November 2022)
  • Everyday language
  • Formal languages
  • Actors
  • Sign systems
  • Meta language
  • Logic
  • Formal Theories
  • Empirical Theories
  • System
  • Dynamic System
  • Networked Systems
  • Embedded Systems


(Last change: 15.November 2022)

  • Real world and linguistic description
  • True, false, indeterminate
  • Actors: humans and others
  • Communicative Processes
  • Virtualization of the world inside the actors
  • Competition of ‘dreams’
  • Emotions rule the mind
  • ‘Locked In’
  • Rescuing only through mistakes and catastrophes?
  • Evolution takes place
  • The ‘spiritual matter’
  • Epilogue

Book: oksimo.R – Editor and simulator for theories

ISSN 2567-6458, 10.November 2022 – 27. February 2023
Author: Gerd Doeben-Henisch


The English translation from the German source is partially generated with the (free version).

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

(Last change: 27.January 2023)

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 which are ‘verifiable’ by others, and which 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 a so-called ‘formalization’, 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 ‘with 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 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 the everyday language is not thrown away but remains the main language.

This new approach — labeled with the acronym ‘oksimo.R’ [1] — enables the users — every kind of citizens — to write down a text which automatically represents everything known from — even formalized — theories. Above all: every citizen can read and understand texts written in the oksimo.R format normally. Every text in the oksimo.R format is automatically equivalent to 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: Either there are no interactions at all or you detect some interactions. These ‘some interactions’ can be analyzed further with regard to the question, what interacts and how.

By the way, all forms of artificial intelligence (ai) in the format of ‘machine learning (ML)’ 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’.


[1] The acronym ‘oksimo.R’ points back to a language project called ‘oksimo’ (‘open knowledge simulation modeling’), which has been documented a little bit in the German wikipedia ( ). This project initiated by Gerd Doeben-Henisch had been 2009 stopped by him despite a great public awareness because of lack of resources. The ‘new oksimo’ as ‘oksimo.R’ means ‘oksimo reloaded’; it has somehow a similar intention but is designed with a completely different internal structure. It does not produce ‘algorithms’, it does produce ‘theories’.