Properties, types and meaning

ThiscollectionofpapersstemsoriginallyfromaconferenceonProperty Theory,TypeTheoryandSemanticsheldinAmherstonMarch13-16 1986.The conference brought together logicians,philosophers, com- puter scientists and linguists who had been working on these issues (often in isolation from one another).Ourintent wastoboostdebate and exchange of ideas on these fundamental issuesat a time ofrapid changeinsemanticsandcognitivescience. The paperspublished in thiswork have evolved substantially since their original presentation at the conference. Given their scope, we thought it convenient to divide the work into two volumes.The first deals primarily withlogicaland philosophical foundations, the second with more empirical semantic issues.Whilethere isa common set of issuestyingthetwovolumestogether, theyareboth self-containedand canbereadindependentlyofoneanother. Twoofthepapersinthepresentcollection(vanBentheminvolume Iand ChierchiainvolumeII)werenotactuallyread attheconference. They are nevertheless included here for their direct relevance to the topicsofthevolumes. Regrettably, some of the papers that were presented (Feferman, Klein,and Plotkin) could not be included in the presentwork due to timingproblems. Wenevertheless thank theauthorsfortheircontribu- tionintermsofideasandparticipationinthedebate. The conference had a group of invited discussants whichincluded Emmon Bach,JanetFodor,Erhard Hinrichs, Angelika Kratzer, Fred Landman, Richard Larson,Godehard Link, Chris Menzel,Uwe Mon- nich,andCarlPollard.Wethankthemall(alongwiththeotherpartici- pants)fortheirstimulatingandlivelypresence.

Algebraic Semantics for Intensional Logics, I.- Motivating Ramified Type Theory.- Two Issues in the Foundations of Semantic Theory.- Self-Reference, Attitudes and Paradox.- On Properties and Property Theory.- Fine-Grained Type-Free Intensionality.- Semantic Type-Change and Syntactic Recognition.- Index of Names.- Index of Subjects.

ThiscollectionofpapersstemsoriginallyfromaconferenceonProperty Theory,TypeTheoryandSemanticsheldinAmherstonMarch13-16 1986.The conference brought together logicians,philosophers, com- puter scientists and linguists who had been working on these issues (often in isolation from one another).Ourintent wastoboostdebate and exchange of ideas on these fundamental issuesat a time ofrapid changeinsemanticsandcognitivescience. The paperspublished in thiswork have evolved substantially since their original presentation at the conference. Given their scope, we thought it convenient to divide the work into two volumes.The first deals primarily withlogicaland philosophical foundations, the second with more empirical semantic issues.Whilethere isa common set of issuestyingthetwovolumestogether, theyareboth self-containedand canbereadindependentlyofoneanother. Twoofthepapersinthepresentcollection(vanBentheminvolume Iand ChierchiainvolumeII)werenotactuallyread attheconference. They are nevertheless included here for their direct relevance to the topicsofthevolumes. Regrettably, some of the papers that were presented (Feferman, Klein,and Plotkin) could not be included in the presentwork due to timingproblems. Wenevertheless thank theauthorsfortheircontribu- tionintermsofideasandparticipationinthedebate. The conference had a group of invited discussants whichincluded Emmon Bach,JanetFodor,Erhard Hinrichs, Angelika Kratzer, Fred Landman, Richard Larson,Godehard Link, Chris Menzel,Uwe Mon- nich,andCarlPollard.Wethankthemall(alongwiththeotherpartici- pants)fortheirstimulatingandlivelypresence.

Algebraic Semantics for Intensional Logics, I.- Motivating Ramified Type Theory.- Two Issues in the Foundations of Semantic Theory.- Self-Reference, Attitudes and Paradox.- On Properties and Property Theory.- Fine-Grained Type-Free Intensionality.- Semantic Type-Change and Syntactic Recognition.- Index of Names.- Index of Subjects.

This collection of papers stems originally from a conference on Property Theory, Type Theory and Semantics held in Amherst on March 13-16 1986. The conference brought together logicians, philosophers, com puter scientists and linguists who had been working on these issues (of ten in isolation from one another). Our intent was to boost debate and exchange of ideas on these fundamental issues at a time of rapid change in semantics and cognitive science. The papers published in this work have evolved substantially since their original presentation at the conference. Given their scope, we thought it convenient to divide the work into two volumes. The first deals primarily with logical and philosophical foundations, the second with more empirical semantic issues. While there is a common set of issues tying the two volumes together, they are both self-contained and can be read independently of one another. Two of the papers in the present collection (van Benthem in volume 1 and Chierchia in volume II) were not actually read at the conference. They are nevertheless included here for their direct relevance to the topics of the volumes. Regrettably, some of the papers that were presented (Feferman, Klein, and Plotkin) could not be included in the present work due to timing problems. We nevertheless thank the authors for their contribu tion in terms of ideas and participation in the debate.

Type-Shifting Rules and the Semantics of Interrogatives.- On the Semantic Content of the Notion of 'Thematic Role'.- Structured Meanings, Thematic Roles and Control.- On the Semantic Composition of English Generic Sentences.- Generically Speaking, or, Using Discourse Representation Theory to Interpret Generics.- Realism and Definiteness.- Index of Names.- Index of Subjects.

This collection of papers stems originally from a conference on Property Theory, Type Theory and Semantics held in Amherst on March 13-16 1986. The conference brought together logicians, philosophers, com puter scientists and linguists who had been working on these issues (of ten in isolation from one another). Our intent was to boost debate and exchange of ideas on these fundamental issues at a time of rapid change in semantics and cognitive science. The papers published in this work have evolved substantially since their original presentation at the conference. Given their scope, we thought it convenient to divide the work into two volumes. The first deals primarily with logical and philosophical foundations, the second with more empirical semantic issues. While there is a common set of issues tying the two volumes together, they are both self-contained and can be read independently of one another. Two of the papers in the present collection (van Benthem in volume 1 and Chierchia in volume II) were not actually read at the conference. They are nevertheless included here for their direct relevance to the topics of the volumes. Regrettably, some of the papers that were presented (Feferman, Klein, and Plotkin) could not be included in the present work due to timing problems. We nevertheless thank the authors for their contribu tion in terms of ideas and participation in the debate.

Type-Shifting Rules and the Semantics of Interrogatives.- On the Semantic Content of the Notion of 'Thematic Role'.- Structured Meanings, Thematic Roles and Control.- On the Semantic Composition of English Generic Sentences.- Generically Speaking, or, Using Discourse Representation Theory to Interpret Generics.- Realism and Definiteness.- Index of Names.- Index of Subjects.