Formalism for Game-Theoretic Approach to Formal Logic
Unifying Communication Theory, Formal Logic and Game Theory
17 min readJun 10, 2024
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…