The Study Of Proof-theoretic Semantics

The "Proof-Theoretic Semantics" developed as a theory of meaning is a semantic scheme worthy of attention in philosophy research.This semantics,as a normative term for the expression about meanings,is an alternative to the traditional “meaning can be effectively dealt with by model-theoretic”.The purpose of this paper is to interpret this semantics,know its historical tradition,understand the differences between it and the model-theoretic,and account its advantages and problems.This article consists of four parts:The first part introduces and classifies the research tradition and scientific development of semantics firstly.By comparing the research methods of different scholars on proof theory,it expounds the core ideas of proof-theoretic semantics.The second part is about the development of semantics.Based on the deductive characteristics of Tarski's model theory,it introduces the idea of proof-theoretic and compares and analyzes the two theories.It puts forward the predicament and limitations of the model-theoretic,illustrates the advantages of Proof-Theoretic Semantics' s development.By compare the two typical semantic points above,the third part discusses the characteristics of Proof-Theoretic Semantics and the problems encountered in its development,The fourth part elaborates the completeness of Proof-Theoretic Semantics,proposes some extensions of it,and clarifies the development direction of this semantics in the future.The last part of this paper is the conclusion,which summarizes the full text and points out the development path of the Proof-Theoretic Semantics.