logic is not about truth. truth is a game. logic is about playing games that are like truth games but not necessarily truth-valued. not all games are typed or typeable and that's ok