Learning Language in Logic