所谓形式逻辑就是指传统逻辑，狭义指演绎逻辑，广义还包括归纳逻辑。通常理解的形式逻辑学是指传统的形式逻辑学，即以日常的自然语言为分析基础的形式逻辑学，而不是以人工语言或以数学语言为分析基础的现代形式逻辑学，也即数理逻辑学。 虽然思维内容和思维

SAP，全称肯定命题SEP，全称否定命题SIP，特称肯定命题SOP，特称否定命题逻辑就是思维的规律，逻辑学就是关于思维规律的学说。有时逻辑和逻辑学两个概念通用。逻辑学就是关于思维规律的学说。逻辑和逻辑学的发展，经过了传统逻辑（形式逻辑）与辩