Original: The second type of languages have a formal logical basis, i.e. they have a formal syntax and semantics, and can be mapped to an existing formal language, such as first-order logic.
Simplified: The second type of languages have a well defined rules of construction and interpretation, and can be matched to formal languages, such as first-order logic.