Language, Proof and Logic

Akıl yürütme yeteneği insanın en temel özelliğidir. Disiplin veya söylem ne olursa olsun, doğru akıl yürütmeyi yanlış olandan ayırt edebilmek büyük önem taşır. Yanlış akıl yürütmenin sonuçları, bir doğum günü partisine giderken kaybolmak gibi önemsiz olabileceği gibi; bir ördek sürüsüne nükleer füze fırlatmak veya bir uzay aracıyla bağlantıyı kalıcı olarak kaybetmek gibi çok daha ciddi de olabilir.
Bu kursta ele alacağımız temel soru, "bir ifadenin diğerinden ne zaman zorunlu olarak çıktığı" — ya da kursun terminolojisiyle, "bir ifadenin diğerinin ne zaman mantıksal bir sonucu olduğudur". Bu oldukça önemli bir konudur; çünkü bu sorunun cevabı, örneğin bir blogda sunulan bir argümanı incelememize ve bu argümanın sonucunun doğruluğunu gerçekten kanıtlayıp kanıtlamadığına karar vermemize olanak tanır. Kendi argümanlarımızı da analiz edip gerçekten iddia ettiğimiz sonuçları doğrulayıp doğrulamadığını görebileceğimiz için kendi akıl yürütme becerimiz de gelişecektir.