ABSTRACT
In the background of the objection, the assumption is that the relationship between a statement of a natural language and a formula of a logical language that is to formalize it is akin to that between statements of two different natural languages. There might seem to be one more way to reconcile the semantic criterion in the spirit of tentative criterion (TC) with the notion of formalization as aiming at the logical form. A minor objection might be that the structure of the language of CPL and the majority of other logical languages seems to be extremely simple compared to natural languages-they consist only of a few elementary expressions and a small number of syntactic categories and rules. This objection may be discarded by noting that those logicians who were interested in the interface of logic and natural language did develop logical languages and logical systems that are, with regard to their complexity, comparable to natural language.
