Structures for semantics

رسمی سازی نقش مهمی در معناشناسی دارد. انجام معناشناسی و پیروی از ادبیات نیاز به پیچیدگی فنی قابل توجه و آشنایی با تکنیک ها و ساختارهای کاملاً پیشرفته ریاضی دارد. اما معناشناسی ریاضی نیست. این تکنیک ها و ساختارها ابزارهایی هستند که به ما در ساختن نظریه های معنایی کمک می کنند. هدف واقعی ما درک پدیده های معنایی است و به تکنیکی نیاز داریم تا درک خود را از این پدیده ها دقیق کنیم. مشکلات در معناشناسی اغلب خیلی سخت و لغزنده هستند که نمی‌توان به درک غیررسمی ما از آنها اعتماد کرد. این نباید به عنوان حمله ای به استدلال غیررسمی در معناشناسی تلقی شود. برعکس، به نظر من، اغلب بینش اساسی در تشخیص آنچه در یک پدیده معنایی خاص می گذرد، در سطح غیررسمی صورت می گیرد. با این حال، بسیار آسان است که گمراه شویم و تصور کنیم که بینش غیررسمی خاصی تحلیل رضایت بخشی از یک مشکل خاص ارائه می دهد. اغلب معلوم می شود که یک ابهام اساسی در مورد اینکه بینش غیررسمی در واقع چیست وجود دارد. رسمی‌سازی به واضح‌تر شدن این بینش‌ها و آزمایش آنها کمک می‌کند.

Formalization plays an important role in semantics. Doing semantics and following the literature requires considerable technical sophistica­ tion and acquaintance with quite advanced mathematical techniques and structures. But semantics isn't mathematics. These techniques and structures are tools that help us build semantic theories. Our real aim is to understand semantic phenomena and we need the technique to make our understanding of these phenomena precise. The problems in semantics are most often too hard and slippery, to completely trust our informal understanding of them. This should not be taken as an attack on informal reasoning in semantics. On the contrary, in my view, very often the essential insight in a diagnosis of what is going on in a certain semantic phenomenon takes place at the informal level. It is very easy, however, to be misled into thinking that a certain informal insight provides a satisfying analysis of a certain problem; it will often turn out that there is a fundamental unclarity about what the informal insight actually is. Formalization helps to sharpen those insights and put them to the test.