Deskripsi
Tinjauan teknik dasar logika proposisional dan predikat. Deduksi natural dan pohon konsistensi. Kebenaran dan kelengkapan. Semantik alternatif. Perluasan terhadap logika dasar: identitas, logika modal dengan semantik dunia kemungkinan, sistem tiga nilai, logika deontik.
Prasyarat
- Prasyarat: PHIL 2001 atau izin dari Departemen.
Syarat dan ketentuan
- Mengecualikan kredit tambahan untuk Mengecualikan kredit tambahan untuk PHIL 3305.
- Prasyarat: PHIL 2001 atau izin dari Departemen.
- Kuliah tiga jam per minggu.
Teks rujukan dalam bahasa aslinya
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.
Sumber dan referensi
Tanggal dan sumber disimpan untuk membantu Anda memverifikasi informasi. Terjemahan disediakan untuk memudahkan pembacaan; sumber resmi menjadi rujukan untuk syarat dan ketentuan.
Referensi sumber : https://calendar.carleton.ca/undergrad/courses/PHIL/