构造子（constructor）。语言的语义指定了如何把这个构造子解释为一个有效性的广度。量化是变量约束操作的实例。在谓词逻辑的两类基本量化是全称量化和存在量化。这些概念被更详细的叙述于在单独文章中；下面我们讨论适用于二者的特征。其他种类的量化包括唯一量化。
自然语言中的量化.所有已知人类语言都使用量化，即使是那些没有完整的数字系统的语言（Wiese 2004）。例如：不存在简单的方式把这些表达重新公式化为句子们的合取或析取，它们每个都有个体的简单谓词如“酒杯碎了”。这些例