DOI: 10.4324/9780415249126-Y011-1
Version: v1, Published online: 1998
Retrieved April 23, 2024, from https://www.rep.routledge.com/articles/thematic/formal-languages-and-systems/v-1
Version: v1, Published online: 1998
Retrieved April 23, 2024, from https://www.rep.routledge.com/articles/thematic/formal-languages-and-systems/v-1
Article Summary
Formal languages and systems are concerned with symbolic structures considered under the aspect of generation by formal (syntactic) rules, that is, irrespective of their or their components’ meaning(s). In the most general sense, a formal language is a set of expressions. The most important way of describing this set is by means of grammars. Formal systems are formal languages equipped with a consequence operation yielding a deductive system. If one further specifies the means by which expressions are built up (connectives, quantifiers) and the rules from which inferences are generated, one obtains logical calculi of various sorts, especially Frege–Hilbert-style and Gentzen-style systems.
Citing this article:
Herre, Heinrich and Peter Schroeder-Heister. Formal languages and systems, 1998, doi:10.4324/9780415249126-Y011-1. Routledge Encyclopedia of Philosophy, Taylor and Francis, https://www.rep.routledge.com/articles/thematic/formal-languages-and-systems/v-1.
Copyright © 1998-2024 Routledge.
Herre, Heinrich and Peter Schroeder-Heister. Formal languages and systems, 1998, doi:10.4324/9780415249126-Y011-1. Routledge Encyclopedia of Philosophy, Taylor and Francis, https://www.rep.routledge.com/articles/thematic/formal-languages-and-systems/v-1.
Copyright © 1998-2024 Routledge.