Açıklama
Önerme ve öznitelik mantığının temel tekniklerinin gözden geçirilmesi. Doğal çıkarım ve tutarlılık ağaçları. Sağlamlık ve tümellik. Alternatif semantikler. Temel mantığa genişletmeler: özdeşlik, mümkün dünya semantiği ile modal mantık, üç değerli sistemler, deontik mantık.
Önkoşullar
- Önkoşul(lar): PHIL 2001 veya Bölümün izni.
Şartlar ve koşullar
- PHIL 3305 için ek krediye engel teşkil eder.
- Önkoşul(lar): PHIL 2001 veya Bölümün izni.
- Haftada üç saat ders.
Kaynak metin orijinal dilinde
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.
Kaynaklar ve referanslar
Tarih ve kaynaklar bilgileri doğrulamanıza yardımcı olmak için saklanır. Okumayı kolaylaştırmak için çeviriler sunulmuştur; koşullar ve gereksinimler için resmi kaynak esas alınır.
Kaynak referans : https://calendar.carleton.ca/undergrad/courses/PHIL/