Mantık

Bu çalışma mantık ders kitabı şeklinde hazırlanmıştır. Her konunun başına hazırlık soruları 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-1de aritmetik yöntem (0-! 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şitllik katmaktadır. Lukasiewicz ve Heytingin üç 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.

Bu çalışma mantık ders kitabı şeklinde hazırlanmıştır. Her konunun başına hazırlık soruları 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-1de aritmetik yöntem (0-! 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şitllik katmaktadır. Lukasiewicz ve Heytingin üç 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.