Als der oder das
Kalkül (
frz. „Rechnung“; von
lat. „
Rechenstein“, „
Spielstein“) versteht man in den formalen Wissenschaften wie
Logik und
Mathematik ein System von Regeln, mit denen sich aus gegebenen Aussagen (
Axiomen) weitere Aussagen ableiten lassen. Kalküle, auf eine Logik selbst angewandt, werden auch
Logikkalküle genannt.