Logic Journal