プログラミング言語（プログラミングげんご、英語: programming language）とは、コンピュータに対して命令を行うために考案された、正確に定義された記号と規則からなるコンピュータ言語である。以前は、しばしばプログラム言語と表記された。プログラミング言語を使って行う作業のことを「プログラミング」といい、プログラミングをする人（あるいはそれを職業にしている人）のことを「プログラマ」という。 プログラミング言語には、関数名や構文名などに既存の自然言語（英語やフランス語など）の語彙・文法を流用している「アポステリオリ言語」と、それらを一切流用せずに完全オリジナルな語彙・文法だけで作られた「アプリオリ言語」の2種類が存在する。アプリオリ言語は狭義の人工言語であり、そのプログラマがどの自然言語を母語としているかによって習得に有利不利が生じることがないという特徴を持っている。（#その他の分類法） プログラミング言語が記述されたもののことを総称して「ソースコード」といい、ソースコードをコンパイルしてできたもののことを「プログラム」という。ソースコードは、原則として文字列や文章の形式を取る（#構文）。