中国：春秋战国“名辩之学”。墨家《墨 经》；公孙龙《白马篇》；荀子《正名篇》；韩 非《难一》《难势》。
印度：“因明学说” （关于推理的）。代表 著作：陈那的《因明正理门论》、商羯罗主的 《因明入正理论》等。主要研究推理和论证的方 法。
古希腊是形式逻辑的主要诞生地。亚里士
多德《范畴篇》《解释篇》《前分析篇》《后 分析篇》《论题篇》《辩谬篇》（弟子把它们 收集在一起，合称为《工具论》）等逻辑著作。 分别对概念、命题、三段论、证明、逻辑谬误 和科学方法论作出了研究。亚氏《形而上学》 中，明确地提出了矛盾律和排中律，同时也涉 及到同一律。
法人是具有民事权利能力和民事行为能力，依 法独立享有民事权利和承担民事义务的组织。
定义由被定义项、定义项和定义联项 三个部分组成。
（2）定义的种类与方法 A．事物定义
事物定义就是从揭示事物的本质属性方面 来揭示概念内涵的定义。它又叫真实定 义。
常用的事物定义方法是属加种差定义，即 通过揭示被定义项的邻近属和种差来揭 示被定义项的内涵 。
德哲学家莱布尼兹提出了用数学方法处理 演绎逻辑，把推理变成逻辑演算，成为数理逻 辑（即现代形式逻辑）的奠基人。一百多年以 后，英数学家布尔建立了“逻辑代数”（即布 尔代数），把菜布尼兹的思想变为现实，成为 数理逻辑的早期形式。
弗雷格、罗素和怀特海等人建立了判断演 算和谓词演算这样两个数理逻辑基础演算，使 数理逻辑进一步系统和完善起来，发展成为一 门新兴的学科。１９１０年到１９１３年出版 的罗素和怀特海的巨著《数学原理》，就是这 两方面的主要成果和标志。
所有金属都是比水重的， 锂是金属。 所以，锂是比水重的。
所有金属都是导体， 木头不是金属。 所以木头不是导体。
二、形式逻辑的作用
