so im browing dr. math and i notice there is a section devoted to logic. is logic a course, or is different types taught in different courses, or whats the deal? do you learn abotu it directly (definitions of types of logic and such) in highschool at all, or just post-secondary?