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||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
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 downloads39 ( #34,751 of 722,933 )
Recent downloads (6 months)1 ( #61,087 of 722,933 )
How can I increase my downloads?