任何具体推论都有内容和形式两个方面。推论的内容就是推论所涉及的具体对象,推论的形式就是推论所具有的共同结构。因此这种逻辑学也叫做“形式逻辑”。为什么要研究 “形式逻辑” ? 因为一个推论的有效性取决于推论的形式而不取决于推论的内容。
1. 词项,命题和推论
现代逻辑学用 ”词项“(term),”命题“(proposition)和 ”推论“(argument)
分别对应传统逻辑学的 ”概念“(concept),“判断”(judgment)和”推理”(inference)。之所以要做这样的改变,是为了突显逻辑学的语言学性质,削弱传统逻辑学所包含的过多的心理学成分。
- 词项就是表达概念的词语
- 命题就是具有真假性质的陈述句
- 推论就是由前提命题推出结论命题。一个推论至少是由两个命题组成的序列,最后一个命题是根据前面命题推出的,前面的命题叫做”前提“,最后推出的命题叫”结论“。
2. 推论的形式,变项和常项
- 推论