什么叫形式逻辑？

Answer 1

逻辑是一个广泛的概念，涵盖了思维的规律。现代汉语词典中提到，逻辑是研究思维形式及其规律的科学，主要探讨概念、判断、推理的规则和联系。

思维形式指的是人类对客观世界形成的认识，并以口头语言或书面语言表达出来。中国古代并没有专门的逻辑术语，但在春秋战国时期，一些研究形名（事物和名称）的学者如庄子、荀子等被称作名家。他们以能言善辩著称，后人也将其视为逻辑学的先驱。

名家的思想中蕴含了丰富的现代逻辑学思想。在古代，形名一词有时与法令相提并论，到了三国时期，曹魏法律首篇命名刑名，这一概念才逐渐与逻辑学相区分。名家的著作对后人理解逻辑学产生了深远影响，他们的思想被视为逻辑学的基石。

随着西方现代逻辑学的引入，逻辑学的名称经历了演变。18世纪初，逻辑学传入中国，最初被称为论理学、理则学，而今学科名称是形式逻辑，以区别于数理逻辑和辩证逻辑。

总体而言，逻辑是研究思维形式及其规律的学科，它探讨概念、判断和推理的规则，以及它们之间的联系。逻辑学的起源可以追溯到中国古代的名家思想，而随着西方逻辑学的传播，逻辑学的定义和名称也经历了不断的发展和完善。