Skip to main content

A Non-classical Logical Approach to Social Software

  • Chapter
  • First Online:
Rohit Parikh on Logic, Language and Society

Part of the book series: Outstanding Contributions to Logic ((OCTR,volume 11))

Abstract

The term social software was coined by Rohit Parikh in 2002. Social software can be viewed as a research program which studies the construction and verification of social procedures by using tools in logic and computer science. However, to the best of my knowledge, social software has not been considered from a non-classical logical perspective. In this paper, I argue how non-classical logical approaches can enrich, broaden and support the agenda of social software.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

eBook
USD 16.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 119.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 119.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    37 Who Saw Murder Didn’t Call the Police, Martin Gansberg, The New York Times, 27.03.1965.

  2. 2.

    A canonical example from law is civil disobedience where agents deliberately break the law and create an inconsistent situation where moral obligations and legal duties clash. Yet, still we obtain a non-trivial and coherent inconsistent situation.

  3. 3.

    Other reasons being, no cost of information, no reference to the actual society, etc.

  4. 4.

    It is generally argued that, in the 2004 US elections, if Greens—which is a very small political party in the US—had voted strategically against Bush, he might not have been reelected.

  5. 5.

    Brennan mentions Habermas who argued that “strategic voting is disrespectful to other citizens” (Brennan 2011).

  6. 6.

    Clearly, putting all of the financial and emotional burden of raising a child (with tuition and care cost etc.) to couples is a socio-economical decision taken by governements, and does not apply equivalently to all countries and societies. We leave such issues aside in this paper, even if they constitute an interesting direction for social software as well.

  7. 7.

    November 17, 2000 in Israeli daily Haaretz. In a similar way, his 2009 (2012, in English) book is called Economic Fables to underline the fact that game theorists are tellers of fables.

