逻辑基础问题
逻辑基础
为作为基础学科的逻辑构建哲学基础。
传统的“基础主义”无法为逻辑构建哲学基础。
这是因为基础主义致力于把所有人类知识建立在（1）基本知识和（2）知识扩展程序的坚固基础之上。
基本知识通过直接经验、理性直觉、规约等直接地建基于实在（世界）或者其他任何可以建基的事物之中。
非基本知识通过（演绎、归纳和其他可能的）可靠的知识扩展程序间接地建基于实在或者其他任何可以建基的事物之中。
基础主义的显著特征是它们的严格排序。基础主义在我们的知识系统上强加了一个足道的排序要求：
（1）禁自反、非对称、传递；
（2）拥有一个由极小 ( 初始、原子) 成分组成的绝对基础；
（3）通过一条有穷链把每一个非极小成分与一个或多个极小成分连接起来。
优点：将知识系统建基于实在之中这一难以处理的任务规约为只把基本成分建基于实在之中。
缺点：没有资源为基本成分建立基础。
这就导致了如下悖论：
（1）任何作为逻辑基础的资源都必须比逻辑本身产生的资源更为基本。
（2）没有资源比逻辑产生的资源更为基本。
替代方案如下：
（1）证明逻辑根本就不需要有基础。
（2）证明无需使用我们知识系统产生的任何资源来为逻辑提供基础。