[xíng shì luó ji]   

形    式    逻    辑    关于思维的形式及其规律的科学。研究概念、判断、推理等主要思维形式和研究同一律、矛盾律、排中律等思维规律是形式逻辑的内容。

所谓“形式逻辑”就是指传统逻辑，狭义指演绎逻辑，广义还包括归纳逻辑。所谓逻辑是思维的规律，逻辑学是关于思维规律的学说，思维规律是思维内容与思维“形式”的统一。“形式”逻辑也是从内容和“形式”的统一上来研究思维规律的学说，因而决不是什么纯“形式”的逻辑。

formal logic

形销骨立    形影自守    形式逻辑    形格势禁    形式主义