Mantık

Bu çalışma "mantık ders kitabı" şeklinde hazırlanmıştır. Her konunun başına hazırlık sorulan ve sonuna da alıştırmalar konularak, okuyucunun konuları daha kolay anlamaları sağlanmaya çalışılmıştır. Çalışma beş bölüm ve dört ek konudan oluşan bir bütünlük taşımaktadır. Birinci bölüm, mantığa giriştir. İkinci bölüm, klasik mantığı kapsamaktadır. Klasik mantığın tasımlarını denetlemek için ayrıca bir geometrik (Venn şemaları), bir de EK-l'de aritmetik yöntem (0-1 Yöntemi) verilmektedir. Üçüncü bölüm modern mantığı kapsamlı bir şekilde ele almaktadır. İki değerli mantığı, önermeler ve niceleme mantığı olarak ikiye ayırarak ele almasının yanı sıra, üç tane de denetleme yöntemi örneklerle sunulmaktadır: Doğruluk tablosu, çözümleyici çizelge ve doğal türetim yöntemleri. Üç değerli mantık, modern mantık bölümüne ayrı bir çeşitlilik katmaktadır. Lukasiewicz ve Heyting'in üç değerli mantığı ayrıntılı olarak ele alınmaktadır. Dördüncü bölüm, mantığın uygulama alanlarına ayrılmıştır. Beşinci bölümde mantık felsefesinin sorunları çeşitli açılardan tartışılmıştır. Ekler kısmında özdeşlik mantığı, varlık mantığı ve kiplik mantığı genel hatlarıyla tanıtılmıştır.