形式逻辑和论证逻辑有什么区别（形式逻辑的方法有哪四种）

论证逻辑包括了形式论证和非形式论证。形式论证主要和形式逻辑有关，非形式论证则和非形式逻辑有关。

“形式逻辑”就是指传统逻辑，狭义指演绎逻辑，广义还包括归纳逻辑。由于本质上“形式逻辑”是知性逻辑，所以现代数理逻辑没有超出“形式逻辑”即传统逻辑的范畴。