le langue formelle est un ensemble de signes linguistiques à usage exclusif dans les situations où le langage naturel ne convient pas. 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 manière, le langage formel fait partie du groupe des langages artificiels. Ceci est surtout utilisé dans les sciences formelles (celles dont le champ d'action n'est pas les réalités du monde physique mais du monde abstrait). Certaines de ces sciences comprennent 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 dans le monde ordinaire). Dans le domaine des sciences formelles, un langage formel est un ensemble de chaînes de symboles qui peuvent être régulés par des lois propres à chacune de ces sciences..
Or, ce type de langage utilise un ensemble de symboles ou de lettres comme alphabet. À partir de là, les «chaînes linguistiques» (mots) sont formées. 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».
Index des articles
Le langage formel vise à é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 les humains et les ordinateurs ou entre les appareils informatisés. Ce n'est pas une communication entre humains.
Donc c'est une langue ad hoc, créé avec un objectif spécifique et pour fonctionner dans des contextes très spécifiques. En outre, il n'est pas largement utilisé. Au contraire, son utilisation est réservée à ceux qui connaissent à la fois l'objectif de la langue et son contexte particulier..
Le langage formel se forme à partir de l'établissement de règles grammaticales a priori qui lui en donnent la base. Ainsi, tout d'abord l'ensemble des principes qui régiront la combinaison d'éléments (syntaxe) est conçu, puis les formules sont générées.
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 esprit, son utilisation conduit à une spécialisation dans les réglementations et conventions d'usage scientifique.
La composante sémantique du langage formel est minime. Une chaîne donnée appartenant au langage formel n'a pas de sens en soi.
La charge sémantique qu'ils peuvent avoir provient en partie des opérateurs et des relations. Certains d'entre eux sont: l'égalité, l'inégalité, les connecteurs logiques et les opérateurs 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, le sens ou l'interprétation des cordes réside dans la théorie que l'on tente de définir à travers ce langage formel.
Ainsi, lorsqu'il est utilisé pour des systèmes d'équations linéaires, il a la théorie des matrices comme l'une de ses valeurs sémantiques. D'autre part, ce même système a la charge sémantique des conceptions de circuits logiques en informatique.
En conclusion, la signification de ces chaînes dépend du domaine des sciences formelles dans lequel elles sont appliquées..
Le langage formel est totalement symbolique. Celui-ci est fait 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 par eux-mêmes aucune valeur sémantique..
La forme de construction de la symbologie du langage formel permet des calculs et l'établissement de vérités en fonction non pas des faits mais de leurs relations. Ce symbolisme est unique et éloigné de toute situation concrète dans le monde matériel..
Le langage formel a un caractère universel. Contrairement au naturel, qui, motivé par sa subjectivité, permet des interprétations et de multiples dialectes, le formel est invariable.
En fait, il en va de même pour différents types de communautés. Ses déclarations ont la même signification pour tous les scientifiques quelle que soit la langue qu'ils parlent.
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 à des termes existants. Et, il ne peut pas être utilisé pour transmettre des croyances, des humeurs et des situations psychologiques.
Au fur et à mesure que des progrès ont été réalisés dans la découverte d'applications pour le langage formel, son développement a été exponentiel. Le fait qu'il puisse être actionné mécaniquement sans penser à son contenu (ses significations) permet la libre combinaison de ses symboles et opérateurs.
En théorie, la portée de l'expansion est infinie. Par exemple, des recherches récentes dans le domaine de l'informatique et de l'informatique mettent en relation les deux langages (naturel et formel) à 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, ce qui est recherché est de créer une intelligence qui peut utiliser un langage formel pour produire un langage naturel.
Dans la chaîne: (p⋀q) ⋁ (r⋀t) => t, les lettres p, q, r, t symbolisent des propositions sans signification concrète. En revanche, les symboles ⋀, ⋁ et => représentent les connecteurs qui relient les propositions. Dans cet exemple particulier, les connecteurs utilisés sont «et» (⋀), «ou» (⋁), «alors» (=>).
La traduction la plus proche de la chaîne est: si l'une des expressions entre parenthèses est vraie ou non, alors t est vraie ou non. Les connecteurs sont en charge d'établir les relations entre les propositions qui peuvent représenter n'importe quoi ...
Dans cet exemple mathématique A = ❴x | x⦤3⋀x> 2❵, il s'agit d'un ensemble avec le nom «A» qui a 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 doivent remplir les éléments "x" pour qu'ils appartiennent à l'ensemble "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 en même temps supérieur à 2. Autrement dit, cette chaîne définit le nombre 3, qui est le seul élément qui remplit les conditions.
La ligne de programmation IF A = 0, THEN GOTO 30, 5 * A + 1 a une variable "A" soumise à un processus de révision et de prise de décision via un opérateur dit "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: l'ordinateur est invité à évaluer la valeur actuelle de "A". S'il est égal à zéro, il ira à "30" (une autre ligne de programmation où il y aura une autre instruction). Dans le cas où il est différent de zéro, alors la variable «A» sera multipliée (*) par la valeur 5 et la valeur 1 sera ajoutée (+).
Personne n'a encore commenté ce post.