ABSTRACT

This chapter suggests that the step from a statement to its logical form may be seen as consisting of two sub-steps: regimentation and abstraction. A significant confusion concerning the concept of logical analysis is generated by the fact that it is often not clear whether the analysis aims at logical structures or logical forms. It is good to realize that once the method of extracting the logical form from a natural language statement moves beyond the replacement of individual expressions by individual parameters or constants, it becomes something of an art. In the case of empirical vocabularies, the 'semantic' way appears to be more promising and indeed seems to be the way chosen by nearly all those who tried to extend the artificial languages of logic by (regimentations of) empirical vocabulary. A hybrid language can be turned into a formalized language by means of transforming the (extralogical) vocabulary from natural language it contains to extralogical constants.