Semantics and necessary truth an inquiry into the foundations of analytic philosophy - Pap Arthur (1958)