Proof-Theoretic Semantics and Its Granularity of Meaning
Proof-Theoretic semantics is a logical semantics that explains the meaning of ex-pressions through proofs,and it differs from traditional model-theoretic semantics in both philosophical and technical aspects.As a form of inferentialist theory of mean-ing,it also exhibits significant differences from inferentialism advocated by Brandom.Proof-Theoretic semantics establishes the concept of validity and other semantic notions primarily through canonical proofs rather than truth,thus achieving a more fine-grained granularity of meaning.We elucidates the philosophical background and mechanisms of meaning interpretation,highlighting its overly restricted"string-like"granularity of meaning.It is demonstrated that certain relaxing based on amending the definition of caninocical deduction quickly leads to a shift towards the granularity of model-theoretic semantics,thereby indicating the limited advantage over model-theoretic semantics in terms of granularity of meaning.
万方数据
维普
