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