Everything Else Being Equal: A Modal Logic for Ceteris Paribus Preferences

This paper presents a new modal logic for ceteris paribus preferences understood in the sense of “all other things being equal”. This reading goes back to the seminal work of Von Wright in the early 1960’s and has returned in computer science in the 1990’s and in more abstract “dependency logics” today. We show how it differs from ceteris paribus as “all other things being normal”, which is used in contexts with preference defeaters. We provide a semantic analysis and several completeness theorems. We show how our system links up with Von Wright’s work, and how it applies to game-theoretic solution concepts, to agenda setting in investigation, and to preference change. We finally consider its relation with infinitary modal logics.

[1]  Fenrong Liu,et al.  Optimality, Belief and Preference , 2006 .

[2]  Edmund M. Clarke,et al.  Proceedings of the Carnegie Mellon Workshop on Logic of Programs , 1983 .

[3]  Sieuwert Maarten van Otterloo,et al.  A strategic analysis of multi-agent protocols , 2005 .

[4]  B. D. Bruin,et al.  Explaining games : on the logic of game theoretic explanations , 2004 .

[5]  J. Doyle,et al.  Representing Preferences as Ceteris Paribus Comparatives , 1994 .

[6]  W. Hoek,et al.  Dynamic Epistemic Logic , 2007 .

[7]  Johan van Benthem,et al.  Dynamic logic of preference upgrade , 2007, J. Appl. Non Class. Logics.

[8]  Soren Hallden,et al.  On the Logic of `Better.' , 1958 .

[9]  Joseph Y. Halpern.  Defining Relative Likelihood in Partially-Ordered Structures , 1997, J. Artif. Intell. Res..

[10]  N. Rescher.  The Logic of Preference , 1968 .

[11]  Erik J Olsson,et al.  ON THE ROLE OF THE RESEARCH AGENDA IN EPISTEMIC CHANGE , 2006 .

[12]  Richard Spencer-Smith,et al.  Modal Logic , 2007 .

[13]  Y. Murakami.  Logic and Social Choice , 1968 .

[14]  Joseph Persky,et al.  Retrospectives: Ceteris Paribus , 1990 .

[15]  Cees Witteveen,et al.  A Modal Characterization of Nash Equilibrium , 2003, Fundam. Informaticae.

[16]  Soren Hallden,et al.  On the logic of "better" , 1957 .

[17]  Krister Segerberg,et al.  An essay in classical modal logic , 1971 .

[18]  Johan van Benthem,et al.  FOR BETTER OR FOR WORSE: DYNAMIC LOGICS OF PREFERENCE , 2009 .

[19]  Gerhard Schurz,et al.  Ceteris Paribus Laws , 2001 .

[20]  Jouko Vnnen,et al.  Dependence Logic: A New Approach to Independence Friendly Logic (London Mathematical Society Student Texts) , 2007 .

[21]  John Worrall,et al.  The Methodology of Scientific Research Programmes: Volume 1: Philosophical Papers , 1980 .

[22]  Johan van Benthem,et al.  Dynamic logic for belief revision , 2007, J. Appl. Non Class. Logics.

[23]  Rohit Parikh,et al.  A Decision Procedure for the Propositional µ-Calculus , 1983, Logic of Programs.

[24]  Olivier Roy,et al.  Preference logic, conditionals and solution concepts in games , 2005 .

[25]  Imre Lakatos,et al.  The Methodology of Scientific Research Programmes , 1978 .

[26]  Leon van der Torre,et al.  Hidden Uncertainty in the Logical Representation of Desires , 2003, IJCAI.

[27]  H. Kyburg,et al.  How the laws of physics lie , 1984 .

[28]  R. E. Jennings.  VIII.—PREFERENCE AND CHOICE AS LOGICAL CORRELATES , 1967 .

[29]  Henrik Lagerlund,et al.  Modality Matters: Twenty-Five Essays in Honour of Krister Segerberg , 2006 .

[30]  D. Gabbay.  An Irreflexivity Lemma with Applications to Axiomatizations of Conditions on Tense Frames , 1981 .

[31]  Craig Boutilier,et al.  Toward a Logic for Qualitative Decision Theory , 1994, KR.

[32]  Joseph Y. Halpern.  Defining Relative Likelihood in Partially-Ordered Preferential Structures , 1996, UAI.

[33]  Andreas Herzig,et al.  A modal logic for epistemic tests , 2000, ECAI.

[34]  Jouko A. Väänänen,et al.  Dependence Logic - A New Approach to Independence Friendly Logic , 2007, London Mathematical Society student texts.

[35]  J. Fodor.  You can fool some of the people all of the time , 1991 .

[36]  Uwe Mönnich,et al.  Aspects of Philosophical Logic , 1981 .

[37]  Liu.  Changing for the better : preference dynamics and agent diversity , .

[38]  O. Roy.  Thinking before acting : intentions, logic, rational choice , 2008 .

[39]  Jelle Gerbrandy,et al.  Dynamic epistemic logic , 1998 .

[40]  Patrick Girard,et al.  Modal logic for belief and preference change , 2008 .

[41]  I. Lakatos.  Falsification and the Methodology of Scientific Research Programmes , 1976 .