Mantık

A. Kadir Çüçen'in Mantık kitabı, alanın temel kavramlarını başlangıç düzeyinden modern mantık tartışmalarına uzanan düzenli bir ders yapısında sunar. Her konunun başındaki hazırlık soruları okurun ön bilgisini harekete geçirirken bölüm sonu alıştırmaları öğrenilen yöntemleri uygulamaya yöneltir. Beş ana bölüm ve dört ek konudan oluşan çalışma, klasik mantığın tasarımlarını denetlemek için Venn şemalarını ve 0-1 adı verilen aritmetik yöntemi açıklar.

Modern mantık bölümünde iki değerli mantık, önermeler mantığı ve niceleme mantığı olarak ele alınır. Doğruluk tablosu, çözümleyici çizelge ve doğal türetim yöntemleri örneklerle karşılaştırılır; aynı akıl yürütmenin farklı tekniklerle nasıl sınanabileceği gösterilir. Kitap, üç değerli mantığa da yer vererek Lukasiewicz ve Heyting yaklaşımlarını ayrıntılı biçimde inceler. Sonraki bölümler mantığın uygulama alanlarına ve mantık felsefesinin temel sorunlarına açılır. Mantık, sembollerin kurallarını sıralamanın ötesinde geçerli çıkarımın nasıl kurulduğunu, iddiaların hangi yollarla denetlenebileceğini ve biçimsel sistemlerin hangi düşünsel soruları doğurduğunu birlikte gösteren bir ders kitabıdır. Hazırlık soruları, açıklamalar ve alıştırmalar sayesinde kuramsal bilgiyi adım adım çalışma imkânı sağlar.