Açıklama
Sembolik forma çeviri, mantıksal doğruluk testi, çıkarım kurallarının formülasyonu ve uygulanması ve mantık ile dil arasındaki ilişkiye vurgu ile biçimsel mantığın teknikleri ve felsefi çıkarımlarına giriş. Birinci yıl öğrencilerine açıktır.
Şartlar ve koşullar
- Haftada üç saat ders. Seçili dönemlerde uygulama oturumları sunulabilir.
Kaynak metin orijinal dilinde
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.
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/