All posts by Gerd Doeben-Henisch

THE OKSIMO WORKFLOW for a Global Open Knowledge Space

eJournal: uffmm.org
ISSN 2567-6458, 1.April 2022 – 6.April 2022
Email: info@uffmm.org
Author: Gerd Doeben-Henisch
Email: gerd@doeben-henisch.de

CONTEXT

This post is part of the theme called ‘Oksimo Software Structures’ which in turn is part of the overall uffmm.org Blog.

Preface

In an earlier post the overall structure of the oksimo paradigm has been outlined. This was the perspective available during spring 2021. Since this time the theory, the software as well as the applications are evolving very quickly. A major event was the closer and closer conjunction of a general ’empirical everyday life theory’ [1] with the oksimo paradigm. The central idea is that an oksimo application is by its implicit structure a complete empirical theory in an everyday life setting. This growing clearness about the theoretical dimension of an oksimo application raises new questions how to organize an oksimo application.

Oksimo Workflow

The figure shows the basic oksimo workflow between a user/ group of users and the oksimo simulator (theory inference machine): A user can upload an oksimo simulation (= theory) document to the simulator either by sending an address for an HTML-document or by directly uploading a text document in agreement with a minimal HTML-schema. The upload includes some additional parameters as directives for the wanted format of the output. The simulator computes then the output according to the selected parameters an shows an HTML page either directly on the login page of the simulator or as an HTML document sent to the email address which the user has specified.

In the first software development phase the main interest was the clarification of the concept of a theory-like environment using only everyday language (every language is possible). In the second phase this has been extended by allowing math-extensions to the everyday language accompanied by first simple graphical presentations during the simulation. Oksimo can be used here in single mode as well as in multiple user mode allowing an exchange of data as well as a ‘unification’ of different simulations

This is quite powerful.

But at this point the oksimo paradigm looks a bit like an ‘Island’: living there is OK, but there is not yet some ‘normal exchange’ possible.

Looking back in history Tim Berners-Lee [2] has during his life-time developed the idea of an open space of knowledge and communication embedded in a space called World Wide Wed [WWW]. Despite all the many details there one can see one central idea: an open space of addresses each representing a web-page, which can be a html-page. Thus the WWW can be understood as an universal ‘interface’ between people exchanging knowledge in the format of HTML-pages. And because an HTML-page follows a clearly defined pattern everybody can read and write such html-pages with simple readers and writers.

While the oksimo software itself is for a user available through an interactive web-page and it’s outputs can already be shown on a web-page it is not a too big step to extend the oksimo software generally with an export-function of a simulation as a complete html-page and as well with an import-function read an html-page which contains a complete simulation as a text which then is ‘converted’ in states, goals and rules which are needed for the simulator.

Thus without changing the software as it is now one could make the oksimo software with these additional functions immediately speaking to the whole World Wide Web.

By this step every user in the world wide web could edit a simulation with a normal editor, post this on a server of personal choice for everybody and vice versa every user could read everywhere html-pages with simulations, download them and modify or extend these in the light of his experience. This would enable a new kind of wikipedia-like servers. In this sense the oksimo paradigm could perhaps become the new operating system for the whole knowledge space.[3]

COMMENTS

[1] See the post “POPPER and EMPIRICAL THEORY. A conceptual Experiment” which gives a complete outline of the idea of an empirical everyday life theory.

[2] Tim Berners-Lee, Weaving the Web. The original design and ultimate destiny of the world wide web, HarperCollins Publishers, New York, 1999

[3] This can remind us a bit to the wonderful vision of ‘Collective Intelligence’ described by Pierre Lévy.

OKSIMO APPLICATIONS – Simple Examples – Citizens of a County – Example 2

eJournal: uffmm.org ISSN 2567-6458

30.March 2022 – 31.March 2022, 11:55h
Email: info@uffmm.org
Author: Gerd Doeben-Henisch
Email: gerd@doeben-henisch.de

BLOG-CONTEXT

This post is part of the Oksimo Application theme which is part of the uffmm blog.

PREFACE

This post shows a continuation from the simple simulation example in the preceding post. It points to an implicit problem of the demographic modeling of the Main-Kinzig County (German: Main-Kinzig Kreis [MKK]) only using the official numbers available in the World Wide Web from the Hessian statistical office. Some questions arise without giving an answer in this post.

A REAL SIMULATION

The following example has been run with Oksimo v2.0 (Pre-Release) (c972). Hopefully we can finish the pre-release to a full release the next few days.

STRUCTURE OF THE SIMULATION

The structure of the simulation follows the schema of an empirical theory as follows:

  1. A ‘given situation’ will be described which is assumed to be ’empirically sound’ by the authors.
  2. A ‘state in the future’ (‘vision’, ‘goal’ ‘forecast’) is given for benchmarking.
  3. At least one ‘change rule’ is given representing an ‘inference rule’ for everyday experience.
  4. The ‘inference engine’ for making a ‘logical deduction’ is ‘hidden’ in the ‘simulator’, which is doing the job of applying the change rules to a given situation.

Here the concrete definitions:

VISION

Name: vmkkdemo1

Expressions:

The Main-Kinzig County exists.

Math expressions:

YEAR>2032

GIVEN STATE

Name: smkkDemo1

Expressions:

The Main-Kinzig County exists.

The number of citizens is known.

Based on preceding years a growth rate could be computed.

A growth rate has two components: natural increase and net migration.

The component natural increase has again two components: the rates of births and deaths.

The net migration is based on rates for immigration and emigrations.

The number for a population in a year t+1 is the product of the population of the preceding year t enriched with the natural increase and the net migration.

Math expressions:

IMMIGRATION=18000Amount

EMIGRATION=15900Amount

NETMIGR=0Number

BIRTHS=59400Amount

DEATHS=70000Amount

NATINCREASE=0Number

CITIZENS=421689Amount

YEAR=2020Number

CHANGE RULE (Inference Rule)

(Attention: There can be arbitrary many rules; here only one is used)

This figure gives a graphical overview of the main parameters used in the demographic modeling below.

Rule name: rworld1

Probability: 1.0

Conditions:

The Main-Kinzig County exists.

Math conditions:

YEAR>=0

Effects plus:

Effects minus:

Effects math:

YEAR=YEAR+1

NETMIGR=IMMIGRATION-EMIGRATION

NATINCREASE=BIRTHS-DEATHS

CITIZENS=CITIZENS+NATINCREASE+NETMIGR

SIMULATION

simmkkDemo2

Selected visions:

vmkkdemo1

Selected states:

smkkDemo1

Selected rules:

rworld1

GRAPH CITIZENS

The figure shows the values of the variable ‘CITIZENS’ during 15 cycles of simulation.

GRAPH NETMIGR NATINCREASE

This figure shows the values of the variables NETMIGR and NATINCREASE. These produce a negative difference which influences the size of the population.

Here the log protocol from simulation cycles 12-13:

Round 12

State rules:
rworld1 applied  (Prob: 100 Rand: 11/100)
Math applied:
CITIZENS=CITIZENS+NATINCREASE+NETMIGR
NATINCREASE=BIRTHS-DEATHS
YEAR=YEAR+1
NETMIGR=IMMIGRATION-EMIGRATION
Vision rules:
Current states: The number of citizens is known.,The component natural increase has again two components: the rates of births and deaths.,The net migration is based on rates for immigration and emigrations.,The Main-Kinzig County exists.,A growth rate has two components: natural increase and net migration.,The number for a population in a year t+1 is the product of the population of the preceding year t enriched with the natural increase and the net migration.,Based on preceding years a growth rate could be computed.
Current visions: The Main-Kinzig County exists.
Current values:
IMMIGRATION: 18000Amount
NETMIGR: 2100Number
BIRTHS: 59400Amount
DEATHS: 70000Amount
NATINCREASE: -10600Number
CITIZENS: 328189Amount
YEAR: 2032Number
EMIGRATION: 15900Amount

50.00 percent of your vision was achieved by reaching the following states:
The Main-Kinzig County exists.,
And the following math visions:
None

Round 13

State rules:
rworld1 applied  (Prob: 100 Rand: 63/100)
Math applied:
CITIZENS=CITIZENS+NATINCREASE+NETMIGR
NATINCREASE=BIRTHS-DEATHS
YEAR=YEAR+1
NETMIGR=IMMIGRATION-EMIGRATION
Vision rules:
Current states: The number of citizens is known.,The component natural increase has again two com
ponents: the rates of births and deaths.,The net migration is based on rates for immigration and 
emigrations.,The Main-Kinzig County exists.,A growth rate has two components: natural increase an
d net migration.,The number for a population in a year t+1 is the product of the population of th
e preceding year t enriched with the natural increase and the net migration.,Based on preceding y
ears a growth rate could be computed.
Current visions: The Main-Kinzig County exists.
Current values:
IMMIGRATION: 18000Amount
NETMIGR: 2100Number
BIRTHS: 59400Amount
DEATHS: 70000Amount
NATINCREASE: -10600Number
CITIZENS: 319689Amount
YEAR: 2033Number
EMIGRATION: 15900Amount

100.00 percent of your vision was achieved by reaching the following states:
The Main-Kinzig County exists.,
And the following math visions:
YEAR>2032

One can see here that the simulator announces a 100% satisfaction of the goal because the year 2032 has been passed and the Main-Kinzig County still exists.

DISCUSSION

Although the shown simulation is still extremely simple it points to a hidden problem of the official demographic data. The hessian statistical office computes a forecast for the MKK in 2040 with 420443 citizens starting with the year 2018. [3] Comparing these numbers with those from the demographic changes between 1.January 2021 and 30.June 2021 [2] then one gets a real difference: NATINCREASE -7.7 becomes -0.15% and NETMIGR 8.0 becomes 0.21%. This results in a 6-month fraction of about -736 to -635 for NATINCREASE and of about 764 to 889 for NETMIGR.

These observations point (i) to the general problem of getting ‘good data’ and (ii) at the same time how fragile the data are. With rather constant rates in births and deaths the migration data can change a lot. For 2020-2021 we have with 2.107 a NETMIGR rate of about 0.5%. [1] What now are the ‘real data’?

A DIFFERENT SIMULATION

Until now we have only data from single points of time (2018, 2021 (2040)) or of a small time window (1.January 2021, 30.June 2021). If we would take the data from the time window (Jan 2021, Jun 2021) and if we take the change rates from these data as percentage of the final value of citizens, then we are producing another graph knowing, that this clearly will not represent ‘the empirical reality’ sufficiently well. Nevertheless it can help to get some ‘awareness’ that the real numbers deserve more research, especially related to their ‘dynamics’ which is embedded in rather complex clusters of different factors interacting with each other.[4]

STRUCTURE OF SIMULATION

GIVEN SITUATION

TEXT

Name: smkkDemo2

The Main-Kinzig County exists.

The number of citizens is known.

Based on preceding years a growth rate could be computed.

A growth rate has two components: natural increase and net migration.

The component natural increase has again two components: the rates of births and deaths.

The net migration is based on rates for immigration and emigrations.

The number for a population in a year t+1 is the product of the population of the preced

ing year t enriched with the natural increase and the net migration.

Math:

NETMIGR=0Number

NATINCREASE=0Number

YEAR=2020Number

IMMIGRATION=0Amount

EMIGRATION=0Amount

BIRTHS=0Amount

DEATHS=0Amount

CITIZENS=421689Amount

POSSIBLE VISION (GOAL)

TEXT

Name: vmkkdemo1

Expressions:

The Main-Kinzig County exists.

Math expressions:

YEAR>2040

CHANGE RULES

Rule name: rworld2

Probability: 1.0

Conditions:

The Main-Kinzig County exists.

Math conditions:

YEAR>=0

Effects plus:

Effects minus:

Effects math:

YEAR=YEAR+1

BIRTHS=CITIZENS*0.0046

DEATHS=CITIZENS*0.006

EMIGRATION=CITIZENS*0.029

IMMIGRATION=CITIZENS*0.03

Rule name: rworld2b

Probability: 1.0

Conditions:

The Main-Kinzig County exists.

Math conditions:

YEAR>=0

Effects plus:

Effects minus:

Effects math:

NATINCREASE=BIRTHS-DEATHS

NETMIGR=IMMIGRATION-EMIGRATION

Rule name: rworld3

Probability: 1.0

Conditions:

The Main-Kinzig County exists.

Math conditions:

YEAR>=0

Effects plus:

Effects minus:

Effects math:

CITIZENS=CITIZENS+NATINCREASE+NETMIGR

SIMULATION

simmkkDemo3

Selected visions:

vmkkdemo1

Selected states:

smkkDemo2

Selected rules:

rworld2

rworld2b

rworld3

GRAPH CITIZENS

This figure shows the decreasing number of citizens in the county which is due to the fact that the NATINCR is bigger than the NETMIGR. But one has to keep in mind, that dies reflects the values from the first 6 months from the year 2021. These values can change, but HOW will these values change? What are the empirical factors which do influence these values?

GRAPH NATINCR and NETMIGR

Here the nearly constant values of NATINCR and NETMIGR taken from the year 2021

Here cycles 1-2 from the simulation log:

Round 1

State rules:
rworld2 applied  (Prob: 100 Rand: 40/100)
Math applied:
IMMIGRATION=CITIZENS*0.03
YEAR=YEAR+1
DEATHS=CITIZENS*0.006
BIRTHS=CITIZENS*0.0046
EMIGRATION=CITIZENS*0.029
rworld3 applied  (Prob: 0 Rand: 58/100)
Math applied:
CITIZENS=CITIZENS+NATINCREASE+NETMIGR
rworld2b applied  (Prob: 100 Rand: 6/100)
Math applied:
NATINCREASE=BIRTHS-DEATHS
NETMIGR=IMMIGRATION-EMIGRATION
Vision rules:
Current states: The number for a population in a year t+1 is the product of the population of the preceding year t enriched with the natural increase and the net migration.,The net migration is based on rates for immigration and emigrations.,The component natural increase has again two components: the rates of births and deaths.,The Main-Kinzig County exists.,A growth rate has two components: natural increase and net migration.,Based on preceding years a growth rate could be computed.,The number of citizens is known.
Current visions: The Main-Kinzig County exists.
Current values:
NETMIGR: 421.6890000000003Number
NATINCREASE: -590.3646000000001Number
YEAR: 2021Number
IMMIGRATION: 12650.67Amount
EMIGRATION: 12228.981Amount
BIRTHS: 1939.7694Amount
DEATHS: 2530.134Amount
CITIZENS: 421689Amount

50.00 percent of your vision was achieved by reaching the following states:
The Main-Kinzig County exists.,
And the following math visions:
None

Round 2

State rules:
rworld3 applied  (Prob: 0 Rand: 95/100)
Math applied:
CITIZENS=CITIZENS+NATINCREASE+NETMIGR
rworld2 applied  (Prob: 100 Rand: 22/100)
Math applied:
IMMIGRATION=CITIZENS*0.03
YEAR=YEAR+1
DEATHS=CITIZENS*0.006
BIRTHS=CITIZENS*0.0046
EMIGRATION=CITIZENS*0.029
rworld2b applied  (Prob: 100 Rand: 32/100)
Math applied:
NATINCREASE=BIRTHS-DEATHS
NETMIGR=IMMIGRATION-EMIGRATION
Vision rules:
Current states: The number for a population in a year t+1 is the product of the population of the preceding year t enriched with the natural increase and the net migration.,The net migration is based on rates for immigration and emigrations.,The component natural increase has again two components: the rates of births and deaths.,The Main-Kinzig County exists.,A growth rate has two components: natural increase and net migration.,Based on preceding years a growth rate could be computed.,The number of citizens is known.
Current visions: The Main-Kinzig County exists.
Current values:
NETMIGR: 421.5203243999986Number
NATINCREASE: -590.1284541600003Number
YEAR: 2022Number
IMMIGRATION: 12645.609732Amount
EMIGRATION: 12224.089407600002Amount
BIRTHS: 1938.9934922400003Amount
DEATHS: 2529.1219464000005Amount
CITIZENS: 421520.32440000004Amount

50.00 percent of your vision was achieved by reaching the following states:
The Main-Kinzig County exists.,
And the following math visions:
None

And here the the cycles 20-21 showing 100% success

Round 20

State rules:
rworld2b applied  (Prob: 100 Rand: 78/100)
Math applied:
NATINCREASE=BIRTHS-DEATHS
NETMIGR=IMMIGRATION-EMIGRATION
rworld3 applied  (Prob: 0 Rand: 90/100)
Math applied:
CITIZENS=CITIZENS+NATINCREASE+NETMIGR
rworld2 applied  (Prob: 100 Rand: 20/100)
Math applied:
IMMIGRATION=CITIZENS*0.03
YEAR=YEAR+1
DEATHS=CITIZENS*0.006
BIRTHS=CITIZENS*0.0046
EMIGRATION=CITIZENS*0.029
Vision rules:
Current states: The number for a population in a year t+1 is the product of the population of the preceding year t enriched with the natural increase and the net migration.,The net migration is based on rates for immigration and emigrations.,The component natural increase has again two components: the rates of births and deaths.,The Main-Kinzig County exists.,A growth rate has two components: natural increase and net migration.,Based on preceding years a growth rate could be computed.,The number of citizens is known.
Current visions: The Main-Kinzig County exists.
Current values:
NETMIGR: 418.83020290706736Number
NATINCREASE: -586.3622840698965Number
YEAR: 2040Number
IMMIGRATION: 12554.852151152843Amount
EMIGRATION: 12136.35707944775Amount
BIRTHS: 1925.077329843436Amount
DEATHS: 2510.9704302305686Amount
CITIZENS: 418495.0717050948Amount

