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