A thinker who assigns propositions irreducible semantic roles in truth and knowledge cannot coherent...