How logic works : a user's guide /

"Logic instruction typically takes two forms. The first has the aim of teaching students to solve a certain sort of problem as efficiently as possible. This is the approach adopted by most logic textbooks and truth trees, the most popular method, gives students an algorithm for solving logic pr...

وصف كامل

التفاصيل البيبلوغرافية
المؤلف الرئيسي: Halvorson, Hans (مؤلف)
التنسيق: Licensed eBooks
اللغة:الإنجليزية
منشور في: Princeton : Princeton University Press [2020]
الوصول للمادة أونلاين:https://www.jstor.org/stable/10.2307/j.ctvxrpz0q
جدول المحتويات:
  • Logic for humans
  • Deducing
  • Supposing
  • New proofs from old
  • Truth
  • Quantifying
  • Theories
  • Models
  • A theory about propositional logic
  • A theory about predicate logic
  • Beyond logic.