Conclusiones

• Aún no nos hemos puesto de acuerdo sobre muchas cosas: ¿qué es el conocimiento?, ¿qué es pensar?, ¿cuál es la lengua perfecta? Hay muchas respuestas. También hay muchas lógicas, a gusto de todos.
• La lógica y el lenguaje están muy relacionados. Muchos de los que estudian una cosa acaban haciendo también la otra, a veces sin enterarse. Hay que tener en cuenta que todos usan la lógica, y todos usan el lenguaje.
• Cuando ``hacemos lógica'' usamos la lógica proposicional de primer orden. La de segundo es demasiado complicada.
• Con el lenguaje natural podemos decir de todo, mucho más que en LP2, pero sin ser estrictos.
• Algunos lenguajes artificiales (como Lojban) se parecen más a la lógica que a otros lenguajes.
• He escrito mucho de idiomas porque quería hablar del Lojban. Y es que creo que refleja muchos problemas que ha tenido la lógica en su historia, y que incorpora muchos modelos lógicos (al menos su sintaxis): lógica de términos (relaciones simples entre dos conceptos), proposicional, de primer orden (raíces con predicados), de segundo orden (permite cuantificar todo), modal (mediante partículas concretas), difusa (implementada mediante decimales entre 0 y 1), ilógica, etc.
• Otra conclusión: me gusta el Lojban (aunque no lo he acabado de estudiar, pero creo que ayudará bastante al estudio de la Inteligencia Artificial).