En primer lugar, debemos distinguir entre lenguajes naturales (inglés, alemán, italiano, etc.) y lenguajes formales, como las matemáticas. Los naturales surgen naturalmente tanto en comunidades sociales como en comunidades científicas. Simultáneamente, los lenguajes formales se construyen artificialmente para su uso en disciplinas como las matemáticas, la lógica y la programación informática. Los lenguajes formales se caracterizan por "sintaxis" y "semántica" con reglas precisas, mientras que un lenguaje natural tiene una sintaxis bastante vaga conocida como "gramática" y carece de semántica explícita. | En primer lugar, debemos distinguir entre lenguajes naturales (inglés, alemán, italiano, etc.) y lenguajes formales, como las matemáticas. Los naturales surgen naturalmente tanto en comunidades sociales como en comunidades científicas. Simultáneamente, los lenguajes formales se construyen artificialmente para su uso en disciplinas como las matemáticas, la lógica y la programación informática. Los lenguajes formales se caracterizan por "sintaxis" y "semántica" con reglas precisas, mientras que un lenguaje natural tiene una sintaxis bastante vaga conocida como "gramática" y carece de semántica explícita. |