ラダー・ロジックまたはラダー言語は、論理回路を記述するための手法で、現在多くのプログラマブルロジックコントローラ(PLC)で採用されているプログラム言語である。ラダー図という場合もある。本来は、リレーによる論理回路を記述するために考案されたものである。ラダーという名前は、この言語のプログラムが2本の並行するレール（母線）とその間に渡されるラングによって梯子（ラダー）のように見えることに由来する。
ラダー・ロジックで書かれたプログラムはリレーを使った回路と等価である。このため、様々なエンジニアや技術者が新たなトレーニングを受けなくても理解・利用しやすいという点で優れている言語である。
ラダー・ロジックはプロセス制御やファクトリーオートメーションでシーケンス制御などで使われるPLCのプログラミングに広く使用されている。またラダー・ロジックは単純ではあるがクリティカルな制御が求められるシステム、あるいは旧来のリレーと実配線による回路の置き換えにも利用される。PLCは近年高機能化の一途をたどっており、非常に複雑なオートメーションシステムで使われるようになった。