- Home
- Academics
- Schools
- School of Natural and Behavioral Sciences
- Undergraduate Departments
- Computer and Information Science
- Faculty
- Detailed Information
Rohit Parikh
Dist 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, New York, Boston, SUNY Buffalo, Bristol and Panjab universities. He has also held temporary research positions at Bell Labs, Caltech, MIT and Berkeley.
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
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: 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: Peer Reviewed Article) 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: 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: Peer Reviewed Article) 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: Other Article) 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: Peer Reviewed Article) 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) 2011
Gupta, Amitabha, Rohit Parikh and Johan van Benthem. Proof, Computation and Agency: Logic at the Crossroads. Synthese Library. Springer. (Books and Publications: Edited Book) 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: Peer Reviewed Article) 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: Other Article) 2011
Parikh, Rohit, Hans van Ditmarsch and R. Ramanujam. "Logic in India: Editorial Introduction." Journal of Philosophical Logic, Sept. 2. Online. (Books and Publications: Chapter) 2011
"Beth Definability, Interpolation and Language Splitting." Synthese. (Books and Publications: Peer Reviewed Article) 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: Peer Reviewed Article) 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: 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: Chapter) 2009
"Knowledge, Games and Tales From the East." Logic and Its Applications. Eds. Ramanujam and Sarukkai. Springer. 65-76. (Books and Publications: 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: Chapter) 2008
"Sentences, Propositions and Logical Omniscience." Review of Symbolic Logic 1: 459-76. (Books and Publications: Peer Reviewed Article) 2008
Parikh, Rohit and Matthew Johnson. ''Probabilistic Conditionals Are Almost Monotonic." Review of Symbolic Logic 1: 73-78. (Books and Publications: Peer Reviewed Article) 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: 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: 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: Peer Reviewed Article) 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) 2007
Parikh, Rohit, Larry Moss and Chris Steinsvold. "Topology and Epestimic Logic." Logic of Space. Eds. Johan van Benthem et al. (Books and Publications: Chapter) 2007
Van Benthem, Amitabha Gupta and Rohit Parikh. Logic at the Crossroads. Allied Publishers. (Books and Publications: Edited Book) 2007
Parikh, Rohit, Eric Pacuit and Eva Cogan. "The Logic of Knowledge-based Obligation." Synthese 149: 311-41. (Books and Publications: Peer Reviewed Article) 2006
"Interview in Formal Philosophy," edited by Hendricks and Symons. Automatic Press. 141-46. (Books and Publications: Peer Reviewed Article) 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: Peer Reviewed Article) 2005
Parikh, Rohit and Horacio Arlo Costa. "Conditional Probability and Defeasible Inference." Journal of Philosophical Logic 34: 97-119. (Books and Publications: Peer Reviewed Article) 2005
Parikh, Rohit and Horacio Arlo Costa. "Conditional Probability and Defeasible Inference." Journal of Philosophical Logic 34: 97-119. (Books and Publications: Peer Reviewed Article) 2005
Conferences, Seminars and Symposiums
"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
