Bu çalışma, dört bölümden oluşmaktadır. Birinci bölümde birinci şekilden, ikinci bölümde ikinci şekilden, üçüncü bölümde üçüncü şekilden, dördüncü bölümde de dördüncü şekilden geçlü geçerli tasımlar üzerinde durulmakta ve bu tasımların birer geçerli delilli tasıma nasıl dönüştürülebilecekleri gösterilmeye çalışılmaktadır.

Geleneksel - Klasik Mantığın Modern-Sembolik Yorumu Kitap Açıklaması Bu çalışmamızda, geleneksel/klasik mantığın hem Batı dünyasında hem de Türk-İslâm dünyasında üzerinde durulan yönlerini dikkate aldık ve söz konusu mantığı, modern/sembolik mantık açısından yorumladık. Kitabımızı, iki bölüme ayırdık. Birinci bölümde, önerme türleri ve önermeler arası ilişkilere; ikinci bölümde ise doğrudan ve dolaylı çıkarımlara yer verdik.

Mantık, kurucusu Aristotelesin ardıllarının adlandırdıkları gibi, doğru düşünmeye yönelik bir araçtır. Bir bakıma düşüncenin grameridir. Nasıl ki insan, dilbilgisini öğrenmeden belirli bir dili konuşuyorsa, mantık öğrenmeden de çıkarımlarda bulunur. Yine nasıl ki insanın, dili doğru kullanabilmesi için dilbilgisine ihtiyacı varsa, doğru akıl yürütebilmesi, doğru çıkarımlarda bulunabilmesi için de mantık öğrenmeye ihtiyacı vardır. Bundan dolayı mantık, asırlarca, bir propedeotik belirli disiplinlere ve bilim