Carleton University · PHIL 4505

الدلالة الشكلية

العنوان الرسمي : Formal Semantics

الساعات المعتمدة : 0.5 وحدةسنة المرجع : 2026-27

الوصف

مواضيع متقدمة في الدلالة التركيبية وواجهاتها. قد تشمل الموضوعات: المنطق، أنواع الدلالة، حساب لامبدا، السياقات النَسَبية (intentional)، دلالات العوالم الممكنة، الواجهات مع النحو والبراغماتية، الكمّ، الإحالة (anaphora)، الافتراض المسبق (presupposition)، الاستدلالات الضمنية (implicatures)، نطاق وربط، ونظرية النماذج.

المقررات السابقة

  • المتطلب السابق: LALS 3505 أو LING 3505 أو PHIL 3506 أو إذن من قسم الفلسفة أو كلية اللسانيات ودراسات اللغة.

الشروط والإجراءات

  • مُدرَج أيضاً كـ LING 4505.
  • يمنع احتساب ائتمان إضافي مقابل يمنع احتساب ائتمان إضافي لـ LALS 4507 (لم يعد يُعرض).
  • المتطلب السابق: LALS 3505 أو LING 3505 أو PHIL 3506 أو إذن من قسم الفلسفة أو كلية اللسانيات ودراسات اللغة.
  • حلقات دراسية ثلاث ساعات في الأسبوع.
نص المرجع بلغته الأصلية

Advanced topics in compositional semantics and its interfaces. Topics may include: logic, semantic types, lambda calculus, intentional contexts, possible world semantics, interfaces with syntax and pragmatics quantification, anaphora, presupposition, implicatures, scope and binding, and model theory.

  • Prerequisite(s): LALS 3505 or LING 3505 or PHIL 3506 or permission of the Department of Philosophy or School of Linguistics and Language Studies.
  • Also listed as LING 4505 .
  • Precludes additional credit for Precludes additional credit for LALS 4507 (no longer offered).
  • Seminars three hours a week.

المصادر والمراجع

يتم الاحتفاظ بالتواريخ والمصادر لمساعدتك في التحقق من المعلومات. تُعرض ترجمات لتسهيل القراءة؛ المصدر الرسمي هو المرجع للشروط والمتطلبات.

مرجع المصدر : https://calendar.carleton.ca/undergrad/courses/PHIL/

تواصل مع StudyCanada

أخبرنا بخطتك أو سؤالك، ونواصل الحديث عبر البريد الإلكتروني.

سنستخدم معلومات الاتصال هذه للرد على طلبك. الخصوصية

هذا النموذج موجّه إلى StudyCanada. للتواصل مع المؤسسة التعليمية، استخدم بيانات الاتصال في صفحتها.