A note on brute vs. institutional facts: Modal logic of equivalence up to a signature
Davide Grossi · UvA-DARE (University of Amsterdam) · 2009
Abstract. The paper investigates the famous Searlean distinction between “brute ” and “institutional ” concepts from a logical point of view. We show how the partitioning of the non-logical alphabet—e.g., into “brute ” and “institutional ” atoms—gives rise to interesting modal properties. A modal logic, called UpTo-logic, is introduced and investigated which formalizes the notion of (propositional) logical equivalence up to a given signature. 1