All of logic is a game
Game Theory, Communications Theory and Formal Logic
The central thesis of my research is that formal logic may be considered under game theory and communications theory under what I call a Coherent Cooperative Game of Formal Logic.
The metatheory is that a Coherent Cooperative Game of Formal Logic (CCGFL) adequately describes the machinations that people engage in when engaging with the game of formal logic.
A CCGFL is a game where each move that player makes is a move where the other players win and where you only play a CCGFL if you play such that the other players win.
It is normal to think of a game, e.g. a zero-sum game, where there are winners and losers, however if a theory of formal logic is to be engaged with at all, it must be such that each player wins when using that formal theory to communicate among players in a logical fashion if not otherwise playing a zero-sum game. For instance, a formal theory may well be consistent, complete, compact etc, but well formed theorems (as plays in the CCGFL) are only useful under a CCGFL where each player has an interpretation of the theory (beyond and including the standard interpretation of the theory) such that the theory is consistent, complete, compact etc in their mind. I.e. Theorems of a theory under formal logic are tokens in a…
