Some of us have referred to the course as "baby logic." This is a term I heard a lot in grad school, where there was a 1-quarter baby logic course and 2 further quarters of advanced topics--and none of those even touched on modal logic or many other possible topics in philosophical logic.
My question for you is why it's called baby logic and what baby logic refers to. Is it the content of a standard introductory course (even when "introductory" means "all you can ever get at this institution without taking your pretty self over to the math department")? That is, is baby logic sentential and predicate logic up to (or through) identity? Or is it less? One colleague thinks "baby logic" refers only to the informal logic that is typically taught in critical thinking courses. I could see how it might refer to sentential logic--on the grounds that truth trees are a mindless automatic procedure but models in predicate logic are not.