没有一个学者不认为逻辑作用相当大.这句话是形式逻辑中的性质判断的那个类型?