Rohit Parikh
Distinguished Professor
Computer and Information Science
Location: 1161b Ingersoll Hall
Phone: 718.951.5000 x2058
Fax: 718.951.4842
Email:
Rohit Parikh's Web site
Rohit Parikh's entire career has revolved around logic, which includes not only parts of computer science but also mathematics and philosophy. Parikh has taught at Stanford, NYU, Boston, SUNY Buffalo, Bristol and Panjab universities. He has also held temporary research positions at IBM, Bell Labs, Caltech, MIT and Berkeley.
Parikh's many former students, not only from CUNY but also from Boston University, Stanford, NYU and Columbia, are teaching in places as varied as
Brown University, University of Maryland, Haifa, Chennai, Paris, CUNY of course, and many others.
Education:
Ph.D., Harvard University - 1962 (Mathematics (Mathematical Logic))
A.M., Harvard University - 1959 (Mathematics)
A.B., Harvard College - 1957 (Physics (magna with highest honors in physics))
Areas of Expertise:
Rohit Parikh's current specialty is social software, or more prosaically, logic as applied to society. This interest has led to an interest in game theory and logic of knowledge. Previous areas include formal languages, nonstandard analysis, proof theory and dynamic logic.
Books and Publications
Groups, games and knowledge. Submitted and to be refereed. Full details will be furnished later. (Books and Publications: Article (Peer-reviewed)) 2022
To appear in the logic journal of IGPL. Title of paper: Logic, Co-ordination and the Envelope of
our Beliefs (Books and Publications: Article (Peer-reviewed)) 2022
Stambaugh, Todd, and Rohit Parikh. "Knowledge, behavior, and rationality: rationalizability in epistemic games." Archive for Mathematical Logic 60.5 (2021): 599-623. (Books and Publications: Article (Other)) 2021
"Evidence, Belief and Behavior" This paper was accepted for the conference LOFT 2020, to be held in Groningen, Netherlands. But because of the Coronavirus the conference was cancelled. (Books and Publications: Article (Peer-reviewed)) 2020
"The Buddha versus Popper: When to Live?" Jointly with J. Kim, in The Journal of Buddhist Ethics, Volume 27, 2020 (Books and Publications: Article (Peer-reviewed)) 2020
"The Logic of Non-persons", Handbook of Logical Thought in India, Editors: Sarukkai, Sundar, Chakraborty, Mihir Kumar, Springer 2020. (Books and Publications: Book Chapter) 2020
Feasibility, Sorites and Vagueness, The Logic in Computer Science Column by Yuri Gurevich, Bulletin of the EATCS, pp 1-14 (Books and Publications: Article (Peer-reviewed)) 2020
Paper published (to appear in March) "Logic without language " in . Logic and Its Applications, 8th Indian Conference, ICLA 2019, edited by Md. Aquil Khan and Amaldev Manuel, Springer Lecture Notes in computer science (Books and Publications: Book Chapter) 2019
Knowledge and Action in Groups -perliminary report, in Studies in Logic, vol 8 (4), 108-123 (Books and Publications: Book Chapter) 2015
Parikh, Rohit and Aranzazu San Gines. "A Pragmatistic Approach to Propositional Knowledge Based on the Successful Behavior of Belief." Logic and its Applications, 6th Indian conference ICLA 2015. Eds. M. Banerjee and S. Krishna. 146-57. (Books and Publications: Book Chapter) 2015
Parikh, Rohit, and Çağıl Taşdemir. "The Strategy of Campaigning." Fields of Logic and Computation II. Springer International Publishing, 2015. 253-260. (Books and Publications: Book Chapter) 2015
Strategic Belief Updates through Influence in a Community (with Yunqi Xue),
in Studies in Logic, vol 8 (4), 124-142 (Books and Publications: Book Chapter) 2015
"Epistemic Reasoning in Life and Literature." David Makinson on Classical Methods for Non-Classical Problems. Ed. Sven Ove Hansson. 143-56. (Books and Publications: Article (Peer-reviewed)) 2014
"Thinking About Knowledge, Some Fresh Views." Logic and Rationality Yearbook 2012 vol. II. Eds. Zoe Christoff et al. Amsterdam University Press. 195-202. (Although the volume says 2012, it was published in 2014.) (Books and Publications: Book Chapter) 2014
Parikh, Rohit, Cagil Tasdemir and Andreas Witzel. "The Power of Knowledge in Games." International Game Theory Review 15.4: 1340030. (Books and Publications: Article (Peer-reviewed)) 2013
"On Kripke's Puzzle About Time and Thought." Proceedings of the Indian Conference in Logic and Applications. January. 121-26. (Books and Publications: Forthcoming Publications) 2012
Parikh, Rohit and Marc Pauly (Gronigen University). "What Is Social Software?" Games, Actions, and Social Software 2011. Springer lecture notes in computer science. (Books and Publications: Article (Other)) 2012
Parikh, Rohit, and CUNY students Can Baskent and Loes Olde Loohuis. "On Knowledge and Obligation." Episteme 9: 171-88. (Books and Publications: Forthcoming Publications) 2012
Parikh, Rohit, Cagil Tasdemir (doctoral student at CUNY) and Andreas Witzel (postdoctoral at New York University). "Choice and Uncertainty in Games." Logic and Program Semantics, Volume 7230 of the Lecture Notes in Computer Science series. Eds. Robert Constable and Alexandra Silva. 244-55. (Books and Publications: Article (Peer-reviewed)) 2012
Putnam Fellows: Richard Feynman, John Milnor, Peter Shor, Elwyn Berlekamp, David Mumford, Vern Poythress, Barry Simon, Rohit Jivanlal Parikh. Books LLC. This is a book about me (and other people). (Books and Publications: Book (Authored)) 2011
Gupta, Amitabha, Rohit Parikh and Johan van Benthem. Proof, Computation and Agency: Logic at the Crossroads. Synthese Library. Springer. (Books and Publications: Book (Edited)) 2011
Parikh, Rohit and Walter Dean. "The Logic of Campaigning." ICLA 2011, LNAI 6521: 38-49. Eds. M. Banerjee and A. Seth. Heidelberg, Germany: Springer. (Books and Publications: Article (Peer-reviewed)) 2011
Parikh, Rohit, Hans van Ditmarsch and R. Ramanujam. "Logic in India: Editorial Introduction." Journal of Philosophical Logic, Oct. 11: 557-62. (Books and Publications: Article (Other)) 2011
Parikh, Rohit, Hans van Ditmarsch and R. Ramanujam. "Logic in India: Editorial Introduction." Journal of Philosophical Logic, Sept. 2. Online. (Books and Publications: Book Chapter) 2011
"Beth Definability, Interpolation and Language Splitting." Synthese. (Books and Publications: Article (Peer-reviewed)) 2010
"Remarks on Knowledge, Games and Society." Journal of Indian Council of Philosophilcal Research XXVII, Jan-March: 413-26. (Books and Publications: Forthcoming Publications) 2010
Parikh, Rohit and Joseph Dauben. "Beginnings of Modern Mathematics in India." Current Science. 99.3, August: 1-24. (Books and Publications: Article (Peer-reviewed)) 2010
"From Language Games to Social Software." Reduction, Asbsraction, Analysis: Proceedings of the 31st International Ludwig Wittgenstein Symposium in Kirchberg. Eds. Alexander Hieke and Hannes Leitgeb. Ontos Verlag. 365-76. (Books and Publications: Book Chapter) 2009
"Knowledge and Structure in Social Algorithms." Relations and Kleene Algebra in Computer Science. Eds. Berghammer, Jaoua and M\"oller. Springer lecture notes in computer science, Volume 5827. 1-12. (Books and Publications: Book Chapter) 2009
"Knowledge, Games and Tales From the East." Logic and Its Applications. Eds. Ramanujam and Sarukkai. Springer. 65-76. (Books and Publications: Book Chapter) 2009
"Is There a Logic of Society?" Logic at the Crossroads. Eds. Johan van Benthem, Amitabha Gupta and Rohit Parikh. 20-38. (Books and Publications: Book Chapter) 2008
"Sentences, Propositions and Logical Omniscience." Review of Symbolic Logic 1: 459-76. (Books and Publications: Article (Peer-reviewed)) 2008
Parikh, Rohit and Matthew Johnson. ''Probabilistic Conditionals Are Almost Monotonic." Review of Symbolic Logic 1: 73-78. (Books and Publications: Article (Peer-reviewed)) 2008
"Some Puzzles About Probability and Probabilistic Conditionals." Logical Foundations of Computer Science. Eds. Sergei Artemov and Anil Nerode. Springer. 449-56. (Books and Publications: Book Chapter) 2007
Parikh, Rohit and Eric Pacuit. "Social Interaction, Knowledge and Social Software." Interactive Computation: The New Paradigm. Eds. Dina Goldin, Sott Smolka and Peter Wegner. Springer. 441-61. (Books and Publications: Book Chapter) 2007
Parikh, Rohit and Melvyn Nathanson. "Density of Natural Numbers and the Levy Group." Journal of Number Theory 124: 151-58. (Books and Publications: Article (Peer-reviewed)) 2007
Parikh, Rohit, Johan van Benthem and Amitabha Gupta. Logic at the Crossroads: An Interdisciplinery View, Volume 1. New Delhi: Allied Publisher Pvt. Ltd. (Books and Publications: Book (Authored)) 2007
Parikh, Rohit, Larry Moss and Chris Steinsvold. "Topology and Epestimic Logic." Logic of Space. Eds. Johan van Benthem et al. (Books and Publications: Book Chapter) 2007
Van Benthem, Amitabha Gupta and Rohit Parikh. Logic at the Crossroads. Allied Publishers. (Books and Publications: Book (Edited)) 2007
Parikh, Rohit, Eric Pacuit and Eva Cogan. "The Logic of Knowledge-based Obligation." Synthese 149: 311-41. (Books and Publications: Article (Peer-reviewed)) 2006
"Interview in Formal Philosophy," edited by Hendricks and Symons. Automatic Press. 141-46. (Books and Publications: Article (Peer-reviewed)) 2005
"WHAT Do We Know and What Do WE Know?" Proceedings of Theoretical Aspects of Rationality and Knowledge, University of Singapore, June 2005. 62-77. (Books and Publications: Article (Peer-reviewed)) 2005
Parikh, Rohit and Horacio Arlo Costa. "Conditional Probability and Defeasible Inference." Journal of Philosophical Logic 34: 97-119. (Books and Publications: Article (Peer-reviewed)) 2005
Parikh, Rohit and Horacio Arlo Costa. "Conditional Probability and Defeasible Inference." Journal of Philosophical Logic 34: 97-119. (Books and Publications: Article (Peer-reviewed)) 2005
Conferences, Seminars and Symposiums
A richer notion of a state, paper accepted for presentation at the International Conference on Game Theory, Stony Brook, New York, July 2022. (Conferences, Seminars and Symposiums: Conference Presentation) 2022
Conflict, Belief and Conversation, paper accepted for presentation at the International Conference on Game Theory, Stony Brook, NY, July 2022. (Conferences, Seminars and Symposiums: Conference Presentation) 2022
Kulkarni-80 Conference. Talk on Groups, games and knowledge, May 25, 2022 (Conferences, Seminars and Symposiums: Invited Talk) 2022
Paper: How much of a group is a group? Paper accepted for presentation at the social ontology meeting in August 2022. (Conferences, Seminars and Symposiums: Conference Presentation) 2022
World Logic Day 2022, Día Mundial de la Lógica 2022, Peru, January 15, 2022. "Why we speak, Grice, Hoare and Nash"" (Conferences, Seminars and Symposiums: Invited Talk) 2022
Covid-19 and Knowledge Based Computation,
paper presented to the Indian conference in Logic and Applications, March 7, 2021 (Conferences, Seminars and Symposiums: Conference Presentation) 2021
Feasibility Sorites and Vagueness, talk given at Día Mundial de la Lógica, Zoom talk in Peru. Jan 13, 2021 (Conferences, Seminars and Symposiums: Conference Presentation) 2021
SEP 2021, Vague Predicates and Wittgenstein's Language Games.
Abstract: We look at the history of research on vagueness and the Sorites paradox. That search has been largely unsuccessful and the existing solutions are not quite adequate. But following Wittgenstein we show that the notion of a successful language game works (SEP stands for society for exact philosophy) (Conferences, Seminars and Symposiums: Conference Presentation) 2021
The Sorites paradox, Fuzzy Logic, and Wittgenstein's Language Games,
talk presented to the Logic Seminar at IIT Kanpur. April 23, 2021. (Extended version of the talk given at the RELAX workshop) (Conferences, Seminars and Symposiums: Invited Talk) 2021
The Sorites paradox, Fuzzy Logic, and Wittgenstein's Language Games, talk given at the RELAX workshop, Chennai, India (Zoom talk), 2/4/2021 (Conferences, Seminars and Symposiums: Conference Presentation) 2021
"How Reasoning about Knowledge Helps us understand the World" Talk given at the Tata Institute of Fundamental Research, Mumbai, Jan 1, 2020 (Conferences, Seminars and Symposiums: Invited Talk) 2020
"The Logic of Non-persons", talk given at the Institute of Mathematical Sciences, Chennai, India, Jan 7, 2020. (Conferences, Seminars and Symposiums: Invited Talk) 2020
"Many Agent Communication" Talk given at Toronto University, July 2019. (Conferences, Seminars and Symposiums: Invited Talk) 2019
"To What Extent is a Group an Individual? ", talk presented at the Stony Brook International Conference on Game Theory, July 16, 2019. (Conferences, Seminars and Symposiums: Conference Presentation) 2019
"Campaigning strategies" Talk Given at the Stony Brook Conference on Game Theory, July 2018 (Conferences, Seminars and Symposiums: Contributed Talk) 2018
"To What Extent is a Group an Individual?" Talk given at the Social Ontology Conference, Tufts University, August 2018 (Conferences, Seminars and Symposiums: Contributed Talk) 2018
Formalizing Umwelts, .at UNILOG 2018 conference, June 2018, Vichy, France (Conferences, Seminars and Symposiums: Invited Talk) 2018
Talk given at Rutgers University, October 1, 2018 title "The Logic of the Personal World" (Conferences, Seminars and Symposiums: Invited Talk) 2018
An Epistemic Generalization of Rationalizability, presented at WOLLIC-2017, London. (Conferences, Seminars and Symposiums: Contributed Talk) 2017
Why We Speak, presented at the Mathematics of Language conference, July 2017, London
(Conferences, Seminars and Symposiums: Contributed Talk) 2017
An Epistemic Generalization of Rationalizability,
ILLC, University of Amsterdam, April 22, 2016 (Conferences, Seminars and Symposiums: Invited Talk) 2016
An Epistemic Generalization of Rationalizability,
International Game Theory Conference,
Stony Brook, July 20, 2016 (Conferences, Seminars and Symposiums: Contributed Talk) 2016
An Epistemic Generalization of Rationalizability,
Stockholm University
May 3, 2016 (Conferences, Seminars and Symposiums: Invited Talk) 2016
Group knowledge, Communication and Behavior
Indian Institute of Technology, Mumbai
January 20, 2016
(Conferences, Seminars and Symposiums: Invited Talk) 2016
Group knowledge, Communication and Behavior,
UC Irvine, March 4, 2016
(Conferences, Seminars and Symposiums: Invited Talk) 2016
How Reasoning about Knowledge Helps us understand the World
ILLC, University of Amsterdam,
April 29, 2016 (Conferences, Seminars and Symposiums: Invited Talk) 2016
Knowledge, Games and the World
NASSLLI, Rutgers University,
July 11, 2016 (Conferences, Seminars and Symposiums: Invited Talk) 2016
A behavioral analysis of group knowledge and group behavior, CLMPS 2015, Helsinki, August 6, 2015 (Conferences, Seminars and Symposiums: Contributed Talk) 2015
How Reasoning about Knowledge Helps us understand the World,
Ludwig Maximilian University, Munich,
October 26, 2015 (Conferences, Seminars and Symposiums: Invited Talk) 2015
I believe successfully ergo I know: A quest for lasting and successful belief
Rohit Parikh,and Aránzazu San Ginés Ruiz, CLMPS 2015, Helsinki, August 7, 2015 (Conferences, Seminars and Symposiums: Contributed Talk) 2015
Knowledge and action in groups,
Ludwig Maximilian University, Munich, October 28, 2015 (Conferences, Seminars and Symposiums: Invited Talk) 2015
"Epistemic Reasoning and Its Applications: An Introduction." Indian Statistical Institute, Kolkata, India, Jan. 2. (Conferences, Seminars and Symposiums: Invited Talk) 2014
"Hoare Semantics and Gricean Implicature." Association for Symbolic Logic Meeting. Boulder, Colo., May. (Conferences, Seminars and Symposiums: Conference Presentation) 2014
"Philosophical Foundations of Games and Social Algorithms." Special session organized by Eric Pacuit (CUNY graduate) and Rohit Parikh, consisting of six lectures by faculty from Stanford, UCI, NYU, Groningen, Chennai and Columbia, and an introduction by Pacuit and Parikh. Association for Symbolic Logic Meeting. Boulder, Colo., May. (Conferences, Seminars and Symposiums: Conference Presentation) 2014
"Regular Sets, Well Partial Orders and Levels of Knowledge." Institute of Mathematical Sciences. Chennai, India, Jan. 17. (Conferences, Seminars and Symposiums: Invited Talk) 2014
Several lectures on "Reasoning About Knowledge and Games." Indian School in Logic and Applications. Tezpur University. Assam, India. (Conferences, Seminars and Symposiums: Conference Presentation) 2014
"Epistemic Reasoning and Its Applications." Two talks. Tata Institute of Fundamenal Research. Mumbai, India, Dec. 31, 2012 and Jan. 1, 2013. (Conferences, Seminars and Symposiums: Invited Talk) 2013
"Epistemic Reasoning in Life and Literature." TARK 2013. Chennai, India, Jan 8. (Conferences, Seminars and Symposiums: Invited Talk) 2013
"Justified True Belief: Socrates, Gettier and Turing." Joint work with Adriana Renero, CUNY doctoral student. TARK 2013. Chennai, India, Jan 12. (Conferences, Seminars and Symposiums: Contributed Talk) 2013
"Knowledge From Inadvertent and Strategic Communication." Indian Institute of Technology. Mumbai, India, Dec. 23. (Conferences, Seminars and Symposiums: Invited Talk) 2013
"Some Thoughts on Kripke's Puzzle About Time and Thought." ICLA 2013. Chennai, India, Jan. 10. (Conferences, Seminars and Symposiums: Contributed Talk) 2013
"Strategizing in Communication." Tata Institute of Fundamental Research. Mumbai, India, Dec. 30. (Conferences, Seminars and Symposiums: Invited Talk) 2013
Parikh, Rohit and philosophy student Adriana Renero. "Justified True Belief: Plato, Gettier and Turing." Society for Exact Philosophy Meeting. Montreal, May. (Conferences, Seminars and Symposiums: Conference Presentation) 2013
Satari, Farishta and Rohit Parikh. "Signaling With an Audience." Society for Exact Philosophy Meeting. Montreal, May. (Conferences, Seminars and Symposiums: Conference Presentation) 2013
"Applications of Epistemic Logic." IIT Bombay. India, Jan. 24. (Conferences, Seminars and Symposiums: Invited Talk) 2012
"Applications of Epistemic Logic." Seminar in Formal Philosophy. Chicago University. April 10. (Conferences, Seminars and Symposiums: Invited Talk) 2012
"Applications of Epistemic Logic." Trends in Logic Conference. Ruhr University. Bochum, Germany, June 5. (Conferences, Seminars and Symposiums: Invited Talk) 2012
"Epistemic Logic and Its Applications." Indian School in Logic and Applications, Manipal University. India, Jan. 11 and 12. (Conferences, Seminars and Symposiums: Invited Talk) 2012
"Influencing Behavior by Influencing Knowledge." Formal Epistemology Workshop. Munich, June 1. (Conferences, Seminars and Symposiums: Invited Talk) 2012
"Is There a Church-Turing Thesis for Social Algorithms?" Turing 100 Conference. Boston University. Boston, Nov. 12. http://www.bu.edu/hic/turing100/ (Conferences, Seminars and Symposiums: Invited Talk) 2012
"Knowledge and Uncertainty." Tata Institute of Fundamental Research. Mumbai, India, Jan. 1. (Conferences, Seminars and Symposiums: Invited Talk) 2012
"Knowledge in Society." Institute of Mathematical Sciences. Chennai, India, Jan. 4. (Conferences, Seminars and Symposiums: Invited Talk) 2012
"Social Software: Current Developments." Reductionism and Non-reductionism in the Social Sciences Workshop. London School of Economics. June 8. (Conferences, Seminars and Symposiums: Invited Talk) 2012
"The Power of Knowledge in Games." International Conference on Game Theory, Operations Research and Their Applications." Indian Statistical Institute. Chennai, India, Jan. 5. (Conferences, Seminars and Symposiums: Invited Talk) 2012
"Uncertainty, Choice and Knowledge in Games." DK2012 Conference. Cornell university. Ithaca, N.Y., April 27. The work reported was joint with Cagil Tasdemir (doctoral student at CUNY) and Andreas Witzel (postdoctoral at New York University). (Conferences, Seminars and Symposiums: Invited Talk) 2012
"Knowledge and Uncertainty." Horacio Arlo-Costa Memorial Meeting. Philosophy Department, Carnegie Mellon University. Pittsburgh, Nov. 19. (Conferences, Seminars and Symposiums: Invited Talk) 2011
"Knowledge and Uncertainty." Progic Conference. Columbia University. New York, Sept. 10. (Conferences, Seminars and Symposiums: Invited Talk) 2011
"Knowledge, Common Knowledge, and Games." Episteme Conference. Philosophy Department, Carnegie Mellon University. Pittsburgh, June 25. (Conferences, Seminars and Symposiums: Invited Talk) 2011
Parikh, Rohit, Cagil Tasdemir and Andreas Witzel. "The Power of Knowledge in Games." International Conference on Game Theory. SUNY Stony Brook. July 15. (Conferences, Seminars and Symposiums: Conference Presentation) 2011
Parikh, Rohit, Cagil Tasdemir and Andreas Witzel. "The Power of Knowledge in Games." Reasoning About Other Minds Workshop. Groningen University. The Netherlands, July 11. (Conferences, Seminars and Symposiums: Conference Presentation) 2011
"Logic and Games." Four lectures given at IIT Kanpur, Second Indian Winter School on Logic. January. (Conferences, Seminars and Symposiums: Invited Talk) 2008
"Knowledge and Structure in Social Algorithms." 18th Stony Brook Game Theory Festival. July. (Conferences, Seminars and Symposiums: Conference Presentation) 2007
"Sentences, Propositions and Logical Omniscience, or What Does Deduction Tell Us?" Association for Symbolic Logic Meeting, in conjunction with the American Philosophical Association. Chicago, March. (Conferences, Seminars and Symposiums: Invited Talk) 2007
"WHAT Do We Know and What Do WE Know?" Theoretical Aspects of Rationality and Knowledge.
University of Singapore. June. (Conferences, Seminars and Symposiums: Invited Talk) 2005
Parikh, Rohit and Eric Pacuit. "Safe Votes, Sincere Votes and Strategizing." Uncertainty in Economics. Singapore. (Conferences, Seminars and Symposiums: Conference Presentation) 2005
Parikh, Rohit, Eric Pacuit and Samer Salame. "Some Results on Adjusted Winner." International Game Theory Conference. SUNY Stony Brook. Stony Brook, N.Y., July. (Conferences, Seminars and Symposiums: Conference Presentation) 2005
Professional Leadership
Member, program committee for WOLLIC 2011 and Reasoning Minds 2011. (Professional Leadership: Committee Service) 2011
Principal organizer, Seminar in Logic and Games, which meets at the CUNY Graduate Center every Friday and includes speakers from New York University, Penn, Rutgers University, Princeton University, Boston University, Yale University and other institutions. (Professional Leadership: Organizational Leadership Position) 2011
Along with a graduate student, I organized the NYCAC-3 conference (New York Colloquium on Algorithms and Complexity) at the CUNY Graduate Center on Nov. 11. Speakers were from Cornell, University of Massachusetts, Brooklyn College, Penn State, MIT, One World Enterprise and Columbia. (Professional Leadership: Organizational Leadership Position) 2010
Member, program committee for the following conferences: Commonsense-2011, DEON2010, LOFT 2008, lori2009, LRBA2010 and LSIR2. (Professional Leadership: Committee Service) 2010