Formalism for Game-Theoretic Approach to Formal Logic

Unifying Communication Theory, Formal Logic and Game Theory

Victor Morgante

Abstract

This paper presents a game-theoretic approach to formal logic, where players cooperate to interpret theorems of a theory in a coherent and understandable manner. The objective is to achieve clear communication and a shared understanding of the theorems. We introduce a formalism for this non-adversarial game, including payoff functions, and explore conditions…