Saturday, May 5, 2012

Different Approaches For Knowledge System Development (v3)


1) Introduction

To really understand how humans develop intelligence and knowledge systems, people have to retrace the whole history of philosophy and mathematics back to ancient itme, and study various kinds of methodologies for different purposes.

This article is not a complete review of philosophies and sciences. It only addresses the essentials and methodologies for knowledge development, for the interests of sciences, philosophy, education, and artificial intellignece, etc. So although Dmitri Mendeleev and Albert Einstein are extremely important scientists, they are not discussed here since they essentially followed the classic scientific approach: Galileo-Newton approach.

It does not try to cross the boundary between knowledge and religions. Only religious rites are mentioned.

By approach, it means coherent approach in this paper. Coherence does not guarantee correctness. However, incohenrence is always prone to problems and errors. 


2) Various Approaches

Several approaches from ancient time are identified here. They are: Pythagoras-Plato approach; Socrates-Stoicism approach; Euclid-Archimedes approach; Yi-Jing approach from ancient China; approaches from ancient India; approaches from other countries, etc.

Some approaches from medieval age played important roles in sciences: they are Ibn al-Haytham's approach, Al-Biruni's approach, and Avicenna's approach, etc.

Galileo-Newton approach, the foundation of current sciences, evolved from Euclid-Archimedes and Ibn al-Haytham approaches. But there are differences between them. Some non-classic approaches from Charles Darwin, Adam Smith, Sigmund Freud, etc., are also different from Galileo-Newton approach.

The following sections will first discuss the strengths and limitations of the first three ancient approaches, the medieval approaches, then Galileo-Newton approach. Several non-classic approaches and important theoretic issues will also be discussed.

The ancient approaches from Yi-Jing, India, and other countries, would be discussed in separate articles, if possible.


3) Pythagoras-Plato Approach

Thales is a pioneer in mathematical proof. Egyptians and Babylonians might know Thales Theorem before him, but he was likely the first one providing a valid proof for it.

Although Thales tried to explain natural phenomena not based on mythology, he is a Hylozoist who believed everything is alive, and there is no difference between the living and the dead. He did not develop a coherence approach, but had significant influences on Pythagoras.

The first philosopher should be Pythagoras, who built a coherent systematic view. He formed a school of scholars to study philosophy, mathematics, music, etc.

Pythagorean are famous for Pythagorean Theorem. They are pioneers in mathematics, a systematic study. They also proposed a non-geocentric model that the Earth runs around a central fire which suggests both the Sun and the Earth are not the center of universe. They might develop or formulate the idea the Earth is round.

Pythagoras also taught religious rites and practices in his school, so came his beliefs. He and Plato believed there be a perfect and persistent abstract world, and an imperfect and sensible world. They pursued the beauty of abstract perfection. Plato followed this philosophy and developed it into maturity.

Pythagorean made many early contributions to knowledge. They tried to construct complicated things with simpler ones. They believed whole numbers be simple and perfect, and tried to represent all numbers with quotient of two whole numbers. Here they faced the first 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: the way they construct or interpret mathematics may not fit into the reality. The beauty of mathematics may not be able to explain an sensible world. Constructivism is important. But how to construct, and to what extent it works ?

Such an issue even has a consequence on modern sciences and technologies: how macro nonlinearity and micro quantum phenomena are related to irrational numbers ? How should irrational numbers be handled on computers ?

The issue of irrational numbers is actually related to measurement. Euclid described it in a better way as mentioned in Section 5, which is not understood properly by many modern mathematicians. Measurement is again associated to nonlinear, chaos, deterministic uncertainty, or computer modelling, etc. So people better think of this issue as a tip of an iceberg, rather than a solved problem which they could forget about it.


4) Socrates-Stoicism approach

Socrates led different beliefs. He did not take the beauty of abstraction as a doctrine. There is a Socratic method. He asked people to question each other. When people discuss their arguments explicitly, they could find the problems and understand them better.

Socrates asked many questions, but did not give many answers. This might be a good attitude. Socrates taught by playing a role model. By admitting his ignorance, he suggested other people also to admit their ignorance.

Admitting their ignorance is not beautiful, not even pleasant, but an extremely critical step to make further progresses. However, this attitude is offensive to many people. Socrates was voted to death eventually, probabily under accumulated anger from others.

Then Socrates played a role model again by accepting the death to show the rule of laws.

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, Ibn al-Haytham, Galileo-Newton, Darwin approaches later.

Sophism was an enemy to Socrates, and is also an enemy to future sciences. It does not provide a coherent approach.

Aristotelianism is not coherent, too. Although Aristotle adored Socrates and claimed he was against sophism, his way is actually a mixture of Socrates, Plato and sophism without coherence. So he included assertions like a flying arrow is at rest in his book.

