If Logic, Game-Theoretical Semantics, and the Philosophy of Science

Abstract

IF (independence-friendly) logic is about informational independence that may take place between any components that admit of an interpretation in terms of game-theoretical semantics. These two approaches are seen to provide integrative tools and methods across individual sciences, including strategic meaning in linguistics, concurrency in computation, knowledge in multi-agent systems, and quantum information. An overarching theme is to get less-than-hyper-rational, decentralised decision makers to agree on the truth of statements codifying central structural features of these individual sciences. One upshot is that semantic games call for a re-examination of some basic assumptions in game theory.