formal language

logic
Also known as: artificial language, formalized language

Learn about this topic in these articles:

metalogic

  • David Hilbert
    In metalogic

    …syntax (relations among expressions) of formal languages and formal systems. It is related to, but does not include, the formal treatment of natural languages. (For a discussion of the syntax and semantics of natural languages, see linguistics and semantics.)

    Read More
German:
Junggrammatiker
Related Topics:
language

Neogrammarian, any of a group of German scholars that arose around 1875; their chief tenet concerning language change was that sound laws have no exceptions. This principle was very controversial because there seemed to be several irregularities in language change not accounted for by the sound laws, such as Grimm’s law (q.v.), that had been discovered by that time. In 1875, however, the Danish linguist Karl Verner explained the apparent exceptions to Grimm’s law; his formulation of the principle governing those exceptions is known as Verner’s law (q.v.). Subsequently, many other important sound laws were discovered and formulated to account for other apparent exceptions, and, by the end of the 19th century, the hypothesis of the regularity of sound change had been generally accepted.