“逻辑”一词很常用，但作为一门学科和课程，“逻辑学”涉及的内容范围，比“逻辑”一词日常的用法范围要小得多。它的研究对象是推理，更准确地说，是“有效推理形式”。什么样的是有效推理形式？怎样判定？怎样生成？逻辑学中要给出基本的方法。