Categorical type logic 并列题名：Categorical type logic Categorical imperative Mathematical logic categorization (psychology) Analogical logic Narrative logic Private logic medical logic