形式逻辑学是一门从思维的形式结构方面研究思维规律的科学，在公务员考试中，它是一项重要的考察内容。它主要用一系列规则、方法帮助人们正确地思考问题和表达思想，下面我们就来了解一下。

形式逻辑这个词是有多种含义的，有的专指传统逻辑(包括传统演绎逻辑和传统归纳逻辑)，有的专指演绎逻辑(包括传统演绎逻辑和现代演绎逻辑)，有的则专指现代数理逻辑。还有一种是政治性产物，是政治决定理论的恶果，是为了与辩证逻辑这种政治决定的逻辑相区分。这种意义的形式逻辑常常被污蔑为形而上学、低等逻辑，而辩证逻辑自然是科学的逻辑、高等逻辑。这种意义上的形式逻辑其实就是现今通常所说的逻辑学，这种意义上的形式逻辑正好没有承认辩证逻辑是逻辑学，而只认为其是一种哲学。

发展历史

20世纪30至40年代，苏联曾把形式逻辑当作形而上学来批判，并把辩证法当作惟一科学的逻辑。讲辩证法一定要批判形式逻辑。在此影响下，当时中国也有人“宣判”了形式逻辑的“死刑”。不过在1949年前这种全盘否定形式逻辑的思潮在中国还不属主流思想。1949年到1950年间这种思潮也成为中国的主流思想。

1950年斯大林的《马克思主义和语言学问题》发表后，中国才为形式逻辑“平反”。然而“平反”并不彻底，跟苏联一样，形式逻辑仍带有“初等逻辑”的帽子，而“高等逻辑”自然非辩证法或辩证逻辑莫属。否定、贬低形式逻辑不仅阻碍了逻辑科学的发展，而且造成诡辩盛行的恶果。黑格尔曾十分轻蔑地评论过莱布尼茨的数理逻辑设想。马克思主义产生以后才冒出来的数理逻辑(第一个数理逻辑系统是费雷格于1879年提出的)，在20世纪50年代初被视为帝国主义时代为垄断资产阶级服务的伪科学。

1961年代才开始突破苏联50至60年代逻辑教材的某些框框，清除了苏联教材散布的种种常识性错误。

黑格尔的大小逻辑讲的是哲学，不讨论从形式上讲有什么样的前提可以得到什么样的结论这样的推理形式方面的问题。