ラダー・ロジックまたはラダー言語(ラダーげんご)は論理回路を記述するための手法で、現在多くのプログラマブルロジックコントローラ(PLC)で採用されているプログラム言語である。ラダー図という場合もある。本来は、リレーによる論理回路を記述するために考案されたものである。ラダーという名前は、この言語のプログラムが2本の並行するレール(母線)とその間に渡されるラングによって梯子(ラダー)のように見えることに由来する。ラダー言語はハードウェア記述言語とは別のものと扱われている。