Table of Contents

Introduction

PART I - LOGIC

1 Context and Consistency
1.1. Context and Interpretation
1.2. Consistency and Logic

2 Pure Type Systems
2.1 Informal Exposition
2.2 Formal Exposition
2.3 Context of Interpretation
2.4 Reasoning and Normality

PART II - INFORMATION

3 Presuppositions and Proofs
3.1 Presuppositions as Gaps
3.2 Conditionals and Disjunctions
3.3 Bridging
3.4 Constructing Determinate Bridges
3.5 Related Work
3.6 Conclusions
3.7 Appendix: The Resolution Algorithm
3.8 Appendix: The Questionnaire

4 Answers and Contexts
4.1 The Role of Context
4.2 Representing Questions and Answers in PTS
4.3 Formalizing answerhood
4.4 Further Pragmatics of Questions and Answers
4.5 Conclusions

5 Accents and Alternatives
5.1 Presuppositions and Plurality
5.2 Alternative Assertions
5.3 Further Applications
5.4 Alternative Proposals
5.5 Conclusions

PART III - CONVERSATION

6 Conversational Games
6.1 Conversation and Discourse Analysis
6.2 Stores and Rules
6.3 A Conversational Game
6.4 Applications
6.5 Comparisons
6.6 Presuppositions in Conversation
6.7 Conclusions

7 Conveyed Meaning
7.1 In Defense of Literal Meaning
7.2 Some Observations
7.3 The Conversational Game
7.4 Evaluation
7.5 Comparisons
7.6 Conclusions

Summary and Conclusions

Summary in Dutch

Notes

References