與歸納邏輯相對。主要研究演繹推理形式的科學，即狹義的形式邏輯。演繹推理是如果前提都真，則結論必然真的推理。