There is a fundamental tension between treating logical knowledge as a priori and the computational ...