2 |
Category theory, logic and formal linguistics: some connections, old and new ...
|
|
|
|
BASE
|
|
Show details
|
|
3 |
Deverbal semantics and the Montagovian generative lexicon ...
|
|
|
|
BASE
|
|
Show details
|
|
4 |
Typed Hilbert Epsilon Operators and the Semantics of Determiner Phrases (Invited Lecture) ...
|
|
|
|
Abstract:
The semantics of determiner phrases, be they definite de- scriptions, indefinite descriptions or quantified noun phrases, is often as- sumed to be a fully solved question: common nouns are properties, and determiners are generalised quantifiers that apply to two predicates: the property corresponding to the common noun and the one corresponding to the verb phrase. We first present a criticism of this standard view. Firstly, the semantics of determiners does not follow the syntactical structure of the sentence. Secondly the standard interpretation of the indefinite article cannot ac- count for nominal sentences. Thirdly, the standard view misses the linguis- tic asymmetry between the two properties of a generalised quantifier. In the sequel, we propose a treatment of determiners and quantifiers as Hilbert terms in a richly typed system that we initially developed for lexical semantics, using a many sorted logic for semantical representations. We present this semantical framework called the Montagovian ...
|
|
Keyword:
03B65, 03B15, 03B40, 68T50, 68N18; Artificial Intelligence cs.AI; Computation and Language cs.CL; FOS Computer and information sciences; FOS Mathematics; Logic in Computer Science cs.LO; Logic math.LO
|
|
URL: https://arxiv.org/abs/1406.4710 https://dx.doi.org/10.48550/arxiv.1406.4710
|
|
BASE
|
|
Hide details
|
|
5 |
Type-theoretical natural language semantics: on the system F for meaning assembly ...
|
|
|
|
BASE
|
|
Show details
|
|
6 |
Advances in the Logical Representation of Lexical Semantics ...
|
|
|
|
BASE
|
|
Show details
|
|
8 |
A type theoretical framework for natural language semantics: the Montagovian generative lexicon ...
|
|
|
|
BASE
|
|
Show details
|
|
10 |
Variable types for meaning assembly: a logical syntax for generic noun phrases introduced by most ...
|
|
|
|
BASE
|
|
Show details
|
|
|
|