Interpretation (logic) - Formal Languages

Formal Languages

A formal language consists of a fixed collection of sentences (also called words or formulas, depending on the context) composed from a fixed set of letters or symbols. The inventory from which these letters are taken is called the alphabet over which the language is defined. The essential feature of a formal language is that its syntax can be defined without reference to interpretation. We can determine that (P or Q) is a well-formed formula even without knowing whether it is true or false.

To distinguish the strings of symbols that are in a formal language from arbitrary strings of symbols, the former are sometimes called well-formed formulæ (wffs).

Read more about this topic:  Interpretation (logic)

Famous quotes containing the words formal and/or languages:

    There must be a profound recognition that parents are the first teachers and that education begins before formal schooling and is deeply rooted in the values, traditions, and norms of family and culture.
    Sara Lawrence Lightfoot (20th century)

    Wealth is so much the greatest good that Fortune has to bestow that in the Latin and English languages it has usurped her name.
    William Lamb Melbourne, 2nd Viscount (1779–1848)