Proof-Theoretical Semantics and Pregean Identity Criteria for Propositions