Toward an Epistemic-Logical Theory of Categorization

Abstract

Categorization systems are widely studied in psychology, sociology, and organization theory as information-structuring devices which are critical to decision-making processes. In the present paper, we introduce a sound and complete epistemic logic of categories and agents' categorical perception. The Kripke-style semantics of this logic is given in terms of data structures based on two domains: one domain representing objects (e.g. market products) and one domain representing the features of the objects which are relevant to the agents' decision-making. We use this framework to discuss and propose logic-based formalizations of some core concepts from psychological, sociological, and organizational research in categorization theory.

arXiv commentIn Proceedings TARK 2017, arXiv:1707.08250

References in corpus (4)

• Multi-type display calculus for Propositional Dynamic Logic
• Epistemic Updates on Algebras
• Multi-type Sequent Calculi
• Constructive canonicity for lattice-based fixed point logics

Cited by in corpus (11)

• Rough concepts
• Toward a Dempster-Shafer theory of concepts
• Sahlqvist via Translation
• Algebraic proof theory for LE-logics
• Constructive Canonicity of Inductive Inequalities
• The Logic of Resources and Capabilities
• Goldblatt-Thomason for LE-logics
• Modelling socio-political competition
• Non-distributive logics: from semantics to meaning
• The logic of vague categories
• Distribution-Free Modal Logics: Sahlqvist -- Van Benthem Correspondence