Friday, October 21, 2011

The Development of Knowledge System

This is a series of studies of knowlede system development, which is fundamental to artificial intelligence(AI) and education. Both AI and education lack of good theories so far.

Based on the results of these studies, the studies will evolve into two branches later. One from sciences aspect: the dynamics of intelligence; one from humanity aspect: educational psychology. These two branches will be highly related to each other in future, although not yet now.
 
A proposal for the studies of dynamics of intelligence is available at: The Proposal for A Three-level Intelligence Model

Educational psychology does not have concrete systematic results for people beyond teenage. Some breakthrough could be expected if sufficient resources are available for this series of studies.

The first part of this is : The Different Approaches for Knowledge System Development.

It is not just history interests, but a critical understanding of how knowledge systems were, are, and will be developed.

The Different Approaches For Knowledge System Development

In theoretic research of artificial intelligence, there is a very important issue: the difference between Euclid's constructive approach and many modern mathematician's approaches. Please note the word 'constructive' here.

For those who are only interested in technologies and engineering, they better know, one of the greatest engineers, Archimedes, was highly influenced by Euclid.

Unfortunately, most of current students spend much time in learning geometry, but they know nothing about the philosophy and methodology established by Euclid. So they could apply mathematics in a wrong way later, such as in economics which is almost dominated by mathematical solutions now.

So comes this study. Several approaches for knowledge system development are identified here. They are: Pythagoras-Plato approach; Socrates-Stoicism approach; Euclid-Archimedes approaches; Yi-Jing approach from ancient China; approaches from ancient India and others, etc.

Galileo-Newton approach, the foundation of current sciences, evolved from Euclid-Archimedes approach. But the two are also different somehow.

The first three approaches are discussed here. The others would be covered if time and resources are available in future.

Please note only the differences and problems are discussed here, with no mention who are correct and who are wrong. However, Aristotle's approach is not listed here, because it might be wrong, not just with some problems. I discussed The Aristotle's Approach in a different article, since it is more controversial.

1) Pythagoras-Plato Approach

The first philosopher should be Pythagoras, because he called himself so. He is famous for the Pythagorean theorem, of the length of three sides of right triangle. Here mathematics and philosophy started togather.

Those who think philosophy is almost dead in modern time, may be wrong. A long list of philosophies in mathematics is attached at the end of this article. Mathematics and philosophy are highly related to each other, from the beginning to now.

Pythagoras also taught religious rites and practices in his school, so came his beliefs. He and Plato believed there is a perfect and persistent abstract world, and an imperfect and sensible world. They persued the beauty of abstract perfection.

Pythagorean made many early contributions to knowledge. They tried to represent complicated things with simpler ones. They also gave mathematics their own interpretation. They believed whole numbers are simple and perfect, and tried to represent all numbers with quotient of two whole numbers. Here they faced a mathematical crisis: some, actually most of the numbers, cannot be expressed in such a way. They called these irrational numbers.

This discloses the problems of Pythagoras-Plato approach: could the beauty of mathematics be used to express rationale and fairness, etc., as done by Pythagorean ?

Please note irrational numbers are actually related to nonlinear and chaos or deterministic uncertainty. So although people accept irrational numbers now, is this mathematical crisis really solved ? As said, the studies here is not about history, but about the development of knowledge systems, artificial intelligence, and educational psychology, etc.

2) Socrates-Stoicism approach

Socrates led different beliefs. There is a Socratic method. He asked people to question each other to find the problems. When people discuss explicitly their arguments, they could find the problems and answers easily.
Socrates asked many questions, but did not give many answers. This actually might be a good attitude. Since he asked all people including himself to admit they are igorant.

Admitting their ignorance is an extremely critical step to make future progresses. However, this attitude are offensive to many people, and Socrates was voted to death eventually.

Also, "Aristotle attributed to Socrates the discovery of the method of definition and induction, which he regarded as the essence of the scientific method." (from wikipedia).

Socrates promoted rationale and ethics, which was followed by Cynicism and Stoicism.  However, the strange behaviors of Cynicism actually showed the frustrations faced by this approach: they did not find effective ways to discover much more knowledge. This task would be achieved by Euclid-Archimedes approach and Galileo-Newton approach later.


3) Euclid-Archimedes Approaches

Euclid is the first one who established a concrete systematic theory for a domain. He is more like a scientist, rather than a pure mathematician.

He did not concern much of the beauty of abstraction. In the proof of the number of prime numbers, he used the language 'measure', instead of if a number is dividable by another number. Many modern mathematicians think not being abstract enough is a limitation of Euclid.

Please note measurability is still a critical problem in modern physics and artificial intelligence. So, this is actually Euclid's strength. He caught the essentials of the problems.

