“双泛指”（dual generalizations）是逻辑学中关于形式逻辑的一个概念，指的是一种在两个或多个泛指前提下进行推理的方法。在形式逻辑中，一个命题可以被认为是一个句子或一个断言，而泛指则表示该命题的主语或宾语是一个通用的概念，如“所有”、“任何”、“每个”等。
在双泛指推理中，前提通常是两个或多个泛指命题。根据形式逻辑中的规则，这些泛指命题可以在推理过程中被替换为具体的实例或反例，以形成一个有效的推理。双泛指推理的一个典型例子是 Isabelle/HOL 中的二泛指（Dual Generalization）和三泛指（Triple Generalization）。
双泛指推理的一个优点是，它可以在处理大量数据和信息时提供简化和概括的方法。然而，双泛指推理也有其局限性，因为它可能导致过度概括或忽略特定实例的情况。因此，在实际应用中，我们需要谨慎使用双泛指推理，确保推理过程的合理性和有效性。