Strength in community (1914 - 1970) An introduction to the history and impact of the international settlement movement

Reprint of a 1995 IFS occasional paper; part 2 of 3: part 1 -Resource paper no. 5; part 3 - Resource paper no. 9SIGLEAvailable from British Library Document Supply Centre-DSC:7777.60355(6) / BLDSC - British Library Document Supply CentreGBUnited Kingdo

Strength in community (1884-1914) An introduction to the history and impact of the international settlement movement

Reprint of a 1995 IFS occasional paper; part 1 of 3: part 2 -Resource paper no. 6; part 3 - Resource paper no. 9Available from British Library Document Supply Centre-DSC:7777.60355(5) / BLDSC - British Library Document Supply CentreSIGLEGBUnited Kingdo

An Account of Natural Language Coordination in Type Theory with Coercive Subtyping

We discuss the semantics of NL coordination in modern type theories (MTTs) with coercive subtyping. The issue of conjoinable types is handled by means of a type universe of linguistic types. We discuss quantifier coordination, arguing that they should be allowed in principle and that the semantic infelicity of some cases of quantifier coordination is due to the incompatible semantics of the relevant quantifiers. Non-Boolean collective readings of conjunction are also discussed and, in particular, treated as involving the vectors of type Vec(A,n), an inductive family of types in an MTT. Lastly, the interaction between coordination and copredication is briefly discussed, showing that the proposed account of coordination and that of copredication by means of dot-types combine consistently as expected

Typed Hilbert Epsilon Operators and the Semantics of Determiner Phrases

International audienceThe 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 generative lexicon and show how these terms better match the syntactical structure and avoid the aforementioned problems of the standard approach. Hilbert terms rather differ from choice functions in that there is one polymorphic operator and not one operator per formula. They also open an intriguing connection between the logic for meaning assembly, the typed lambda calculus handling compositionality and the many-sorted logic for semantical representations. Furthermore epsilon terms naturally introduce type-judgements and confirm the claim that type judgment are a form of presupposition.Typed Hilbert Epsilon Operators and the Semantics of Determiner Phrases (Invited Lecture