数理逻辑和数学基础研究中的一种学说。认为全部数学可以归结为逻辑,因而是逻辑的一个分支;而逻辑是不反映任何实在联系的任意结合的符号体系。并认为逻辑和数学都与客观世界无关,它们不能给人们以任何积极知识。主要代表为英国哲学家罗素。