当前位置:首页 > 经典书库 > 逻辑百科辞典

种类预设

是预设语句主语所表述的对象属于某种事物的类。例如“诸葛亮是聪明的”,预设诸葛亮是某种具有思想的对象。如果说“武侯祠是聪明的”,则由于武侯祠不属于具有思想的事物的类而无意义。种类预设还可以通过“谓词的域”这个概念来描述。一个语句F(a)预设a在F的域之内。例如“诸葛亮是聪明的”,谓词“聪明”的域是指有选择能力和意志的生物。诸葛亮在“聪明”的域之内,这个语句是真的。如果说“刘禅是聪明的”,由于刘禅不在“聪明”的域之内,这个语句是假的。

上一篇:《正理经》 下一篇:预测推理
分享到: