什么是形式逻辑

　　形式逻辑指的是传统式逻辑，范畴指演译逻辑，理论还包含梳理逻辑。形式逻辑的基础理论是由古希腊文化杰出的思想家亚里士多德最先开创的。亚里士多德是现代文学家柏拉图的学员、亚力山大天尊的教师，于公元384年出生于北爱尔兰的一个皇室家中。18岁时，亚里士多德被送至古罗马的柏拉图学校学习培训，自此二十年间，亚里士多德一直住校园内里，直到教师柏拉图在前347年过世。亚里士多德的见识非常普遍，他在物理、形而上学、诗文和戏剧表演、歌曲、分子生物学、社会经济学、生物学、逻辑学、社会学及其伦理学等课程均有针对性的经典著作。在形式逻辑层面，亚里士多德做为创始人，将他的`绝大多数理论载入了《形而上学》第四卷和《工具论》的相关一部分。

　　亚里士多德从存在论和逻辑2个层面明确提出和创建了他的逻辑逻辑思维规律性基础理论。在他的哲学著作《形而上学》中，他最先研究了矛盾律，而且将矛盾律当作是一切证实都必须的最基本的基本原理，因而是不用被证实也是不可以被证实的。

　　除基本定律以外，亚里士多德还开创了“三段论”。“三段论”是演绎推理的第一个逻辑管理体系，它第一次促使创造性思维足以流于形式，也促使形式逻辑足以变成一门单独的课程。亚里士多德在《前分析篇》中表明了三段论的基础观念，强调三段论是由前提和结果组成，而前提和结果又是由三个词项（即中项、大类、小项）组成。《后分析篇》的文中，亚里士多德列举了那样的事例：

　　假如全部B是A。

　　而且全部C是B。

　　那么全部C是A。

　　而在一个恰当的三段论中，当前提真正时，结果也必定是真正的；而当前提虚报时，结果也是虚报。因而，能够见到，要是前提为真，便能够依靠三段论去逻辑推理基本上万事万物中间的联络。也更是由于那样，亚里士多德针对三段论推崇备至。

　　除开意味着演绎推理的三段论以外，亚里士多德也明确提出了归纳推理的必要性。归纳推理就是指从某些到一般的逻辑推理全过程，其逻辑推理方式以下：

　　假如全部C是A。

　　而且全部C是B。

　　那么全部B是A。

　　除此之外，亚里士多德针对归谬法、例证法等不一样逻辑的方法也是有阐述。在亚里士多德来看，逻辑系是一切科学研究的专用工具，而且，亚里士多德也试图把逻辑思维方式和存有联络起來，依照客观事物来表明逻辑的范围，并将这种逻辑的发觉应用到科学理论上去。