Proof-theoretic semantics for a natural language fragment

We propose a Proof − Theoretic Semantics (PTS) for a (positive) fragment \(E^{+}_{0}\) of Natural Language (NL) (English in this case). The semantics is intended [7] to be incorporated into actual grammars, within the framework of Type − Logical Grammar (TLG) [12]. Thereby, this semantics constitutes an alternative to the traditional model − theoretic semantics (MTS), originating in Montague’s seminal work [11], used in TLG.

[1]  Frederic B. Fitch.  Natural deduction rules for English , 1973 .

[2]  Wolfram Hinzen,et al.  Anti-Realist Semantics , 2000 .

[3]  C. Retoré,et al.  On the semantic readings of proof-nets , 1996 .

[4]  T. Zimmermann.  On the proper treatment of opacity in certain verbs , 1992 .

[5]  Frank Pfenning,et al.  A judgmental reconstruction of modal logic , 2001, Mathematical Structures in Computer Science.

[6]  Michael Kremer.  Read on identity and harmony – a friendly correction and simplification , 2007 .

[7]  Arthur N. Prior,et al.  The Runabout Inference-Ticket , 1960 .

[8]  Richard Montague,et al.  The Proper Treatment of Quantification in Ordinary English , 1973 .

[9]  Stephen Read,et al.  Identity and harmony , 2004 .

[10]  Shalom Lappin,et al.  当代语义理论指南 = The Handbook of Contemporary Semantic Theory , 2015 .

[11]  Michael Moortgat.  Categorial Type Logics , 1997, Handbook of Logic and Language.

[12]  Jaroslav Peregrin,et al.  LANGUAGE AND ITS MODELS: IS MODEL THEORY A THEORY OF SEMANTICS? , 1997 .

[13]  Greg Restall,et al.  proof theory and meaning: on the context of deducibility , 2007 .

[14]  Michael Dummett,et al.  The logical basis of metaphysics , 1991 .

[15]  W. Quine.  Ontological Relativity and Other Essays , 1969 .

[16]  Stephen Boulter.  Whose Challenge? Which Semantics? , 2004, Synthese.

[17]  Lawrence S. Moss,et al.  Syllogistic Logics with Verbs , 2010, J. Log. Comput..

[18]  Nuel D. Belnap,et al.  Tonk, Plonk and Plink , 1962 .

[19]  J. Barwise,et al.  Generalized quantifiers and natural language , 1981 .

[20]  D. Prawitz.  Ideas and Results in Proof Theory , 1971 .

[21]  Peter Schroeder-Heister,et al.  On the notion of assumption in logical systems , 2003 .

[22]  Friederike Moltmann,et al.  Intensional verbs and their intentional objects , 2008 .

[23]  Thomas Ede Zimmermann,et al.  Monotonicity in opaque verbs , 2007 .

[24]  W. H. Pratt,et al.  The Grammar of Intensionality , 2000 .

[25]  Patrick Suppes,et al.  Approaches to Natural Language , 1973 .

[26]  Noritaka,et al.  An extended syllogistic system with verbs and proper nouns, and its completeness proof , 1990 .

[27]  Aarne Ranta.  Type-Theoretical Grammar , 1995 .

[28]  Aarne Ranta.  Computational semantics in type theory , 2004 .

[29]  Friederike Moltmann.  Intensional Verbs and Quantifiers , 1997 .

[30]  D. Prawitz.  Natural Deduction: A Proof-Theoretical Study , 1965 .

[31]  Jaakko Hintikka,et al.  Approaches to natural language : proceedings of the 1970 Stanford workshop on grammar and semantics , 1973 .

[32]  Aarne Ranta,et al.  Grammatical Framework , 2004, Journal of Functional Programming.

[33]  Stephen Read,et al.  Harmony and Autonomy in Classical Logic , 2000, J. Philos. Log..

[34]  G. Kreisel.  The Collected Papers of Gerhard Gentzen , 1971 .

[35]  Gerhard Gentzen,et al.  Investigations into Logical Deduction , 1970 .

[36]  Jan von Plato,et al.  Natural deduction with general elimination rules , 2001, Arch. Math. Log..

[37]  Peter Schroeder-Heister,et al.  Validity Concepts in Proof-theoretic Semantics , 2006, Synthese.

[38]  Michael Moortgat,et al.  Categorial Type Logics , 1997, Handbook of Logic and Language.

[39]  Mark Richard.  Seeking a Centaur, Adoring Adonis: Intensional Transitives and Empty Terms , 2001 .

[40]  T. Fernando.  Conservative Generalized Quantifiers and Presupposition , 2001 .