What Is Social Software?
The first third (roughly) of the XXth century saw two important developments. One of these was Ramsey’s tracing of personal probabilities to an agent’s choices. This was a precursor to the work of de Finetti, von Neumann and Morgenstern, and Savage. The other one was Turing’s invention of the Turing machine and the formulation of the Church-Turing thesis according to which all computable functions on natural numbers were recursive or Turing computable. Game theory has depended heavily on the first of these developments, since of course von Neumann and Morgenstern can be regarded as the fathers of Game theory. But the other development has received less attention (within Game theory itself). This development led to the design of computers and also to fields like logic of programs, complexity theory and analysis of algorithms. It also resulted in much deeper understanding of algorithms, but only computer algorithms. Social algorithms remain largely unanalyzed except in special subfields like social choice theory or fair division . These fields do not tend to analyze complex social algorithms as is done in computer science. This paper illustrates the different ingredients that make up social software: logical structure, knowledge and incentives.
KeywordsLogical Structure Preference Order Social Planner Stable Matchings Condorcet Winner
Unable to display preview. Download preview PDF.
- 3.Arrow, K.: Social Choice and Individual Values. Wiley (1951)Google Scholar
- 5.Brams, S., Taylor, A.: The Win-Win Solution: Guaranteeing Fair Shares to Everybody. Norton (1999)Google Scholar
- 10.Lewis, D.: Convention: A Philosophical Study. Harvard University Press, Cambridge (1969)Google Scholar
- 12.Pacuit, E., Parikh, R.: Reasoning about communication graphs. In: van Benthem, J., et al. (eds.) Texts in Logic and Games, pp. 135–157. Amsterdam University Press, Amsterdam (2007)Google Scholar
- 15.Parikh, R.: Some remarks on knowledge, games and society. Journal of the Indian Council for Philosophical Research 1 (2010); Special issue on logic and philosophy today, edited by A. Gupta and J. van BenthemGoogle Scholar
- 19.Pauly, M., Snyder, J.: The Stanford housing draw: A preliminary report. Tech. rep., Stanford University (2007) (unpublished manuscript)Google Scholar
- 21.Savage, L.: The Foundations of Statistics. Dover (1972); Originally published by Wiley (1954)Google Scholar
- 22.Shoup, D.: Gone parkin. The New York Times, Op-Ed page (March 29, 2007)Google Scholar