求逻辑学中所有概念的种类和推理的类型，越详细越好，谢谢了。