His syllogism is an unsuccessful summarization and simulation of the methods in mathematical proofs. Aristotle did not know how the logic really works in mathematics. So he missed a very important factor: how to make the premises in syllogism valid and concrete, i.e. the first principle. Euclid provided a solution on this issue for some problems later.

Since Aristotle did not know how to apply logic and reasoning correctly, he did not know how to build coherent theories. His book The Physics brought little values to physics, but many misleadings. He just put togather whatever he knew or believed into huge collections without paying attention to coherence.

Aristotle was actually a naturalist. He made some contributions to zoological taxonomy based on observation. He is not the first one using observation. And he does not have a coherent approach.


5) Euclid-Archimedes Approach

Euclid is the first one who established a concrete systematic theory for a domain. He is more like a scientist, 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 word "measure", instead of a number divides another number. Many modern mathematicians think not being abstract enough is Euclid's limitation.

However, Euclid using measurement for division, implies the accurate value of irrational numbers cannot be measured by rational numbers. Measurability is still a critical problem in modern sciences and computer modelling. So, such an expression is not Euclid's limitation, but his insight. 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 many of modern mathematics.

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

Euclid guarantees the correctness of derived theorems by making axioms simple and straightforward, thus self-evident. So Euclid solved the first principle issue in certain extent. Pythagorean did not show why whole numbers could be used to express all numbers, they just believed it be the beauty. Euclid's geometry is a good example of correct logic.

Euclid's approach mainly works in mathematics, and cannot find all theorems and laws in real needs. When Euclid worked on optics, his approach for first principle faced a problem: he did not have justified reasons to choose emission theory instead of intromission theory, although no justified reasons to make the opposite choice at that time, too. These limitations are partially solved by Ibn al-Haytham approach and Galileo-Newton approach, 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.

Archimedes, one of the greatest engineers, was highly influenced by Euclid.


6) Medieval approaches

Pythagoras is very insightful in mathematics, philosophy, music, religious practices, etc. Plato developed the philosophy in his style into maturity. Socrates and Stoicism knew the way to develop rationale and ethics. Euclid and Archimedes designed theoretic and real systems in rigorous forms.

They all made big contributions to knowledge development, and still have big influences so far, but also with problems. Their accomplishments are still in very limited extent.  It is some medieval scholars who brought in some new factors critical to future sciences.

Ibn al-Haytham used some procedure to do scientific research: observe, form conjectures, Testing and/or criticism of a hypothesis using experimentation, etc. He used this procedure to prove intromission theory.

However, this procedure is not a complete scientific approach. He can only use it to reach individual results, still under Euclid's geometry view. Although he did some brilliant work in optics, due to this geometry view and his way of thinking, he cannot gain deep and comprehensive understanding of physics.

More important, Ibn al-Haytham did not tell how to build big theories and establish new paradigns in sciences. Those are critical tasks for scientific revolutions, which were left to Galileo-Newton approach and Darwin non-classific approach, etc.

Al-Biruni put an emphasis on experimentation. He tried to conceptualize both systematic errors and observational biases, and used repeated experiments to control errors. He might also be a pioneer of comparative sociology.

Avicenna discussed the philosophy of science and summarized several methods to find a first principle. He developed a theory to distinguish the inclination to move and the force. He discussed the soul and the body, the perceptions. Probably he is a very important scholar misunderstood by many modern people.

Only after their efforts, big scientific progresses became possible.


7) Galileo-Newton Approach

Although Nicolaus Copernicus started the new age of sciences, he (and Johannes Kepler) still followed Euclid-Archimedes approach, a geometry view.

It is Galileo Galilei who formed many substantial understanding of the physical world and triggered a scientific revolution with his comprehensive and systematic thinking. Galileo showed how these systematic thinking could lead to new world theories and establish new paradigms in physical sciences, which is different from Ibn al-Haytham's approach. Without such a way to think, people cannot build a new big theory from individual isolated conclusions. But he did not summarize well what really make these differences.

Isaac Newton developed his great theories based on Galileo's approach. So this classic scientific approach is named as Galileo-Newton approach. Although Newton did a great work, he did not explain why he could do these, i.e., summarize well what are the real differences between their approach and Ibn al-Haytham's approach. Francis Bacon cannot explain the real differences too. The mechanisms behind these differences are left to be explained by future philosophers.

Galileo-Newton approach mainly work in worlds without considering the affects from life. Thomas Robert Malthus and John Maynard Keynes followed this classific scientific approach and tried to apply it to life and human societies. They made some progresses, but very limited. And they missed something very important to human beings.

