Rohit Parikh on Logic, Language and Society (Outstanding Contributions to Logic)

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.

In programming courses, using the different syntax of multiple languages, such as C++, Java, PHP, and Python, for the same abstraction often confuses students new to computer science. Introduction to Programming Languages separates programming langua...

The Language of Gaming examines the complex language of videogames and gaming from a discourse analytical perspective. Astrid Ensslin studies the discourses inscribed in videogames by their producers, as well as gamer and media meta-discourses, and f...

This volume reflects the discussion that emerged around the controversial concepts «communication form», «communicative practice», «medium» and «genre». It provides a comprehensive overview of the history and current state-of-affairs of these...

Computer interfaces and documentation are notoriously difficult for any user, regardless of his or her level of experience. Advances in technology are not making applications more friendly. Introducing concepts from linguistics and language teaching,...

A landmark guide returns! To coincide with the launch of The Elder Scrolls V: Skyrim Special Edition, Prima Games has re-released the celebrated strategy guide for fans and new players alike.Bonus Item Included: Dragonborn Bookmark—Keep your place ...

For courses in programming and computer science.   Hands-on Programming with Greenfoot Introduction to Programming with Greenfoot: Object-Oriented Programming in Java with Games and Simulations teaches the basics of Java computer programming ...

Direct3D 11 offers such a wealth of capabilities that users can sometimes get lost in the details of specific APIs and their implementation. While there is a great deal of low-level information available about how each API function should be used, th...

Master the Unity Game Engine to Design and Develop Games for Web, Mobile, Windows, macOS, and More! If you want to design and develop games, there’s no substitute for strong hands-on experience with modern techniques and tools—and that is exact...

Get a comprehensive, in-depth introduction to the core Python language with this hands-on book. Based on author Mark Lutz’s popular training course, this updated fifth edition will help you quickly write efficient, high-quality code with Python. It...

This text presents the formal concepts underlying Computer Science. It starts with a wide introduction to Logic with an emphasis on reasoning and proof, with chapters on Program Verification and Prolog. The treatment of computability with Automata an...