FORMALE SPRACHEN  

Lenguajes formales

(Recop.) Justo Fernández López

 

Vgl.: Logik / Kalkül / Formalismus / Formale Logik / Formale Systeme

 

Formale Sprachen [Auch: Künstliche / Logische Sprachen]. Im unterschied zu natürlichen Sprachen künstliche, auf der Basis von Logik und/oder Mathematik konstruierte Sprachsysteme, die sich durch Eindeutigkeit, Explizitheit und leichte Überprüfbarkeit auszeichnen.“ [Bußmann, S. 248]

«Künstliche Sprache

[engl. artificial language. - Auch: Kunstsprache]

1.    Im Unterschied zu Natürlichen Sprachen künstlich geschaffenes Sprachsystem (a) zum Zwecke internationaler Verständigung, vgl. Welthilfssprachen; (b) als logisches Zeichensystem zur expliziten (Mehrdeutigkeit ausschließenden) Beschreibung wissenschaftlicher Systeme, vgl. Formale Sprache; (c) als Symbolsprache für Computerprogramme, vgl. Computerlinguistik.

2.    Nachbildung der natürlichen Sprache durch elektro-akustische Verfahren.» [Bußmann, H., S. 429]

«Lenguaje artificial

Ante las imprecisiones semánticas y las deficiencias sintácticas, propias del lenguaje natural, poco apropiado para las construcciones teóricas de la ciencia o para la expresión de razonamientos complejos, necesitados de una exactitud que el lenguaje natural u ordinario no posee, surgen los ‘lenguajes artificiales’, los cuales son lenguajes bien definidos que poseen una estructura operativa y eficaz. Desde un punto de vista expresivo, los ‘lenguajes artificiales’ disponen de un campo muy limitado, ya que sólo sirven para satisfacer las necesidades expresivas de aquellos sectores del conocimiento para los que fueron diseñados. La lógica y la matemática son prototipos de ‘lenguajes artificiales’. Un lenguaje artificial consta de los mismos elementos que cualquier otro lenguaje, esto es, símbolos y reglas sintácticas, con tal de que se cumplan las siguientes condiciones: (a) que los símbolos estén bien definidos; (b) que el conjunto de reglas para la formación de enunciados sea efectivo, es decir, permita saber en cualquier momento si nos encontramos ante una expresión bien formada del lenguaje artificial que se trate; y (c) que el conjunto de reglas operativas permita pasar de unas expresiones a otras constituyendo cadenas deductivas rigurosas y exactas.»

[Alcaraz Varó, Enrique / Martínez Linares, María Antonia: Diccionario de lingüística moderna. Barcelona: Editorial Ariel, 1997, p. 325]

«Lenguaje formal

1.    Se denomina “lenguaje formal” al lenguaje artificial que utiliza una tabla de símbolos formales –formas que carecen de significado fijo– y cuyas reglas sintácticas poseen la operatividad y eficacia del cálculo. La lógica y la matemática son lenguajes formales.

2.    En estilística se utiliza ‘lenguaje formal’, solemne o académico, en oposición a lenguaje coloquial. Cf prosopopeya.»

[Alcaraz Varó, Enrique / Martínez Linares, María Antonia: Diccionario de lingüística moderna. Barcelona: Editorial Ariel, 1997, p. 325]