个体词(谓词逻辑)
个体词 | |
---|---|
术语名称 | 个体词 |
英语名称 | individual |
个体域 | |
---|---|
术语名称 | 个体域 |
英语名称 | individual field |
别名 | individual domain, 论域 |
个体词(individual)(个体)是指命题中,指称某个东西(被称为个体对象)的词。
个体词包括常项和变项(变元、变号)两种。其中,常项,可以简单理解为指向某个个体对象的专名,而这个个体对象被称为这个专名的所指。变项,既不是直接指称某个实际所指的专名,也不直接是某个所指本身,而是具有某个由专名构成的范围(域),会从中取一个专名作为其取值(值)。变项通过取值的专名进行指称。
问题中涉及的全部个体对象的集合称为个体域或论域(individual domain/field)。