世纪才出现，尽管词项逻辑以同在自然语言很紧密的方式处理量化，但不适合于形式分析。亚里士多德逻辑在公元前1世纪给出了“所有”、“某些”和“没有”量词和对真势模态的处理。第一个基于变量的逻辑处理是弗雷格的《概念文字》，紧随在查尔斯·皮尔士独立的公式化了存在图之后。弗雷格的方法被证明更有影响，因为它被皮亚诺接受，尽管Pierce的逻辑最近更加引起逻辑学家对异类推理和图表推理的兴趣。量化的第一个严格的表示法出现在弗雷格的《概念文字》。弗雷格使用在变量名下划的曲线来指示在它随后的公式中这个变量是被全称量化的。