又称个体域(domain of individuals)。某一语言环境中可能论及的每一件个别事物所组成的集合。全集即论域。平面几何的论域是平面上所有点的集合。算术的论域是所有实数的集合。没有最大的论域。日常语言所表达的命题，主谓项的论域往往不统一。例如“圆不是不等边三角形”中的“不等边三角形”指三边各不相等的三角形，其论域是三角形，不包括等边三角形以外的一切几何图形；而圆的论域是几何图形。传统逻辑已经注意到论域的问题。集合论发展以后，“论域”的概念才明确起来，并得到了推广。例如，二阶逻辑的论域是由个体和一阶谓词组成的。