キャロル・カープ賞 (Carol Karp Prize) は、(英語: Association for Symbolic Logic)より授与される賞の一つ。5年に一度、数理論理学における最も卓越した論文・著書に対し贈られる。なお、この賞は研究者ではなく業績に対して授与されるので、同一人物が複数回受賞することが可能である。 1973年、早逝した論理学者(en)を記念して設立された。数理論理学・数学基礎論分野における最も栄誉ある賞とみなされている。