1、自我校对：自我校对： 被定义项被定义项 定义联项定义联项 相容相容 断定断定 真假真假 复合复合 选言选言 假言假言 归纳归纳 或然或然 真实真实 推理结构推理结构 不相容不相容 必要条件必要条件 充分必要条件充分必要条件 不完全归纳不完全归纳 求同求异求同求异 剩余剩余 条件条件 学思心得学思心得 1形式逻辑及其要求形式逻辑及其要求 形式逻辑形式逻辑(Formal logic)是研究演绎推理及其规律的科学是研究演绎推理及其规律的科学，包括对于词项和命包括对于词项和命 题形式的逻辑性质的研究、思维结题形式的逻辑性质的研究、思维结构的研究与必然推出的研究构的研究与必然推出的研究，它提供检验有它提
2、供检验有效效 的推理和非有效推理的标准。康德首先使用了这个术的推理和非有效推理的标准。康德首先使用了这个术语。语。 形式逻辑研究的推理中的前提和结论之间的关系形式逻辑研究的推理中的前提和结论之间的关系，是由作为前提和结论的命是由作为前提和结论的命 题的逻辑形式决定的题的逻辑形式决定的， 而命题的逻辑形式而命题的逻辑形式(简称命题形式简称命题形式)的逻辑性质则是由逻辑常的逻辑性质则是由逻辑常 项决定的。同一律、矛盾律、排中律和理由充足律。这四条规律要求思维必须具项决定的。同一律、矛盾律、排中律和理由充足律。这四条规律要求思维必须具 备确定性、无矛盾性、一贯性和论证性。备确定性、无矛盾性、一贯性和
3、论证性。 2形式逻辑研究形式逻辑研究 19 世纪中叶以前的形式逻辑主要是传统逻辑世纪中叶以前的形式逻辑主要是传统逻辑，19 世纪中叶以后发展起来的现世纪中叶以后发展起来的现 代形代形式逻辑。形式逻辑在欧洲的创始人是古希腊的亚里士多德。在中国式逻辑。形式逻辑在欧洲的创始人是古希腊的亚里士多德。在中国，形式逻形式逻 辑的代表学派有墨家与名家辑的代表学派有墨家与名家，此外还有儒家的荀子。墨家研此外还有儒家的荀子。墨家研究逻辑为的是找到逻究逻辑为的是找到逻 辑的原则辑的原则，而名家为的是建立诡辩体系。而名家为的是建立诡辩体系。 西方黑格尔将逻辑研究的重心转向逻辑的内容西方黑格尔将逻辑研究的重心转向逻辑的内容，从而建立起了辩证逻辑。许从而建立起了辩证逻辑。许 多认同黑格尔辩证逻辑的人也是因为看到了现代经典逻辑中的悖论问题多认同黑格尔辩证逻辑的人也是因为看到了现代经典逻辑中的悖论问题，而企望而企望 黑格尔的辩证逻辑能解决这个问题。黑格尔的辩证逻辑能解决这个问题。
