Langage formel: caractéristiques et exemples

Le langage formel est un ensemble de signes linguistiques utilisés exclusivement dans des situations où le langage naturel n'est pas approprié. En général, la langue est divisée en naturel ou informel et artificiel. Le premier est utilisé pour des situations courantes de la vie quotidienne. Pendant ce temps, l'artificiel est utilisé dans des situations spécifiques en dehors du cadre de la vie quotidienne.

De cette façon, le langage formel fait partie du groupe artificiel. Ceci est utilisé surtout dans les sciences formelles (celles dont le champ d'action ne sont pas les réalités du monde physique mais le monde abstrait). Certaines de ces sciences incluent la logique, les mathématiques et la programmation informatique.

En ce sens, ce type de langage utilise des codes linguistiques qui ne sont pas naturels (ils n’ont aucune application dans les communications du monde ordinaire). Dans le domaine des sciences formelles, un langage formel est un ensemble de chaînes de symboles pouvant être régulées par des lois spécifiques à chacune de ces sciences.

Maintenant, ce type de langage utilise un ensemble de symboles ou de lettres comme alphabet. A partir de là, les "chaînes de langage" (mots) se forment. Ceux-ci, s'ils sont conformes aux règles, sont considérés comme des "mots bien formés" ou des "formules bien formées".

Caractéristiques

Environnement restreint

L'objectif du langage formel est d'échanger des données dans des conditions environnementales différentes de celles des autres langues. Par exemple, dans le langage de programmation, la fin est la communication entre des humains et des ordinateurs ou entre des périphériques informatisés. Ce n'est pas une communication entre humains.

Il s’agit donc d’un langage ad hoc, créé avec un objectif spécifique et pour fonctionner dans des contextes très spécifiques. En outre, il n'est pas utilisé de manière massive. Au contraire, son utilisation est limitée à ceux qui connaissent à la fois l'objectif de la langue et son contexte particulier.

Règles de grammaire a priori

Le langage formel est formé à partir de l'établissement de règles a priori grammaticales qui en donnent la base. Nous concevons donc d'abord l'ensemble des principes qui régiront la combinaison d'éléments (syntaxe), puis générons les formules.

D'autre part, le développement du langage formel est conscient. Cela signifie qu'un effort soutenu est nécessaire pour leur apprentissage. Dans le même ordre d'idées, son utilisation conduit à une spécialisation dans les réglementations et conventions d'usage scientifique.

Composante sémantique minimale

La composante sémantique du langage formel est minimale. Une certaine chaîne appartenant au langage formel n’a aucune signification en soi.

La charge sémantique qu’ils peuvent avoir provient en partie d’opérateurs et de relations. Certains d'entre eux sont: égalité, inégalité, opérateurs de connectivité logique et arithmétiques.

En langage naturel, la répétition de la combinaison de "p" et "a" dans le mot "papa" a la valeur sémantique de parent. Cependant, dans un langage formel, ce n'est pas le cas. Dans le domaine pratique, la signification ou l'interprétation des chaînes réside dans la théorie que l'on essaie de définir à travers ce langage formel.

Ainsi, lorsqu'il est utilisé pour des systèmes d'équations linéaires, la théorie matricielle est l'une de ses valeurs sémantiques. D'autre part, ce même système a la charge sémantique de la conception de circuits logiques en informatique.

En conclusion, les significations de ces chaînes dépendent du domaine des sciences formelles dans lesquelles elles sont appliquées.

Langage symbolique

Le langage formel est complètement symbolique. Ceci est composé d'éléments dont la mission est de transmettre la relation entre eux. Ces éléments sont les signes linguistiques formels qui, comme mentionné, ne génèrent aucune valeur sémantique par eux-mêmes.

La forme de construction de la symbologie linguistique formelle nous permet de faire des calculs et d’établir des vérités en fonction non pas des faits, mais de leurs relations. Cette symbologie est unique et très éloignée de toute situation concrète dans le monde matériel.

Universalité

Le langage formel a un caractère universel. Contrairement au naturel, qui a motivé sa subjectivité permet des interprétations et des dialectes multiples, le formel semble invariable.

En fait, c'est similaire pour différents types de communautés. Leurs approches ont la même signification pour tous les scientifiques, quelle que soit leur langue.

Précision et expressivité

En général, le langage formel est précis et peu expressif. Ses règles de formation empêchent ses locuteurs d’inventer de nouveaux termes ou de donner de nouvelles significations aux termes existants. Et, il ne peut pas être utilisé pour transmettre des croyances, des humeurs et des situations psychologiques.

Capacité d'expansion

Dans la mesure où des progrès ont été réalisés dans la découverte d'applications pour langage formel, son développement a été accéléré. Le fait qu’il puisse être opéré mécaniquement sans penser à son contenu (sa signification) permet la combinaison libre de ses symboles et de ses opérateurs.

En théorie, l'étendue de l'expansion est infinie. Par exemple, des recherches récentes dans le domaine de l'informatique et de l'informatique associent les deux langues (naturelle et formelle) à des fins pratiques.

Plus précisément, des groupes de scientifiques travaillent sur des moyens d'améliorer l'équivalence entre eux. En fin de compte, on cherche à créer une intelligence capable d'utiliser le langage formel pour produire un langage naturel.

Des exemples

La logique

Dans la chaîne: (p⋀q) ⋁ (r⋀t) => t, les lettres p, q, r, t symbolisent des propositions sans signification concrète. D'autre part, les symboles, ⋁ et => représentent les connecteurs qui relient les propositions. Dans cet exemple particulier, les connecteurs utilisés sont "y" (), "o" (⋁), "then" (=>).

La traduction la plus proche de la chaîne est la suivante: si l'une des expressions entre parenthèses est remplie ou non, alors t est rencontré ou non. Les connecteurs sont chargés d’établir des relations entre des propositions pouvant représenter n'importe quoi.

Mathématiques

Dans cet exemple mathématique, A = ❴x | x⦤3⋀x> 2❵, un ensemble portant le nom "A" et comportant des éléments de nom "x". Tous les éléments de A sont liés par la symbologie, |, ⦤, ⋀, >, ❵.

Tous sont utilisés ici pour définir les conditions que les éléments "x" doivent remplir pour pouvoir être du groupe "A".

L'explication de cette chaîne est que les éléments de cet ensemble sont tous ceux qui remplissent la condition d'être inférieur ou égal à 3 et simultanément supérieur à 2. En d'autres termes, cette chaîne définit le nombre 3 qui est le seul élément répond aux conditions.

Programmation informatique

La ligne de programmation IF A = ​​0, puis GOTO 30, 5 * A + 1 a une variable "A" soumise à un processus de révision et de prise de décision par l'intermédiaire d'un opérateur appelé "si conditionnel".

Les expressions "IF", "THEN" et "GOTO" font partie de la syntaxe de l'opérateur. Pendant ce temps, le reste des éléments sont les valeurs de comparaison et d’action de "A".

Sa signification est la suivante: il est demandé à l'ordinateur d'évaluer la valeur actuelle de "A". S'il est égal à zéro, il passera à "30" (une autre ligne de programmation où il y aura une autre instruction). S'il est différent de zéro, la variable "A" sera multipliée (*) par la valeur 5 et la valeur 1 sera ajoutée (+).