Proof-Theoretic Semantics for natural language Nissim Francez ∗ July 10, 2019 1 Introduction The purpose of this paper is to draw the attention of the community (logic, phi- losophy, linguistics) to Proof-Theoretic Semantics (PTS) as an alternatives to the traditional model-Theoretic Semantics (MTS), as applicable to natural language se- mantics. PTS is a well-established theory of meaning for Logic (e.g., [25]). I have extended PTS from logic to a theory of meaning for natural language (NL) (to frag- ments of English). See [8] for a detailed presentation of PTS both for logic and for natural language. The paper has two parts: 1. A brief exposition of PTS, not necessarily in connection to 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. 2 Overview of PTS In a nutshell, the PTS programme as theory of meaning can be described 1 as follows. 2.1 Sentential meanings 2.1.1 The basic idea The core idea for defining sentential proof-theoretic meanings is the following. * Computer Science dept., the Technion-IIT, Haifa, Israel (francez@cs.technion.ac.il) 1 Note that PTS is an umbrella term, having several versions. I present here my own view of PTS. 1