Logic versus Approximation