Editors:
- Provides an in-depth and timely analysis of Rohit Parikh's contributions to logic
- Collects a wide array of contributions of the leading figures in the field
- Provides a broad inter-disciplinary approach to Parikh's work
- Includes supplementary material: sn.pub/extras
Part of the book series: Outstanding Contributions to Logic (OCTR, volume 11)
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (19 chapters)
-
Front Matter
About this book
This volume is part of Springer’s book series Outstanding Contributions to Logic, and honours Rohit Parikh and his works in many ways. Parikh is a leader in the realm of ideas, offering concepts and definitions that enrich the field and lead to new research directions. Parikh has contributed to a variety of areas in logic, computer science and game theory. In mathematical logic his contributions have been in recursive function theory, proof theory and non-standard analysis; in computer science, in the areas of modal, temporal and dynamic logics of programs and semantics of programs, as wellas logics of knowledge; in artificial intelligence in the area of belief revision; and in game theory in the formal analysis of social procedures, with a strong undercurrent of philosophy running through all his work.
This is not a collection of articles limited to one theme, or even directly connected to specific works by Parikh, but instead all papers are inspired and influenced by Parikh in some way, adding structures to and enriching “Parikh-land”. The book presents a brochure-like overview of Parikh-land before providing an “introductory video” on the sights and sounds that you experience when reading the book.
Keywords
- Parikh Social Software
- Parikh Modal Logic
- Parikh Epistemic Logic
- Parikh Game Theory
- Parikh Wittgenstein
- Parikh Computability
- Analysis Parikh
- Parikh Mathematics
- Parikh Theoretical Computer Science
- Parikh Philosophy of Language
- Parikh Recursion Theory
- Parikh Proof Theory
- Parikh Social Procedure
- Parikh Social Algorithms
- Parikh Elections
- Parikh Monetary Systems
- Parikh's Theorem
- Parikh Vagueness
- Parikh Nonmonotonicity
- Parikh Syntax
Editors and Affiliations
-
Department of Computer Science, University of Bath Department of Computer Science, Bath, United Kingdom
Can Başkent
-
Department of Mathematics, Indiana University Bloomington, Bloomington, USA
Lawrence S. Moss
-
Department of Theoretical Computer Science, The Institute of Mathematical Sciences, Tharamani, Chennai, India
Ramaswamy Ramanujam
Bibliographic Information
Book Title: Rohit Parikh on Logic, Language and Society
Editors: Can Başkent, Lawrence S. Moss, Ramaswamy Ramanujam
Series Title: Outstanding Contributions to Logic
DOI: https://doi.org/10.1007/978-3-319-47843-2
Publisher: Springer Cham
eBook Packages: Religion and Philosophy, Philosophy and Religion (R0)
Copyright Information: Springer International Publishing AG 2017
Hardcover ISBN: 978-3-319-47842-5Published: 10 March 2017
Softcover ISBN: 978-3-319-83838-0Published: 20 July 2018
eBook ISBN: 978-3-319-47843-2Published: 01 March 2017
Series ISSN: 2211-2758
Series E-ISSN: 2211-2766
Edition Number: 1
Number of Pages: XIV, 359
Number of Illustrations: 28 b/w illustrations
Topics: Logic, Mathematical Logic and Formal Languages, Mathematical Logic and Foundations, Semantics