Jaakko Hintikka on Knowledge and Game-Theoretical Semantics

ISBN-13: 9783319874142 / Angielski / Miękka / 2019 / 632 str.

Hans Van Ditmarsch; Gabriel Sandu

Spis treści

Short overview of the development of Hintikka’s work in logic.- From Pictures to Semantical Games: Hintikka's Journey through Semantic Representationalism.- Is natural semantics possible? – ordinary English, formal deformationscum-reformations and the limits of model theory.- Knowing-who in quantified epistemic logic.- Group Knowledge in Interrogative Epistemology.- Known Unknowns: Time bounds and Knowledge of Ignorance.- Topological Subset Space Models for Public Announcements.- Seeing is Believing: Formalising False-Belief Tasks in Dynamic Epistemic Logic.- Playing Cards with Hintikka.- On Semantic Games for Lukasiewicz Logic.- Hintikka and Frege on Quantifiers.- Dynamic Logics of Imperfect Information: From Teams and Games to Transitions.- Logical Dialogues with Explicit Preference Profiles and Strategy Selection.- Hintikka’s Knowledge and Belief in Flux.- Possible worlds semantics based on observation and communication.- Knowledge, Time, and Paradox: Introducing Sequential Epistemic Logic.- Borel Sets in the Generalized Baire Space and Infinitary Languages.- Questions of Epistemic Logic in Hintikka.- The Proof Theory of Common Knowledge.- Knowability and a New Paradox of Happiness.- Some Tools for Analyzing Strategic Games of Independence-Friendly Logic and Their Applications.- Beyond knowing that: A new generation of epistemic logics.- Epistemic Logic with Evidence and Relevant Alternatives

O autorze

Hans van Ditmarsch has been a senior researcher at the CNRS (the French national organization for scientific research) since 2012 and is based at LORIA (Laboratoire Lorrain de Recherche en Informatique et ses Applications) in Nancy. He is also an associated researcher at the IMSc (Institute of Mathematical Sciences), Chennai. His research focuses on the dynamics of knowledge, information-based security protocols, modal logics for belief revision, proof tools for epistemic logics, combinatorics, and computer and information science education.

Gabriel Sandu has been a professor of philosophy at the University of Helsinki since 1998, and is also a professor of philosophy at the Sorbonne University of Paris (Paris 1). His research chiefly concerns theories of truth, dependence and independence between quantifiers, and the application of game-theoretical methods to the study of formal languages that extend ordinary first-order languages (IF languages). This work, pursued in collaboration with Professor Jaakko Hintikka, challenges the universalist conception of logic and language, according to which one cannot express semantic relations in one and the same language. The most recent focus has been on importing concepts from classical game theory (Nash equilibria) into logic. The resulting notions of truth and logical consequence have led to Nash equilibrium semantics.

Blurb

This book focuses on the game-theoretical semantics and epistemic logic of Jaakko Hintikka. 

Hintikka was a prodigious and esteemed philosopher and logician, and his death in August 2015 was a huge loss to the philosophical community. This book, whose chapters have been in preparation for several years, is dedicated to the work of Jaako Hintikka, and to his memory.

This edited volume consists of 23 contributions from leading logicians and philosophers, who discuss themes that span across the entire range of Hintikka’s career. Semantic Representationalism, Logical Dialogues, Knowledge and Epistemic logic are among some of the topics covered in this book's chapters.

The book should appeal to students, scholars and teachers who wish to explore the philosophy of Jaako Hintikka.