Deskripsi
Pengantar teknik dan implikasi filosofis logika formal dengan penekanan pada penerjemahan ekspresi ke bentuk simbolik, pengujian kebenaran logis, perumusan dan penerapan aturan inferensi, dan hubungan antara logika dan bahasa. Terbuka untuk mahasiswa tahun pertama.
Syarat dan ketentuan
- Kuliah tiga jam per minggu. Tutorial mungkin ditawarkan pada periode tertentu yang terpilih.
Teks rujukan dalam bahasa aslinya
An introduction to the techniques and philosophical implications of formal logic with emphasis on translation of expressions into symbolic form, testing for logical correctness, the formulation and application of rules of inference, and the relation between logic and language. Open to first-year students.
- Lectures three hours a week. Tutorials may be offered in selected terms.
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/