Machinations: Computational Studies of Logic, Language and Cognition