形式逻辑与其他逻辑之关系(燕之枫整理)

1
、什么是形式逻辑
形式逻辑（formal logic
）是研究演绎推理及其规律的科学。它总结了人类思维的经验教训，以保持思维的确定性为核心，用一系列规则、方法帮助人们正确地思考问题和表达思想，是人们认识世界和改造世界的必要工具，是人类认识发展到一定阶段后出现思维方法。
形式逻辑研究的推理中的前提和结论之间的关系，是由作为前提和结论的命题的逻辑形式决定的，而命题的逻辑形式的逻辑性质则是由逻辑常项决定的。要弄清逻辑常项的性质，系统地揭示推理规律，就要通过建立逻辑演算，进行元逻辑的研究。研究元逻辑的方法是形式化的公理方法。
同一律、矛盾律、排中律和理由充足律是形式逻辑的四条规律，这四条规律要求思维必须具备确定性、无矛盾性、一贯性和论证性。
2
、形式逻辑的发展简史
形式逻辑已经历了2000
多年的历史，19
世纪中叶以前的形式逻辑主要是传统逻辑，19
世纪中叶以后发展起来的现代形式逻辑，通常称为数理逻辑，也称为符号逻辑。
传统逻辑通常把命题分为直言命题、选言命题和假言命题，并研究这几种命题形式和推理形式。传统逻辑还包括关于矛盾律和排中律等逻辑规律的理论，以及有关词项的理论。
形式逻辑在欧洲的创始人是古希腊的亚里士多德。亚里士多德建立了第一个逻辑系统，即三段论理论。其论述形式逻辑的代表作有《形而上学》和《工具论》。继亚里士多德之后，麦加拉--