Naming is like pointing. A function is like a line dividing points of a plane into right and left ones; then “p or not-p” has no meaning because it does not divide the plane.