Mantık ve Felsefe: Modern Bir Giriş

Biçimsel mantığa kapsamlı bir giriş, Mantık ve Felsefe: Modern Bir Giriş, konuyla ilk kez karşılaşan öğrenciler için uygun, titiz ancak erişilebilir bir metindir. Cümle mantığı, birinci dereceden yüklem mantığı, tanımlar teorisi, özdeşlik, ilişkiler, küme teorisi, modal mantık ve Aristoteles mantığının keşfine yönelik net, ilgi çekici bir açıklama yapısının eşlik ettiği bol, özenle hazırlanmış egzersiz setleri. Ve adından da anlaşılacağı gibi, Mantık ve Felsefe sadece mantığa değil, aynı zamanda alanın gelişmesine yol açan felsefi tartışmalara da ayrılmıştır. 13. baskı için birçok yeni malzeme eklendi. Küme teorisine ve felsefi konular da dahil olmak üzere mantık ve matematikle ilişkisine bir giriş, şimdi Bölüm 13'ün bir parçasıdır. 15. Bölüm kipsel mantığa ve Kripke semantiğine bir giriş olup, kiplerin herhangi bir mantıksal yerleşimi ile felsefi problemlerin tartışılmasıyla sona erer. İspat yöntemleri sunmak istemeyen eğitmenler, hem cümlesel hem de birinci dereceden mantık için doğruluk ağaçları ve modal mantık için bir ağaç sunumu hakkında bölümler bulacaklar.

Bu metnin özel özellikleri arasında mantık tarihinin sunumları, geleneksel koşullu ve dolaylı ispat yöntemlerine alternatifler ve evrensel ve varoluşsal örneklerle anlamsal problemlerin tartışılması yer alır. Baştan sona yazarlar, sıradan dil, sembolik mantık ve çeşitli sembolik dillerin sözdizimi ve semantiği için gerekçelendirmeler arasındaki ilişkiden kaynaklanan felsefi konulara duyarlıdır. Tartışmalar, if ifadesinin cümlesel gösterimi için doğruluk tablosunun gerekçelendirilmesine kadar uzanır. . . daha sonra, sıradan dilde ortaya çıkan bazı rahatsız edici paradokslar da dahil olmak üzere, anlamsal ve sözdizimsel paradokslara ilişkin ifadeler (örneğin, cellat veya sürpriz sınav paradoksu olarak adlandırılır).

Mantık ve Felsefe, bir dönemlik veya iki dönemlik bir kurs için bol miktarda materyal içerir ve daha ileri mantık dersleri için kapsamlı bir hazırlık sağlar.

467 sayfa ingilizce .pdf kitap.

Boyut : 5,7 Mb