Proof-Theoretic Semantics for Natural Language

被引：0
|
作者：
Francez, Nissim [1 ]
机构：
[1] Technion, Comp Sci Dept, IL-32000 Haifa, Israel
来源：
TOPOI-AN INTERNATIONAL REVIEW OF PHILOSOPHY | 2021年 / 40卷 / 01期
关键词：
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 条
  • [1] Proof-Theoretic Semantics for Natural Language
    Nissim Francez
    Topoi, 2021, 40 : 55 - 69
  • [2] Proof-theoretic semantics for a natural language fragment
    Francez, Nissim
    Dyckhoff, Roy
    LINGUISTICS AND PHILOSOPHY, 2010, 33 (06) : 447 - 477
  • [3] Proof-theoretic semantics for a natural language fragment
    Nissim Francez
    Roy Dyckhoff
    Linguistics and Philosophy, 2010, 33 : 447 - 477
  • [4] Proof-Theoretic Semantics
    Pezlar, Ivo
    MIND, 2017, 126 (501) : 296 - 302
  • [5] Proof-theoretic semantics
    Catta, Davide
    BULLETIN OF SYMBOLIC LOGIC, 2019, 25 (03) : 360 - 362
  • [6] Proof-theoretic Semantics
    Peregrin, Jaroslav
    ORGANON F, 2016, 23 (04) : 551 - 555
  • [7] Views of proof-theoretic semantics: reified proof-theoretic meanings
    Francez, Nissim
    JOURNAL OF LOGIC AND COMPUTATION, 2016, 26 (02) : 479 - 494
  • [8] Proof-theoretic semantics of natural deduction based on inversion
    Zimmermann, Ernst
    THEORIA-A SWEDISH JOURNAL OF PHILOSOPHY, 2021, 87 (06): : 1651 - 1670
  • [9] Bilateralism in Proof-Theoretic Semantics
    Nissim Francez
    Journal of Philosophical Logic, 2014, 43 : 239 - 259
  • [10] Categorical Proof-theoretic Semantics
    Pym, David
    Ritter, Eike
    Robinson, Edmund
    STUDIA LOGICA, 2024, 113 (1) : 125 - 162
12345