Język sztuczny to język, który został celowo zbudowany przez osobę lub grupę ludzi, a nie ewoluował w sposób naturalny w czasie. Języki sztuczne są również określane jako języki sztuczne i mogą być określane skróconym terminem conlang. Język sztuczny, który jest zbudowany do użycia jako język internacjonalistyczny, może być czasami określany przez zwolenników jako język planowany.
Język sztuczny może powstać z wielu różnych powodów. Dla grup próbujących stworzyć język międzynarodowy, którego mogą się łatwo nauczyć różne grupy, użycie języka sztucznego jest oczywistym wyborem. Zdecydowanie najbardziej znanym przykładem tego rodzaju języka sztucznego jest esperanto, język stworzony pod koniec lat 1890. XIX wieku jako język pomocniczy, który ma być używany na całym świecie w celu budowania międzynarodowego zrozumienia. Szacuje się, że Esperanto ma około miliona użytkowników na całym świecie, z około 1,000 native speakerami.
Wiele utworów beletrystycznych wykorzystuje również język sztuczny jako podstawowy język dla ich fikcyjnych grup kulturowych. Znaczna część współczesnej fantastyki i science fiction do pewnego stopnia wykorzystuje sztuczny język, przy czym niektóre takie języki są niezwykle złożone i dopracowane. Języki JRR Tolkiena stworzone dla jego fantazji o Śródziemiu są prawdopodobnie najbardziej szczegółowe, z całymi rodzinami języków, bogatą historią ewolucji języka i dość obszernymi leksykonami. Język klingoński opracowany przez Marca Okranda dla uniwersum Star Trek jest kolejnym przykładem języka stworzonego do użytku w fikcyjnym świecie, chociaż teraz może pochwalić się wieloma tysiącami użytkowników w świecie rzeczywistym.
Niektóre wcześnie skonstruowane języki nie były postrzegane jako celowo skonstruowane, ale raczej jako języki natchnione przez Boga. Należą do nich XII-wieczna Lingua Ignota, która była przedstawiana jako język mistyczny, którym posługują się aniołowie, oraz niektóre kabalistyczne próby wskrzeszenia oryginalnego języka człowieka, który zaginął w Babel.
Języki sztuczne mogą być również używane do tworzenia bardziej logicznych i precyzyjnych alternatyw dla języków naturalnych. Języki te mogą być albo językami filozoficznymi, albo językami logicznymi i są one wspólnie określane jako języki inżynieryjne. Język logiczny, taki jak Lożban, stara się zredukować wszelkie niejednoznaczności w zdaniu do punktu, w którym praktycznie nie istnieje, tak aby znaczenie, które próbujemy przekazać, jest jedynym znaczeniem, które można logicznie wywieść z tego zdania. Język filozoficzny, taki jak Ro, często próbuje odzwierciedlić jakąś filozoficzną prawdę w postaci języka. Ro jest na przykład językiem sztucznym, w którym znaczenie słowa można wyprowadzić z konstrukcji samego słowa, tak że znając zasady, według których tworzone są słowa, znaczenie każdego nowego słowa może być natychmiast zrozumiane.