Cham, Switzerland: Springer Verlag (2017)

Authors
Can Başkent
Middlesex University
Abstract
This book discusses major milestones in Rohit Jivanlal Parikh’s scholarly work. Highlighting the transition in Parikh’s interest from formal languages to natural languages, and how he approached Wittgenstein’s philosophy of language, it traces the academic trajectory of a brilliant scholar whose work opened up various new avenues in research. 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 well as 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 algorithmic universe
Categories No categories specified
(categorize this paper)
Buy this book $121.89 new (13% off)   $134.40 used (4% off)   $139.99 from Amazon    Amazon page
ISBN(s) 9783319478425   3319838385   3319478427
DOI 10.1007/978-3-319-47843-2
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 65,645
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
Chapters BETA

References found in this work BETA

Existence and Feasibility in Arithmetic.Rohit Parikh - 1971 - Journal of Symbolic Logic 36 (3):494-508.
Topological Reasoning and the Logic of Knowledge.Andrew Dabrowski, Lawrence S. Moss & Rohit Parikh - 1996 - Annals of Pure and Applied Logic 78 (1-3):73-110.
Social Software.Rohit Parikh - 2002 - Synthese 132 (3):187-211.
Vagueness and Utility: The Semantics of Common Nouns. [REVIEW]Rohit Parikh - 1994 - Linguistics and Philosophy 17 (6):521 - 535.
On Kripke's Puzzle About Time and Thought.Rohit Parikh - 2013 - In Kamal Lodaya (ed.), Logic and its Applications. Springer. pp. 121--126.

View all 7 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Logic in India—Editorial Introduction.Hans van Ditmarsch, Rohit Parikh & Ramaswamy Ramanujam - 2011 - Journal of Philosophical Logic 40 (5):557-561.
Logic in India—Editorial Introduction.R. Ramanujam, Rohit Parikh & Hans van Ditmarsch - 2011 - Journal of Philosophical Logic 40 (5):557-561.
Logic in India—Editorial Introduction.Hans Ditmarsch, Rohit Parikh & R. Ramanujam - 2011 - Journal of Philosophical Logic 40 (5):557-561.
A Discussion on Explicit Knowledge.Ramaswamy Ramanujam - 1996 - In Krister Segerberg (ed.), The Parikh Project. Seven Papers in Honour of Rohit. Uppsala Prints & Preprints in Philosophy. pp. 1996--18.
Knowledge Theoretic Properties of Topological Spaces.Konstantinos Georgatos - 1994 - In Masuch, Michael & Polos Laszlo (eds.), Knowledge Representation and Uncertainty. Springer Verlag. pp. 147--159.
Gems of Theoretical Computer Science, Uwe Schöning and Randall Pruim.Rohit Parikh - 2000 - Journal of Logic, Language and Information 9 (1):131-132.
Game Logic - An Overview.Marc Pauly & Rohit Parikh - 2003 - Studia Logica 75 (2):165-182.
Preface.Melvin Fitting, Konstantinos Georgatos & R. Ramanujam - 1999 - Annals of Pure and Applied Logic 96 (1-3):1.
A Knowledge Based Semantics of Messages.Rohit Parikh & Ramaswamy Ramanujam - 2003 - Journal of Logic, Language and Information 12 (4):453-467.
Length and Structure of Proofs.Rohit Parikh - 1998 - Synthese 114 (1):41-48.
Definability in Dynamic Logic.Albert R. Meyer & Rohit Parikh - 1984 - Journal of Symbolic Logic 49 (4):1420-1421.
On Kripke's Puzzle About Time and Thought.Rohit Parikh - 2013 - In Kamal Lodaya (ed.), Logic and its Applications. Springer. pp. 121--126.
Existence and Feasibility in Arithmetic.Rohit Parikh - 1971 - Journal of Symbolic Logic 36 (3):494-508.

Analytics

Added to PP index
2019-01-25

Total views
13 ( #753,463 of 2,462,271 )

Recent downloads (6 months)
2 ( #299,152 of 2,462,271 )

How can I increase my downloads?

Downloads

My notes