Leibniz's program of a universal science for coordinating all human knowledge into a systematic whole comprises two parts: a universal notation by use of which any item of information whatever can be recorded in a natural and systematic way, and a means of manipulating the knowledge thus recorded in a computational fashion, so as to reveal its logical interrelations and consequences . (en)
Leibniz's views about the systematic character of all knowledge are linked with his plans for a universal symbolism, a Characteristica Universalis. This was to be a calculus which would cover all thought, and replace controversy by calculation. The ideal now seems absurdly optimistic..." (en)
We have spoken of the art of complication of the sciences, i.e., of inventive logic... But when the tables of categories of our art of complication have been formed, something greater will emerge. For let the first terms, of the combination of which all others consist, be designated by signs; these signs will be a kind of alphabet. It will be convenient for the signs to be as natural as possible—e.g., for one, a point; for numbers, points; for the relations of one entity with another, lines; for the variation of angles and of extremities in lines, kinds of relations. If these are correctly and ingeniously established, this universal writing will be as easy as it is common, and will be capable of being read without any dictionary; at the same time, a fundamental knowledge of all things will be obtained. The whole of such a writing will be made of geometrical figures, as it were, and of a kind of pictures — just as the ancient Egyptians did, and the Chinese do today. Their pictures, however, are not reduced to a fixed alphabet... with the result that a tremendous strain on the memory is necessary, which is the contrary of what we propose. (en)
And although learned men have long since thought of some kind of language or universal characteristic by which all concepts and things can be put into beautiful order, and with whose help different nations might communicate their thoughts and each read in his own language what another has written in his, yet no one has attempted a language or characteristic which includes at once both the arts of discovery and judgement, that is, one whose signs and characters serve the same purpose that arithmetical signs serve for numbers, and algebraic signs for quantities taken abstractly. Yet it does seem that since God has bestowed these two sciences on mankind, he has sought to notify us that a far greater secret lies hidden in our understanding, of which these are but the shadows. (en)
... a kind of general algebra in which all truths of reason would be reduced to a kind of calculus. At the same time, this would be a kind of universal language or writing, though infinitely different from all such languages which have thus far been proposed; for the characters and the words themselves would direct the mind, and the errors — excepting those of fact — would only be calculation mistakes. It would be very difficult to form or invent this language or characteristic, but very easy to learn it without any dictionaries. (en)
the Leibniz project is not a matter of logic but rather one of knowledge representation, a field largely unexploited in today's logic-oriented epistemology and philosophy of science. It is precisely this one-sided orientation of these disciplines, which is responsible for the distorted picture of Leibniz's work found in the literature. (en)
Elsewhere Leibniz even includes among the types of signs musical notes and astronomical signs . It should be noted that Leibniz sometimes employs planetary signs in place of letters in his algebraic calculations (en)
...practical uses rather than scientific utility, that is, for being chiefly artificial languages intended for international communication and not philosophical languages that would express the logical relations of concepts. He favors, and opposes to them, the true "real characteristic", which would express the composition of concepts by the combination of signs representing their simple elements, such that the correspondence between composite ideas and their symbols would be natural and no longer conventional. (en)
This shows that the real characteristic was for him an ideography, that is, a system of signs that directly represent things and not words, in such a way that each nation could read them and translate them into its own language. (en)
Logistic may be defined as the science which deals with types of order as such. It is not so much a subject as a method. Although most logistic is either founded upon or makes large use of the principles of symbolic logic, still a science of order in general does not necessarily presuppose or begin with symbolic logic. (en)
It is true that in the past I planned a new way of calculating suitable for matters which have nothing in common with mathematics, and if this kind of logic were put into practice, every reasoning, even probabilistic ones, would be like that of the mathematician: if need be, the lesser minds which had application and good will could, if not accompany the greatest minds, then at least follow them. For one could always say: let us calculate, and judge correctly through this, as much as the data and reason can provide us with the means for it. But I do not know if I will ever be in a position to carry out such a project, which requires more than one hand; and it even seems that mankind is still not mature enough to lay claim to the advantages which this method could provide. (en)
I have spoken to the Marquis de l'Hôpital and others about my general algebra, but they have paid no more attention to it than if I had told them about a dream of mine. I should have to support it too by some obvious application, but to achieve this it would be necessary to work out at least a part of my characteristic, a task which is not easy, especially in my present condition and without the advantage of discussions with men who could stimulate and help me in work of this nature. (en)
