形式逻辑

思维的基本形式包括概念、判断、推理和论证等。思维的形式结构指的是具有不同内容的思维所共同具有的一般形式结构。例如，“所有的自然数都是有理数，所有的哺乳动物都是脊椎动物，所有的金属都有光泽”中的三个判断尽管其内容各不相同，但有着共同的形式结构：所有的S都是P，其中S表示判断的主项，P表示判断的谓项。再如，在推理“金属都是导电的，碱金属都是金属，所以，碱金属都导电”和“4的倍数都是2的倍数，12的倍数都是4的倍数，所以，12的倍数都是2的倍数”中，尽管两个推理的内容不同，但具有相同的推理形式：所有M都是P，所有S都是M，所以，所有S都是P。

推理的形式结构及其规律是形式逻辑研究的主要内容。形式逻辑主要从真值的角度研究哪些推理形式是有效的，哪些推理形式是无效的。所谓一个推理形式是有效的，指的是对于该推理形式而言假设其前提是真的，则其结论一定也是真的。

形式逻辑研究的基本逻辑规律主要包括同一律、矛盾律和排中律等。只有遵守这些逻辑规律，才能保证人们的思维具有确定性、无矛盾性和明晰性。

形式逻辑研究的一般逻辑方法主要包括定义、划分、探求因果联系的归纳方法、类比方法等。

形式逻辑经历了由传统形式逻辑到现代形式逻辑的发展历程，传统形式逻辑主要使用自然语言来进行研究，现代形式逻辑又称符号逻辑，主要使用人工语言来进行研究。