Proof-Theoretic Semantics for Natural Language

被引:0
|
作者
Francez, Nissim [1 ]
机构
[1] Technion, Comp Sci Dept, IL-32000 Haifa, Israel
来源
关键词
Proof-theoretic semantics; Semantics of natural language; Grounds for assertion;
D O I
10.1007/s11245-019-09662-5
中图分类号
B [哲学、宗教];
学科分类号
01 ; 0101 ;
摘要
The paper has two parts: 1. A brief exposition of proof-theoretic semantics (PTS), not necessarily in connection to natural language (NL). 2. A review, with a contrastive flavour, of some of the applications of PTS to NL with an indication of advantages of PTS as a theory of meaning for NL.
引用
收藏
页码:55 / 69
页数:15
相关论文
共 50 条