50.00 percent of your vision was achieved by reaching the following states:
The Main-Kinzig County exists.,
And the following math visions:
None

Round 21

State rules:
rworld2 applied  (Prob: 100 Rand: 16/100)
Math applied:
IMMIGRATION=CITIZENS*0.03
YEAR=YEAR+1
DEATHS=CITIZENS*0.006
BIRTHS=CITIZENS*0.0046
EMIGRATION=CITIZENS*0.029
rworld2b applied  (Prob: 100 Rand: 28/100)
Math applied:
NATINCREASE=BIRTHS-DEATHS
NETMIGR=IMMIGRATION-EMIGRATION
rworld3 applied  (Prob: 0 Rand: 41/100)
Math applied:
CITIZENS=CITIZENS+NATINCREASE+NETMIGR
Vision rules:
Current states: The number for a population in a year t+1 is the product of the population of the preceding year t enriched with the natural increase and the net migration.,The net migration is based on rates for immigration and emigrations.,The component natural increase has again two components: the rates of births and deaths.,The Main-Kinzig County exists.,A growth rate has two components: natural increase and net migration.,Based on preceding years a growth rate could be computed.,The number of citizens is known.
Current visions: The Main-Kinzig County exists.
Current values:
NETMIGR: 418.49507170509423Number
NATINCREASE: -585.8931003871326Number
YEAR: 2041Number
IMMIGRATION: 12554.852151152843Amount
EMIGRATION: 12136.35707944775Amount
BIRTHS: 1925.077329843436Amount
DEATHS: 2510.9704302305686Amount
CITIZENS: 418327.6736764127Amount

100.00 percent of your vision was achieved by reaching the following states:
The Main-Kinzig County exists.,
And the following math visions:
YEAR>2040,

Special Comments to the Software

As mentioned in the beginning the version of the software used here is not yet the final one. We are still in an ‘experimental phase’. A feature we detected dealing with this simulation is that the simulator takes all ‘elements’ of the ‘effect part’ of a rules as ‘equal’, not applying some order for the execution. In the case of math expressions which have ‘internally’ some ‘logical order’ in the sense, that an expression A presupposes an expression B to be computed ‘before’ the expression A has to be computed (which is in this simulation clearly the case), one can handle this only if one locates all math expressions which belong to ‘the same logical level’ into a separate rule. We have to have a look to this. In such a case ‘theory’ is interacting with ‘implementation details’ which follow a quite different logic.

COMMENTS

[1] Matrix of the Immigration and Emigration of citizens between the different cities and counties of the state of Hessen in 2020, Hess.Statistisches Landesamt: https://statistik.hessen.de/zahlen-fakten/bevoelkerung-gebiet-haushalte-familien/bevoelkerung/tabellen

Figure shows the matrix of all immigrations and emigrations between the cities and counties of the state of Hessen in 2020. For the MKK county we have Going-Out= 15.903 and Coming-In=18.010, which represents about 0.5% NETMIGR in 2020-2021.

[2] Demographic Changes between 1.January 2021 and 1.June 2021 for the MKK county, in: https://statistik.hessen.de/sites/statistik.hessen.de/files/AI2_AII_AIII_AV_21-1hj.pdf. p.7

This shows the number of citizens in the MKK county 1.January 2021 with 421.689 and 30.June 2021 with 421.936. The other variables are BIRTHs=1.942, DEATHs=2.577, IMMIGRANTS=12950, EMIGRANTS=12.061. This yields a NATINCREASE=BIRTHS-DEATHS = -635, NETMIGR=IMMIGRANTS-EMIGRANTS= 889. This points to a NATINCREASE of -0.15% and a NETMIGR of 0.21%, which gives an overall increase of 0.06%.

[3] Demographic Forecast for the years 2040, Hess.Statistisches Landesamt: https://statistik.hessen.de/zahlen-fakten/bevoelkerung-gebiet-haushalte-familien/bevoelkerung/tabellen

Figure shows the forecast for the Main-Kinzig County for the year 2040. If one compares these numbers with the ‘more real data’ of those in [2] then we see the following changes: NATINCREASE -7.7 becomes -0.15% and NETMIGR 8.0 becomes 0.21%. This results in a 6-month fraction of about -736 to -635 for NATINCREASE and of about 764 to 889 for NETMIGR.

[4] In the first paper of the small booklet from Karl Popper, „A World of Propensities“, Thoemmes Press, Bristol, (1990, repr. 1995), he develops the idea of associating an observable phenomenon with some part of the real world which has to be assumed as necessary environment for a phenomenon to be able to appear. And this presupposed empirical environment is always a complex cluster of different empirical factors interacting with each other and thereby are ‘causing’ phenomena which are not traceable to only one factor in a deterministic way but to ‘many’. ‘Chance’ is therefore a ‘product’ of reality not an isolated single event.

OKSIMO APPLICATIONS – Simple Examples – Citizens of a County

eJournal: uffmm.org ISSN 2567-6458

27.March 2022 – 27.March 2022
Email: info@uffmm.org
Author: Gerd Doeben-Henisch
Email: gerd@doeben-henisch.de

BLOG-CONTEXT

This post is part of the Oksimo Application theme which is part of the uffmm blog.

PREFACE

This post shows a simple simulation example with the beta-version of the new Version 2 of the oksimo programming environment. This example shall illustrate the concept of an ‘Everyday Empirical Theory‘ as described in this blog 11 days before. It is intentionally as ‘simple as possible’. Probably some more examples will be shown.

FROM THEORY TO AN APPLICATION

To apply a theory concept in an everyday world there are many formats possible. In this text it will be shown how such an application would look like if one is applying the oksimo programming environment. Until now there exists only a German Blog (oksimo.org) describing the oksimo paradigm a little bit. But the examples there are written with oksimo version 1, which didn’t allow to use math. In version 2 this is possible, accompanied by some visual graph features.

Everyday Experts – Basic Ideas

This figure shows a simple outline of the basic assumptions of the oksimo programming environment constituting the oksimo paradigm: (i) Every human person is assumed to be a ‘natural expert’ being member of a bigger population which shares the same ‘everyday language’ including basic math. (ii) An actor is embedded in some empirical environment including the own body and other human actors. (iii) Human actors are capable of elaborating as inner states different kinds of ‘mental (cognitive) models’ based on their experience of the environment and their own body. (iv) Human actors are further capable to use symbolic languages to ‘represent’ properties of these mental models encoded in symbolic expressions. Such symbolic encoding presupposes an ‘inner meaning function’ which has to be learned. (v) In the oksimo programming environment one needs for the description of a ‘given state’ two kinds of symbolic expressions: (v.1) Language expressions to describe general properties and relations which are assumed to be ‘given’ (= ‘valid by experience’); (v.2) Language expressions to name concrete quantitative properties (simple math expressions).

This figure shows the idea how to change a given state (situation) by so-called ‘change rules’. A change rule encodes experience from the everyday world under which conditions some properties of a given situation S can be ‘changed’ in a way, that a ‘new situation’ S* comes into being. Generally a given state can change if either language expression is ‘deleted’ from the description or ‘contributed’. Another possibility is realized if one of the given quantitative expressions changes its value. In the above simple situation the only change happens by changing the number of citizens by some growth effect. But, as other examples will demonstrate, everything is possible what is possible in the empirical world.

SOME MORE FEATURES

The basic schema of the oksimo paradigm assumes the following components:

  1. The description of a ‘given situation’ as a ‘start state’.
  2. The description of a ‘vision’ functioning as a ‘goal’ which allows a basic ‘Benchmarking’.
  3. A list of ‘change rules’ which describe the assumed possible changes
  4. An ‘inference engine’ called ‘simulator’: Depending from the number of wanted ‘simulation cycles’ (‘inferences’) the simulator applies the change rules onto a given state S and thereby it is producing a ‘follow up state’ S*, which becomes the new given state. The series of generated states represents the ‘history’ of a simulation. Every follow up state is an ‘inference’ and by definition also a ‘forecast’.

All these features (1) – (4) together constitute a full empirical theory in the sense of the mentioned theory post before.

Let us look to a real simulation.

A REAL SIMULATION

The following example has been run with Oksimo v2.0 (Pre-Release) (353e5). Hopefully we can finish the pre-release to a full release the next few weeks.

A VISION

Name: v2026

Expressions:

The Main-Kinzig County exists.

Math expressions:

YEAR>2025 and YEAR<2027

This simple goal assumes the existence of the Main-Kinzig County for the year 2026.

GIVEN START STATE

Name: StartSimple1

Expressions:

The Main-Kinzig County exists.

The number of citizens is known.

Comparing the number of different years one has computed a growth rate.

Math expressions:

YEAR=2018Number

CITIZENS=418950Amount

GROWTH=0.0023Percentage

The start state makes some simple statements which are assumed to be ‘valid’ in a ‘real given situation’ by the participating natural experts.

CHANGE RULES

In this example there is only one change rules (In principle there can be as many change rules as wanted).

Rule name: Growth1

Probability: 1.0

Conditions:

The Main-Kinzig County exists.

Math conditions:

CITIZENS < 450000

Effects plus:

Effects minus:

Effects math:

CITIZENS=CITIZENS+(CITIZENS*GROWTH)

YEAR=YEAR+1

This change rules is rather simple. It looks only to the fact whether the Main-Kinzig County exists and wether the number of citizens is still below 450000. If this is the case, then the year will be incremented and the number of citizens will be incremented according to an extremely simple formula.

For every named quantity in this simulation (YEAR, GROWTH, CITIZENS) the values are collected for every simulation cycle and therefore can be used for evaluations. In this simple case only the quantities of YEAR and CITIZENS have changes:

Simple linear graph for the quantity named YEAR
Simple linear graph for the quantity named CITIZENS

Here the quick log of simulation cycle round 7 – 9:

Round 7

State rules:
Vision rules:
Current states: The number of citizens is known.,Comparing the number of different years one has computed a growth rate.,The Main-Kinzig County exists.
Current visions: The Main-Kinzig County exists.
Current values:
YEAR: 2025Number
CITIZENS: 425741.8149741673Amount
GROWTH: 0.0023Percentage

50.00 percent of your vision was achieved by reaching the following states:
The Main-Kinzig County exists.,
And the following math visions:
None

Round 8

State rules:
Vision rules:
Current states: The number of citizens is known.,Comparing the number of different years one has computed a growth rate.,The Main-Kinzig County exists.
Current visions: The Main-Kinzig County exists.
Current values:
YEAR: 2026Number
CITIZENS: 426721.0211486079Amount
GROWTH: 0.0023Percentage

100.00 percent of your vision was achieved by reaching the following states:
The Main-Kinzig County exists.,
And the following math visions:
YEAR>2025 and YEAR<2027,

Round 9

State rules:
Vision rules:
Current states: The number of citizens is known.,Comparing the number of different years one has computed a growth rate.,The Main-Kinzig County exists.
Current visions: The Main-Kinzig County exists.
Current values:
YEAR: 2027Number
CITIZENS: 427702.4794972497Amount
GROWTH: 0.0023Percentage

50.00 percent of your vision was achieved by reaching the following states:
The Main-Kinzig County exists.,
And the following math visions:
None

In round 8 one can see, that the simulation announces:

100.00 percent of your vision was achieved by reaching the following states: The Main-Kinzig County exists., And the following math visions: YEAR>2025 and YEAR<2027

From this the natural expert can conclude that his requirements given in the vision are ‘fulfilled’/’satisfied’.

WHAT COMES NEXT?

In a loosely order more examples will follow. Here you find the next one.

Pierre Lévy : Collective Intelligence – Chapter 7 – The Four Spaces

eJournal: uffmm.org, ISSN 2567-6458,
24.March 2022 – 6.April 2022, 08:04 h
Email: info@uffmm.org
Author: Gerd Doeben-Henisch
Email: gerd@doeben-henisch.de

SCOPE

In the uffmm review section the different papers and books are discussed from the point of view of the oksimo paradigm. [1] In the following text the author discusses chapter 7 of the book “Collective Intelligence. mankind’s emerging world in cyberspace” by Pierre Lévy (translated by Robert Bonono),1997 (French: 1994)[2]

CONTEXT

In a proceeding post the general idea of the book of Lévy has been discussed. The final impression was, that Lévy’s vision of collective intelligence embedded in the development of human culture shows a high agreement with the oksimo paradigm of the author of this text. Reading continuous with some more chapters of the book. It starts with chapter 7, the beginning of Part II of the book

Chapter 7: The Four Spaces

POSITION LÉVY

In this chapter Lévy is bringing back some ideas of chapter 1, pp.5-10, where he did a partitioning of the timeline of the development of life on earth according to some criteria. The main topics are ‘Earth’, ‘Territory’, ‘Commodity Space’, and ‘Knowledge Space’.

Earth

Beginning his selected timeline with the advent of humanity on earth Lévy describes in a short but highly dense text (cf. p.131f) his view of the interaction of humankind with the earth, which appears for him as an all embracing permanence, without origin, not a small ecological niche, but a ‘cosmos’ with stars, imagined gods, freely envisioned ancestors, continuously re-creating the experience of the earth with signs, languages, tales, rituals, and tools. The realness of the earth is mixed up with human emotions, dreams and fantasies and thereby allowing some transcendence being an inner dimension of the all embracing earth-humankind experience.

Territory

Whenever humanity appeared in the history of life on this planet, for the last 12.000 years Lévy sees for these times a phenomenon called ‘territory’.(cf. p.133) The unbounded experience of an unlimited ‘cosmos’ reverberating in every human individual becomes ‘structured’ by a more organized environment by ‘real things’ and ‘new forms of the social bond’. Here ‘civilization’ begins: “… rearing of animals, agriculture, the city and state, writing, the strict social division of labor, ..”(p.133) Although one can say that the territory “dominates, confines, encloses, describes, and measures it [the earth?]”(p.134), the unconfined earth has not disappeared, it always strikes back providing an ever continuing conflict.(cf. p.134) During this Neolithic period [3] the new reality reverberated not only to the individual, but “to the great social machine, to the state.”(p.134) In this time the majority of humanity “were peasants who inhabited the territory.”(p.135)

Commodity Space

After ‘earth’ and ‘territory’ as as form-factors of society and the reverberating mind Lévy sees then a next big modification in the cultural patterns of humanity which he circumscribes as ‘commodity space’ [4].(cf. pp.135-138) He characterizes this new mode by a statement like this: “… but a new world built from the incessant circulation of money in an ever tightening, ever quickening loop.”(p.135) And he continuous: “Crossing borders, upsetting territorial hierarchies, the dance of money brought in its wake an accelerated movement, a rising tide of objects, signs, and individuals.”(p.136) And Lévy sees a close relationship between this new commodity space and ‘capitalism’, which “draws everything in its orbit” (p.136) Associated with the wake of science, technology and the flux of signs everything is becoming changeable by reinterpretation, constructible by technology, and exchangeable by money. The old Neolithic territory is mixing up with these new forms of interactions and transactions making Capitalism with industry and commerce the “principal engines driving the evolution of human societies.”(p.137) For Lévy is capitalism the main factor: “… the great cybernetic machine of capital … seems invincible, inexhaustible. Capitalism is irreversible. It is economy and has made economy the permanent dimension of human existence.”(p.137)

Knowledge Space

In this chapter the imaginative power of Lévy’s language which encloses the reader all the time comes to an intensity wich is hardly to surpass. Between statements like “The knowledge space doesn’t exist” (p.138) and “The knowledge space has always existed” (p.139) he is practicing a kind of ‘conjuring up’ something, which is there and is not, not in the usual sense. For Lévy ‘knowledge’ is “not simply scientific knowledge” (p.139) and it “can’t be reduced to so-called rational discourse.” (p.139)

The knowledge conjured up here is something which “qualifies our species, Homo sapiens.”(p.139) It “is a knowledge-of-living, a living-in-knowledge, one that is coextensive with life. It is part of a cosmopolitan and borderless space of relations and qualities, a space for the metamorphosis of relationships and the emergence of ways of being, a space in which the processes of individual and collective subjectivization come together.” (p.139) This knowledge follows a “virtual emergence”. (p.139) But, as such, the knowledge space “is not a return to earth, but a return of the earth to itself, an overflight of the earth by itself at the speed of light, an uncontrolled cosmic diversification.”(p.141)

COMMENTS ON LÉVY

Here some comments on the position of Lévy.

Comments on ‘Earth’

Already in this short text of Lévy, in his mental reconstruction of a time which has passed long ago, one can ‘sense’ a basic dynamic structure which allows a permanent interaction of human actors, human populations with the real earth and with each other. But this richness of behavior, these varieties of effects are only indicators of a fascinating ‘inner structure’ of human actors, which does not appear as a ‘dead object’ but as some new kind of living: the impressions of the world are becoming ‘transformed’ in multiple ways individually but also by social entanglements. The symbolic spaces function as a medium, like a catalyst, allowing transformations in the mental-cognitive space, which are steering the public behavior and by resonance they feed back into this inner dynamics of a symbolically mediated world-mind. There is a continuing process of the real world interacting with a distributed mind world. And this distributedness of a real world by a minded world is not fixed to one individual human actor alone but is present in all the members of a group, a population by understanding, by talking, by acting. This distributed manifestation of a symbolic mind world enables a ‘new reality’, a ‘cognitively mediated real world’, a true ‘virtual world’ as the primary world in the inner dynamics of every human actor.

Comments on ‘Territory’

