基础主义或基础论（英语：Foundationalism）关注基于合理信念的知识哲学理论，或某些可靠的确定性基础，例如从合理前提的基础上推断出的结论。 基础主义证明理论的主要竞争对手是证明的连贯性理论，其中不需要安全基础的知识体系可以透过其组成部分的互锁强度来建立，就像在没有事先确定每个小区域的情况下解决的难题一样已正确解决。
将替代方案确定为循环推理或无限回归（英语：infinite regress），从而表现出回归问题（英语：regress argument），亚里士多德将基础主义作为他自己的明确选择，确立了支撑他人的基本信念。 笛卡尔在他自己存在的事实和“清晰明确”的理性观念中发现了基础，而洛克则在经验中找到了基础。不同的基础可能反映不同的认识论重点——经验主义者强调经验，理性主义者强调理性，但也可能二者兼具。
在 1930 年代，关于该概念的论辩再次兴起。 莫里茨·施里克 (Moritz Schlick) 将科学知识视为金字塔，其中一类特殊的陈述不需要通过其他信念进行验证并作为基础，而奥托·纽拉特 (Otto Neurath) 则认为科学知识缺乏最终基础，就像木筏一样。 在 1950 年代，基础主义开始衰落，主要是由于威拉德·范·奥曼·奎因的影响。
传统上，基础主义假定基本信念和信念之间的演绎推理是绝对可靠的。 1975 年左右，出现了弱基础主义。 因此，最近的基础主义者以各种方式允许错误的基本信念，以及它们之间的归纳推理，或者透过枚举归纳，或者透过对最佳解释的推理。 而内在主义者（英语：internalists，哲学术语）需要对正当手段的认知访问，而外在主义者（英语：externalists，哲学术语）则在没有这种途径的情况下找到正当理由。
基础论的历史可以回朔到古希腊时代亚里士多德的《后分析篇》（Posterior Analytics），亚里士多德认为，如果知识不是基础的，那么知识就是循环论证，不然知识就是无限回归。也就是说，知识的证成不是最终由结论本身支持结论，就是证成的理由或证据后面有无限多个理由或证据。然而这两种情况都不合理，在此开始了基础论的发展。
近代哲学家中以勒内·笛卡儿为代表，主张任何知识都有确定性的真信念，在笛卡尔的沉思录中，利用了怀疑方法，以质疑自己一切信念的方式，引用了恶魔论证与梦论证挑战感官的可靠性，尝试得到最原初的知识基础。
在近代的几位哲学家，包括了约翰·洛克、哥特佛莱德·莱布尼兹、乔治·贝克莱、大卫·休谟、托马斯·里德，都接受基础论。
在二十世纪初接受基础论的哲学家有伯特兰·罗素、路德维希·维特根斯坦、路易斯(Hywel Lewis)等人。
现代则有罗德里克·奇泽姆、莫哲(Paul Moser)等人。
通常我们的信念要得到其他证据的支持才有道理可言，支持信念只有在自身合理的情况之下才能证明其合理性。因此对我们引用作为证据或支持的任何信念，我们总是要问为什么信念是合理的。而我们不得不引用更多的信念作为证据。因此除非有一些原则性的方法来结束后推，否则没有信念是合理的。
解决无限后退难题的方式:
基础信念：顾名思义，基础信念是证成其他信念的信念，基础信念本身不依靠其信念来证成，它凭自己的特性来自我证成。特别注意基础信念是从证成而不是因果关系的角度来看的。
a.知觉或表象经验
b.知觉信念或记忆信念
非基础信念: 又可称为上层信念，是由基础信念所推论出来的信念。
强基础论:在古典的基础论当中，基础信念是不会错的，若拥有此基础信念本身，就足以保证此基础信念为真，那么基础信念是绝对可靠的，而且只有透过演绎推理才能从基础信念推论出非基础信念。
温和基础论:相对于古典的基础论，当代基础论者已经不接受古典基础论不可错的想法，温和基础论也允许归纳推论，意味着信念的证成不需要要求非得不可错。另外也认为知觉信念是合理的。
