Models can prove possibility against impossibility claims

One distinct use of game-theoretic modeling is proof-of-possibility: against Quine's natural-language skepticism that language cannot evolve without prior language to establish conventions, modeling work by David Lewis and Brian Skyrms showed that extremely simple agents can learn to coordinate on a signal meaning something without any prior language.