¿Es matemáticamente posible crear un lenguaje en el que los términos que describen ideas complejas se puedan formar a partir de ideas más simples, con un razonamiento lógico simple en tiempo real, de modo que no sea necesario conocer el vocabulario?

¿Es matemáticamente posible crear un lenguaje en el que los términos que describen ideas complejas se puedan formar a partir de ideas más simples utilizadas para describir esa compleja?

Sí, así es como funcionan todos los idiomas, en algún nivel. Si necesita que los “términos” sean lo mismo que las “palabras”, simplemente busque idiomas altamente aglutinantes, como el turco o el inuktitut.

con razonamiento lógico simple en tiempo real,

Seguro. Una vez más, así es como funcionan los lenguajes naturales, pero si realmente desea resaltar este aspecto, observe los loglangs y engelangs artificiales (“lenguajes lógicos” y “lenguajes de ingeniería”, respectivamente), como Lojban, Latejami o Ithkuil (aunque para ser justos, nadie puede seguir a Ithkuil en “tiempo real”).

para que saber vocabulario no sea necesario?

No Puede hacer que el vocabulario básico sea realmente pequeño, como Toki Pona, pero aún tiene que aprender algo de vocabulario básico.

Soy escéptico sobre hasta qué punto las matemáticas entran en cualquier razonamiento sobre el lenguaje humano (y los lojbanistas en realidad destacan que el lenguaje no es reducible a la lógica condicional a la verdad). Pero gran parte de lo que está diciendo es la apuesta detrás del metalenguaje semántico natural, que trata de definir cada concepto en un idioma que se parece al inglés, pero que solo tiene un número extremadamente pequeño de palabras primitivas.

NSM era una cosa de belleza cruel y adamantina en los años 70 y 80, cuando tenía solo 14 primitivos. Por supuesto, también era completamente inutilizable como una herramienta práctica para obtener significado. Ahora es hasta 63.

Un truco de fiesta favorito de los alumnos de Anna Wierzbicka, al menos en mi día, era tratar de mantener conversaciones en NSM. Se puede hacer. No se puede hacer de manera suficientemente eficiente como para contar como una conversación real; pero cumple con una definición generosa de “en tiempo real”.