从证明到意义的语义学路径及其问题

20世纪70年代,达米特与普拉维茨提出新证实主义的意义理论,主张基于语句的证明来分析语言的使用乃至意义,以此克服真之理论语义学的超越认知性问题。同时,为了摆脱旧证实主义的困境,他们还主张区分典范证明与间接证明以及只有前者才构成语句的意义。由于总是过分强调语言使用的一个方面而忽视另外一个方面,并赋予引入和消去规则中的一者以优先性,新证实主义者定义的典范证明概念不足以恰当地刻画语句的意义。这阻碍了新证实主义的意义理论发展成为与真之理论语义学相媲美的严格的形式语义学。