证明理论语义学及其意义阐述

Proof-theoretic semantics and its meaning exposition

逻辑及其合理性的确定是当代逻辑哲学研究的一个重要内容。证明理论语义学作为一种通过系统使用证明规则来确定逻辑常项意义的语义学方案。它的特征在于:语义不仅是外在的,同时也涉及到人的内在认知状态。一方面,对语言意义进行的形式化逻辑分析是客观的,能被看成是对世界直观理解的还原;另一方面,使用证明来呈现自然语言的意义和对世界最基本构件的理解,这体现了意义获得的认知过程。

The determination of logic and its rationality is an important content of contemporary logic philosophy research.Proof-theoretic semantics is a semantic scheme to determine the meaning of logical constant terms by using proof rules systematically.It is characterized by that semantics is not only external,but also involves people’s internal cognitive state.On the one hand,formal logical analysis of language meaning is objective and can be regarded as the restoration of intuitive understanding of the world.On the other hand,the use of proof to present the meaning of natural language and the understanding of the most basic building blocks of the world reflects the cognitive process of meaning acquisition.