He usually constructed solutions rather than just proving the existence of unknown solutions. His system is incredible concrete after more than two thousand years, much more concrete than much of modern mathematics.

He constructed the whole system by some simple axioms, and derived other theorems from these axioms. Although this looks like Pythagorean's representing complicated numbers by simpler whole numbers, they are different.

Euclid guarrentees the correctness of derived theorems by makng axioms simple and straghtforward, thus self-evident. Pythagorean did not show why whole numbers could be used to express all numbers, they just believed it is the beauty. Euclid's works are good examples of logic application.

There is still a limitation of Euclid's approach. His system mainly works in geometry, and cannot find all theorems and laws. This limitation is partially solved by Galileo-Newton approach, please note only 'partially'.

Euclid was truly thought as a scientist in early days. Only after Galileo founded Physics, Euclid retired from scientists, and became a mathematician only.

Galileo-Newton approach is still limited in its application domains. It does not work well in artificial intelligence, psychology, economics, etc. Measurability is still a big concerns.

Pythagoras is very insightful in mathematics, philosophy, religious practices and beliefs. Plato developed the philosophy in his style to maturity. Socrates and Stoicism knew the way to develop rationale and ethics. Euclid and Archimedes designed theoretic and real systems in rigorous ways. They all made big contributions to the development of knowledge systems.

They still have big influences so far, but also with their problems. Even Galileo-Newton approach did not solve most of the problems. The problems already solved are only a small portion.

From irrational numbers, to the modern foundational crisis in mathematics, there are some essential problems not solved yet. People only tried to avoid them. New approaches and philosophies are needed. Usually, establishment of a new domain means a new type of philosophy.

For the foundational crisis in mathematics, please see:
http://en.wikipedia.org/wiki/Foundations_of_mathematics#Foundational_crisis


------------------
The philosophies in mathematics:
(From http://en.wikipedia.org/wiki/Philosophy_of_mathematics)
    Mathematical realism
    Platonism
    Full-blooded Platonism
    Empiricism
    Mathematical Monism
    Logicism
    Formalism
    Conventionalism
    Psychologism
    Intuitionism
    Constructivism
    Finitism
    Structuralism
    Embodied mind theories
    New Empiricism
    Aristotelian realism
    Fictionalism
    Social constructivism or social realism
    Quasi-empiricism
    Popper's "two senses" theory

Aristotle's Approach

Aristotle's approach is very controversial, So it is not discussed in The Different Approaches in Knowledge Development, but in a seperated article here. 

Euclid's and Newton's theories are still mainly correct, although with some problems. They are just limited in the extent they could be applied. However, Aristotle's approach might be wrong.

Although Aristotle adored Socrates, he is a student of Plato, and Plato is a student of Socrates, their approaches are very different. As said, Socrates asked people including himself to admit their ignorance, which is important to knowledge development, but offensive to many people. Eventually Socrates was voted to death under accumulated anger.

However, Aristotle talked like he knew everything. His attitude suggested if others learn from him, they also could know everything, which was very pleasant. So he attracted many financial supports.

Unfortunately, many of what he taught were wrong. His huge volumns The Physics shows Aritotle did not really know Physics. Actually after his famous student Alexander conquered much of the East, Alexander found many of Aristotle taught were wrong.

Aristotle also studied ethics. However, he suggested Alexander to be "a despot to the barbarians ... and to deal with the latter as with beasts or plants". He complained Alexander's pretense of divinity later. However, a conquerer being a despot to the barbarians, and to deal with the latter as with beasts or plants, would naturally lead to pretense of divinity.  It is normal psychology. It is Aristotle who taught these.

Alexander once said: "If I were not Alexander, then I should wish to be Diogenes" (Diogenes is one of cynicism philosophers, who promoted ethics). He did not say: "If I were not Alexander, then I should wish to be Aristotle".

Fair to say, Aristotle is a main contributor to early logic studies. However, his geocentric view and his introduction of a flying arrow is at rest, shows such logic is very shallow. Aristotle did not know how to apply logic correctly. It is Euclid who showed how logic works. Actually a simple experiment could be designed at Aristotle's time to show the main argument of geocentric view is wrong.

Pythagoras is very insightful in mathematics, philosophy, religious practices and beliefs. Plato developed the philosophy in his style to maturity. Socrates and Stoicism knew the ways to develop rationale and ethics. Socrates even accepted the death to show his ethics view. Euclid and Archimedes designed theoretic and real systems in rigorous ways. They all made big contributions to the development of knowledge systems.

Frankly speaking, Aristotle's main contribution is in zoology, but not much even in botany. He did not know Physics, he did not know how to apply logic correctly.