David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Synthese 163 (2):227 - 243 (2008)
Axiomatic characterization results in social choice theory are usually compared either regarding the normative plausibility or regarding the logical strength of the axioms involved. Here, instead, we propose to compare axiomatizations according to the language used for expressing the axioms. In order to carry out such a comparison, we suggest a formalist approach to axiomatization results which uses a restricted formal logical language to express axioms. Axiomatic characterization results in social choice theory then turn into definability results of formal logic. The advantages of this approach include the possibility of non-axiomatizability results, a distinction between absolute and relative axiomatizations, and the possibility to ask how rich a language needs to be to express certain axioms. We argue for formal minimalism, i.e., for favoring axiomatizations in the weakest language possible.
|Keywords||Social choice theory Logic Judgment aggregation|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
Herbert B. Enderton (1972). A Mathematical Introduction to Logic. New York,Academic Press.
Jaakko Hintikka (1996). The Principles of Mathematics Revisited. Cambridge University Press.
Christian List & Philip Pettit (2002). Aggregating Sets of Judgments: An Impossibility Result. Economics and Philosophy 18 (1):89-110.
Marc Pauly (2007). Axiomatizing Collective Judgment Sets in a Minimal Logical Language. Synthese 158 (2):233 - 250.
Citations of this work BETA
Philippe Mongin (2012). The Doctrinal Paradox, the Discursive Dilemma, and Logical Aggregation Theory. Theory and Decision 73 (3):315-355.
Umberto Grandi & Ulle Endriss (2013). First-Order Logic Formalisation of Impossibility Theorems in Preference Aggregation. Journal of Philosophical Logic 42 (4):595-618.
Similar books and articles
Boudewijn de Bruin (2008). Reducible and Nonsensical Uses of Game Theory. Philosophy of the Social Sciences 38 (2):247-266.
Paul Weirich (1984). Interpersonal Utility in Principles of Social Choice. Erkenntnis 21 (3):295 - 317.
Bairj Donabedian (2003). The Natural Realm of Social Law. Sociological Theory 21 (2):175-190.
Arpy Khatchirian (2009). What is Wrong with the Indeterminacy of Language-Attribution? Philosophical Studies 146 (2):197 - 221.
S. Okasha (2011). Theory Choice and Social Choice: Kuhn Versus Arrow. Mind 120 (477):83-115.
Colin Bird (2000). The Possibility of Self-Government. American Political Science Review 94 (3):563-577.
Jouko Väänänen (2012). Second Order Logic or Set Theory? Bulletin of Symbolic Logic 18 (1):91-121.
Bruno Verbeek (2010). Rational Choice Virtues. Ethical Theory and Moral Practice 13 (5):541-559.
Patrick Blackburn & Maarten Marx (2002). Remarks on Gregory's “Actually” Operator. Journal of Philosophical Logic 31 (3):281-288.
Rolf Backofen, James Rogers & K. Vijay-Shanker (1995). A First-Order Axiomatization of the Theory of Finite Trees. Journal of Logic, Language and Information 4 (1):5-39.
Added to index2009-01-28
Total downloads51 ( #49,453 of 1,699,588 )
Recent downloads (6 months)6 ( #105,649 of 1,699,588 )
How can I increase my downloads?