长春哪能打乙肝疫苗:形式逻辑

形式逻辑

形式（formallogic）逻辑是研究演绎推理及其规律的科学，是人们认识世界和改造世界的必要工具，是人类认识发育到一定阶段后出现思维方法。康德首先使用了形式逻辑这个术语。所谓“形式逻辑”就是指传统逻辑，狭义指演绎逻辑，广义还包括归纳逻辑。

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

形式逻辑是一门以思维形式及其规律为主要研究对象，同时也涉及一些简单的逻辑方法的科学。概念、判断、推理是形式逻辑的三大基本要素。概念的两个方面是外延和内涵，外延是指概念包含事物的范围大小，内涵是指概念的含义、性质；判断从质上分为肯定判断和否定判断，从量上分为全称判断、特称判断和单称判断；推理是思维的最高形式，概念构成判断，判断构成推理，从总体上说人的思维就是由这三大要素决定的。 它要求思维满足同一律、矛盾律、排中律和理由充足律。这四条规律要求思维必须具备确定性、无矛盾性、一贯性和论证性。

逻辑是思维的规律，逻辑学是关于思维规律的学说，思维规律是思维内容与思维“形式”的统一。“形式”逻辑也是从内容和“形式”的统一上来研究思维规律的学说，因而决不是什么纯“形式”的逻辑。正好像传统把概念说成是思维的“形式”是混淆了概念和语言一样，把传统逻辑说成是思维“形式”的学说是混淆了传统逻辑和语言学。如果像马克思说的，只有语言才是思维的“形式”，那么，只有语言学才是研究思维的“形式”和“形式”的规律（如语法规则）的学说。因为，根据恩格斯的传统逻辑和辩证逻辑的关系是初等数学和高等数学的关系的比喻，可以认为辩证逻辑研究人的认识的理性阶段的规律，传统逻辑则研究人的认识的知性阶段的规律。