Abstract
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 [5]. 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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Abdulkadiroğlu, A., Sönmez, T.: School choice: A mechanism design approach. The American Economic Review 93(3), 729–747 (2003)
Arrow, K.: A difficulty in the concept of social welfare. Journal of Political Economy 58, 328–346 (1950)
Arrow, K.: Social Choice and Individual Values. Wiley (1951)
Aumann, R.: Agreeing to disagree. Annals of Statistics 4, 1236–1239 (1976)
Brams, S., Taylor, A.: The Win-Win Solution: Guaranteeing Fair Shares to Everybody. Norton (1999)
Chopra, S., Pacuit, E., Parikh, R.: Knowledge-Theoretic Properties of Strategic Voting. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS (LNAI), vol. 3229, pp. 18–30. Springer, Heidelberg (2004)
Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning about Knowledge. The MIT Press, Cambridge (1995)
Gale, D., Shapley, L.: College admissions and the stability of marriage. American Mathematical Monthly 69, 9–15 (1962)
Geanakoplos, J., Polemarchakis, H.: We can’t disagree forever. Journal of Economic Theory 28, 192–200 (1982)
Lewis, D.: Convention: A Philosophical Study. Harvard University Press, Cambridge (1969)
List, C., Pettit, P.: Aggregating sets of judgments: An impossibility result. Economics and Philosophy 18, 89–110 (2002)
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)
Pacuit, E., Parikh, R., Cogan, E.: The logic of knowledge based obligation. Synthese 149, 311–341 (2006)
Parikh, R.: Social software. Synthese 132, 187–211 (2002)
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 Benthem
Parikh, R., Krasucki, P.: Communication, consensus and knowledge. Journal of Economic Theory 52, 178–189 (1990)
Parikh, R., Ramanujam, R.: Distributed processing and the logic of knowledge. In: Parikh, R. (ed.) Logic of Programs 1985. LNCS, vol. 193, pp. 256–268. Springer, Heidelberg (1985)
Parikh, R., Ramanujam, R.: A knowledge based semantics of messages. Journal of Logic, Language, and Information 12, 453–467 (2003)
Pauly, M., Snyder, J.: The Stanford housing draw: A preliminary report. Tech. rep., Stanford University (2007) (unpublished manuscript)
Roth, A., Sotomayor, M.: Two-Sided Matching: A Study in Game-Theoretic Modeling and Analysis. Cambridge University Press, Cambridge (1990)
Savage, L.: The Foundations of Statistics. Dover (1972); Originally published by Wiley (1954)
Shoup, D.: Gone parkin. The New York Times, Op-Ed page (March 29, 2007)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Parikh, R., Pauly, M. (2012). What Is Social Software?. In: van Eijck, J., Verbrugge, R. (eds) Games, Actions and Social Software. Lecture Notes in Computer Science, vol 7010. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-29326-9_1
Download citation
DOI: https://doi.org/10.1007/978-3-642-29326-9_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-29325-2
Online ISBN: 978-3-642-29326-9
eBook Packages: Computer ScienceComputer Science (R0)