喺數學同邏輯學上，量化子（quantifier）係指一個講明個論域當中有幾多個個體能夠滿足一句開放句子嘅算子，簡單講，一個量化子做嘅嘢係講明「某柞嘢入面有幾多件嘢係滿足某條條件嘅」。