  Note that throughout this entry, the following standard abbreviations are used: PC (Principle of Contradiction), PSR (Principle of Sufficient Reason), PII (Principle of the Identity of Indiscernibles), PIN (Predicate-in-Notion Principle), and CIC (Complete Individual Concept).