在数理逻辑中，称句子中的主词为个体词。它是一个命题里表示思维对象的词。比如：苹果是红的。这个句子中“苹果”就是个体词。

个体词可以是具体的事物，也可以是抽象的概念。例如，桂林、思想、3等都可以作为个体词。一个具体的个体词称为个体常项，用a、b、c……表示。常用x、y、z……表示任意的个体词，称x、y、z……为个体变项。