Abstract

To consider formal languages as »articulation« of thought requires a »protological« investigation. The crucial question is how the mental structures are obtained, which are to be expressed by different types of symbols. With the following proposal I suggest as starting point the activity of distinguishing and not the logical analysis of the proposition. Formalization is not to be understood as an abstraction of an elementary form, but as a maximum withdrawal of definiteness, called »condensation«.