逻辑种类及其逻辑形式