References

  • Ariely, D. (2008). Predictably irrational: The hidden forces that shape our decisions. New York, NY: HarperCollins.

    Google Scholar 

  • Ariely, D. (2010). The upside of irrationality. New York: Harper.

    Google Scholar 

  • Başkent, C., Olde Loohuis, L., & Parikh, R. (2012). On knowledge and obligation. Episteme, 9(2), 171–188.

    Article  Google Scholar 

  • Beall, J. C., & Restall, G. (2006). Logical pluralism. Oxford: Clarendon Press.

    Google Scholar 

  • Benicort, E., & Guerrien, B. (2008). Is anything worth keeping in microeconomics? Review of Radical Political Economics, 40(3), 317–323.

    Article  Google Scholar 

  • Brafman, O., & Brafman, R. (2008). Sway. New York: Doubleday.

    Google Scholar 

  • Brennan, J. (2011). The ethics of voting. Princeton: Princeton University Press.

    Google Scholar 

  • Carlson, L. (1983). Dialogue games. Boston: D. Reidel Publishing.

    Google Scholar 

  • Carmo, J., & Jones, A. J. I. (2002). Deontic logic and contrary-to-duties. In D. Gabbay & F. Guenthner (Eds.), Handbook of philosophical logic (Vol. 8, pp. 265–343). Berlin: Kluwer.

    Chapter  Google Scholar 

  • Chisholm, R. M. (1963). Contrary-to-duty imperatives and deontic logic. Analysis, 24(2), 33–36.

    Article  Google Scholar 

  • da Costa, N. C. A., & Carnielli, W. A. (1986). On paraconsistent deontic logic. Philosophia, 16(3–4), 293–305.

    Article  Google Scholar 

  • Dunn, J. M. (1976). Intuitive semantics for first-degree entailments and ’coupled trees’. Philosophical Studies, 29(3), 149–168.

    Article  Google Scholar 

  • Ficara, E. (2013). Dialectic and dialetheism. History and Philosophy of Logic, 34(1), 35–52.

    Article  Google Scholar 

  • Fullbrook, E. (Ed.). (2008). Pluralist economics. London: Zed Books.

    Google Scholar 

  • Gigerenzer, G. (2008). Gut feelings. London: Penguin.

    Google Scholar 

  • Graeber, D. (2011). Debt: The first 5000 years. Brooklyn: Melville House.

    Google Scholar 

  • Hansen, J. (2006). The paradoxes of deontic logic: Alive and kicking. Theoria, 72(3), 221–232.

    Article  Google Scholar 

  • Harford, T. (2009). Logic of life. New York: Random House.

    Google Scholar 

  • Harsanyi, J. (1977). Morality and the theory of rational behavior. Social Research, 44(4), 623–656.

    Google Scholar 

  • Hintikka, J., & Sandu, G. (1997). Game-theoretical semantics. In J. van Benthem & A. ter Meulen (Eds.), Handbook of logic and language (pp. 361–410). Amsterdam: Elsevier.

    Chapter  Google Scholar 

  • Kahneman, D. (2011). Thinking, fast and slow. New York: Farrar, Straus and Giroux.

    Google Scholar 

  • Olde Loohuis, L., & Venema, Y. (2010). Logics and algebras for multiple players. The Review of Symbolic Logic, 3(3), 485–519.

    Article  Google Scholar 

  • Overall, C. (2012). Why have children?. Cambridge: MIT Press.

    Google Scholar 

  • Pacuit, E., Parikh, R., & Cogan, E. (2006). The logic of knowledge based obligation. Synthese, 149(2), 311–341.

    Article  Google Scholar 

  • Parikh, R. (1994). Vagueness and utility: The semantics of common nouns. Linguistics and Philosophy, 17, 521–535.

    Article  Google Scholar 

  • Parikh, R. (2002). Social software. Synthese, 132(3), 187–211.

    Article  Google Scholar 

  • Parikh, R. (2014). Epistemic reasoning in life and literature. In S. O. Hansson (Ed.), David Makinson on classical methods for non-classical problems. Outstanding Contributions to Logic (pp. 143–153). Berlin: Springer.

    Chapter  Google Scholar 

  • Pietarinen, A. (2000). Logic and coherence in the light of competitive games. Logique et Analyse, 43, 371–391.

    Google Scholar 

  • Pietarinen, A., & Sandu, G. (2000). Games in philosophical logic. Nordic Journal of Philosophical Logic, 4(2), 143–173.

    Google Scholar 

  • Pietarinen, A.-V. (2003). Games as formal tools versus games as explanations in logic and science. Foundations of Science, 8(4), 317–364.

    Article  Google Scholar 

  • Priest, G. (1989). Dialectic and dialetheic. Science & Society, 53(4), 388–415.

    Google Scholar 

  • Priest, G. (2006). In contradiction (2nd ed.). Oxford: Oxford University Press.

    Book  Google Scholar 

  • Rahman, S., & Carnielli, W. A. (2000). The dialogical approach to paraconsistency. Synthese, 125, 201–231.

    Article  Google Scholar 

  • Reardon, J. (Ed.). (2009). The handbook of pluralist economics education. London: Routledge.

    Google Scholar 

  • Routley, R., & Routley, V. (1972). The semantics of first degree entailment. Noûs, 6(4), 335–359.

    Article  Google Scholar 

  • Smith, Y. (2010). Econned. Basingstoke: Palgrave Macmillan.

    Google Scholar 

  • Stenning, K., & van Lambalgen, M. (2008). Human reasoning and cognitive science. Cambridge: MIT Press.

    Google Scholar 

  • van Eijck, J., & Verbrugge, R. (Eds.). (2009). Discourses on social software. Amsterdam: Amsterdam University Press.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Can Başkent .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2017 Springer International Publishing AG

About this chapter

Cite this chapter

Başkent, C. (2017). A Non-classical Logical Approach to Social Software. In: Başkent, C., Moss, L., Ramanujam, R. (eds) Rohit Parikh on Logic, Language and Society. Outstanding Contributions to Logic, vol 11. Springer, Cham. https://doi.org/10.1007/978-3-319-47843-2_6

Download citation

Publish with us

Policies and ethics