| 摘要 | 第4-5页 |
| Abstract | 第5-6页 |
| Acknowledgements | 第7-10页 |
| Chapter One Introduction | 第10-14页 |
| 1.1 Research Motivation | 第10-12页 |
| 1.2 Research Objectives | 第12页 |
| 1.3 Methodology and Data Collection of the Study | 第12-13页 |
| 1.4 Layout of the Thesis | 第13-14页 |
| Chapter Two Literature Review | 第14-28页 |
| 2.1 Introduction | 第14页 |
| 2.2 Review of Studies Concerning Names | 第14-20页 |
| 2.2.1 Constant View | 第14-17页 |
| 2.2.2 Predicative View | 第17-20页 |
| 2.3 Review of Studies Concerning Substitution of Co-referential Names | 第20-27页 |
| 2.3.1 Substitution Puzzles in Intensional Contexts | 第20-22页 |
| 2.3.2 Substitution Puzzles in Extensional Contexts | 第22-27页 |
| 2.4 Summary | 第27-28页 |
| Chapter Three Theoretical Framework | 第28-48页 |
| 3.1 Introduction | 第28页 |
| 3.2 Possible-World Semantics | 第28-39页 |
| 3.2.1 Introduction of Possible-World Semantics | 第28-29页 |
| 3.2.2 Related Concepts | 第29-39页 |
| 3.3 Two-Sorted Type Theory (Ty2) | 第39-41页 |
| 3.3.1 Basic Types | 第39页 |
| 3.3.2 The Syntactic Rules of Ty2 | 第39页 |
| 3.3.3 The Semantic Interpretation Rules of Ty2 | 第39-40页 |
| 3.3.4 De Re and De Dicto Readings in Ty2 | 第40-41页 |
| 3.4 The Enrichment to Two-Sorted Theory | 第41-44页 |
| 3.5 Fara’s The-Predicativism | 第44-46页 |
| 3.6 Summary | 第46-48页 |
| Chapter Four Analysis of Substitution of Co-referential Names | 第48-77页 |
| 4.1 Introduction | 第48页 |
| 4.2 Analysis of Name1=Name2 | 第48-56页 |
| 4.2.1 Proof of Name1=Name2 | 第48-52页 |
| 4.2.2 Two Sorts of Name1=Name2 | 第52-56页 |
| 4.3 Analysis of Substitution in Two Contexts | 第56-75页 |
| 4.3.1 Substitution in Intensional Contexts | 第56-65页 |
| 4.3.2 Substitution in Extensional Contexts | 第65-74页 |
| 4.3.3 A Common Cause | 第74-75页 |
| 4.4 Summary | 第75-77页 |
| Chapter Five Conclusion | 第77-80页 |
| 5.1 Summary of the Study | 第77页 |
| 5.2 Main Findings | 第77-78页 |
| 5.3 Limitations and Suggestions | 第78-80页 |
| References | 第80-83页 |