Lévy continues with his dense descriptions of the changing behaviors and social patterns manifested by humanity spreading over the surface of the earth. The growing number of members of groups, tribes which are using more and more the advantages of special territories, of special tools and procedures, of new formats of social bonds. But he does not dig into the ‘inner reality’ of individual and distributed minds, which function as the ‘soul’ of these new social machines, the new ‘states’. With the ‘change’ in the format of the environment perception, mwithemorizing, thinking inevitably is changing too. And the connecting language with their adapted meanings is mimicking these changes in many details. Thus the changes of the ‘outer environment’ are reverberating inside and inducing an inner cognitive-mental world, a ‘true virtual reality’, which functions as the ‘primary picture of the world’, a ‘distributed’ one. If some individual ‘fails’, if it ‘dies away’, the ‘distributed inner world’ will not change: it ‘preserves itself’ and ‘feeds back’ to all individuals of the society as the ‘given norm’. The real world is touching us as a ‘particular’ experience, but the ‘distributed inner world’ is a ‘network of associations’, an ‘informed whole picture’, giving ‘sense to each part by this inner connectedness’. The writing is an invaluable tool to support parts of this distributed inner world to be kept, be memorized.

As the environmental ‘properties and structures’ are being transformed into new social-cultural patterns and the distributed thinking is ‘absorbing’ these, then the ‘distributed inner pictures’ will ‘overwrite’ the world ‘behind the daily experiences’. Humankind in a city has no longer an idea of a world without a city. Collective intelligence generates its own ‘mental gravity’. Negatively this is a kind of a ‘locked-in syndrome’. If the ‘distributed mental models’ enable some more ‘deep-sighted’ or ‘far-sighted’ perspectives supporting ‘survival in the future’ then it can be ‘positive’, a ‘constructive locked-in syndrome’. But this variety of a ‘locked-in collective intelligence’ is constantly in danger to ‘believe more in itself’ than to the ‘world talking by partial experience’.

Comments on Commodity Space

The suggestive spirit of Lévy’s description of the commodity space is strong. Indeed, it looks like a hidden power which moves everything in new combinations, new orders, new interpretations, mostly associated with money and power. The installation of new forms of interactions and transactions crossing classical borders of territories like birds in the air appears to transcend the old world of territories. Values seem now to be able to live everywhere, owned by everybody, changing everything.

Comparing these cultural patterns to those of non-human biological species reveals that these new phenomena are indeed not ‘in the air’, they are rooted in the special capabilities of human persons and their new forms of cooperation by communication, enabling the spreading of new ideas rooted in the brains of individual bodies. Cutting the communication would disable ideas of being spread, would enclose ideas ‘in itself’, nothing would be possible.

Modern societies which systematically are suppressing public communication supporting only special opinions practicing a modified form of cutting communication and they show weak forms of disintegration of knowledge and cultural behavior.

Thus ‘capitalism’ and associated forms of ‘economy’ are not complete ‘autonomous phenomena’ but are presupposing certain kinds of communication mediating certain kinds of ideas which influence the behavior. And this ‘behavior of individuals’ is driven by different kinds of ideas, emotions, and desires. Those ideas which seem to ‘support’ capitalism and associated forms of economy are not ‘absolute’ ideas, not ‘inborn’ ideas; therefore these ideas can be changed, can be ‘improved’ and thereby they can — in principle — change behavior and thereby they can change the whole culture. And, besides this, the reality of the cosmos, of the planet earth and the biosphere, which is a ‘given’ reality, follows its own ‘independent logic’ and can lead to a ‘crash’ with a culture, which is ‘too far away’ from this empirical reality.

Comments on Knowledge Space

As stated above, Lévy’s language is impressive, dense, poetic. To some extend this is triggered by the kind of appearance how the knowledge space is given and not given. He stresses several times that the other mentioned anthropological spaces — Earth, Territory, and Commodities — are not vanishing; they are still there, stay in existence with all their real power, but the knowledge space is somehow different, somehow new, is nevertheless also there, ‘not unreal’, ‘virtual’, ‘in between’, subjective but at the same time ‘collective’.

As mentioned in preceding comments what is – in my understanding — missing in Lévy’s wonderful tale is the ‘anatomy of the virtual in realness’. As we know from an individual homo sapiens exemplar it has a ‘real body’, but inside this body there are ‘inner processes’ which as processes are still ‘real’, but these processes are constituting a complex network of inner states which are ‘mapping each other to each other’. Small parts of this ‘self-mapping’ are know as ‘consciousness’, and ‘self-consciousness’. Real structures (neurons, brain) are setting up relations which as such are again ‘mapped’ to other structures and thereby building up an ‘inner semantic space’ which allows the ‘re-imagination’ of signals from the ‘outer world’ which we assume as ‘real’ like our own body.

This inner semantic space of a single brain already commands ‘now’ and ‘past’, concrete versus abstract, associations, arrangements, playing with combinations, embedded always in emotions, feelings, drives. The ‘virtual’ compared to the assumed outer world is here ‘the real’, that, what is going on.

And already with the presence of the homo sapiens population with interactions there exists between homo sapiens exemplars a communication, enriched with symbolic languages, which makes every individual to a ‘part of a whole’, which is reverberating also in the inner spaces of everybody. This ‘being part of a whole’ being reflected in the individual inner spaces induces a ‘knowledge space’ right from the beginning which is (virtually) real but not real like the surrounding bodies; the knowledge space is part of oneself (part of the own ‘identity’), but it is not a real-real object but a real-virtual one.

With the emergence of new cultural technologies — writing, books, libraries, computers, computer networks, etc. — it is possible that a human population extends its symbolic space into a partially mechanized symbolic space with new kinds of ‘processes’ dealing with symbols. From the outside it can be (miss)understood as if the semantic space has been de-coupled from the individual members of the knowledge space and can be processed without the individual members. The vision of ‘intelligent machines’ is rising with wild fantasies that this kind of machines can overtake the role of humankind in the long run.

A simple closer look to the ‘anatomy of the virtual being real’ can show that the ‘power of a common language’ is completely rooted in the machinery of a brain in a body. All kinds of ‘meaning’ exist only in these ‘inner mappings’ of neurons onto neurons, where one part of the neurons delivers ‘signals of the outer body world and the own body’ and the other part of the neurons is processing these signals in complex dynamics structures representing somehow the implicit structures of the ‘primary signals’. Because these mapping-processes, this kind of ‘encoding’, is not deterministic but radically ‘adaptive’ in a non-deterministic way, it is completely impossible to substitute this multidimensional dynamic space of possible meanings by secondary processes bounded to symbols alone. What these so-called data-driven artificial machine-learning processes can ‘grasp’ as ‘meaning’ are only some ‘shadows of meaning’ implicitly causing some ‘orders’ in the set of symbols. But ‘some order’ is not ‘meaning’ in the original sense.

Thus a further development of the knowledge space rooted in the huge set of brains coupled by communication and reinforced by virtual echoes of the whole in the individual can only improve if the mechanization of the symbol space by machines keeps a close contact to the original meanings located in the individual brains. Such a ‘contact’ must be ‘real’, must be entangled with the human interactions in a way, which enables a new symbiosis of human mind and mechanized symbol spaces. The today man-machine interfaces are mainly wrong because their design is not guided by a true vision of the human rooted knowledge space but by simple machine metaphors which do not match with a truly knowledge space.

The wonderful picture of Lévy, given in the idea that the knowledge space “is not a return to earth, but a return of the earth to itself” is true in the light of the paradigm of the biosphere which by evolution has ‘brought into being’ biological structures of ‘internal self-mappings’ which allow a biological system, a ‘system of life’, to ‘think virtually’ about alternatives of the now, to think virtually about appearing ‘patterns of the real’, about ‘what it is what there is’ and much more. In this sense is humankind the maximum action of life itself onto life, onto earth, onto the whole universe. But, again, this new dimension of life, the true knowledge space, is not something ‘in the air’, it is a ‘radically real process’ which only can work if the ‘real conditions’ are satisfied. We have to do a ‘real job’ to become more ‘universal’.

OTHER COMMENTS

[1] Gerd Doeben-Henisch,The general idea of the oksimo paradigm: https://www.uffmm.org/2022/01/24/newsletter/, January 2022

[2] Pierre Lévy in wkp-en: https://en.wikipedia.org/wiki/Pierre_L%C3%A9vy

[3] Neolithic period in wkp-en: https://en.wikipedia.org/wiki/Neolithic

[4] Commodity in wkp-en: https://en.wikipedia.org/wiki/Commodity

Pierre Lévy : Collective Intelligence –Footnote: Knowledge Tree

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

SCOPE

In the uffmm review section the different papers and books are discussed from the point of view of the oksimo paradigm. [1] In this text the author has a small comment to a footnote in the introduction of the book “Collective Intelligence. mankind’s emerging world in cyberspace” by Pierre Lévy (translated by Robert Bonono),1997 (French: 1994)[2]

Footnote: Knowledge Tree and ‘A Blog, not a Book’

The starting page of the uffmm-Blog begins with some philosophical remarks titled ‘A Blog – Not Book’.

At the time of writing these remarks about the character of Blog-Writing the author did not yet know the wonderful book of Pierre Lévy about ‘Collective Intelligence’. Although the whole book can be related to the special idea of Blog-Writing, the author encountered during his reading of the book an interesting footnote no.5 in the introduction of the book.

Graphical interpretation of footnote 5 of the Introduction of the book of Lévy. The subject there is ‘Knowledge Tree’.

The basic idea sees a group of experts with different skills, resulting from different learning processes, which can be projected in real-time into a dynamic knowledge tree showing the individual profiles as well as the landscape of a whole group. This allows many interesting evaluations serving as a constant feedback to improve the individual skills.

Comments

[1] Gerd Doeben-Henisch,The general idea of the oksimo paradigm: https://www.uffmm.org/2022/01/24/newsletter/, January 2022

[2] Pierre Lévy in wkp-en: https://en.wikipedia.org/wiki/Pierre_L%C3%A9vy

Pierre Lévy : Collective Intelligence – Chapter 1 – Introduction

eJournal: uffmm.org, ISSN 2567-6458, 17.March 2022 – 22.March 2022, 8:40
Email: info@uffmm.org
Author: Gerd Doeben-Henisch
Email: gerd@doeben-henisch.de

SCOPE

In the uffmm review section the different papers and books are discussed from the point of view of the oksimo paradigm. [1] In the following text the author discusses some aspects of the book “Collective Intelligence. mankind’s emerging world in cyberspace” by Pierre Lévy (translated by Robert Bonono),1997 (French: 1994)[2]

PREVIEW

Before starting a more complete review here a notice in advance.

Only these days I started reading this book of Pierre Lévy after working more than 4 years intensively with the problem of an open knowledge space for everybody as genuine part of the cyberspace. I have approached the problem from several disciplines culminating in a new theory concept which has additionally a direct manifestation in a new kind of software too. While I am now are just testing version 2 of this software and having in parallel worked through several papers of the early, the middle, and the late Karl Popper [3], I detected this book of Lévy [*] and was completely impressed by the preface of this book. His view of mankind and cyberspace is intellectual deep and a real piece of art. I had the feeling that this text could be without compromise a direct preview of our software paradigm although I didn’t know about him before.

Looking to know more about him I detected some more interesting books but especially also his blog intlekt – metadata [4], where he develops his vision of a new language for a new ‘collective intelligence’ being practiced in the cyberspace. While his ideas about ‘collective intelligence’ associated with the ‘cyberspace’ are fascinating, it appears to me that his ideas about a new language are strongly embedded in ‘classical’ concepts of language, semiotics, and computer, concepts which — in my view — are not sufficient for a new language enabling collective intelligence.

Thus it can become an exciting reading with continuous reflections about the conditions about ‘collective intelligence’ and the ‘role of language’ within this.

Chapter 1: Introduction

Position lévy

The following description of the position of Lévy described in his 1st chapter is clearly an ‘interpretation’ from the ‘viewpoint’ of the writer at this time. This is more or less ‘inevitable’. [5]

A good starting point for the project of ‘understanding the book’ seems to be the historical outline which Lévy gives on the pages 5-10. Starting with the appearance of the homo sapiens he characterizes different periods of time with different cultural patterns triggered by the homo sapiens. In the last period, which is still lasting, knowledge takes radical new ‘forms’; one central feature is the appearance of the ‘cyberspace’.

Primarily the cyberspace is ‘machine-based’, some material structure, enhanced with a certain type of dynamics enabled by algorithms working in the machine. But as part of the cultural life of the homo sapiens the cyberspace is also a cultural reality increasingly interacting directly with individuals, groups, institutions, companies, industry, nature, and even more. And in this space enabled by interactions the homo sapiens does not only encounter with technical entities alone, but also with effects/ events/ artifacts produced by other homo sapiens companions.

Lévy calls this a “re-creation of the social bond based on reciprocal apprenticeship, shared skills, imagination, and collective intelligence.” (p.10) And he adds as a supplement that “collective intelligence is not a purely cognitive object.” (p.10)

Looking into the future Lévy assumes two main axes: “The renewal of the social bond through our relation to knowledge and collective intelligence itself.” (p.11)

Important seems to be that ‘knowledge’ is also not be confined to ‘facts alone’ but it ‘lives’ in the reziproke interactions of human actors and thereby knowledge is a dynamic process.(cf. p.11) Humans as part of such knowledge processes receive their ‘identities’ from this flow. (cf. p.12) One consequence from this is “… the other remains enigmatic, becomes a desirable being in every respect.”(p.12) With some further comment: “No one knows everything, everyone knows something, all knowledge resides in humanity. There is no transcendent store of knowledge and knowledge is simply the sum of what we know.”(p.13f)

‘Collective intelligence’ dwells nearby to dynamic knowledge: “The basis and goal of collective intelligence is the mutual recognition and enrichment of individuals rather than the cult of fetishized or hypostatized communities.”(p.13) Thus Lévy can state that collective intelligence “is born with culture and growth with it.”(p.16) And making it more concrete with a direct embedding in a community: “In an intelligent community the specific objective is to permanently negotiate the order of things, language, the role of the individual, the identification and definition of objects, the reinterpretation of memory. Nothing is fixed.”(p.17)

These different aspects are accumulating in the vision of “a new humanism that incorporates and enlarges the scope of self knowledge into a form of group knowledge and collective thought. … [the] process of collective intelligence [is] leading to the creation of a distinct sense of community.”(p.17)

One side effect of such a new humanism could be “new forms of democracy, better suited to the complexity of contemporary problems…”.(p.18)

First COMMENTS

At this point I will give only some few comments, waiting with more general and final thoughts until the end of the reading of the whole text.

Shortened Timeline – Wrong Picture

The timeline which Lévy is using is helpful, but this timeline is ‘incomplete’. What is missing is the whole time ‘before’ the advent of the homo sapiens within the biological evolution. And this ‘absence’ hides the understanding of one, if not ‘the’, most important concept of all life, including the homo sapiens and its cultural process.

This central concept is today called ‘sustainable development’. It points to a ‘dynamical structure’, which is capable of ‘adapting to an ever changing environment’. Life on the planet earth is only possible from the very beginning on account of this fundamental capability starting with the first cells and being kept strongly alive through all the 3.5 Billion years (10^9) in all the following fascinating developments.

This capability to be able to ‘adapt to an ever changing environment’ implies the ability to change the ‘working structure, the body’ in a way, that the structure can change to respond in new ways, if the environment changes. Such a change has two sides: (i) the real ‘production’ of the working structures of a living system, and (ii) the ‘knowledge’, which is necessary to ‘inform’ the processes of formation and keeping an organism ‘in action’. And these basic mechanisms have additionally (iii) to be ‘distributed in a whole population’, whose sheer number gives enough redundancy to compensate for ‘wrong proposals’.

Knowing this the appearance of the homo sapiens life form manifests a qualitative shift in the structure of the adaption so far: surely prepared by several Millions of years the body of the homo sapiens with an unusual brain enabled new forms of ‘understanding the world’ in close connection with new forms of ‘communication’ and ‘cooperation’. With the homo sapiens the brains became capable to talk — mediated by their body and the surrounding body world — with other brains hidden in other bodies in a way, which enabled the sharing of ‘meaning’ rooted in the body world as well in the own body. This capability created by communication a ‘network of distributed knowledge’ encoded in the shared meaning of individual meaning functions. As long as communication with a certain meaning function with the shared meanings ‘works’, as long does this distributed knowledge’ exist. If the shared meaning weakens or breaks down this distributed knowledge is ‘gone’.

Thus, a homo sapiens population has not to wait for another generation until new varieties of their body structures could show up and compete with the changing environment. A homo sapiens population has the capability to perceive the environment — and itself — in a way, that allows additionally new forms of ‘transformations of the perceptions’ in a way, that ‘cognitive varieties of perceived environments’ can be ‘internally produced’ and being ‘communicated’ and being used for ‘sequences of coordinated actions’ which can change the environment and the homo sapiens them self.

The cultural history then shows — as Lévy has outlined shortly on his pages 5-10 — that the homo sapiens population (distributed in many competing smaller sub-populations) ‘invented’ more and more ‘behavior pattern’, ‘social rules’ and a rich ‘diversity of tools’ to improve communication and to improve the representation and processing of knowledge, which in turn helped for even more complex ‘sequences of coordinated actions’.

Sustainability & Collective Intelligence

Although until today there are no commonly accepted definitions of ‘intelligence’ and of ‘knowledge’ available [6], it makes some sense to locate ‘knowledge’ and ‘intelligence’ in this ‘communication based space of mutual coordinated actions’. And this embedding implies to think about knowledge and intelligence as a property of a population, which ‘collectively’ is learning, is understanding, is planning, is modifying its environment as well as them self.

And having this distributed capability a population has all the basics to enable a ‘sustainable development’.

Therefore the capability for a sustainable development is an emergent capability based on the processes enabled by a distributed knowledge enabled by a collective intelligence.

