Los lenguajes artificiales son lenguajes construidos con determinados fines (por ej. formalizar el lenguaje natural, en el caso de los sistemas formales; ordenar acciones a los ordenadores en el caso de los lenguajes de programación, etc)
El lenguaje formal de la lógica es un caso eminente de lenguaje artificial.