逻辑、逻辑哲学、元逻辑

按照我的理解,逻辑哲学的任务是要研究由逻辑所引起的哲学问题,正如科学哲学的任务是要研究由科学所引起的哲学问题,数学哲学的任务是要研究由数学引起的哲学问题一样。逻辑的一个主要职责是要辩别有效与非有效的推论;众所周知的命题演算与谓词演算之类的形式逻辑系统,就是要给有效性提供精确规则与纯形式标准。由逻辑这一职责所引起的特殊哲学问题是下面这些:说一个推论是有效的,一个陈述句是由其他陈述句推出,一个陈述句是逻辑的真,它们各自的意思是指什么呢?有效性可被解释为是相对于某个形式系统的吗?或者,是否有形式系统力求表达的一种系统外的概念?