Having sketched out this then all the wonderful statements of Lévy seem to be ‘true’ in that they describe a dynamic reality which is provided by biological life as such.

A truly Open Space with Real Boundaries

Looking from the outside onto this biological mystery of sustainable processes based on collective intelligence using distributed knowledge one can identify incredible spaces of possible continuations. In principle these spaces are ‘open spaces’.

Looking to the details of this machinery — because we are ‘part of it’ — we know by historical and everyday experience that these processes can fail every minute, even every second.

To ‘improve’ a given situation one needs (i) not only a criterion which enables a judgment about something to be classified as being ‘not good’ (e.g. the given situation), one needs further (ii) some ‘minimal vision’ of a ‘different situation’, which can be classified by a criterion as being ‘better’. And, finally, one needs (iii) a minimal ‘knowledge’ about possible ‘actions’ which can change the given situation in successive steps to transform it into the envisioned ‘new better situation’ functioning as a ‘goal’.

Looking around, looking back, everybody has surely experiences from everyday life that these three tasks are far from being trivial. To judge something to be ‘not good’ or ‘not good enough’ presupposes a minimum of ‘knowledge’ which should be sufficiently evenly be ‘distributed’ in the ‘brains of all participants’. Without a sufficient agreement no common judgment will be possible. At the time of this writing it seems that there is plenty of knowledge around, but it is not working as a coherent knowledge space accepted by all participants. Knowledge battles against knowledge. The same is effective for the tasks (ii) and (iii).

There are many reasons why it is no working. While especially the ‘big challenges’ are of ‘global nature’ and are following a certain time schedule there is not too much time available to ‘synchronize’ the necessary knowledge between all. Mankind has until now supportet predominantly the sheer amount of knowledge and ‘individual specialized solutions’, but did miss the challenge to develop at the same time new and better ‘common processes’ of ‘shared knowledge’. The invention of computer, networks of computer, and then the multi-faceted cyberspace is a great and important invention, but is not really helpful as long as the cyberspace has not become a ‘genuin human-like’ tool for ‘distributed human knowledge’ and ‘distributed collective human-machine intelligence’.

Truth

One of the most important challenges for all kinds of knowledge is the ability to enable a ‘knowledge inspired view’ of the environment — including the actor — which is ‘in agreement with the reality of the environment’; otherwise the actions will not be able to support life in the long run. [7] Such an ‘agreement’ is a challenge, especially if the ‘real processes’ are ‘complex’ , ‘distributed’ and are happening in ‘large time frames’. As all human societies today demonstrate, this fundamental ability to use ’empirically valid knowledge’ is partially well developed, but in many other cases it seems to be nearly not in existence. There is a strong — inborn ! — tendency of human persons to think that the ‘pictures in their heads’ represent ‘automatically’ such a knowledge what is in agreement with the real world. It isn’t. Thus ‘dreams’ are ruling the everyday world of societies. And the proportion of brains with such ‘dreams’ seems to grow. In a certain sense this is a kind of ‘illness’: invisible, but strongly effective and highly infectious. Science alone seems to be not a sufficient remedy, but it is a substantial condition for a remedy.

COMMENTS

[*] The decisive hint for this book came from Athene Sorokowsky, who is member of my research group.

[1] Gerd Doeben-Henisch,The general idea of the oksimo paradigm: https://www.uffmm.org/2022/01/24/newsletter/, January 2022

[2] Pierre Lévy in wkp-en: https://en.wikipedia.org/wiki/Pierre_L%C3%A9vy

[3] Karl Popper in wkp-en: https://en.wikipedia.org/wiki/Karl_Popper. One of the papers I have written commenting on Popper can be found HERE.

[4] Pierre Lévy, intlekt – metadata, see: https://intlekt.io/blog/

[5] Who wants to know, what Lévy ‘really’ has written has to go back to the text of Lévy directly. … then the reader will read the text of Lévy with ‘his own point of view’ … indeed, even then the reader will not know with certainty, whether he did really understand Lévy ‘right’. … reading a text is always a ‘dialogue’ .. .

[6] Not in Philosophie, not in the so-called ‘Humanities’, not in the Social Sciences, not in the Empirical Sciences, and not in Computer Science!

[7] The ‘long run’ can be very short if you misjudge in the traffic a situation, or a medical doctor makes a mistake or a nuclear reactor has the wrong sensors or ….

Continuation

See HERE.

POPPER and EMPIRICAL THEORY. A conceptual Experiment


eJournal: uffmm.org
ISSN 2567-6458, 12.March 22 – 16.March 2022, 11:20 h
Email: info@uffmm.org
Author: Gerd Doeben-Henisch
Email: gerd@doeben-henisch.de

BLOG-CONTEXT

This post is part of the Philosophy of Science theme which is part of the uffmm blog.

PREFACE

In a preceding post I have outline the concept of an empirical theory based on a text from Popper 1971. In his article Popper points to a minimal structure of what he is calling an empirical theory. A closer investigation of his texts reveals many questions which should be clarified for a more concrete application of his concept of an empirical theory.

In this post it will be attempted to elaborate the concept of an empirical theory more concretely from a theoretical point of view as well as from an application point of view.

A Minimal Concept of an Empirical Theory

The figure shows the process of (i) observing phenomena, (ii) representing these in expressions of some language L, (iii) elaborating conjectures as hypothetical relations between different observations, (iv) using an inference concept to deduce some forecasts, and (v) compare these forecasts with those observations, which are possible in an assumed situation.

Empirical Basis

As starting point as well as a reference for testing does Popper assume an ’empirical basis’. The question arises what this means.

In the texts examined so far from Popper this is not well described. Thus in this text some ‘assumptions/ hypotheses’ will be formulated to describe some framework which should be able to ‘explain’ what an empirical basis is and how it works.

Experts

Those, who usually are building theories, are scientists, are experts. For a general concept of an ’empirical theory’ it is assumed here that every citizen is a ‘natural expert’.

Environment

Natural experts are living in ‘natural environments’ as part of the planet earth, as part of the solar system, as part of the whole universe.

Language

Experts ‘cooperate’ by using some ‘common language’. Here the ‘English language’ is used; many hundreds of other languages are possible.

Shared Goal (Changes, Time, Measuring, Successive States)

For cooperation it is necessary to have a ‘shared goal’. A ‘goal’ is an ‘idea’ about a possible state in the ‘future’ which is ‘somehow different’ to the given actual situation. Such a future state can be approached by some ‘process’, a series of possible ‘states’, which usually are characterized by ‘changes’ manifested by ‘differences’ between successive states. The concept of a ‘process’, a ‘sequence of states’, implies some concept of ‘time’. And time needs a concept of ‘measuring time’. ‘Measuring’ means basically to ‘compare something to be measured’ (the target) with ‘some given standard’ (the measuring unit). Thus to measure the height of a body one can compare it with some object called a ‘meter’ and then one states that the target (the height of the body) is 1,8 times as large as the given standard (the meter object). In case of time it was during many thousand years customary to use the ‘cycles of the sun’ to define the concept (‘unit’) of a ‘day’ and a ‘night’. Based on this one could ‘count’ the days as one day, two days, etc. and one could introduce further units like a ‘week’ by defining ‘One week compares to seven days’, or ‘one month compares to 30 days’, etc. This reveals that one needs some more concepts like ‘counting’, and associated with this implicitly then the concept of a ‘number’ (like ‘1’, ‘2’, …, ’12’, …) . Later the measuring of time has been delegated to ‘time machines’ (called ‘clocks’) producing mechanically ‘time units’ and then one could be ‘more precise’. But having more than one clock generates the need for ‘synchronizing’ different clocks at different locations. This challenge continues until today. Having a time machine called ‘clock’ one can define a ‘state’ only by relating the state to an ‘agreed time window’ = (t1,t2), which allows the description of states in a successive timely order: the state in the time-window (t1,t2) is ‘before’ the time-window (t2,t3). Then one can try to describe the properties of a given natural environment correlated with a certain time-window, e.g. saying that the ‘observed’ height of a body in time-window w1 was 1.8 m, in a later time window w6 the height was still 1.8 m. In this case no changes could be observed. If one would have observed at w6 1.9 m, then a difference is occurring by comparing two successive states.

Example: A County

Here we will assume as an example for a natural environment a ‘county’ in Germany called ‘Main-Kinzig Kreis’ (‘Kreis’ = ‘county’), abbreviated ‘MKK’. We are interested in the ‘number of citizens’ which are living in this county during a certain time-window, here the year 2018 = (1.January 2018, 31.December 2018). According to the statistical office of the state of Hessen, to which the MKK county belongs, the number of citizens in the MKK during 2018 was ‘418.950’.(cf. [2])

Observing the Number of Citizens

One can ask in which sense the number ‘418.950’ can be understood as an ‘observation statement’? If we understand ‘observation’ as the everyday expression for ‘measuring’, then we are looking for a ‘procedure’ which allows us to ‘produce’ this number ‘418.950’ associated with the unit ‘number of citizens during a year’. As everybody can immediately realize no single person can simply observe all citizens of that county. To ‘count’ all citizens in the county one had to ‘travel’ to all places in the county where citizens are living and count every person. Such a travelling would need some time. This can easily need more than 40 years working 24 hours a day. Thus, this procedure would not work. A different approach could be to find citizens in every of the 24 cities in the MKK [1] to help in this counting-procedure. To manage this and enable some ‘quality’ for the counting, this could perhaps work. An interesting experiment. Here we ‘believe’ in the number of citizens delivered by the statistical office of the state of Hessen [2], but keeping some reservation for the question how ‘good’ this number really is. Thus our ‘observation statement’ would be: “In the year 2018 418.950 citizens have been counted in the MKK (according to the information of the statistical office of the state of Hessen)” This observation statement lacks a complete account of the procedure, how this counting really happened.

Concrete and Abstract Words

There are interesting details in this observation statement. In this observation statement we notice words like ‘citizen’ and ‘MKK’. To talk about ‘citizens’ is not a talk about some objects in the direct environment. What we can directly observe are concrete bodies which we have learned to ‘classify’ as ‘humans’, enriched for example with ‘properties’ like ‘man’, ‘woman’, ‘child’, ‘elderly person’, neighbor’ and the like. Bu to classify someone as a ‘citizen’ deserves knowledge about some official procedure of ‘registering as a citizen’ at a municipal administration recorded in some certified document. Thus the word ‘citizen’ has a ‘meaning’ which needs some ‘concrete procedure to get the needed information’. Thus ‘citizen’ is not a ‘simple word’ but a ‘more abstract word’ with regard to the associated meaning. The same holds for the word ‘MKK’ short for ‘Main-Kinzig Kreis’. At a first glance ‘MKK’ appears as a ‘name’ for some entity. But this entity cannot directly be observed too. One component of the ‘meaning’ of the name ‘MKK’ is a ‘real geographical region’, whose exact geographic extensions have been ‘measured’ by official institutions marked in an ‘official map’ of the state of Hessen. This region is associated with an official document of the state of Hessen telling, that this geographical region has to be understood s a ‘county’ with the name MKK. There exist more official documents defining what is meant with the word ‘county’. Thus the word ‘MKK’ has a rather complex meaning which to understand and to check, whether everything is ‘true’, isn’t easy. The author of this post is living in the MKK and he would not be able to tell all the details of the complete meaning of the name ‘MKK’.

First Lessons Learned

Thus one can learn from these first considerations, that we as citizens are living in a natural environment where we are using observation statements which are using words with potentially rather complex meanings, which to ‘check’ deserves some serious amount of clarification.

Conjectures – Hypotheses

Changes

The above text shows that ‘observations as such’ show nothing of interest. Different numbers of citizens in different years have no ‘message’. But as soon as one arranges the years in a ‘time line’ according to some ‘time model’ the scene is changing: if the numbers of two consecutive years are ‘different’ then this ‘difference in numbers’ can be interpreted as a ‘change’ in the environment, but only if one ‘assumes’ that the observed phenomena (the number of counted citizens) are associated with some real entities (the citizens) whose ‘quantity’ is ‘represented’ in these numbers.[5]

And again, the ‘difference between consecutive numbers’ in a time line cannot be observed or measured directly. It is a ‘second order property’ derived from given measurements in time. Such a 2nd order property presupposes a relationship between different observations: they ‘show up’ in the expressions (here numbers), but they are connected back in the light of the agreed ‘meaning’ to some ‘real entities’ with the property ‘overall quantity’ which can change in the ‘real setting’ of these real entities called ‘citizens’.

In the example of the MKK the statistical office of the state of Hessen computed a difference between two consecutive years which has been represented as a ‘growth factor’ of 0,4%. This means that the number of citizens in the year 2018 will increase until the year 2019 as follows: number-citizens(2019) = number-citizens(2018) + (number of citizens(2018) * growth-factor). This means number-citizens(2019) =418.950 + (418.950 * 0.004) = 418.950 + 1.675,8 = 420.625,8

Applying change repeatedly

If one could assume that the ‘growth rate’ would stay constant through the time then one could apply the growth rate again and again onto the actual number of citizens in the MKK every year. This would yield the following simple table:

YearNumberGrowth Rate
2018418.950,00,0040
2019420.625,80
2020422.308,30
2021423.997,54
2022425.693,53
2023427.396,30
Table: Simplified description of the increase of the number of citizens in the Main-Kinzig county in Germany with an assumed growth rate of 0,4% per year.

As we know from reality an assumption of a fixed growth rate for complex dynamic systems is not very probable.

Theory

Continuing the previous considerations one has to ask the question, how the layout of a ‘complete empirical theory’ would look like?

As I commented in the preceding post about Popper’s 1971 article about ‘objective knowledge’ there exists today no one single accepted framework for a formalized empirical theory. Therefore I will stay here with a ‘bottom-up’ approach using elements taken from everyday reasoning.

What we have until now is the following:

  1. Before the beginning of a theory building process one needs a group of experts being part of a natural environment using the same language which share a common goal which they want to enable.
  2. The assumed natural environment is assumed from the experts as being a ‘process’ of consecutive states in time. The ‘granularity’ of the process depends from the used ‘time model’.
  3. As a starting point they collect a set of statements talking about those aspects of a ‘selected state’ at some time t which they are interested in.
  4. This set of statements describes a set of ‘observable properties’ of the selected state which is understood as a ‘subset’ of the properties of the natural environment.
  5. Every statement is understood by the experts as being ‘true’ in the sense, that the ‘known meaning’ of a statement has an ‘observable counterpart’ in the situation, which can be ‘confirmed’ by each expert.
  6. For each pair of consecutive states it holds that the set of statements of each state can be ‘equal’ or ‘can show ‘differences’.
  7. A ‘difference’ between sets of statements can be interpreted as pointing to a ‘change in the real environment’.[5]
  8. Observed differences can be described by special statements called ‘change statements’ or simply ‘rules’.
  9. A change statement has the format ‘IF a set of statements ST* is a subset of the statements ST of a given state S, THEN with probability p, a set of statements ST+ will be added to the actual state S and a set of statements ST- will be removed from the statements ST of a given state S. This will result in a new succeeding state S* with the representing statements ST – (ST-) + (ST+) depending from the assumed probability p.
  10. The list of change statements is an ‘open set’ according to the assumption, that an actual state is only a ‘subset’ of the real environment.
  11. Until now we have an assumed state S, an assumed goal V, and an open set of change statements X.
  12. Applying change statements to a given state S will generate a new state S*. Thus the application of a subset X’ of the open set of change statements X onto a given state S will here be called ‘generating a new state by a procedure’. Such a state-generating-procedure can be understood as an ‘inference’ (like in logic) oder as a ‘simulation’ (like in engineering).[6]
  13. To write this in a more condensed format we can introduce some signs —– S,V ⊩ ∑ X S‘ —– saying: If I have some state S and a goal V then the simulator will according to the change statements X generate a new state S’. In such a setting the newly generated state S’ can be understood as a ‘theorem’ which has been derived from the set of statements in the state S which are assumed to be ‘true’. And because the derived new state is assumed to happen in some ‘future’ ‘after’ the ‘actual state S’ this derived state can also be understood as a ‘forecast’.
  14. Because the experts can change all the time all parts ‘at will’ such a ‘natural empirical theory’ is an ‘open entity’ living in an ongoing ‘communication process’.
Second Lessons Learned

It is interestingly to know that from the set of statements in state S, which are assumed to be empirically true, together with some change statements X, whose proposed changes are also assumed to be ‘true’, and which have some probability P in the domain [0,1], one can forecast a set of statements in the state S* which shall be true, with a certainty being dependent from the preceding probability P and the overall uncertainty of the whole natural environment.

Confirmation – Non-Confirmation

A Theory with Forecasts

Having reached the formulation of an ordinary empirical theory T with the ingredients <S,V,X,⊩ > and the derivation concept S,V ⊩ ∑ X S‘ it is possible to generate theorems as forecasts. A forecast here is not a single statement st* but a whole state S* consisting of a finite set of statements ST* which ‘designate’ according to the ‘agreed meaning’ a set of ‘intended properties’ which need a set of ‘occurring empirical properties’ which can be observed by the experts. These observations are usually associated with ‘agreed procedures of measurement’, which generate as results ‘observation statements’/ ‘measurement statements’.

Within Time

Experts which are cooperating by ‘building’ an ordinary empirical theory are themselves part of a process in time. Thus making observations in the time-window (t1,t2) they have a state S describing some aspects of the world at ‘that time’ (t1,t2). When they then derive a forecast S* with their theory this forecast describes — with some probability P — a ‘possible state of the natural environment’ which is assumed to happen in the ‘future’. The precision of the predicted time when the forecasted statements in S* should happen depends from the assumptions in S.

