Games: Unifying Logic Language and Philosophy