ABSTRACT
The two basic kinds of symbols we use to put together artificial languages of logic are parameters and constants. While parameters are employed to express generality (they are used to “abstract away” the parts of sentences which are of no interest for us, typically the extralogical ones), constants are employed to implement rigor (they are used to “regiment” the parts of sentences we are interested in, typically the logical ones). A typical artificial language of logic is a formal language, which consists of parameters and logical constants. A formal language is not a genuine language, it is a language form. However, we can also have formalized languages (like, for example, the language of Peano arithmetic) that consist of only constants – logical and extralogical.
