请输入您要查询的百科知识:

 

词条 Existential import
释义

也称作存在假定,一个句子、陈述或命题如果蕴涵对某物存在的承诺,则具有存在内含。在亚里士多德逻辑中,所有的形式为“所有的A都是B”的全称命题都有存在内含,因为它们蕴涵着“至少有一个A,这个A是B”,即“一个A存在”。这样的命题蕴涵着至少存在一个主词A适用于它的物体。然而,这种含义却不为现代谓词演算所认可。全称量词被形式化为x(fx→gx),“对于每个x,如果x是f,则x是g”。这个命题没有存在内含,因为不像包含存在量词的命题,即使不存在x,这个命题也可以是真的

随便看

 

百科全书收录4421916条中文百科知识,基本涵盖了大多数领域的百科知识,是一部内容开放、自由的电子版百科全书。

 

Copyright © 2004-2023 Cnenc.net All Rights Reserved
更新时间:2024/12/25 1:14:47