Linguagem formal: características e exemplos - Ciência - 2023

science

Contente

o linguagem formal é um conjunto de signos linguísticos para uso exclusivo em situações em que a linguagem natural não é adequada. Em geral, a linguagem é dividida em natural ou informal e artificial. O primeiro é usado para situações cotidianas comuns. Enquanto isso, o artificial é usado em situações específicas fora do âmbito da vida cotidiana.

Dessa forma, a linguagem formal faz parte do grupo das artificiais. Isso é usado, especialmente, nas ciências formais (aquelas cujo campo de ação não são as realidades do mundo físico, mas do mundo abstrato). Algumas dessas ciências incluem lógica, matemática e programação de computadores.

Nesse sentido, esse tipo de linguagem usa códigos linguísticos que não são naturais (não têm aplicação nas comunicações do mundo comum). No campo das ciências formais, uma linguagem formal é um conjunto de cadeias de símbolos que podem ser reguladas por leis específicas de cada uma dessas ciências.


Agora, esse tipo de linguagem usa um conjunto de símbolos ou letras como um alfabeto. A partir disso, as "cadeias de linguagem" (palavras) são formadas. Estas, se estiverem de acordo com as regras, são consideradas "palavras bem formadas" ou "fórmulas bem formadas".

Caracteristicas

Ambiente restrito

A linguagem formal visa o intercâmbio de dados em condições ambientais diferentes das de outras línguas. Por exemplo, em linguagem de programação, o fim é a comunicação entre humanos e computadores ou entre dispositivos computadorizados. Não é uma comunicação entre humanos.

Então é uma linguagem Ad hoc, criado com um objetivo específico e para funcionar em contextos muito específicos. Além disso, não é amplamente utilizado. Ao contrário, seu uso é restrito a quem conhece tanto o objetivo da língua quanto seu contexto particular.

Regras gramaticais a priori

A linguagem formal é formada a partir do estabelecimento de regras gramaticais a priori que lhe dão base. Assim, primeiro é desenhado o conjunto de princípios que regerão a combinação dos elementos (sintaxe) e, em seguida, as fórmulas são geradas.


Por outro lado, o desenvolvimento da linguagem formal é consciente. Isso significa que é necessário um esforço contínuo para seu aprendizado. Na mesma linha, seu uso leva a uma especialização nas regulamentações e convenções de uso científico.

Componente semântico mínimo

O componente semântico na linguagem formal é mínimo. Uma determinada string pertencente à linguagem formal não tem significado por si mesma.

A carga semântica que eles podem ter vem em parte de operadores e relacionamentos. Alguns deles são: igualdade, desigualdade, conectivos lógicos e operadores aritméticos.

Na linguagem natural, a repetição da combinação de "p" e "a" na palavra "papai" tem o valor semântico de pai. No entanto, na linguagem formal, não. No campo prático, o significado ou interpretação das cadeias reside na teoria que se tenta definir por meio dessa linguagem formal.

Assim, quando usado para sistemas lineares de equações, tem a teoria das matrizes como um de seus valores semânticos. Por outro lado, este mesmo sistema possui a carga semântica de projetos de circuitos lógicos na computação.


Em conclusão, os significados dessas cadeias dependem da área das ciências formais em que são aplicadas.

Linguagem simbólica

A linguagem formal é totalmente simbólica. Isso é feito de elementos cuja missão é transmitir a relação entre eles. Esses elementos são os signos linguísticos formais que, como foi dito, não geram nenhum valor semântico por si próprios.

A forma de construção da simbologia da linguagem formal permite cálculos e estabelecer verdades em função não dos fatos, mas de suas relações. Este simbolismo é único e está longe de qualquer situação concreta no mundo material.

Universalidade

A linguagem formal tem um caráter universal. Ao contrário do natural, que, motivado por sua subjetividade, permite interpretações e múltiplos dialetos, o formal é invariável.

Na verdade, é semelhante para diferentes tipos de comunidades. Suas declarações têm o mesmo significado para todos os cientistas, independentemente da língua que falem.

Precisão e expressividade

Em geral, a linguagem formal é precisa e pouco expressiva. Suas regras de formação impedem seus falantes de cunhar novos termos ou dar novos significados a termos existentes. E não pode ser usado para transmitir crenças, humores e situações psicológicas.

Expansibilidade

Como o progresso foi feito na descoberta de aplicativos para a linguagem formal, seu desenvolvimento foi exponencial. O fato de poder ser operado mecanicamente sem pensar em seu conteúdo (seus significados) permite a livre combinação de seus símbolos e operadores.

Em teoria, o escopo de expansão é infinito. Por exemplo, pesquisas recentes no campo da computação e da informática relacionam ambas as linguagens (natural e formal) para fins práticos.

Especificamente, grupos de cientistas trabalham em maneiras de melhorar a equivalência entre eles. No final, o que se busca é criar inteligência que possa usar a linguagem formal para produzir linguagem natural.

Exemplos

Lógica

Na string: (p⋀q) ⋁ (r⋀t) => t, as letras p, q, r, t simbolizam proposições sem nenhum significado concreto. Por outro lado, os símbolos ⋀, ⋁ e => representam os conectores que ligam as proposições. Neste exemplo particular, os conectores usados ​​são “e” (⋀), “ou” (⋁), “então” (=>).

A tradução mais próxima da string é: se alguma das expressões entre parênteses for verdadeira ou não, então t é verdadeira ou não. Os conectores são responsáveis ​​por estabelecer relacionamentos entre proposições que podem representar qualquer coisa.

Matemática

Neste exemplo matemático A = ❴x | x⦤3⋀x> 2❵, um conjunto com o nome “A” está envolvido e possui elementos de nome “x”. Todos os elementos de A estão relacionados pela simbologia ❴, |, ⦤, ⋀,>, ❵.

Todos eles são usados ​​aqui para definir as condições que os elementos "x" devem cumprir para que possam ser do conjunto "A".

A explicação dessa cadeia é que os elementos desse conjunto são todos aqueles que atendem à condição de serem menores ou iguais a 3 e ao mesmo tempo maiores que 2. Ou seja, essa cadeia define o número 3, que é o único elemento que atende às condições.

Programação de computador

A linha de programação IF A = ​​0, THEN GOTO 30, 5 * A + 1 possui uma variável “A” submetida a um processo de revisão e tomada de decisão por meio de um operador conhecido como “se condicional”.

As expressões "IF", "THEN" e "GOTO" fazem parte da sintaxe do operador. Enquanto isso, o resto dos elementos são os valores de comparação e ação de "A".

Seu significado é: o computador é solicitado a avaliar o valor atual de "A". Se for igual a zero passará para "30" (outra linha de programação onde haverá outra instrução). Caso seja diferente de zero, então a variável "A" será multiplicada ( *) pelo valor 5 e o valor 1 será adicionado (+) a ela.

Referências

  1. Collins Dictionary. (s / f). Definição de 'linguagem formal'. Retirado de collinsdictionary.com.
  2. Universidade de Tecnologia de Sydney. (s / f). Linguagem formal e informal. Retirado de uts.edu.au.
  3. Definições (s / f). Definições para linguagem formal. Retirado de settings.net.
  4. Universidade Técnica de Madrid. (s / f). Linguagens naturais e linguagens formais. Retirado de lorien.die.upm.es.
  5. Município de Luján. (s / f). A linguagem formal. Retirado de lujan.magnaplus.org.
  6. Corbin, J. A. (s / f). Os 12 tipos de linguagem (e suas características). psychologiaymente.com.
  7. Bel Enguix, G. e Jiménez López, M. D. (s / f). Simpósio: Novas aplicações da teoria formal da linguagem à linguística. Retirado de elvira.lllf.uam.es.