Symbolic logic isn't really what I had in mind. I was thinking a traditional logic course, covering inductive and deductive reasonings, components of an argument (premeses, conclusions, and so forth), common logical fallacies, and the like -- basically the ability to distinguish between valid reasoning and nonsense. Though, symbolic logic also would not go amiss.
in reply to Re^2: Worst blog post ever on teaching programming
in thread Problematic post on teaching programming