Sembolik Mantık El Kitabı – 2

Modern sembolik mantık dersleri 1967 yılından bu yana lise ve üniversitelerimizde yaygınlaşarak okutulmaktadır. Bu alanda şimdiye dek yedi tane ders kitabı yazdım. Ancak, sembolik mantık hızla gelişmekte ve uygulamaları artmaktadır.

Üç ciltlik Sembolik Mantık El Kitabı'nı çeşitli mantık sistemlerini ve uygulamalarını geniş bir okuyucu kitlesine, özellikle lise öğretmenleri ile üniersite ve lise öğrencilerine tanıtmak amacıyla hazırladım.

Birinci ciltte temel mantığı oluşturan Önermeler Mantığı ile Niceleme Mantığı (Yüklemler Mantığı) ; ikinci ciltte Özdeşlik Mantığı, Varlık Mantığı, Kiplikler Mantığı, Bilgi Mantığı, Çok Değerli Mantık, Ödev Mantığı, Sorular Mantığı, Zaman Mantığı ve Koşullular Mantığı'nı ele aldım. Üçüncü ciltte ise, sembolik mantığın uygulamaları olarak Eleştirel Düşünme ve Akılcı Tartışma, Klasik (Geleneksel) Mantık, Kümeler Kuramı, Otomatikleşmiş Teorem İspatlaması, Olasılık Kuramının Mantıksal Temelleri, Sembolleştirme ve son olarak Mantık Felsefesi konularını ele aldım. (Önsöz'den)