最廣義的數理邏輯的組成部分之一。指運用特製的人工符號語言和形式化方法研究演繹推理的規律及其相關的各種邏輯系統和理論。它包括模態邏輯、多值邏輯、構造邏輯、道義邏輯、時態邏輯、模糊邏輯等。（見形式邏輯）。