无穷逻辑是由一般无穷逻辑、无穷深逻辑、无穷可容逻辑、无穷概率逻辑等构成的逻辑群。它们是经典一阶逻辑沿着四个方面之一作无穷扩张的逻辑。