To ‘check’ the ‘validity’ of such a forecast it is necessary that the overall natural process reaches a ‘point in time’ — or a time window — indicated by the used ‘time model’, where the ‘actual point in time’ is measured by an agreed time machine (mechanical clock). Because there is no observable time without a time machine the classification of a certain situation S* being ‘now’ at the predicted point of time depends completely from the used time machine.[7]

Given this the following can happen: According to the used theory a certain set of statements ST* is predicted to be ‘true’ — with some probability — either ‘at some time in the future’ or in the time-window (t1,t2) or at a certain point in time t*.

Validating Forecasts

If one of these cases would ‘happen’ then the experts would have the statements ST* of their forecast and a real situation in their natural environment which enables observations ‘Obs’ which are ‘translated’ into appropriate ‘observation statements’ STObs. The experts with their predicted statements ST* know a learned agreed meaning M* of their predicted statements ST* as intended-properties M* of ST*. The experts have also learned how they relate the intended meaning M* to the meaning MObs from the observation statements STobs. If the observed meaning MObs ‘agrees sufficiently well’ with the intended meaning M* then the experts would agree in a statement, that the intended meaning M* is ‘fulfilled’/ ‘satisfied’/ ‘confirmed’ by the observed meaning MObs. If not then it would stated that it is ‘not fulfilled’/ ‘not satisfied’/ ‘not confirmed’.

The ‘sufficient fulfillment’ of the intended meaning M* of a set of statements ST* is usually translated in a statement like “The statements ST* are ‘true'”. In the case of ‘no fulfillment’ it is unclear: this can be interpreted as ‘being false’ or as ‘being unclear’: No clear case of ‘being true’ and no clear case of ‘being false’.

Forecasting the Number of Citizens

In the used simple example we have the MKK county with an observed number of citizens in 2018 with 418950. The simple theory used a change statement with a growth factor of 0.4% per year. This resulted in the forecast with the number 420.625 citizens for the year 2019.

If the newly counting of the number of citizens in the years 2019 would yield 420.625, then there would be a perfect match, which could be interpreted as a ‘confirmation’ saying that the forecasted statement and the observed statement are ‘equal’ and therefore the theory seems to match the natural environment through the time. One could even say that the theory is ‘true for the observed time’. Nothing would follow from this for the unknown future. Thus the ‘truth’ of the theory is not an ‘absolute’ truth but a truth ‘within defined limits’.

We know from experience that in the case of forecasting numbers of citizens for some region — here a county — it is usually not so clear as it has been shown in this example.

This begins with the process of counting. Because it is very expensive to count the citizens of all cities of a county this happens only about every 20 years. In between the statistical office is applying the method of ‘forecasting projection’.[9] The state statistical office collects every year ‘electronically’ the numbers of ‘birth’, ‘death’, ‘outflow’, and ‘inflow’ from the individual cities and modifies with these numbers the last real census. In the case of the state of Hessen this was the year 2011. The next census in Germany will happen May 2022.[10] For such a census the data will be collected directly from the registration offices from the cities supported by a control survey of 10% of the population.

Because there are data from the statistical office of the state of Hessen for June 2021 [8:p.9] with saying that the MKK county had 421 936 citizens at 30. June 2021 we can compare this number with the theory forecast for the year 2021 with 423 997. This shows a difference in the numbers. The theory forecast is ‘higher’ than the observed forecast. What does this mean?

Purely arithmetically the forecast is ‘wrong’. The responsible growth factor is too large. If one would ‘adjust’ it in a simplified linear way to ‘0.24%’ then the theory could get a forecast for 2021 with 421 973 (observed: 421 936), but then the forecast for 2019 would be 419 955 (instead of 420 625).

This shows at least the following aspects:

  1. The empirical observations as such can vary ‘a little bit’. One had to clarify which degree of ‘variance’ is due to the method of measurement and therefore this variance should be taken into account for the evaluation of a theoretical forecast.
  2. As mentioned by the statistical office [9] there are four ‘factors’ which influence the final number of citizens in a region: ‘birth’, ‘death’, ‘outflow’, and ‘inflow’. These factors can change in time. Under ‘normal conditions’ the birth-rate and the death-rate are rather ‘stable’, but in case of an epidemic situation or even war this can change a lot. Outflow and inflow are very dynamic depending from many factors. Thus this can influence the growth factor a lot and these factors are difficult to forecast.
Third lessons Learned

Evaluating the ‘relatedness’ of some forecast F of an empirical theory T to the observations O in a given real natural environment is not a ‘clear-cut’ case. The ‘precision’ of such a relatedness depends from many factors where each of these factors has some ‘fuzziness’. Nevertheless as experience shows it can work in a limited way. And, this ‘limited way’ is the maximum we can get. The most helpful contribution of an ‘ordinary empirical theory’ seems to be the forecast of ‘What will happen if we have a certain set of assumptions’. Using such a forecast in the process of the experts this can help to improve to get some ‘informed guesses’ for planning.

Forecast

The next post will show, how this concept of an ordinary empirical theory can be used by applying the oksimo paradigm to a concrete case. See HERE.

Comments

[1] Cities of the MKK-county: 24, see: https://www.wegweiser-kommune.de/kommunen/main-kinzig-kreis-lk

[2] Forecast for development of the number of citizens in the MMK starting with 2018, See: the https://statistik.hessen.de/zahlen-fakten/bevoelkerung-gebiet-haushalte-familien/bevoelkerung/tabellen

[3] Karl Popper, „A World of Propensities“,(1988) and „Towards an Evolutionary Theory of Knowledge“, (1989) in: Karl Popper, „A World of Propensities“, Thoemmes Press, Bristol, (1990, repr. 1995)

[4] Karl Popper, „All Life is Problem Solving“, original a lecture 1991 in German, the first tome published (in German) „Alles Leben ist Problemlösen“ (1994), then in the book „All Life is Problem Solving“, 1999, Routledge, Taylor & Francis Group, London – New York

[5] This points to the concept of ‘propensity’ which the late Popper has discussed in the papers [3] and [4].

[6] This concept of a ‘generator’ or an ‘inference’ reminds to the general concept of Popper and the main stream philosophy of a logical derivation concept where a ‘set of logical rules’ defines a ‘derivation concept’ which allows the ‘derivation/ inference’ of a statement s* as a ‘theorem’ from an assumed set of statements S assumed to be true.

[7] The clock-based time is in the real world correlated with certain constellations of the real universe, but this — as a whole — is ‘changing’!

[8] Hessisches Statistisches Landesamt, “Die Bevölkerung der hessischen
Gemeinden am 30. Juni 2021. Fortschreibungsergebnisse Basis Zensus 09. Mai 2011″, Okt. 2021, Wiesbaden, URL: https://statistik.hessen.de/sites/statistik.hessen.de/files/AI2_AII_AIII_AV_21-1hj.pdf

