这门课程叫形式逻辑。形式逻辑是一门思维科学，它主要以人们思维的逻辑形式及其规则、规律为研究对象。
思维是认识过程中的一个阶段。认识依赖于实践，而认识本身又有两个阶段。实践是认识的基础，实践在认识过程中作用于认识，实践又是检验认识的真理性的标准。认识的过程总是由事物的现象的认识到事物的本质的认识。因而认识的过程是由生动的、直观的感性阶段和抽象的思维阶段所组成。在这两个阶段中，认识由感觉、知觉、表象，发展到概念、判断、推理；由认识事物的现象方面、各个事物的一些片面和表面的联系，发展到揭露事物的规律性与必然性，抓住事物的本质与规律。思维是认识过程中的在感性认识的基础上的对客观事物的间接的、概括的反映。所谓概括，即它是由一类对象中归纳所得而非止局限在一个对象中，正因此，思维才能圆满地把握事物的一般性、规律性与必然性；所谓间接，即思维虽以直接感知的对象为基础，却反映的是未被直接感知的对象。如孟浩然诗：“夜来风雨声，花落知多少”，由夜来风雨，便知落红狼藉，就是一种间接反映。
概念、判断、推理等等，是思维赖以实现的思维形式。思维的内容则是客观事物在思维中的反映。内容不同的思维可以、而且事实是表现在相同的形式中的。思维内容与思维形式是一个思维过程中的两个不同的因素。形式逻辑不研究思维内容，不研究思维内容是否符合客观事物，不研究思维内容是真是假的问题；它研究的是关于思维形式的某些问题。但这不等于说形式逻辑研究的对象与思维内容无关，而只是说形式逻辑不去直接研究思维内容而已，事实上，思维内容与思维形式如前所说是紧密联系着的。
形式逻辑也不是研究关于思维形式的全部问题，它主要只是研究思维形式的组织结构，即思想的各个组成部分的联系方式及其规则、规律。具体说来，即它只研究作为组成判断的概念和由概念组成的判断的判断结构，作为组成推理的判断和由判断组成的推理的推理结构，以及由推理组成的证明的证明结构和这种种组织结构的规则、规律。
思维形式的组织结构是唯有形式逻辑才研究的对象。
什么是思维形式的组织结构？且举实例具体地认识一下。
1．所有革命文化都是人民的革命的有力武器。
2．一切革命的文艺都是人民生活在革命作家头脑中所反映的产物。
3．任何树类是植物。
4．全部三角形是几何图形。
以上这些都是判断这种思维形式。它们的内容是各不相同的，它们所反映的客观事物是各不相同的。但它们有着共同的结构，即它们都是由概念这种思维形式组织结构所成的，如革命文化、人民、革命、武器等等，都是概念；它们都是我们思考着的东西的概念，如革命文化、革命文艺等等，这叫作“判断的逻辑主词”。又都有我们对思考着的东西的概念所断定的属性的概念，如人民的革命的有力武器、植物、几何图形等等，这叫作“判断的逻辑宾词”。此外还有个联系逻辑主词、逻辑宾词所标志的两个概念的“是”。这个“是”表示着那两个概念间的关系，叫作联系词，它并非一个概念。这就是这种判断的组织结构。这个组织结构，一般用一个[1]公式来表示。即“一切S是P”（S——逻辑主词，P——逻辑宾词）。
1．所有师范学校的学生是将来的教师。
我们是师范学校的学生。
所以，我们是将来的教师。
2．所有的行星是球形的。
木星是行星。
所以，木星是球形的。
3．一切字典是工具书。
《方言》是字典。
所以，《方言》是工具书。
以上三例都是推理这种思维形式。它们的内容不相同，但也有共同的结构。它们都由三个判断组成。每一个推理中，前两个判断是出发的判断，叫作“前提”，后一个判断是由“前提”推出来的新的判断，叫作“结论”。每个推理都由两个前提一个结论结构组成。再细看各个推理中都有六个概念，除去重复出现的，其实都只有三个概念。而前提中有一个共同的概念，恰恰就是它在结论中不存在了。这三个推理是如此的，所有这种推理中也莫不皆然。这就是这种推理的组织结构。这个结构，一般用一个公式来表示，即
这样，什么是思维形式的组织结构必已了然。思维形式的组织结构，一般又称之为“逻辑形式”。
形式逻辑也研究思维的逻辑形式的规则、规律。我们且看一个逻辑规则的例子：
“如果‘有些S是P’的判断是真的，那么‘有些P是S’的判断也必是真的”。联系具体的内容来看，如果“有些诗人是剧作家”这个判断是真的，那么，“有些剧作家是诗人”也必是真的。一样的根据，我们可以由“有些学生是共青团员”得出“有些共青团员是学生”，由“有些人是不善说话的”得出“有些不善说话的人”，等等。
逻辑规则不是从某个具体思想，而是从具有同一逻辑形式的许许多多具体思想中概括所得到的。因此，它又能反过去运用于产生它的那种逻辑形式。
各种逻辑形式都有其自己的逻辑规则，形式逻辑研究各种逻辑形式也就又研究它们的规则。
贯穿于各种逻辑形式及其规则中的还有逻辑的基本规律。这就是同一律、不矛盾律、排中律和充足理由律。遵守这四个基本规律是使我们的思维正确、合乎逻辑的不可缺少的条件。因为遵守了这四个基本规律就能使我们的思维具有确定性、不矛盾性、前后一贯性、有充分根据性，而这种属性就是正确的逻辑思维必具的一个特征。形式逻辑自然也是研究它们的。
此外，形式逻辑还研究一些逻辑方法。这些方法却不是属于逻辑形式的知识。例如关于分类归纳法、关于假说的知识就是。这是因为历来把它们放在形式逻辑中传授，而且也有助于思维的正确，因此现在仍旧归属于此。
免责声明：以上内容源自网络，版权归原作者所有，如有侵犯您的原创版权请告知，我们将尽快删除相关内容。
