Resource-Sensitivity, Binding and Anaphora

Geert-Jan Kruijff & Richard T. Oehrle گرامر مقوله ای هم یک دستور زبان و هم یک سیستم استنتاج نوع است. در نتیجه این دوگانگی، چارچوب مقوله‌ای یک محیط طبیعی را ارائه می‌دهد که در آن سؤالات ترکیب دستوری، هم به‌صورت تجربی و هم به‌طور انتزاعی مورد مطالعه قرار می‌گیرد. در این دیدگاه، البته، قرابت هایی با سؤالات اساسی در نظریه زبان رسمی وجود دارد. اما این واقعیت که دستور زبان‌های مقوله‌ای در سیستم‌های ارجاعی از نوع هستند، ارتباطات ذاتی میان انواع نحوی، استنتاج نوع نحوی، انواع معنایی و استنتاج نوع معنایی را امکان‌پذیر می‌سازد، ارتباطی که در ساختارهای استاندارد نظریه زبان رسمی کمتر آشکار است. با تثبیت سیستم استنتاج نوع دستوری T، ممکن است کشف کنیم که چه پدیده های گرامری با T- سازگار است و چه پدیده های دستوری سازگار نیستند. به همین ترتیب، با تثبیت دسته ای از پدیده های دستوری g، ممکن است به دنبال این باشیم که مشخص کنیم چه سیستم هایی از نوع استنتاج g را مشخص می کند. این دیدگاه دوگانه جریانی قوی در ادبیات مقوله‌ای است که به مقالات کلاسیک آیدوکیوویچ، بار-هیلل، کری و لامبک برمی‌گردد.

Geert-Jan Kruijff & Richard T. Oehrle A categorial grammar is both a grammar and a type inference system. As a result of this duality, the categorial framework offers a natural setting in which to study questions of grammatical composition, both empirically and abstractly. There are affinities in this perspective, of course, to basic questions in formal language theory. But the fact that categorial grammars are type in­ ference systems makes possible intrinsic connections among syntactic types, syntactic type inference, semantic types, and semantic type inference, a con­ nection less apparent in the standard constructions of formal language theory. Fixing a system of grammatical type inference T, we may explore what gram­ matical phenomena are compatible with T-and equally, what grammatical phenomena are not. Equally, fixing a class of grammatical phenomena g, we may seek to ascertain what systems of type inference characterize g. This dual perspective is a strong current in the categorial literature, going back to the classical papers of Ajdukiewicz, Bar-Hillel, Curry, and Lambek.