【形式逻辑】xínɡshìluó•jí关于思维的形式及其规律的科学。形式逻辑研究概念、判断、推理等主要思维形式，研究同一律、矛盾律、排中律等思维规律。