Modern Logic

Logic is both the method ( or technique) and the science of valid (i. e., correct) reasonning, and valid readoning is a basic requirement for success and efficiency in all the human activities. The aim of this book is to introduce , especilly undergraduate university students of all departmens, to some of the best techniques of reasoning devised by modern logic ( called also mathematical, or symbolic logic).

Bu kitap üniversite lisans öğrencileri için modern (sembolik, yani matematiksel) mantığı konu edinen giriş ve orta düzeyde bir ders kitabıdır. Özellikle, başta ODTÜ olmak üzere İngilizce öğretim yapan üniversitelerin gerek Felsefe bölümlerinin zorunlu Mantık derslerinde gerekse diğer bölümler için açılan teknik, teknik-olmayan ve serbest seçmeli Mantık derslerinde kullanılmak üzere hazırlanmıştır. Ayrıca kendi kendine İngilizce Modern Mantık öğrenmek isteyen genel okuyucuya önerilmektedir. Kitabı okumak için Mantık konusunda ön bir bilgi gerekmemektedir. İşlenen konular çok sayıda örnekle beslenmiş, ayrıca en küçük alt bölümlerin bile sonunda alıştırmalar verilmiştir. Dört ana bölümden oluşan kitapta, sırasıyla önermelere mantığı, niceleme (yüklemler) mantığı, özdeşlik mantığı ve varlık mantığı incelenmektedir. İlk iki bölüm temel mantık sayılıp, kitabın büyük bir kısmını oluştururken son iki bölüm ise daha ileri düzeyde işlenmiştir.