论文部分内容阅读
从形式化的观点看,形式逻辑与形式本体论像是一对双胞胎,不过前者偏重于“形式真”,后者偏重于“实质真”。以逻辑哲学的眼光看,逻辑形式化的核心问题在于将有效推理与非有效推理区别开来,即制定有效性的精确规则与纯形式化的标准。与此相适应,逻辑哲学则是围绕着逻辑系统内有效的形式推理如何与系统外的现实原型能够恰当相符这个中心问题而展开的。