Lenguaje formalizado

De Enciclopedia Symploké, la enciclopedia libre.
(Redirigido desde Lenguajes formalizados)
Saltar a: navegación, buscar

Conviene no confundir el concepto de lenguaje formal con el de lenguaje formalizado. Los lenguajes formales son puras construcciones formales que carecen de significado, meros artefactos sintácticos. Sus expresiones u oraciones son meras combinaciones de símbolos establecidas de acuerdo con unas reglas sintácticas. Por tanto, no son auténticos lenguajes en el sentido habitual del término. Cuando un lenguaje formal posee una semántica, es decir, cuando existe una interpretación que satisface sus fórmulas válidas, entonces se convierte en un lenguaje formalizado. Los lenguajes formalizados son unos instrumentos especializados necesarios para las ciencias al evitar las ambigüedades y las vaguedades del lenguaje ordinario. Ejemplos de lenguajes formalizados: la lógica proposicional, la teoría de conjuntos, el álgebra de Boole, etc.