Las ideas principales de la lógica simbólica que se representan directamente en la gramática lojban son (1) existen conjunciones lógicas que representan las 16 formas posibles de combinar dos enunciados, (2) todas las palabras de contenido son verbos y los verbos son funciones lógicas o predicados, con argumentos múltiples, y (3) los argumentos pueden cuantificarse de manera precisa o vaga con reglas de alcance claras. Esto es suficiente para representar la lógica de primer orden, creo.
Si bien eso es interesante para mí, más interesantes son las otras características de este conlang que lo convierten en un lenguaje humano poderoso, con un trabajo de diseño bien pensado realizado durante los últimos 60 años (toda mi vida). Lojban admite interjecciones que expresan una amplia variedad de emociones y actitudes en finos matices de una manera que es separable de las afirmaciones verdaderas o falsas que uno también puede expresar. El isomorfismo audiovisual significa que todo lo que necesita expresarse con tono de voz, expresiones faciales o puntuación en otros idiomas, puede expresarse con palabras, palabras que son las mismas, ya sean escritas o habladas, como comillas aéreas, emoticones, preguntas marcas versus períodos de enunciado, signos de exclamación sorpresa, etc. El lenguaje tiene una gramática formal (YACC y PEG) que permite analizar textos y verificar errores, advirtiéndole, en efecto, que olvidó la coma en “Comamos a la abuela”. Esta gramática es de una complejidad similar a la de C ++ y es mucho más simple que el inglés. La gramática es inequívoca, ya que una declaración gramatical solo se puede analizar de una manera. Las palabras tienen un solo significado, aunque eso realmente incluye un rango continuo de significados similares, porque la precisión infinita es imposible. Existe un algoritmo para romper una larga frase con las palabras juntas, que es la forma en que normalmente hablamos, sin necesidad de un léxico o para averiguar qué es probable en las circunstancias, que es lo que normalmente debemos hacer para reconocer las palabras en inglés hablado. Las formas, la pronunciación y los significados de las palabras están destinados a ser culturalmente neutrales e internacionales. El lenguaje tiene métodos bien definidos para componer palabras para uso metafórico y para tomar prestadas palabras extranjeras, por ejemplo, nombres binomiales linneanos y otros términos científicos.
La desventaja de toda esta comprensión fácil por parte del hombre y la máquina es que usted, el hablante o el escritor, tiene que pensar con claridad para decir lo que quiere decir y decir lo que dice. Evitar la ambigüedad parece requerir cierta verbosidad. Además, el diseño del lenguaje por comité tiene el problema habitual de incluir el fregadero de la cocina, por lo que puede decir una cosa de muchas maneras diferentes, y yo, el minimalista, eliminaría y simplificaría algunas de las alternativas.
- Si (x + 1 / x) ^ 2 = 3, ¿cuál es el valor de x ^ 206 + x ^ 200 + x ^ 90 + x ^ 84 + x ^ 18 + x ^ 12 + x ^ 6 + 1?
- ¿Qué tan valioso es el intento de Yuanyou Fred Cheng de la hipótesis de Riemann?
- ¿Se puede construir una biyección de NxN a Q?
- ¿Qué tipo de primera diferencia directa se aplicó para esta conductancia de la piel?
- ¿En qué se diferencia la matemática aplicada de la ingeniería (por ejemplo, mecánica)?
Acerca de la formalidad: lo que hace que el lojban sea un lenguaje formal tanto como cualquier otro lenguaje formal es que tiene un conjunto bien definido de oraciones gramaticales. Como beneficio adicional, ese conjunto infinito de oraciones gramaticales está definido por un conjunto finito (razonablemente pequeño) de reglas. Como beneficio adicional, las oraciones tienen una semántica definida por el estándar del lenguaje. Ahora, algunas oraciones gramaticales son lo suficientemente extrañas como para no parecer sensatas. Si dices: “Un gato no es un mamífero, sino una palabra de tres letras”, entonces solo digo que eso es gramatical y falso. Lojban tiene requisitos de tipo, por ejemplo, distinguir una palabra del referente de la palabra, pero estos no se aplican sintácticamente. En cualquier caso, las personas usan la gramática para probar cosas sobre las expresiones lojban.