Type-theoretic logic with an operational account of intensionality

We formulate a Curry-typed logic with fine-grained intensionality within Turner’s typed predicate logic. This allows for an elegant presentation of a theory that corresponds to Fox and Lappin’s property theory with curry typing, but without the need for a federation of languages. We then consider how the fine-grained intensionality of this theory can be given an operational interpretation. This interpretation suggests itself as expressions in the theory can be viewed as terms in the untyped lambda-calculus, which provides a model of computation.

[1]  Johan Bos,et al.  Is there a place for logic in recognizing textual entailment , 2013, LILT.

[2]  Shalom Lappin,et al.  Intensions as Computable Functions , 2014, LILT.

[3]  Daniel Gallin,et al.  Intensional and Higher-Order Modal Logic , 1975 .

[4]  Shalom Lappin,et al.  An Operational Approach to Fine-Grained Intensionality , 2012 .

[5]  P. Aczel.  Frege Structures and the Notions of Proposition, Truth and Set* , 1980 .

[6]  M. Rosner,et al.  Computational linguistics and formal semantics , 1992 .

[7]  Per Martin-Löf,et al.  Intuitionistic type theory , 1984, Studies in proof theory.

[8]  Richmond H. Thomason,et al.  A model theory for propositional attitudes , 1980 .

[9]  Chris Mellish,et al.  Natural Language Processing in PROLOG , 1989 .

[10]  Reinhard Muskens,et al.  Sense and the Computation of Reference , 2005 .

[11]  M.McGee Wood,et al.  Natural language processing in Prolog , 1990 .

[12]  Rudolf Carnap,et al.  Meaning and Necessity , 1947 .

[13]  KweeTjoeLiong.  Review of "Natural language processing in LISP , 1990 .

[14]  Raymond Turner,et al.  Semantics and Stratification , 2005, J. Log. Comput..

[15]  Chris Fox,et al.  A Higher-Order Fine-Grained Logic for Intensional Semantics , 2002 .

[16]  G. Frege.  On Sense and Reference , 1948 .

[17]  Yiannis N. Moschovakis,et al.  A Logical Calculus of Meaning and Synonymy , 2006 .

[18]  C. Pollard,et al.  Center for the Study of Language and Information , 2022 .

[19]  R. Stainton.  Philosophy of Linguistics , 2014 .

[20]  M. Black,et al.  Translations from the philosophical writings of Gottlob Frege , 1953 .

[21]  Max J. Cresswell,et al.  Formal philosophy, selected papers of richard montague , 1976 .

[22]  Alonzo Church,et al.  A formulation of the simple theory of types , 1940, Journal of Symbolic Logic.

[23]  R. Cooper.  Type Theory and Semantics in Flux , 2012 .

[24]  John Corcoran,et al.  Church, Alonzo , 2003 .

[25]  Marie Duzí,et al.  Procedural Semantics for Hyperintensional Logic - Foundations and Applications of Transparent Intensional Logic , 2010, Logic, Epistemology, and the Unity of Science.

[26]  Chris Fox,et al.  The Ontology of Language , 2000 .

[27]  Raymond Turner,et al.  Properties, propositions and semantic theory , 1992 .

[28]  Stuart M. Shieber,et al.  Prolog and Natural-Language Analysis , 1987 .

[29]  Raymond Turner,et al.  Computable Models , 2009, J. Log. Comput..

[30]  Chris Fox,et al.  Foundations of intensional semantics , 2005 .

[31]  Chris Fox,et al.  Expressiveness and Complexity in Underspecified Semantics , 2010 .

[32]  Pavel Tichý,et al.  The Foundations of Frege's Logic , 1988 .