Editing Syntax (logic) (section)

=== Formal language ===
{{Main|Formal language}}

A ''formal language'' is a syntactic entity which consists of a [[Set (mathematics)|set]] of finite [[string (computer science)|strings]] of [[symbol (formal)|symbol]]s which are its words (usually called its [[well-formed formula]]s). Which strings of symbols are words is determined by the creator of the language, usually by specifying a set of [[formation rule]]s. Such a language can be defined without [[reference]] to any [[meaning (linguistics)|meaning]]s of any of its expressions; it can exist before any [[Interpretation (logic)|interpretation]] is assigned to it – that is, before it has any meaning.