普通逻辑的研究对象是（），它是一门性质的思维科学。