On the role of language in social choice theory

Synthese 163 (2):227 - 243 (2008)
Abstract
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)
DOI 10.1007/s11229-007-9200-y
Options
 Save to my reading list
Follow the author(s)
Edit this record
My bibliography
Export citation
Find it on Scholar
Mark as duplicate
Request removal from index
Revision history
Download options
Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 29,848
Through your library
References found in this work BETA
Social Choice and Individual Values.Kenneth J. Arrow - 1952 - Science and Society 16 (2):181-181.
The Principles of Mathematics Revisited.Jaakko Hintikka - 1996 - Cambridge University Press.

Add more references

Citations of this work BETA

Add more citations

Similar books and articles
Reducible and Nonsensical Uses of Game Theory.Boudewijn de Bruin - 2008 - Philosophy of the Social Sciences 38 (2):247-266.
Remarks on Gregory's “Actually” Operator.Patrick Blackburn & Maarten Marx - 2002 - Journal of Philosophical Logic 31 (3):281-288.
Rational Choice Virtues.Bruno Verbeek - 2010 - Ethical Theory and Moral Practice 13 (5):541-559.
Second Order Logic or Set Theory?Jouko Väänänen - 2012 - Bulletin of Symbolic Logic 18 (1):91-121.
The Possibility of Self-Government.Colin Bird - 2000 - American Political Science Review 94 (3):563-577.
A First-Order Axiomatization of the Theory of Finite Trees.Rolf Backofen, James Rogers & K. Vijay-Shanker - 1995 - Journal of Logic, Language and Information 4 (1):5-39.
Added to PP index
2009-01-28

Total downloads
70 ( #81,568 of 2,210,509 )

Recent downloads (6 months)
4 ( #127,844 of 2,210,509 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature