MANTIĞA GİRİŞ
Mantığa Giriş adlı bu çalışma hem bir ders kitabı hem de mantık disiplinine ilgi duyan herkes için giriş niteliğinde bir çalışmadır. Bu amaçla her bölümün sonuna ilgili konuyu pekiştirmek için bölüm sonu alıştırmaları eklenmiştir. Kitap mantığın kısa bir tarihçesi ve tanımıyla birlikte argüman, çıkarım, önerme, geçerlilik ve tutarlılık gibi mantığın temel kavramlarının açıklamasıyla başlamaktadır. Mantık disiplininin tarihsel süreci içinde geliştirilen ve argümanlarda geçerlilik denetleme tekniklerini iki ana kısımda, Klasik Mantık ve Modern Mantık sistemleri bağlamı içinde sunmaktadır. Böylece okura mantığın geleneksel yorumuyla birlikte modern yorumu aktarılmaktadır. Bu bağlam içinde çalışmanın birinci ana kısmında Klasik Aristoteles Mantığı’nda tasımlar ve geçerlilik denetlemeleri ele alınmaktadır. İkinci ana kısım Modern Önerme Mantığı’yla sınırlı tutularak, doğruluk çizelgeleri, dedüksiyon sistemi ve doğruluk ağaçları yoluyla argümanların geçerliliği ve önerme kümelerinin tutarlığı gibi denetleme tekniklerine ayrılmıştır.
MANTIĞA GİRİŞ
Mantığa Giriş adlı bu çalışma hem bir ders kitabı hem de mantık disiplinine ilgi duyan herkes için giriş niteliğinde bir çalışmadır. Bu amaçla her bölümün sonuna ilgili konuyu pekiştirmek için bölüm sonu alıştırmaları eklenmiştir. Kitap mantığın kısa bir tarihçesi ve tanımıyla birlikte argüman, çıkarım, önerme, geçerlilik ve tutarlılık gibi mantığın temel kavramlarının açıklamasıyla başlamaktadır. Mantık disiplininin tarihsel süreci içinde geliştirilen ve argümanlarda geçerlilik denetleme tekniklerini iki ana kısımda, Klasik Mantık ve Modern Mantık sistemleri bağlamı içinde sunmaktadır. Böylece okura mantığın geleneksel yorumuyla birlikte modern yorumu aktarılmaktadır. Bu bağlam içinde çalışmanın birinci ana kısmında Klasik Aristoteles Mantığı’nda tasımlar ve geçerlilik denetlemeleri ele alınmaktadır. İkinci ana kısım Modern Önerme Mantığı’yla sınırlı tutularak, doğruluk çizelgeleri, dedüksiyon sistemi ve doğruluk ağaçları yoluyla argümanların geçerliliği ve önerme kümelerinin tutarlığı gibi denetleme tekniklerine ayrılmıştır.