Church's own Logic of Sense and Denotation (Alternative (0)) individuates propositions by synonymous...