Conclusions

• Encara no ens hem posat d'acord sobre moltes coses: què és el coneixement?, què és pensar?, quina és la llengua perfecta? Hi ha moltes respostes. També hi ha moltes lògiques, a gust de tothom.
• La lògica i el llenguatge estan molt relacionats. Molts que estudien una cosa acaben fent també l'altra, a vegades sense adonar-se'n. S'ha de tenir en compte que tothom usa la lògica, i tothom usa el llenguatge.
• Quan ``fem lògica'' usem la lògica proposicional de primer ordre. La de segon és massa complexa.
• Amb el llenguatge natural podem dir de tot, molt més que a LP2, però sense ser estrictes.
• Alguns llenguatges artificials (com Lojban) s'assemblen més a la lògica que a altres llenguatges.
• He escrit molt d'idiomes perquè volia parlar del Lojban. I és que crec que hi són contemplats molts problemes que ha tingut la lògica a la seva història, i que hi incorpora molts models lògics (al menys la seva sintaxi): lògica de termes (relacions simples entre dos conceptes), proposicional, de primer ordre (arrels amb predicats), de segon ordre (permet quantificar tot), modal (mitjançant partícules concretes), difusa (implementada mitjançant decimals entre 0 i 1), il·lògica, etc.
• Altra conclusió: m'agrada el Lojban (encara que no l'he acabat d'estudiar, però crec que ajudarà bastant a l'estudi de la Intel·ligència Artificial).