top of page

L.C.P

Logic of Program Construction

Before addressing to the subject, I would like to share with you some reflections that I consider indispensable, in order to fully appreciate what the JD WARNIER's approach to the organization of  processing data (programs) in a computer system.

i would start with two excerpts from L.C.P and the Man in front of Artificial Intelligence :

Computer logic and the logic of thought.

Should the organization of the programs and data sets they deal with result from an intuitive approach or a rigorous logic?

The great majority of computer scientists in the late 1960s and many still consider that if a "certain logic" is to be used, it is nevertheless necessary to rely on intuition, especially if We want to achieve high-performance solutions.
On the other hand, if we do not turn to those who are programming computers, but to those who in various branches of activity distribute work to their employees, we can hear recommendations such as: "Be a little more logical ! ".

Of course, the word "LOGICAL" has the sense that everyone wants to give it. But if we want to see a little more clearly, it is high time to work to solve two problems :

- Can a rigorous logical approach be used to design and program computers and to organize the data they process ?

- Can we and should we demand a strictly logical behavior from man ?

Most people, including computer scientists, do not seem to be asking such questions. When one speaks of the problem, especially when speaking to specialists, one often gets answers like "one can not always be rigorously logical in computer science". The reasons given to justify this point of view almost always lead us back to technical or performance considerations.

The studies we have carried out have led us to discover that it is impossible to achieve correct and truly efficient computer solutions without using a problem-solving approach that is strictly logical.
On the other hand, it can be seen that man is incapable of conducting himself in a strictly logical manner, and that very often a strict logic is the negation of common sense and reason.

These remarks lead us to distinguish the logic of data processing from the logic of thought. The data constitute sets in the sense that this word is used in mathematics, this is in our view the fundamental axiom of computer science. One can and must then use in computer science a rigorous and mathematical logic to organize the data sets.

Conversely, human knowledge can not be dealt with in a rigorous and systematic way: each one can treat only his own knowledge and the logic in the sense in which we have just expressed it, is still the "grammar of fools". It is then high time to consider computer logic as an essential discipline. Its development and diffusion will make it possible to dominate the computer problems. This mastery of computer science must be done not only by specialists, but also by the entire contemporary population.

bottom of page