Abstract
In this paper we present a framework for constructing hyperintensional semantics for natural language. On this approach, the axiom of extensionality is discarded from the axiom base of a logic. Weaker conditions are specified for the connection between equivalence and identity which prevent the reduction of the former relation to the latter. In addition, by axiomatising an intensional number theory we can provide an internal account of proportional cardinality quantifiers, Eke most. We use a (pre-)lattice defined in terms of a (pre-)order that models the entailment relation. Possible worlds/situations/indices are then prime filters of propositions in the (pre-)lattice. Truth in a world/situation is then reducible to membership of a prime filter. We show how this approach can be implemented within (i) an intensional higher-order type theory, and (ii) first-order property theory. (32 References).
| Original language | English |
|---|---|
| Title of host publication | Conference Proceedings - Lecture Notes in Computer Science (LNCS) Vol#2099 |
| Place of Publication | Berlin, Germany. |
| Publisher | Springer |
| Pages | 175 - 192 |
| Number of pages | 18 |
| Publication status | Published - 2001 |
| Event | LACL 2001: Logical Aspects of Computational Linguistics - 4th International Conference - Le Croisic, France Duration: 27 Jun 2001 → 29 Jun 2001 |
Conference
| Conference | LACL 2001: Logical Aspects of Computational Linguistics - 4th International Conference |
|---|---|
| Country/Territory | France |
| City | Le Croisic |
| Period | 27/06/2001 → 29/06/2001 |