Langues artificielles -LRB- engelangs -RRB-, subdivisées en langues logiques -LRB- loglangs -RRB-, langues philosophiques et langages expérimentaux ; conçues pour l'expérimentation de la logique, de la philosophie ou de la linguistique ;
Langues d'ingénierie -LRB- engelangs -RRB-, qui sont divisées en langues philosophiques et langagières logiques -LRB- loglangs -RRB- - conçues pour des expériences logiques ou philosophiques