作为一种分析哲学的数理逻辑——以相对可计算性与随机性概念研究为例

对于现代逻辑的运用是分析哲学的一大特征。分析哲学与现代逻辑甚至具有共同的起源:不仅分析哲学与现代逻辑的奠基者是同一批人,他们曾面对的还是同样的问题,并为此开发出我们所熟知的研究形态。然而,分析哲学和现代逻辑(尤其是数理逻辑)后来的发展似乎走上了不同的道路。笔者则希望论证当代数理逻辑研究仍然保留了分析哲学解决问题的形态——语言分析——的主要特征。论证主要基于两则案例分析,一个是对埃米尔·波斯特(Emil Post)关于可计算性理论的开创性工作,另一个是佩尔·马丁–洛夫(Per Martin-L?f)等人在随机性概念方面的工作。笔者还将进一步提议,仍然存在着一些值得当代分析哲学家和数理逻辑共同关心的问题。