الوصف
مراجعة للتقنيات الأساسية في منطق المقترحات ومنطق البدل. الاستدلال الطبيعي وأشجار التناسق. الصحة والكمال. الدلالات البديلة. امتدادات للمنطق الأساسي: الهوية، المنطق الرمزي مع دلالات العوالم الممكنة، أنظمة ذات ثلاث قيم، المنطق الإلزامي (deontic).
المقررات السابقة
- المتطلب السابق: PHIL 2001 أو إذن القسم.
الشروط والإجراءات
- يستبعد الحصول على ائتمان إضافي لم يستبعد الحصول على ائتمان إضافي لمادة PHIL 3305.
- المتطلب السابق: PHIL 2001 أو إذن القسم.
- محاضرات ثلاث ساعات أسبوعيًا.
نص المرجع بلغته الأصلية
A review of the basic techniques of propositional and predicate logic. Natural deduction and consistency trees. Soundness and completeness. Alternative semantics. Extensions to basic logic: identity, modal logic with possible world semantics, three valued systems, deontic logic.
- Prerequisite(s): PHIL 2001 or permission of the Department.
- Precludes additional credit for Precludes additional credit for PHIL 3305.
- Lectures three hours a week.
المصادر والمراجع
يتم الاحتفاظ بالتواريخ والمصادر لمساعدتك في التحقق من المعلومات. تُعرض ترجمات لتسهيل القراءة؛ المصدر الرسمي هو المرجع للشروط والمتطلبات.
مرجع المصدر : https://calendar.carleton.ca/undergrad/courses/PHIL/