Abstract

F11.95> manipulating such forms in order to arrive at new correct arguments. The other two aspects are very intimately connected with this one. 2. In order to construct valid forms of arguments one has to know what such forms can be built from, that is, determine the ultimate "building blocks". In particular, one has to ask the questions about the meaning of such building blocks, of various terms and categories of terms and, furthermore, of their combinations. 3. Finally, there is the question of how to represent these patterns. Although apparently of secondary importance, it is the answer to this question which can be, to a high degree, considered the beginning of modern mathematical logic. The first three sections sketch the development along the respective lines until Renessance. In section 4, we indicate the development in modern era, with particular emphasis on the last two centuries. Section 5 indicates some basic aspect

Citations