cons

• effects from the book design (following structure of FOL) and `realistic' semantics (interpreted language):
  • only standard models in Tarski's World
  • artificial distinctions between logical, tautological, analytical and FO consequence in Boole and Fitch. E.g. "Ana Con" (da?) can both serve as Meaning Postulate [LeftOf(a,b) => RightOf(b,a)] and contingent truth [ Cube(a) v Tet(a) v Dodec(a) ].
  • result: trivialization of (natural deduction) proofs (bad practice) and poor understanding meta-theory
• inflating scores
• instructor has no access to learning procedure during Submit session
• naming of files obstructs easy check by instructor