Mantık temelleri: doğru çıkarım

Kısaca: Mantık, önermelerden ne zaman bir şeyin çıktığını inceler. Bir argüman, sonuç öncüllerden zorunlu çıkıyorsa geçerli, ayrıca öncüller doğruysa sağlamdır.

Biraz daha ayrıntılı: Klasik örnek: Bütün insanlar ölümlüdür; Sokrates bir insandır; öyleyse Sokrates ölümlüdür.

Ayrıntılı

• Tümdengelim: Genelden özele zorunlu çıkarım.
• Tümevarım: Gözlemlerden genelleme, olası, kesin değil.
• Abdüksiyon: Bir gözlem için en iyi açıklamayı aramak.
• Önerme mantığı: VE, VEYA, DEĞİL, EĞER-İSE bağlaçlarıyla bağlantılar.
• Doğruluk tabloları: Bileşik önermelerin ne zaman doğru olduğunu denetlemek.
• Geçerli ≠ doğru: Yanlış öncüllü geçerli bir çıkarım da yanlış sonuca götürür.
• Hatalardan kaçınma: Tipik düşünme hatalarını bilin (trugschluesse-erkennen).
• Uygulama: Programlama, matematik, tartışmalar (was-ist-philosophie).