陈晓平著自然演绎逻辑学导论 第一章绪论 1.1词项、命题和推论

逻辑学主要以推论为研究对象。如何判定一个推论形式是否有效，是演绎逻辑所研究的中心问题。

 

一个推论的前提和结论是否为真，需要根据经验或各门具体科学决定，而不属于演绎逻辑研究的范围(所以演绎逻辑称为形式逻辑)。

 推论由命题组成，命题又由词项组成。

 

【例1】 有的大学生是运动员；(前提)

             所以(推论指示词)，有的运动员是大学生。(结论)

词项是表达概念的语词。(大学生、运动员)

命题是判断真假性质的语句。(有的大学生是运动员)

推论是一个至少由两个命题组成的句群，其中一个命题是根据其它命题推理的。(例1)

 

1.1.1词项

词项有外延和内涵两方面。

外延是该词项所指称的对象。(“飞行”是各式具体的飞行)

内涵是该词项所指谓的属性。(“飞行”是一种在空中进行的来往运动)

 

空词项是有内涵而无外延的词项。（方的圆、神仙)

 

具有相同外延的词项，可以有不同的内涵。(《狂人日记》作者鲁迅和《朝花夕拾》作者鲁迅)