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.