A note on brute vs. institutional facts: Modal logic of equivalence up to a signature

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]  Guido Boella,et al.  Regulative and Constitutive Norms in Normative Multiagent Systems , 2004, KR.

[2]  Emiliano Lorini,et al.  A Logical Account of Institutions: From Acceptances to Norms via Legislators , 2008, KR.

[3]  Frank Dignum,et al.  Classificatory Aspects of Counts-as: An Analysis in Modal Logic , 2006, J. Log. Comput..

[4]  Michael Slote,et al.  How To Derive “Ought” from “Is” , 2009 .

[5]  Frank Dignum,et al.  The many faces of counts-as: A formal analysis of constitutive rules , 2008, J. Appl. Log..

[6]  Guido Governatori,et al.  Actions, institutions, powers: Preliminary notes , 2002 .

[7]  Leon van der Torre,et al.  Contextual Deontic Logic , 1997, ModelAge Workshop.

[8]  Davide Grossi,et al.  Linguistic Relevance in Modal Logic , 2008 .

[9]  Johan van Benthem,et al.  Everything Else Being Equal: A Modal Logic for Ceteris Paribus Preferences , 2009, J. Philos. Log..

[10]  Edgar A. Whitley,et al.  The Construction of Social Reality , 1999 .

[11]  J. Sadock.  Speech acts , 2007 .

[12]  M. de Rijke,et al.  Modal Logic , 2001, Cambridge Tracts in Theoretical Computer Science.

[13]  Davide Grossi,et al.  Pushing Anderson's Envelope: The Modal Logic of Ascription , 2008, DEON.

[14]  Marek J. Sergot,et al.  A Formal Characterisation of Institutionalised Power , 1996, Log. J. IGPL.

[15]  A. Koller,et al.  Speech Acts: An Essay in the Philosophy of Language , 1969 .

[16]  John-Jules Ch. Meyer,et al.  Release Logics for Temporalizing Dynamic Logic , 2000 .