Types and Meanings in Intensionality, Selection and Quantifier Scope

Abstract

in the faculty of Computer Science. Acknowledgements First and foremost, I am indebted to Yoad Winter. Yoad is everything one would expect to find in an advisor and a teacher, and much more than this. Yoad is the one who introduced me to the field of natural language semantics. His optimism and encouragement, together with the endless discussions and iterations we had, made the completion of this thesis possible. Special thanks to Nissim Francez for the time and effort he put into Chapter 3, which is based on a conference paper we published together, and for his thorough remarks on the material in the other chapters. Nissim, as a teacher, has initiated my interest in Categorial Grammars and Proof Theory. Thanks also to the other members in my PhD committee, Johann Makowsky and Ariel Cohen, for their illuminating remarks. I am grateful to Shalom Lappin, Ed Keenan, Johann Makowsky, and especially to Ya’acov Peterzil, for their remarks on the material in Chapter 4