自17世纪以来，也许是受到理性精神的鼓舞和科学进步的鼓励，人类思想长期处在逻辑形式主义和科学唯理主义的密云中。到了20世纪上半叶的逻辑实证主义那里，这种思想发展成为一种极端：只有符合逻辑的、可验证的知识才是人类的唯一选择，凡不能由逻辑与实证加以检验的知识都是空想，没有意义。

根据上述观点，下列不属于“空想”的是：