Rohit Parikh on Logic, Language and Society

✍ Scribed by Can Başkent, Lawrence S. Moss, Ramaswamy Ramanujam (eds.)

• Publisher: Springer International Publishing
• Year: 2017
• Tongue: English
• Leaves: 363
• Series: Outstanding Contributions to Logic 11
• Edition: 1
• Category: Library

✦ Synopsis

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.

✦ Table of Contents

Front Matter....Pages i-xiv
Parikh and Wittgenstein....Pages 1-35
Vagueness, Communication, and the Sorites Paradox....Pages 37-52
Nonmonotonicity and Knowability: As Knowable as Possible....Pages 53-65
What is Money?....Pages 67-75
Focusing on Campaigns....Pages 77-89
A Non-classical Logical Approach to Social Software....Pages 91-109
Why Bother with Syntax?....Pages 111-119
Talking About Knowledge....Pages 121-143
The Pleasure of Gossip....Pages 145-163
Modeling Monty Hall in If Logic....Pages 165-184
Solving for Best Responses and Equilibria in Extensive-Form Games with Reinforcement Learning Methods....Pages 185-226
The Logic of Approximate Dependence....Pages 227-234
On Height and Happiness....Pages 235-258
Epistemic Conditionals and the Logic of Subsets....Pages 259-277
On the Coalgebraic Theory of Kleene Algebra with Tests....Pages 279-298
Aristotle, Boole, and Categories....Pages 299-322
Galois Theory of Algorithms....Pages 323-347
Parikh’s Closing Remarks....Pages 349-352
The Complete Bibliography of Rohit Parikh....Pages 353-359

✦ Subjects

Logic;Mathematical Logic and Formal Languages;Mathematical Logic and Foundations;Semantics