Properties, Types and Meaning: Volume II: Semantic Issues

این مجموعه مقالات در اصل برگرفته از کنفرانسی در مورد تئوری خواص، نظریه نوع و معناشناسی است که در آمهرست در تاریخ 13 تا 16 مارس 1986 برگزار شد. این کنفرانس منطق دانان، فیلسوفان، دانشمندان رایانه و زبان شناسانی را گرد هم آورد که روی این موضوعات کار می کردند. (از ده در انزوا از یکدیگر). هدف ما تقویت بحث و تبادل نظر در مورد این موضوعات اساسی در زمان تغییر سریع در معناشناسی و علوم شناختی بود. مقالات منتشر شده در این کار از زمان ارائه اولیه آنها در کنفرانس به طور قابل توجهی تکامل یافته است. با توجه به گستره آنها، به نظر ما راحت است که کار را به دو جلد تقسیم کنیم. اولی عمدتاً به مبانی منطقی و فلسفی می پردازد، دومی به مسائل معنایی تجربی بیشتری می پردازد. در حالی که مجموعه مسائل مشترکی وجود دارد که این دو جلد را به هم متصل می کند، هر دو مستقل هستند و می توانند مستقل از یکدیگر خوانده شوند. دو مقاله از مجموعه حاضر (وان بنتم در جلد 1 و چیرچیا در جلد دوم) واقعاً در کنفرانس خوانده نشدند. با این حال، آنها به دلیل ارتباط مستقیم آنها با موضوعات مجلد در اینجا گنجانده شده اند. متأسفانه برخی از مقالات ارائه شده (ففرمن، کلاین و پلوتکین) به دلیل مشکلات زمان‌بندی نتوانستند در کار حاضر گنجانده شوند. با این وجود، ما از نویسندگان برای مشارکت آنها در زمینه ایده ها و مشارکت در بحث تشکر می کنیم.

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.