Discovering Logic