Abstract
The author shows: (1) which ideas and principles effort to create an artificial, universal language of Comenius on the one hand and Leibniz on the other hand has been led along, (2) to what rules or schemas their views and resolutions were incarnated, and how it can be interpreted; and finally (3) he compares the two projects through their approach to Lullus’s conceptual combinatorics. An aim is to discover a cause of their superficial similarities and fundamental differences, distinct conceptions of rationality, hence views of a role of a language in an understanding of reality.
In conclusion, questions that arise in solving the problem of application of recent formal logic in nonmathematical fields are asked, especially for a theory of an argumentation in social sciences. An attempt to understand, to compare, and to evaluate those projects become a stimulus for a reflection of the ethos of the logic of a dialogue and a relationship between an understanding and a mathematical, formal modeling.