There are still fundamental limitations in this approach. It does not work well in artificial intelligence, psychology, economics, and other humanity and social sciences, etc. Those fields relate to humans. Measurability and modelling are still big concerns. People could look at Newton's four rules of reasoning stated in his Mathematical Principles of Natural Philosophy, to figure out what the limitations really are:
"1.We are to admit no more causes of natural things than such as are both true and sufficient to explain their appearances.
2.Therefore to the same natural effects we must, as far as possible, assign the same causes.
3.The qualities of bodies, which admit neither intension nor remission of degrees, and which are found to belong to all bodies within the reach of our experiments, are to be esteemed the universal qualities of all bodies whatsoever.
4.In experimental philosophy we are to look upon propositions collected by general induction from phænomena as accurately or very nearly true, notwithstanding any contrary hypotheses that may be imagined, till such time as other phenomena occur, by which they may either be made more accurate, or liable to exceptions".

Two issues are identified here: 1) Galileo, Newton or Bacon did not summarize well what are the differences and the mechanisms behind these differences between the classific scientific approach and Ibn al-Haytham's approach. 2) Galileo-Newton approach itself has fundamental problems when applied to life and humans. Actually, many important knowledge systems were not built with this approach.


8) Non-Classic Approaches

Although as great academic contributors, Charles Darwin, Adam Smith, and Sigmund Freud built their theories not with Galileo-Newton approach. These three are listed here in the descending order of closeness to sciences. No surprise, their theories relate to humans.

Some people classified Charles Darwin as a follower of Francis Bacon's methodology. It is not true. Darwin did much more than observation, induction, etc., empiricism methods, to construct his great theories for life and human history. He is the greatest historian in history. He established a paradigm to combine sciences, life, and humanity, etc.

The differences between Darwin's approach and Ibn al-Haytham's approach, and the differences between Darwin's approach and  Galileo-Newton approach, are to be illustrated by future philosophers.

People also should pay attention to the differences between Darwinism and Social Darwinism. They actually took opposite positions on many issues.

Epicurus, Arthur Schopenhauer, Friedrich Nietzsche also illustrated many important opinions, related to human natures. Their ways are different from classic approaches, either.


9) The Progresses in Natural Sciences So Far

After Galileo-Newton approach was established, many theories in natural sciences were proposed such as periodic table, genetics, relativity theories, quantum theories, etc. They mainly followed Galileo-Newton approach. Relativity theories are just refinements to Newton dynamics, just as Kepler refined Copernicus' circle orbits with ellipse orbits. Today people know planets do not run in ellipse orbits, too. So people do not know whether relativity theories are the final theories.

There are good examples for work cross different approaches, such as the synthesis of evolution and genetics theories in life sciences. But people do not have good theories in psychology and intelligence yet, and do not know whether Galileo-Newton approach would work well in these fields. Even in biology, most mechanisms can not be explained yet.


10) Inadequate Summarizing Efforts

Many people tried to summarize the knowledge systems, such as: Francis Bacon, René Descartes, David Hume, Immanuel Kant, etc.

Georg Wilhelm Friedrich Hegel, Karl Marx, Bertrand Russell even made more ambitious efforts.

Just they all missed some or many important aspects.


11) Gödel Theorems and the Limitations of Mathematics and Positivism

Gödel theorems illustrate the intrinsic problems in mathematics systems beyond certain complexity. There are foundational crisis in mathematics as in http://en.wikipedia.org/wiki/Foundations_of_mathematics#Foundational_crisis.

More important, mathematics cannot explain all the potentials in reality.

Positivism is an ideal goal for Galileo-Newton approach. However, as said, Charles Darwin, Adam Smith, Sigmund Freud and many others built their theories and systems not strictly with this approach.

In the whole knowledge system, positivism is more like a Utopia, rather than a reality. Even so, as one of important doctrines in sciences, positivism should not be ignored, especially in the conclusion stage.



12) Future Researches

Some of the challenges for future are identified here:
1. How could people construct big theories and establish new paradigms ? These are the mechanims missed in Ibn al-Haytham's approach.  Galileo, Newton, Darwin did their well. But they did not summarize well how they achieved these. Francis Bacon, René Descartes, David Hume, Immanuel Kant, etc., did not summarize these well, too.
2. Identify the limitations in Galileo-Newton approach.
3. Identify the limitations in Darwin's approach.
4. Develop an approach for future researches on life, psychology, and intelligence, etc.

It is up to future philosophers to figure these out and illustrate the mechanisms behind these.

(I delete the content related to computer intelligence and Gu Test in this version. Those are already presented in a seperated paper: Gu Test: A Measurement of Generic Intelligence)

No comments:

Post a Comment