形式逻辑形式逻辑（formallogic）是研究演绎推理及其规律的科学，包括对于词项和命题形式的逻辑性质的研究、思维结构的研究与必然推出的研究，它提供检验有效的推理和非有效推理的标准。它总结了人类思维的经验教训，以保持思维的确定性为核心，用一系列规则、方法帮助人们正确地思考问题和表达思想，是人们认识世界和改造世界的必要工具，是人类认识发育到一定阶段后出现思维方法。康德首先使用了这个术语。内涵形式逻辑的研究方法　形式逻辑研究的推理中的前提… [ 进入词条 ][ 进入形式逻辑维吧 ]