[9] Method of the forward projection of the statistical office of the State of Hessen: “Bevölkerung: Die Bevölkerungszahlen sind Fortschreibungsergebnisse, die auf den bei der Zensuszählung 2011
ermittelten Bevölkerungszahlen basieren. Durch Auswertung von elektronisch übermittelten Daten für Geburten und Sterbefälle durch die Standesämter, sowie der Zu- und Fortzüge der Meldebehörden, werden diese nach einer bundeseinheitlichen Fortschreibungsmethode festgestellt. Die Zuordnung der Personen zur Bevölkerung einer Gemeinde erfolgt nach dem Hauptwohnungsprinzip (Bevölkerung am Ort der alleinigen oder der Hauptwohnung).”([8:p.2]

[10] Statistical Office state of Hessen, Next census 2022: https://statistik.hessen.de/zahlen-fakten/zensus/zensus-2022/zensus-2022-kurz-erklaert

POPPER – Objective Knowledge (1971). Summary, Comments, how to develope further


eJournal: uffmm.org
ISSN 2567-6458, 07.March 22 – 12.March 2022, 10:55h
Email: info@uffmm.org
Author: Gerd Doeben-Henisch
Email: gerd@doeben-henisch.de

BLOG-CONTEXT

This post is part of the Philosophy of Science theme which is part of the uffmm blog.

PREFACE

In this post a short summary of Poppers view of an empirical theory is outlined as he describes it in his article “Conjectural Knowledge: My Solution of the Problem of Induction” from 1971.[1] The view of Popper will be commented and the relationsship to the oksimo paradigm of the author will be outlined.

Empirical Theory according to Popper in a Nutshell

Figure: Popper’s concept from 1971 of an empirical theory, compressed in a nutshell. Graphic by Gerd Doeben-Henisch based on the article using Popper’s summarizing ideas on the pages 29-31

POPPER’S POSITION 1971

In this article from 1971 Popper discusses several positions. Finally he offers the following ‘demarcation’ between only two cases: ‘Pseudo Science’ and ‘Empirical Science’.(See p.29) In doing so this triggers the question how it is possible to declare something as an ‘objective empirical theory’ without claiming to have some ‘absolute truth’?

Although Popper denies to have some kind of absolute truth he will “not give up the search for truth”, which finally leads to a “true explanatory theory”.(cf. p.29) “Truth” plays the “role of a regulative idea”.(cf. p.30) Thus according to Popper one can “guess for truth” and some of the hypotheses “may well be true”.(cf.p.30)

In Popper’s view finally ‘observation’ shows up as that behaviour which enables the production of ‘statements’ as the ’empirical basis’ for all arguments.(cf.p.30) Empirical statements are a ‘function of the used language’.(cf. p.31)

This dimension of language leads Popper to the concept of ‘deductive logic’ which describes formal mechanisms to derive from a set of statements — which are assumed to be true — those statements, which are ‘true’ by logical deduction only. If statements are ‘logically false’ then this can be used to classify the set of assumed statements as ‘logically not consistent’. (cf. p.31)

comments on popper’s 1971-position 50 years later

The preceding outline of Popper’s position reveals a minimalist account of the ingredients of an ‘objective empirical theory’. But we as the readers of these ideas are living 50 years later. Our minds are shaped differently. The author of this text thinks that Popper is basically ‘true’, although there are some points in Popper’s argument, which deserve some comments.

Subjective – Absolute

Popper is moving between two boundaries: One boundary is the so called ‘subjective believe’ which can support any idea, and which thereby can include pure nonsense; the other boundary is ‘absolute truth’, which is requiring to hold all the time at all places although the ‘known world’ is evidently showing a steady change.

Empirical Basis

In searching for a possible position between these boundaries, which would allow a minimum of ‘rationality’, he is looking for an ’empirical Basis’ as a point of reference for a ‘rational theory’. He is locating such an empirical basis in ‘observation statements’ which can be used for ‘testing a theory’.

In his view a ‘rational empirical theory’ has to have a ‘set of statements’ (often called ‘assumptions’ of the theory or ‘axioms’) which are assumed to ‘describe the observable world’ in a way that these statements should be able to be ‘confirmed’ or be ‘falsified’.

Confirmation – Falsification

A ‘confirmation’ does not imply that the confirmed statement is ‘absolutely true’ (his basic conviction); but one can experience that a confirmed statement can function as a ‘hypothesis/ conjecture’ which ‘workes in the actual observation’. This does not exclude that it perhaps will not work in a future test. The pragmatical difference between ‘interesting conjectures’ and those which are of less interest is that a ‘repeated confirmation’ increases the ‘probability’, that such a confirmation can happen again. An ‘increasing probability’ can induce an ‘increased expectation’. Nevertheless, increased probabilities and associated increased expectations are no substitutes for ‘truth’.

A test which shows ‘no confirmation’ for a logically derived statement from the theory is difficult to interpret:

Case (i): A theory is claiming that a statement S refers to a proposition A to be ‘true in a certain experiment’, but in the real experiment the observation reveals a proposition B which translates to non-A which can interpreted as ‘the opposite to A is being the case’ (= being ‘true’). This outcome will be interpreted in the way that the proposition B interpreted as ‘non-A’ contradicts ‘A’ and this will be interpreted further in the way, that the statement S of the theory represents a partial contradiction to the observable world.

Case (ii): A theory is claiming that a statement S refers to a proposition A to be ‘true in a certain experiment’, but in the real experiment the observation reveals a proposition B ‘being the case’ (= being ‘true’) which shows a different proposition. And this outcome cannot be related to the proposition ‘A’ which is forecasted by the theory. If the statement ‘can not be interpreted sufficiently well’ then the situation is neither ‘true’ nor ‘false’; it is ‘undefined’.

Discussion: Case (ii) reveals that there exist an observable (empirical) fact which is not related to a certain ‘logically derived’ statement with proposition A. There can be many circumstances why the observation did not generate the ‘expected proposition A’. If one would assume that the observation is related to an ‘agreed process of generating an outcome M’, which can be ‘repeated at will’ from ‘everybody’, then the observed fact of a ‘proposition B distinguished from proposition A’ could be interpreted in the way, that the expectation of the theory cannot be reproduced with the agreed procedure M. This lets the question open, whether there could eventually exist another procedure M’ producing an outcome ‘A’. This case is for the actors which are running the procedure M with regard to the logically derived statement S talking about proposition A ‘unclear’, ‘not defined’, a ‘non-confirmation’. Otherwise it is at the same time no confirmation either.

Discussion: Case (i) seems — at a first glance — to be more ‘clear’ in its interpretation. Assuming here too that the observation is associated with an agreed procedure M producing the proposition B which can be interpreted as non-A (B = non-A). If everybody accepts this ‘classification’ of B as ‘non-A’, then by ‘purely logical reasons’ (depending from the assumed concept of logic !) ‘non-A’ contradicts ‘A’. But in the ‘real world’ with ‘real observations’ things are usually not as ‘clear-cut’ as a theory may assume. The observable outcome B of an agreed procedure M can show a broad spectrum of ‘similarities’ with proposition A varying between 100% and less. Even if one repeats the agreed procedure M several times it can show a ‘sequence of propositions <B1, B2, …, Bn>’ which all are not exactly 100% similar to proposition A. To speak in such a case (the normal case!), of a logical contradiction it is difficult if not impossible. The idea of Popper-1971 with a possible ‘falsification’ of a theory would then become difficult to interpret. A possible remedy for this situation could be to modify a theory in the way that a theory does forecast only statements with a proposition A which is represented as a ‘field of possible instances A = <a1, a2, …, am>’, where every ‘ai‘ represents some kind of a variation. In that modified case it would be ‘more probable’ to judge a non-confirmation between A as <a1, a2, …, am> and B as <B1, B2, …, Bn>, if one would take into account the ‘variability’ of a proposition.[3]

Having discussed the case of ‘non-confirmation’ in the described modified way this leads back again to the case of ‘confirmation’: The ‘fuzziness’ of observable facts even in the context of agreed procedures M of observation, which are repeatable by everyone (usually called measurement) requires for a broader concept of ‘similarity’ between ‘derived propositions’ and ‘observed propositions’. This is since long a hot debated point in the philosophy of science (see e.g. [4]). Until now does no general accepted solution exist for this problem.

Thus the clear idea of Popper to associate a theory candidate with a minimum of rationality by relating the theory in an agreed way to empirical observations becomes in the ‘dust of reality’ a difficult case. It is interesting that the ‘late Popper’ (1988-1991) has modified his view onto this subject a little bit more into the direction of the interpretation of observable events (cf. [5])

Logic as an Organon

In the discussion of the possible confirmation or falsification of a theory Popper uses two different perspectives: (i) in a more broader sense he is talking about the ‘process of justification’ of the theoretical statements with regard to an empirical basis relying on the ‘regulative idea of truth’, and (ii) in a more specialized sense he is talking about ‘deductive logic as an organon of criticism’. These two perspectives demand for more clarification.

While the meaning of the concept ‘theory’ is rather vague (statements, which have to be confirmed or falsified with respect to observational statements), the concept ‘deductive logic as an organon’ isn’t really clearer.

Until today we have two big paradigms of logic: (i) the ‘classical logic’ inspired by Aristotle (with many variants) and (ii) ‘modern formal logic’ (cf. [6]) in combination with modern mathematics (cf. [7],[8]). Both paradigms represent a whole universe of different variants, whose combinations into concrete formal empirical theories shows more than one paradigm.(cf. [4], [8], [10])

As outlined in the figure above the principal idea of logic in general follows the following schema: one has a set of expressions of some language L for which one assumes at least, that these expressions are classified as ‘true expressions’. According to an agreed procedure of ‘derivation’ one can derive (deduce, infer, …) other expressions of the language which are assumed to be classified as ‘true’ if the assumptions hold.[11]

The important point here is, that the modern concept of logic does not explain, what ‘true’ means nor exists there an explanation, how exactly a procedure looks like which enables the classification of an expression as ‘being true’. Logic works with the minimalist assumption that the ‘user of logic’ is using statements which he assumes to be ‘true’ independent of how this classification came into being. This frees the user of logic to deal with the cumbersome process of clarifying the meaning and the existence of something which makes a statement ‘true’, but on the other side the user of modern logic has no real control whether his ‘concept of derivation’ makes any sense in a real world, from which observation statements are generated claiming to be ’empirically true’, and that the relationships between these observational statements are appropriately ‘represented’ by the formal derivation concept. Until today there exists no ‘meta-theory’ which explains the relationship between the derivation concept of formal logic (there are many such concepts!) and the ‘dynamics of real events’.

Thus, if Popper mentions formal logic as a tool for the handling of assumed true statements of a theory, it is not really clear whether such a formal logical derivation really is appropriate to explain the ‘relationships between assumed true statements’ without knowing, which kind of reality is ‘designated’/ ‘referred to’ by such statements and their relationships between each other.

(Formalized) Theory and Logic

In his paper Popper does not explain too much what he is concretely mean with a (formalized) theory. Today there exist many different proposals of formalized theories for the usage as ’empirical theories’, but there is no commonly agreed final ‘template’ of a ‘formal empirical theory’.

Nevertheless we need some minimal conception to be able to discuss some of the properties of a theory more concretely. I will address this problem in another post accompanied with concrete applications.

COMMENTS

[1] Karl R.Popper, Conjectural Knowledge: My Solution of the Problem of Induction, in: [2], pp.1-31

[2] Karl R.Popper, Objective Knowledge. An Evolutionary Approach, Oxford University Press, London, 1972 (reprint with corrections 1973)

[3] In our everyday use of our ‘normal’ language it is the ‘normal’ case that a statement S like ‘There s a cup on the table’ can be interpreted in many different ways depending which concrete thing (= proposition B of the above examples) called a ‘cup’ or called ‘table’ can be observed.

[4] F. Suppe, Ed., The Structure of Scientific Theories, University of
Illinois Press, Urbana, 2nd edition, 1979.

[5] Gerd Doeben-Henisch, 2022,(SPÄTER) POPPER – WISSENSCHAFT – PHILOSOPHIE – OKSIMO-DISKURSRAUM, in: eJournal: Philosophie Jetzt – Menschenbild, ISSN 2365-5062, 22.-23.Februar 2022,
URL: https://www.cognitiveagent.org/2022/02/22/popper-wissenschaft-philosophie-oksimo-paradigma/

[6] William Kneale and Martha Kneale, The development of logic, Oxford University Press, Oxford, 1962 with several corrections and reprints 1986.

[7] Jean Dieudonnè, Geschichte der Mathematik 1700-1900, Friedrich Viehweg & Sohn, Braunschweig – Wiesbaden, 1985 (From the French edition “Abrégé d’histoire des mathématique 1700-1900, Hermann, Paris, 1978)

[8] Philip J.Davis & Reuben Hersh, The Mathematical Experience, Houghton Mifflin Company, Boston, 1981

[9] Nicolas Bourbaki, Elements of Mathematics. Theory of Sets, Springer-Verlag, Berlin, 1968

[10] Wolfgang Balzer, C.Ulises Moulines, Joseph D.Sneed, An Architectonic for Science. The Structuralist Program,D.Reidel Publ. Company, Dordrecht -Boston – Lancaster – Tokyo, 1987

[11] The usage of the terms ‘expression’, ‘proposition’, and ‘statement’ is in this text as follows: An ‘expression‘ is a string of signs from some alphabet A and which is accepted as ‘well formed expression’ of some language L. A ‘statement‘ is an utterance of some actor using expressions of the language L to talk ‘about’ some ‘experience’ — from the world of bodies or from his consciousness –, which is understood as the ‘meaning‘ of the statement. The relationship between the expressions of the statement and the meaning is located ‘in the actor’ and has been ‘learned’ by interactions with the world and himself. This hypothetical relationship is here called ‘meaning function  φ’. A ‘proposition‘ is (i) the inner construct of the meaning of a statement (here called ‘intended proposition’) and (ii) that part of the experience, which is correlated with the inner construct of the stated meaning (here called ‘occurring proposition’). The special relationship between the intended proposition and the occurring proposition is often expressed as ‘referring to’ or ‘designate’. A statement is called to ‘hold’/ to be ‘true’ or ‘being the case’ if there exists an occurring proposition which is ‘similar enough’ to the intended proposition of the statement. If such an occurring proposition is lacking then the designation of the statement is ‘undefined’ or ‘non confirming’ the expectation.

Follow-up Post

For a follow-up post see here.

NEWSLETTER

eJournal: uffmm.org
ISSN 2567-6458, 24. January 2022
Email: info@uffmm.org
Author: Gerd Doeben-Henisch
Email: gerd@doeben-henisch.de

CONTEXT

This post is part of the uffmm science blog.

INTENTION

This is the place for short summaries of topics about which  the author is writing in his German blogs (cognitiveagent.org (Philosophy, Science ), oksimo.org (a new paradigm how people can together turn everything in a simulation by only using their everyday language))

NEWSLETTER January 24, 2022

Software-Paradigm

Since the beginning of the development of the oksimo software I was urged to distinguish between the oksimo software and the oksimo paradigm. The oksimo software is some software which appears to the user as an interface by a web browser, able to do some work, and the oksimo paradigm stands for the whole ‘action space’ which is possible for   human actors using the oksimo software. We know from daily practice that the  ‘software’ — until now in use — is important and big; the software is somehow the ‘store of knowledge’ coded in some language. In the context of the oksimo paradigm the software is ‘small’ and ‘unimportant’. The only contribution of the software is to support human actors to talk about the world in their everyday language in a way, that these talks will automatically be turned into simulations as well as full fledged theories. That’s it. The computer as such does not understand anything. This is a new kind of ‘collective man:machine intelligence’.

Concrete Simulations

Because the main experience while communicating the ideas of this new software paradigm is, that people do not understanding this new paradigm — especially the computer science guys have problems, locked by their ‘usual understanding’ of computers — we stopped ‘advertising’ and focus on first practical examples. This year we spent time to set up a real simulation of a  real county in Germany named ‘Main-Kinzig-Kreis (MKK)’ (Perhaps the same will be done in South-Africa with  the Gauteng Province and there mostly from the Tshwane District.)

Clearly these models will to the end of the year 2022 only cover some main aspects of the county including the related towns and cities, but it will be a real model and can be further developed in the upcoming years.

Because these models are completely WWW-conform and reachable by the ‘ordinary World Wide Web’, everybody can read the results, can try the simulation mode on its own, and can add his own version as an HTML-page.  One can also unify different models  by ‘only pressing a button’. The main intention is, that distributed people can work together as ‘a group’ to share their ideas, visions, experiences.

Software Roadmap

Although we had in the beginning a kind of a Roadmap, what we wanted to have  finished at some time, things went differently: because this whole paradigm is radically new we had in the beginning a basic idea, but not a complete understanding of everything. And thus it happened that we step wise    learned better what it really is. It became more ‘simpler’ and at the same time ‘more powerful’. From a theoretical point of view it looks now as if it can do nearly everything which humans want from a ‘software for a sustainable future’.

A nice point just now was the understanding how we can use radically everyday language and at the same time all of mathematics. If one understands what mathematics is, how it works in our thinking, than it became very simple.

Meta-Thinking

This whole oksimo (reloaded) software project became only possible because there was during many years a truly multi-disciplinary thinking alive relating different disciplines in a truly trans-disciplinary (= meta-theoretical = philosophical) fashion. What we observe today is a steady growth of always more ‘special disciplines’ but a pondering lack of ‘integration’, of meta-thinking. Nowhere we have really working trans-disciplinary programs, there exist not even ideas/ concepts, how to do it.

Sustainability

The united nations series of conferences starting in 1992 until 2015 brought to the front that the course of life on the planet earth is facing more and more a crisis, because the human race has meanwhile occupied 3/4 of the usable areas of the planet and has changed the whole bio-systems and many important resources. The climate change as such is not a problem, but because the human population — and a working biosphere — is highly sensitive to climate change, it is a growing experience of humans that the conditions of the planet are becoming ‘pressing’. Because these problems are working on a global scale they cannot be solve by single nations alone. The time of ‘nations’ seems to be ‘out’. Either we are ‘one mankind’ or we will lose.

To understand ‘sustainability’ one has to look to the biological evolution with the eyes of many disciplines. Besides biology (with many additional disciplines) it seems to me that   ecology is highly important, theoretical ecology!

As part of the biosphere we humans as biological systems have introduced culture,  technology and society  in the game of life. As part of technology we have also introduced machines called ‘computer’ embedded in networks of ‘everything’. All this can be very valuable tools to master the different kinds of future including the whole biosphere. But this can only happen if the human race learns a bit more what it means to live in a truly sustainable fashion. This begins in the kind of ‘thinking and sharing ideas’. We are — it seems to me — far from such a ‘sustainable thinking’.  The minds are very ‘closed boxes’.

Spirituality

In this uffmm blog I did never write about spirituality, also not in the oksimo.org blog, but I have written several posts in may philosophy blog (about 20 – 30, or even more), and elsewhere.

Most people associate the wording ‘spirituality’ with strange, esoteric things, with religions. This reflects the course of history where different kinds of religions and partially strange movements used this term as ‘their’ term.  But this must not be so, not necessarily.

Spirituality is a genuine property of all biological life which in turn is an ‘outcome’ of the whole universe.  The ‘spiritual’ is not owned by special persons, it belongs to every human person  as a part of it. If one understands ‘life’ in it’s full reality, it is ‘the’ most important event in the whole universe. To understand this one must use everything we know today by the empirical sciences, but clearly more, because the empirical sciences are still lacking a true meta-science. The ‘old philosophy’ has not ‘grown’ ‘with’ the sciences; both are still ‘highly separated’ ….

 

 

SUSTAINABLE DEVELOPMENT – The Flying Ideas Initiative

eJournal: uffmm.org
ISSN 2567-6458, 1.Dec. 2021
Email: info@uffmm.org
Author: Gerd Doeben-Henisch
Email: gerd@doeben-henisch.de

CONTEXT

This post is part of the uffmm science blog and will introduce in the new possibility to use the oksimo software for theory development  and theory testing using only everyday language. More options are possible.

PREFACE

Sustainable Development is the thew ‘sound’ which plays through the air since 1987, when the Brundland Report [1] has been published. 1992 and many more times after 1987 The United Nations organized global conferences to deepen the idea, make it more public, make its scope broader, trying to influence the minds of the people.

But, as we can see everyday, the different countries, the different nations, regions and cities have still problems to enable societies which are thinking and living these ideas, these visions, in a way, which integrates alle people into one big ‘symphony’ of ideas and applications inspired by this: sustainable development.

At the heart of every change contributed by humans there have to be the ‘right ideas’ shedding light on the ‘right things to do’. But such ideas do not emerge ‘out of nothing’.  There must exist people around the globe which are actively ‘searching’ for the glimpses of a better world, which are actively ‘communicating’ with others, to compose the right ‘melodies’ in their heads, the right ‘tunes of tomorrow’, to enable ‘pieces of tomorrow’, to built up the ‘new earth’ as that ‘blue planet’ which makes the difference in our universe.

Ideally people would met each other at some place, arranging a social encounter, talking, laughing, eating and drinking, communicating directly, sharing ideas and visions, finding some possible grasps in the everyday world, and they would start acting.

But in real cities — and today hampered additionally by a pandemia distancing people to meet to intensively — it isn’t so easy: Who is who? Where are the right people?  Will they have some time ‘at the same time’? Can they come across many buildings, streets and blocks? Which places, rooms are appropriate to meet? How many can come? What is with the many which are hindert at that time for this place?

The everyday world’s principle of real space and time reveals intrinsic limits.

But luckily modern technology, the cyberspace, offers new opportunities …

THE FLYING IDEAS INITIATIVE

Embedded in the real everyday world one can set up an ‘external point of reference’ visible for all participants of the cyberspace: a few people can set up an ‘initiative’ to develop and sharing ideas public in the cyberspace. But these ideas will be ‘grounded’ in the real world: Take the globe, select some country (even at random), select a region, a county, a city or town … start asking, searching, communicating, ‘thinking aloud’ and use the oksimo software for finding possible processes, finding complex pictures of the world, simulating at will, checking success automatically, transform the  reality of ‘Now’ into some advanced picture of a possible ‘tomorrow’. Have fun, make a sustainable development more probable.

As a ‘normal citizen’ you have not too much time and energy, to think about the future of your living, the future of your environment, the future of your work: you are ‘encapsulated’ in your everyday processes like a cage — in the worst case — or like an opportunity — in the best case –. To change it by your own seems to you possibly too difficult, even impossible.

But with this group there in the cyberspace ‘ideas can fly through the air’; ideas can ‘touch your mind’; ideas can ‘inspire’ your dreams, your thinking, inspire you to want to be ‘part of it’ and thereby making the flying ideas ‘more real’. The initiative will grow ‘by itself’…

COMMENTS

[1] Brundtland report, see Wikipedia [EN]: https://en.wikipedia.org/wiki/Our_Common_Future

 

 

 

 

 

 

Rise of the machines. A cybernetics History (2016) by Thomas Rid. An oksimo-review

eJournal: uffmm.org, ISSN 2567-6458, Sept 29, 2021 – Sept 29, 2021
Email: info@uffmm.org
Author: Gerd Doeben-Henisch
Email: gerd@doeben-henisch.de

SCOPE

In the uffmm review section the different papers and books are discussed from the point of view of the oksimo paradigm. [1] In this text the author reads the book “Rise of the machines. A cybernetics History.” by Thomas Rid, 2016. [2],[3]

OUTLINE OF SOME IDEAS

General

The book has received a lot of high-ranking comments which are strongly  positive. The reviewer can confirm such positive comments: the book takes the reader to a fascinating journey of ideas, historical settings, exciting personalities, and reveals the shape of a  ‘hidden logic’ behind the development of ideas, technologies and societal processes associated with the topic ‘cybernetics’.

Having read the book it is and exciting endeavor to locate the ideas of the book in a different  setting of ideas, history and societal aspects. This will not discredit the book, but it will — perhaps — ‘inspire‘ some more ‘myth’,    which can help  us  to integrate a bit more the the ‘real cybernetics’ of biological life, which is practicing the principle of cybernetics since its start on the planet earth some  3.5 Billion years ago, while  the additional features of the technological offspring  have shown  up only recently.

CYBERNETICS

In his preface Thomas Rid challenges the reader with the presentation of a manifold of perspectives all associated with the word ‘cybernetics’ and its short accelerator ‘cyber-X’; this ‘X’ can stand for ‘-war’, ‘-security’, ‘-suite’,  ‘-punk’, ‘-space’, ‘-sex’, and even more.

While especially two books Cybernetics (1948)[5b] and Neuromancer (1984) [4b] seem to have a major influence for  the ‘myth’ of cybernetics, Rid points out in his book that there is a much broader stream of events, facts, and persons contributing to the real story as well as to the ‘myth’ of cybernetics.

His way to deal with the term/ word ‘myth’ is especially fascinating. While we since about the last 150 years have been culturally be trained in a kind of ‘fact-thinking’, using formal languages and formal models, the main history of humans as homo sapiens was always characterized by telling stories and thereby creating ‘pictures of the world’: how do all the different aspects of life  ‘work together’.  From a scientifically  trained mind this long tradition can look perhaps a bit ‘outdated’, but as modern philosophy of science can show, such a negative reception  is a strongly misleading understanding of the role of ‘stories’, the role of ‘myths’: scientific fine-graded knowledge is partially possible and necessary, but it can only work by presupposing a ‘normal’ language and  presupposing a ‘normal’ common sense. Faced with an overwhelming complexity of the real live even science has to use ‘pictures’ like ‘myths’ to communicate an ‘assumed whole’ which is not — and never — completely be describable in a complete formal model.

This cultural important role of a ‘myth’ is accepted by Rid because without the concept of a ‘myth’ it is not really possible to describe the societal phenomenon of ‘cybernetics’ with all its features. For Rid myths “overcome the limits of facts…” (p.xiv), are “remarkable … for their form”(p.xiv), they “transcend the present”.(p.xv) And indeed, if one follows the text of Rid it gives you a taste of the powerful role of the modern myth about ‘cybernetics’ where so many different perspectives are constantly interacting. Even the engineers, the military leaders, and  the scientists too are embedding their real doings in the more broader ‘myth’ of cybernetics which makes cybernetics thereby to a broad cultural phenomenon.

And it is exactly this ‘all-embracing character’ of the cybernetics myth which makes the phenomenon ‘strong’ but at the same time also ‘vulnerable’: the cybernetics myth presupposes and includes many hidden ideas and assumptions which possibly are not optimal or even wrong. It is this implicit vulnerability of a myth which calls for an ongoing ‘work on the myth’.[6a], [6b]

To be continued …

COMMENTS

[1] Gerd Doeben-Henisch, 2021, uffmm.org, THE OKSIMO PARADIGM
An Introduction (Version 2), https://www.uffmm.org/wp-content/uploads/2021/03/oksimo-v1-part1-v2.pdf For more information you can visit the German blog oksimo.org, which has more and more recent information. Until not these texts are only in German on account of lack of resources to translate them.

[2] Thomas Rid (2016), Rise of the machines. A cybernetics History. W.W.Norton & Company, Independent Publishers Since 1923 (New York – London). /* The German edition: maschinen dämmerung. eine kurze geschichte der kybernetik published 2016 by the Publisher Propyläen, owned by Ullstein Buchverlag GmbH (Berlin) */

[3] Homepage of Thomas Rid: https://ridt.co/

[4a] William Ford Gibson: Wikipedia EN: https://en.wikipedia.org/wiki/William_Gibson

[4b] Willimam F. Gibson (1984), Neuromancer. see: https://en.wikipedia.org/wiki/Neuromancer

[5a] Norbert Wiener (1894 – 1964): Wikipedia EN: https://en.wikipedia.org/wiki/Norbert_Wiener

[5b] Norbert Wiener (1948), Cybernetics: Or Control and Communication in the Animal and the Machine, see: https://en.wikipedia.org/wiki/Cybernetics:_Or_Control_and_Communication_in_the_Animal_and_the_Machine

[5c] Norbert Wiener (1950), The Human Use of Human Beings, see: https://en.wikipedia.org/wiki/The_Human_Use_of_Human_Beings

[6a] Thomas Rid explicitly mentions the German Philosopher Hans Blumenberg [6b] who is well known for his work investigating and reflecting the role of ‘myth’ in culture. And in this context Blumenberg points out the vital role of ‘myth’ which — as attitude of ‘survival’ — has to modify itself constantly, to adapt the different unproved assumptions to a more convincing overall picture.

[6b] Hans Blumenberg (1920 – 1996), see: https://en.wikipedia.org/wiki/Hans_Blumenberg

OKSIMO and BOURBAKI. A Metamathematical Perspective on Oksimo. Part 1

eJournal: uffmm.org
ISSN 2567-6458, 22.Sept – 24.Sept  2021
Email: info@uffmm.org
Author: Gerd Doeben-Henisch
Email: gerd@doeben-henisch.de

(Some minor corrections: 23.Sept 2021)

(A substantial extension: 24.Sept.2021)

CONTEXT

This text is part of a philosophy of science  analysis of the case of the oksimo software (oksimo.com). A specification of the oksimo software from an engineering point of view can be found in four consecutive  posts dedicated to the HMI-Analysis for  this software.[*]

THE BOOK: THEORY OF SETS

Covered under the pseudonym of N.Bourbaki [1] appeared 1970 the French edition of a book which 1968 already had been translated into English  (reprinted 1970) called  Theory of Sets.[2] This book is the first book of a series about ELEMENTS OF MATHEMATICS.

To classify this book about set theory as a book of Metamathematics and as such as a book in the perspective of Philosophy of Science will become clear if one starts reading the book.[3]

MATHEMATICS WITH ONE LANGUAGE

It is the basic conviction of the Bourbaki book, that “… it is known to be possible … to derive practically the whole of known mathematics from a single source the Theory of Sets.” (p.9) And from this Bourbaki concludes, that it will be sufficient “… to describe the principles of a single formalized language, to indicate how the Thory of Sets could be written in this language, and then to show how the various branches of mathematics  … fit into this framework.”(p.9)

Thus, the content of mathematics — whatever it is — can according to Bourbaki be described in one single language [Lm] and the content will be called Theory of Sets [T] .

METAMATHEMATICS

Because the one single language Lm used to describe the Theory of Sets shall be a language with certain properties one has to define these properties with some other language, which is talking about Lm. As language for this job Bourbaki is using the ordinary language [Lo].(p.9) But the reasoning within which one is using this ordinary language is called metamathematics (cf. P.10f). Within the metamathematical point of view the language Lm under investigation is seen as a set of previously given objetcs without any kind of meaning, where only the assigned order is of importance.(cf. p.10): “… metamathematical ‘arguments’ usually assert that when a succession of operations has been performed on a text of a given type, then the final text will be of another given type.”(p.10)

What looks here at first glance  as the complete formalization of mathematics it is not. Bourbaki states clearly that “formalized mathematics cannot in practice be written down in full“(p.11) There has to be assumed as ‘last resort’ the assumption of a common sense of the mathematician and the intuition of the reader. (cf. p.11)

COGNITIVE-SEMIOTIC TURN

This conflict between at one hand of  the idea of a formalization of  Mathematics by a formalized language Lm  and on the other hand by the well known proof of Gödel [4] of the incompleteness of the axioms for classical arithmetic  (cf. p.12) is not a real conflict as long as one takes into account — as Bourbaki points out — that the ‘content of mathematics’ is only given in different layers of languages (Lm, Lo, …) which again are embedded in a presupposed ‘common sense’ which is nothing else as the cognitive machinery of human persons including an embedded meaning function relating different kinds of knowledge into different kinds of — internal as well as external — expressions of some language L. Thus any kind of a  ‘reduction of meaning’ seems never to be a ‘complete reduction’ but only a ‘technical reduction’ to introduce some ‘artificial (abstract) objetcs’ which can only work because of their embedding in some richer context.

This new perspective can be called the cognitive-semiotic turn which became possible by new insights of modern brain sciences in connection with pysychology and semiotics.

From this new point of view one can derive the idea of embedding metamathemics in a more advanced actor theory providing all the ingredients to make metamathematics more ‘rational’.

OUTLINE OF ACTOR THEORY

Actor theory first outline
Figure 1: Actor theory first outline

The details of the Actor Theory [AT] can become quite complex. Here a first outline of the basic ideas and what this can mean for a metamathematical point of view of mathematics.

World is not World

The main idea is founded in the new insights of Biology and Neuro-Psychology of the handling of body-world interactions as exercised by humans. One of the main insights is rooted back to von Uexküll [5] more than 100 years ago, when he described how every biological organism perceives and handles some world outside of the body  with the inner neuronal structures given! Thus different life forms in the same outside world  W will peceive and act neuronally in different worlds! Brain X acts in world X which is somehow related to the outside world W as well as Brain Y acts in world Y which also is  somehow related to the outside world W.

These basic insights relate as well to more developed life forms as such as  humans are. We as humans do not perceive and think the world W outside of our bodies ‘as it is’ but only as our brain inside our body can process all the body states related to the outside world in the mode of the inside brain. Thus if the different human individuals would have different brains they would live in different worlds and their would be no chance of a simple communication. But as we know from physiological and behavioral  studies humans can to some extend communicate successfully. Thus there exists inside of every human individual a human-processed world h(W) which is different from other life-forms like a rat, a worm, an octopus, etc.

From this basic insight it follows that if we speak about the world W we do indeed  not speak about the world  W directly but about the world W as it is processed in a human-specific manner, the  world h(W). This has many implications.

  1. Because we know already that the world h(W) is not a static but a dynamic world depending from our learning history it can happen — and it happens all the time — that different individuals have different learning histories.  This can result in quite strong differences of experience and knowledge attached to different individuals, which can prevent a simple understanding between such individuals: the learned world h1(W) can to some degree be different from the learned world  h2(W) such that a simple and direct understanding will not be possible.
  2. This difference between the outside world W and the processed inside world h(W) relates to the communication too! The spoken or written expressions E of some language L are belonging to the outside world. They have a counterpart in the inner world as inner expressions E*, which can be associated with all kinds of processed inner states of the inner world h(W) = W*. These possible — and learned — associations between inner expressions and inner states belonging to h(W) is assumed here to be that what commonly is called meaning. Thus one has to assume an internal meaning function μ which maps the internal expressions E* of some internal language L*  into parts of the internally processed world h(W)=W* and vice versa. Thus we have μ: E* <—> W*. Thus μ(e*) would point to some part w* of the internally processed world W* as the ‘meaning’ of the internal expression e*.
  3. This semiotic architecture of human beings enables a nearly infinite space of expressions as well as associated meanings definable during learning processes. This is powerful, but it is also very demanding for the speaker-hearer: to enable a succesful communication between different speaker-hearer these have to train their language usage under sufficient similar conditions thereby constructing individual meaning functions which work — hopefully — sufficiently similar. If not then communication can slow down, can produce lots of misunderstandings or can even break down completely. [6]
  4. In the case of mathematics it is a long debated question whether mathematics can be reduced to the expressions Em of some mathematical language Lm or if mathematics has some mathematical objects on its own which are different from the expressions. If one would assume that mathematics has no objects on its own but only some expressions Em, then it would become difficult to argue whether exactly these expressions Em should be used and not some other expressions Ex. Moreover to classify expressions as ‘axioms’ or ‘theorems’ would be completely arbitrary.   The only ‘anchor’ of non-arbitrariness would consist in some formal criteria of a formal consistency which would disable the formal generation of pairs of expressions {a,a*} where one is excluding the other. But even such a formal consistency presupposes some criteria which are beyond the expressions as such! Thus mathematics would need some criteria outside mathematics. This can be understood as an argument for metamathematics.  But according to Bourbaki  metamathematics is defined as a set of operations on given expressions without a specific meaning.  This is not enough to establish formal consistency! Thus even metamathematics is pointing to something outside of given mathematical expressions.  What can this be?
PART 2

To be continued …

COMMENTS

[*] More recent versions of the specification of the oksimo oftware can be found in the bolg oksimo.org. Unfortunately are the texts in that blog  — at the time if this writing — still only in German. Hopefully this will change in the future.

[1] Bourbaki group in Wikipedia [EN]: https://en.wikipedia.org/wiki/Nicolas_Bourbaki

[2] N.Bourbaki (1970), Theory of Sets, Series: ELEMENTS OF MATHEMATICS, Springer, Berlin — Heidelberg — New York (Engl. Translation from the French edition 1970)

[3] The first time when the author of this text has encountered the book was some time between 1984 – 1987 while being a PhD-student at the Ludwig-Maximilians Univesty [LMU] in Munich. It was in a seminar with Prof. Peter Hinst about structural approaches to Philosophy of Science. The point of view at that time was completely different to the point of view applied in this text.

[4] Kurt Goedel. Über formal unentscheidbare Sätze der Principia
Mathematica und verwandter Systeme, i. Monatshefte fuer
Mathematik und Physik, 38:173–98, 1931.

[5] Jakob von Uexküll, 1909, Umwelt und Innenwelt der Tiere. Berlin: J.Springer.

[6] Probably everybody has made the experience in his life of being part of a situation where nobody speaks a language, which one is used to speak …

 

 

SUSTAINABLE DEMOCRACIES

eJournal: uffmm.org
ISSN 2567-6458, 28.Aug 2021 – Dec 1, 2021
Email: info@uffmm.org
Author: Gerd Doeben-Henisch
Email: gerd@doeben-henisch.de

CONTEXT

This post is part of the uffmm science blog and will introduce in the new possibility to use the oksimo software for theory development  and theory testing using only everyday language. More options are possible.

PREFACE

What has an engineering blog to do with ‘democracy’ [1]-[5], even with ‘sustainable democracies’?

The answer to this question is embedded in the history of the engineering process which led to this post and in this post to  the idea of defining a process model for an  engineering process with a strong integration of the human-machine interaction perspective. When this has been solved in a first step another requirement showed up: generalize the engineering process for every  kind of solution processes with every  kind of experts. Design a solution process using only normal language, and make the requirements and possible goals to  parts of the process itself. Allow any kind of artificial intelligence and/ or machine learning.

This requirement has been influenced by the application scenario that citizens of a city should be enabled to participate without any restrictions in the communal planning process.

During the elaboration  of this requirement it became clear, that a process model which is able to offer a sufficient environment for citizens is ‘as such’ capable to be a process for every assembly of experts.

Such a process is by design a self-organizing process, enabling dynamic diversity, and produces — by design — empirical theories. If you will apply to such a process, then you will inevitably produce a complete theory.

This is of some interest, but doing this there is no need to think about ‘democracy’.

But, if you start reflecting about the conditions of  a self-organizing processes enabling a dynamic diversity then you can see, that such processes need a certain type of environment without which dynamic diversity is not possible.

The main motivation behind diversity, even dynamic diversity, is the overall aspect of survival on a dynamic planet like the earth embedded in a dynamic solar system, galaxies, the universe. Biological life has succeeded about 3.5 Billion years because it has a dynamic structure enabling by design lots of innovations in advance to be prepared if the situation is changing.  With the advent of homo sapiens and the outstanding capabilities of homo sapiens all processes have been accelerating a lot thereby producing kinds of complexities completely unknown before and faster than the traditional formats of knowledge and learning could cope with. This is a radical challenge to intensify  communication, to enable radical openness and diversity, to improve communication and knowledge technologies, to format the whole society as an intensive living organism.

From all known societal organizational structures so-called democratic structures offer the most of freedom and variety to enable such processes. On the other hand it is well known  that the ‘freedom to act in diversity’ is no guarantee to do it in the right way. Democracies are not protected against failure. But seen from a principal thinking are so-called democracies the best environment for a self-organizing dynamic diversity producing optimal empirical theories. And — this is some flavor of an autopoietic system — having enabled and set up such self-organizing dynamic diversities producing optimal empirical theories is the best support for a sustaining democracy.

This is the logic behind the decision, to see a sustainable democracy as a systemic part for self-organizing dynamic diversities producing optimal empirical theories and vice versa.

The software which is offering application spaces for self-organizing dynamic diversities producing optimal empirical theories is called oksimo and is available on oksimo.com. Ongoing descriptions with examples and theoretical considerations are presented on oksimo.org. At the time of this writing — 28.Aug 2021 — this blog is nearly completely in German only because of lack of resources.

COMMENTS

[1] The website of the V-dem institute, which is a prominent place for empirical research to democracies world-wide: https://www.v-dem.net/en/

[2] Here you can find regular reports: https://www.v-dem.net/en/publications/democracy-reports/

[3] Here you can find interactive graphical user interfaces to work with the data sets : https://www.v-dem.net/en/online-graphing/

[4] Example with the concept  ‚Egalitarian Democracy‘: https://www.v-dem.net/en/news/egalitarian-democracy/

[5] Video about an workshop organized by V-dem: https://www.youtube.com/watch?v=ARBBiMgJT7A

CONTRIBUTIONS

 

 

 

 

LOGIC. The Theory Of Inquiry (1938) by John Dewey – An oksimo Review – Part 3

eJournal: uffmm.org, ISSN 2567-6458, Aug 19-20, 2021
Email: info@uffmm.org
Author: Gerd Doeben-Henisch
Email: gerd@doeben-henisch.de

SCOPE

In the uffmm review section the different papers and books are discussed from the point of view of the oksimo paradigm. [2] Here the author reads the book “Logic. The Theory Of Inquiry” by John Dewey, 1938. [1]

Part I – Chapter I

THE PROBLEM OF LOGICAL SUBJECT-MATTER

In this chapter Dewey tries to characterize the subject-matter of logic. From the year 1938 backwards one can look  into a long history of thoughts  with  at least 2500 years dealing in one or another sense with what has been called ‘logic’. His rough judgment is that the participants of the logic language  game  “proximate subject-matter of logic” seem to be widely in agreement what it is, but in the case of the  “ultimate subject-matter of logic” language game  there seem to exist different or even conflicting opinions.(cf. p.8)

Logic as a philosophic theory

Dewey illustrates the variety of views about the ultimate subject-matter of logic by citing several different positions.(cf. p.10) Having done this Dewey puts all these views together into a kind of a ‘meta-view’ stating that logic “is a branch of philosophic theory and therefore can express different philosophies.”(p.10) But  exercising  philosophy  ” itself must satisfy logical requirements.”(p.10)

And in general he thinks that  “any statement that logic is so-and-so, can … be offered only as a hypothesis and an indication of a position to be developed.”(p.11)

Thus we see here that Dewey declares the ultimate logical subject-matter grounded in some philosophical perspective which should be able “to order and account for what has been called the proximate subject-matter.”(p.11)  But the philosophical theory “must possess the property of verifiable existence in some domain, no matter how hypothetical it is in reference to the field in which it is proposed to apply it.”(p.11) This is an interesting point because this implies the question in which sense a philosophical foundation of logic can offer a verifiable existence.

Inquiry

Dewey gives some  hint for a possible answer by stating “that all logical forms …  arise within the operation of inquiry and are concerned with control of inquiry so that it may yield warranted assertions.”(p.11) While the inquiry as a process is  real, the emergence of logical forms has to be located in the different kinds of interactions between the researchers and some additional environment  in the process. Here should some verifiable reality be involved which is reflected in accompanying language expressions used by the researchers for communication.  This implies further that the used language expressions — which can even talk about other language expressions — are associated with propositions which can be shown to be valid.[4]

And  — with some interesting similarity with the modern concept of ‘diversity’ — he claims that in avoidance of any kind of dogmatism  “any hypothesis, no matter how unfamiliar, should have a fair chance and be judged by its results.”(p.12)

While Dewey is quite clear to use the concept of inquiry as a process leading to some results which are  depending from the starting point and the realized processes, he mentions additionally concepts like  ‘methods’, ‘norms’, ‘instrumentalities’, and  ‘procedures’, but these concepts are rather fuzzy. (cf. p.14f)

Warranted assertibility

Part of an inquiry are the individual actors which have psychological states like ‘doubt’ or ‘belief’ or  ‘understanding’ (knowledge).(p.15) But from these concepts follows nothing about needed  logical forms or rules.(cf.p.16f)  Instead Dewey repeats his requirement with the words “In scientific inquiry, the criterion of what is taken to be settled, or to be knowledge, is being so settled that it is available as a resource in further inquiry; not being settled in such a way as not to be subject to revision in further inquiry.”(p.17) And therefore, instead of using fuzzy concepts like (subjective) ‘doubt’, ‘believe’ or ‘knowledge’, prefers to use the concept “warranted assertibility”. This says not only, that you can assert something, but  that you can assert it also with ‘warranty’ based on the known process which has led to this result.(cf. p.10)

Introducing rationality

At this point the story takes a first ‘new turn’ because Dewey introduces now a first characterization of  the concept ‘rationality’ (which is for him synonymous with ‘reasonableness’). While the basic terms of the descriptions in an inquiry process are at least partially descriptive (empirical)  expressions, they are not completely “devoid of rational standing”.(cf. p.17) Furthermore the classification of final situations in an inquiry as ‘results’ which can be understood as ‘confirmations’ of initial  assumptions, questions or problems,  is only given in relations talking about the whole process and thereby they are talking about matters which are not rooted in  limited descriptive facts only. Or, as Dewey states it, “relations which exist between means (methods) employed and conclusions attained as their consequence.”(p.17) Therefore the following practical principle is valid: “It is reasonable to search for and select the means that will, with the maximum probability, yield the consequences which are intended.”(p.18)  And: “Hence,… the descriptive statement of methods that achieve progressively stable beliefs, or warranted assertibility, is also a rational statement in case the relation between them as means and assertibility as consequence is ascertained.”(p.18)

Suggested framework for ‘rationality’

Although Dewey does not exactly define the format of relations between selected means and successful consequences it seems ‘intuitively’ clear that the researchers have to have some ‘idea’ of such a relation which serves then as a new ‘ground for abstract meaning’ in their ‘thinking’. Within the oksimo paradigm [2] one could describe the problem at hand as follows:

  1. The researchers participating in an inquiry process have perceptions of the process.
  2. They have associated cognitive processing as well as language processing, where both are bi-directional mapped into each other, but not 1-to-1.
  3. They can describe the individual properties, objects, actors, actions etc. which are part of the process in a timely order.
  4. They can with their cognitive processing build more abstract concepts based on these primary concepts.
  5. They can encode these more abstract cognitive structures and processes in propositions (and expressions) which correspond to these more abstract cognitive entities.
  6. They can construct rule-like cognitive structures (within the oksimo paradigm  called ‘change rules‘) with corresponding propositions (and expressions).
  7. They can evaluate those change rules whether they describe ‘successful‘ consequences.
  8. Change rules with successful consequences can become building blocks for those rules, which can be used for inferences/ deductions.

Thus one can look to the formal aspect of formal relations which can be generated by an inference mechanism, but such a formal inference must not necessarily yield results which are empirically sound. Whether this will be the case is a job on its own dealing with the encoded meaning of the inferred expressions and the outcome of the inquiry.(cf. p.19,21)

Limitations of formal logic

From this follows that the concrete logical operators as part of the inference machinery have to be qualified by their role within the more general relation between goals, means and success. The standard operators of modern formal logic are only a few and they are designed for a domain where you have a meaning space  with only two objects: ‘being true’, being false’. In the real world of everyday experience we have a nearly infinite space of meanings. To describe this everyday large meaning space the standard logic of today is too limited. Normal language teaches us, how we can generate as many operators as we need  only by using normal language. Inferring operators directly from normal language is not only more powerful but at the same time much, much easier to apply.[2]

Inquiry process – re-formulated

Let us fix a first hypothesis here. The ideas of Dewey can be re-framed with the following assumptions:

  1. By doing an inquiry process with some problem  (question,…) at the start and proceeding with clearly defined actions, we can reach final states which either are classified as being a positive answer (success) of the problem of the beginning or not.
  2. If there exists a repeatable inquiry process with positive answers the whole process can be understood as a new ‘recipe’ (= complex operation, procedure, complex method, complex rule,law,  …) how to get positive answers for certain kinds of questions.
  3. If a recipe is available from preceding experiments one can use this recipe to ‘plan’ a new process to reach a certain ‘result’ (‘outcome’, ‘answer’, …).
  4. The amount of failures as part of the whole number of trials in applying a recipe can be used to get some measure for the probability and quality of the recipe.
  5. The description of a recipe needs a meta-level of ‘looking at’ the process. This meta-level description is sound (‘valid’) by the interaction with reality but as such the description  includes some abstraction which enables a minimal rationality.
Habit

At this point Dewey introduces another term ‘habit’ which is not really very clear and which not really does explain more, but — for whatever reason — he introduces such a term.(cf. p.21f)

The intuition behind the term ‘habit’ is that independent of the language dimension there exists the real process driven by real actors doing real actions. It is further — tacitly —  assumed that these real actors have some ‘internal processing’ which is ‘causing’ the observable actions. If these observable actions can be understood/ interpreted as an ‘inquiry process’ leading to some ‘positive answers’ then Dewey calls the underlying processes all together a ‘habit’: “Any habit is a way or manner of action, not a particular act or deed. “(p.20) If one observes such a real process one can describe it with language expressions; then it gets the format of a ‘rule’, a principle’ or a ‘law’.(cf. p.20)

If one would throw away the concept  ‘habit’, nothing would be missing. Whichever  internal processes are assumed, a description of these will be bound to its observability and will depend of some minimal  language mechanisms. These must be explained. Everything beyond these is not necessary to explain rational behavior.[5]

At the end of chapter I Dewey points to some additional aspects in the context of logic. One aspect is the progressive character of logic as discipline in the course of history.(cf. p.22)[6]

Operational

Another aspect is introduced by his statement “The subject-matter of logic is determined operationally.”(p.22) And he characterizes the meaning of the term ‘operational’ as representing the “conditions by which subject-matter is (1) rendered fit to serve as means and (2) actually functions as such means in effecting the objective transformation which is the end of the inquiry.”(p.22) Thus, again, the concept of inquiry is the general framework organizing means to get to a successful end. This inquiry has an empirical material (or ‘existential‘) basis which additionally can be described symbolically. The material basis can be characterized by parts of it called ‘means’ which are necessary to enable objective transformations leading to the end of the inquiry.(cf. p.22f)

One has to consider at this point that the fact of the existential (empirical) basis of every inquiry process should not mislead to the view that this can work without a symbolic dimension! Besides extremely simple processes every process needs for its coordination between different brains a symbolic communication which has to use certain expressions of a language. Thus   the cognitive concepts of the empirical  means and the followed rules can only get ‘fixed’ and made ‘clear’ with the usage of accompanying symbolic expressions.

Postulational logic

Another aspect mentioned by Dewey is given by the statement: “Logical forms are postulational.“(p.24) Embedded in the framework of an inquiry Dewey identifies requirements (demands, postulates, …) in the beginning of the inquiry which have to be fulfilled through the inquiry process. And Dewey sees such requirements as part of the inquiry process itself.(cf. p.24f) If during such an inquiry process some kinds of logical postulates will be used they have no right on their own independent of the real process! They can only be used as long as they are in agreement with the real process.  With the words of Dewey: “A postulate is thus neither arbitrary nor externally a priori. It is not the former because it issues from the relation of means to the end to be reached. It is not the latter, because it is not imposed upon inquiry from without, but is an acknowledgement of that to which the undertaking of inquiry commits us.”(p.26)  .

Logic naturalistic

Dewey comments further on the topic that “Logic is a naturalistic theory.“(p.27 In some sense this is trivial because humans are biological systems and therefore every process is a biological (natural) process, also logical thinking as part of it.

Logic is social

Dewey mentions further that “Logic is a social discipline.“(p.27) This follows from the fact that “man is naturally a being that lives in association with others in communities possessing language, and therefore enjoying a transmitted culture. Inquiry is a mode of activity that is socially conditioned and that has cultural consequences.”(p.27)  And therefore: “Any theory of logic has to take some stand on the question whether symbols are ready-made clothing for meanings that subsist independently, or whether they are necessary conditions for the existence of meanings —  in terms often used, whether language is the dress of ‘thought’ or is something without which ‘thought’ cannot be.” (27f) This can be put also in the following  general formula by Dewey: “…in every interaction that involves intelligent direction, the physical environment is part of a more inclusive social or cultural environment.” (p.28) The central means of culture is Language, which “is the medium in which culture exists and through which it is transmitted. Phenomena that are not recorded cannot be even discussed. Language is the record that perpetuates occurrences and renders them amenable to public consideration. On the other hand, ideas or meanings that exist only in symbols that are not communicable are fantastic beyond imagination”.(p.28)

Autonomous logic

The final aspect about logic which is mentioned by Dewey looks to the position which states that “Logic is autonomous“.(p.29) Although the position of the autonomy of logic — in various varieties — is very common in history, but Dewey argues against this position. The main point is — as already discussed before — that the open framework of an inquiry gives the main point of reference and logic must fit to this framework.[7]

SOME DISCUSSION

For a discussion of these ideas of Dewey see the next uocoming post.

COMMENTS

[1] John Dewey, Logic. The Theory Of Inquiry, New York, Henry Holt and Company, 1938  (see: https://archive.org/details/JohnDeweyLogicTheTheoryOfInquiry with several formats; I am using the kindle (= mobi) format: https://archive.org/download/JohnDeweyLogicTheTheoryOfInquiry/%5BJohn_Dewey%5D_Logic_-_The_Theory_of_Inquiry.mobi . This is for the direct work with a text very convenient.  Additionally I am using a free reader ‘foliate’ under ubuntu 20.04: https://github.com/johnfactotum/foliate/releases/).  The page numbers in the text of the review — like (p.13) — are the page numbers of the ebook as indicated in the ebook-reader foliate.(There exists no kindle-version for linux (although amazon couldn’t work without linux servers!))

[2] Gerd Doeben-Henisch, 2021, uffmm.org, THE OKSIMO PARADIGM
An Introduction (Version 2), https://www.uffmm.org/wp-content/uploads/2021/03/oksimo-v1-part1-v2.pdf

[3] The new oksimo paradigm does exactly this. See oksimo.org

[4] For the conceptual framework for the term ‘proposition’ see the preceding part 2, where the author describes the basic epistemological assumptions of the oksimo paradigm.

[5] Clearly it is possible and desirable to extend our knowledge about the internal processing of human persons. This is mainly the subject-matter of biology, brain research, and physiology. Other disciplines are close by like Psychology, ethology, linguistics, phonetics etc. The main problem with all these disciplines is that they are methodologically disconnected: a really integrated theory is not yet possible and not in existence. Examples of integrations like Neuro-Psychology are far from what  they should be.

[6] A very good overview about the development of logic can be found in the book The Development of Logic by William and Martha Kneale. First published 1962 with many successive corrected reprints by Clarendon Press, Oxford (and other cities.)

[7] Today we have the general problem that the concept of formal logic has developed the concept of logical inference in so many divergent directions that it is not a simple problem to evaluate all these different ‘kinds of logic’.

MEDIA

This is another unplugged recording dealing with the main idea of Dewey in chapter I: what is logic and how relates logic to a scientific inquiry.

LOGIC. The Theory Of Inquiry (1938) by John Dewey – An oksimo Review – Part 2

eJournal: uffmm.org, ISSN 2567-6458, Aug 17-18, 2021
Email: info@uffmm.org
Author: Gerd Doeben-Henisch
Email: gerd@doeben-henisch.de

SCOPE

In the uffmm review section the different papers and books are discussed from the point of view of the oksimo paradigm. [2] Here the author reads the book “Logic. The Theory Of Inquiry” by John Dewey, 1938. [1]

DISCUSSION after the PREFACE DEWEY 1938/9

 

Following the description and interpretation of Dewey’s preface the author takes here the time for a short discussion how one can describe the first idea of Dewey about the view of inquiry as a continuum, as a process with some outcome.

Dewey's view of an inquiry as a continuous process slightly interpreted
FIGURE 1: Dewey’s view of an inquiry as a continuous process slightly interpreted

In the interpretation of Dewey the author takes the starting point with the view of Dewey of an inquiry as a  continuous process.(cf. figure 1)

In his description of such an inquiry in the spirit of pragmatism Dewey claims that the process ends up in a situation which is caused by the preceding parts of the process. He calls the ‘end’ of such an inquiry process a consequence (or: consequences) which can be used as a test of the validity of the assumed propositions.

Validity of the proposition

Taking only the words of Dewey “validity of the …  propositions” this can be interpreted in many ways. The author of this texts interprets these words with a conceptual framework based on the today knowledge about cognitive processing, which is also used in the oksimo paradigm.

In this modern framework of cognitive processing we know that one has at least to distinguish the dimension of the real world with real situations and as part of the real situation real objects, real actions (and more) on the one hand and inner states of an actor on the other  hand.

As part of this overall scenario one has to distinguish at least the following main dimensions: (i) the overall observable real behavior of an actor and real expressions as part of the observable behavior, which can be classified (by learned knowledge) as expressions of some normal language, and (ii) the not-observable inner states of the actor reflecting in a special way the observable situation as such as well as the perceivable (by hearing, reading, …) expressions of the known language as part of the observable situation.

The main point here in the case of an actor of the life form homo sapiens is the fact that a homo sapiens actor is able to map the inner counterpart of the external expressions into the inner counterpart of the perceived real situation as part of a cognitive machinery (including memory) in a way that this internal mapping — here called meaning function — encodes part of the cognitive states into expressions (and vice versa).

Using this knowledge about the cognitive closure of expressions known as part of a learned language one can understand, why arbitrary aspects of the observable real situation can be encoded by the (built-in as well as learned ) meaning function into certain expressions in a way, that a hearer-reader of these expressions can decode these expressions (with his individual meaning function) to some extend into the inner cognitive states corresponding to the perceivable world.

In the light of this modern cognitive framework can a proposition be interpreted as part of the inner cognitive states corresponding either actually to some perceived real situation (then it is qualified as being valid) or not. And because the meaning function can encode such propositions with some expressions we can have external expressions as a real counterpart to such propositions.

Inquiry as a process

Thus inquiry understood by Dewey as a continuous process starts with some starting real situation which can be accompanied by appropriate (encoded) expressions of the selected language. During the course of inquiry the situation can change caused by actions which after some finite period of time lead to a final situation (‘final’ is not an absolute’ category here; it depends from the decision of the researchers what they think has to be understood as ‘final’).

While the possible process of inquiry in the beginning is quite unclear, open, undefined, turns the real process of actions (including speaking/ writing expressions) this undefined/ possibly infinite situation step by step into some real defined finite process by making decisions which enable selections of concrete actions/ things out of many options.

Test of the validity

Dewey speaks about the end of an inquiry process as a consequence which can be seen as a test of the validity of the propositions. If the ‘validity of a proposition’ is a qualification of the relation between a proposition as a cognitive counterpart of some perceivable real situation and this real situation then the wording ‘test of’ could be interpreted in the way that the reached situation by  an inquiry  process is in a sufficient agreement with an assumed proposition. But this would require that the researchers have in the beginning of their research have an idea of the intended/ wanted outcome. This sounds a bit strange: Why doing some inquiry if I already have an idea of the outcome?

This leads to the everyday life situation where we encounter permanently the following situations: (i) We know of situations which we qualify as being unsatisfying by some reasons (‘Gerd is hungry’, ‘Peter is tired’, ‘Ada is unhappy’, ‘John needs some money’, ‘Mary has a question’, ‘Bill looks for some new flat’, …); and (ii) some kind of visions/ goals, which we want to achieve. At the moment of having a vision/ goal within our inner cognitive states we can decide to achieve it through a real process of real actions. In some cases (being hungry) we probably have some options how to accomplish the goal by starting a series of concrete actions to get some food. And then the food is a consequence of the preceding process of searching and at the same time an answer to the triggering proposition. In other cases (‘being unhappy’ it can be difficult to find a good answer:  what really is missing? What can I do? If Ada would decide to clarify her state it could happen that she tries a lot of options eventually lasting a long time (days, weeks, months, …). But nevertheless one day  it can  happen that she suddenly  has the feeling, that she is no longer unhappy. In that case she can qualify the reached situation as a consequence of her preceding process of inquiry and indeed as an answer to the triggering proposition of being unhappy.  In this case ‘feeling happy’ as an answer to ‘feeling unhappy’ has not been a clear expectation in the beginning, but a causing proposition which has lead Ada into a search process which finally produced a situation which enabled this new feeling of ‘being happy’ which — perhaps –is a quite ‘new’ feeling which nevertheless is understood by her as an ‘answer’.

Goals: defined and undefined

These simple examples point at the fact that homo sapiens actors can start inquiries either by somehow clearly defined goals or with ‘undefined goals‘ but caused by a ‘defined problem‘.

While the wording ‘undefined goal’ seems a little bit ‘fuzzy’ in the beginning, it is of great importance for the case of  inquiry. This has to do with the concept of a possible future.

While the actual real world — and even those parts of it, which we have memorized somehow — is something we can perceive and where we can point at, is ‘future’ a non-object: we have strictly no chance to perceive directly any kind of future. Future is the radical unknown. What we can do — and in our everyday life we do it often — is, that we try to imagine by our past knowledge to get some hints out of the past for some patterns, regularities which can be used as ‘hints’ what perhaps can happen again with some probability as an upcoming situation because there exist some hidden mechanism in the real world which is causing a repetition (e.g. we have learned about phenomena which we call ‘gravity’ which we use as a cognitive tool to make some forecasts).  But such learned patterns of the past do not explain everything and there is no absolute guarantee that these patterns will work ever. Moreover, we are living in a world which is maximal complex because of a multitude of patterns simultaneously at work, and there are many patterns (the behavior of biological systems) which are inherently non-linear, nondeterministic.

Thus doing inquiries into future states which are caused by defined problems where the answer is not yet known are radically different to inquiries with defined problems already accompanied with a clear goal. Although defined problems with defined goals can be quite difficult (e.g. searching for better material, better production processes etc. to get a better electrical battery for everyday usage) the case of an undefined goal is much more demanding. This case is the standard case for real research (as in the case of Ada: What makes her happy?).

COMMENTS

[1] John Dewey, Logic. The Theory Of Inquiry, New York, Henry Holt and Company, 1938  (see: https://archive.org/details/JohnDeweyLogicTheTheoryOfInquiry with several formats; I am using the kindle (= mobi) format: https://archive.org/download/JohnDeweyLogicTheTheoryOfInquiry/%5BJohn_Dewey%5D_Logic_-_The_Theory_of_Inquiry.mobi . This is for the direct work with a text very convenient.  Additionally I am using a free reader ‘foliate’ under ubuntu 20.04: https://github.com/johnfactotum/foliate/releases/). Additionally I am using a free reader ‘foliate’ under ubuntu 20.04: https://github.com/johnfactotum/foliate/releases/). The page numbers in the text of the review — like (p.13) — are the page numbers of the ebook as indicated in the ebook-reader foliate.(There exists no kindle-version for linux (although amazon couldn’t work without linux servers!))

[2] Gerd Doeben-Henisch, 2021, uffmm.org, THE OKSIMO PARADIGM
An Introduction (Version 2), https://www.uffmm.org/wp-content/uploads/2021/03/oksimo-v1-part1-v2.pdf

Continuation

Part 3 (Last change: 20.Aug.2021)

MEDIA

Here is another talk completely unplugged about Dewey’s Logic. It’s focus is on a hypothetical conceptual framework for the wording of ‘valid propositions’ in the context of an inquiry.