Definition:Scheme of Abbreviation
From ProofWiki
Definition
When translating from a series of sentences in natural language into a collection of statement forms in symbolic logic, it is necessary to replace each simple statement with a statement label.
As stated in the definition of statement label, it is imperative that each sentence be replaced with a different label.
A scheme of abbreviation is the list of simple statements, together with their associated statement labels, for reference and unambiguous key in order to translate any conclusion reached back into natural language.
Sources
- Donald Kalish and Richard Montague: Logic: Techniques of Formal Reasoning (1964): $\text{I}: \S 2$
