Lingua logica: differenze tra le versioni

Le lingue logiche sono progettate per permettere (o far rispettare) affermazioni prive di ambiguità. Di solito sono basate sulla [[logica didei predicatopredicati]] ma possono anche essere basate sulsu sistemaaltri sistemi della [[logica]] formale]]. Le due lingue logiche più note sono le lingue di predicato [[Loglan]] ed il suo successore [[Lojban]], che mirano ad eliminare l'ambiguità sintattica ed a ridurre al minimo l'ambiguità semantica.