| Line 6: |
Line 6: |
| | | | |
| | =====1.3.12.1. Syntactic Transformation Rules===== | | =====1.3.12.1. Syntactic Transformation Rules===== |
| − |
| |
| − | A good way to summarize the necessary translations between different styles of indication, and along the way to organize their use in practice, is by means of the ''rules of syntactic transformation'' (ROSTs) that partially formalize the translations in question.
| |
| − |
| |
| − | Rudimentary examples of ROSTs are readily mined from the raw materials that are already available in this area of discussion. To begin as near the beginning as possible, let the definition of an indicator function be recorded in the following form:
| |
| − |
| |
| − | <pre>
| |
| − | o-------------------------------------------------o
| |
| − | | Definition 1. Indicator Function |
| |
| − | o-------------------------------------------------o
| |
| − | | |
| |
| − | | If Q c X, |
| |
| − | | |
| |
| − | | then -{Q}- : X -> %B% |
| |
| − | | |
| |
| − | | such that, for all x in X: |
| |
| − | | |
| |
| − | o-------------------------------------------------o
| |
| − | | |
| |
| − | | D1a. -{Q}-(x) <=> x in Q. |
| |
| − | | |
| |
| − | o-------------------------------------------------o
| |
| − | </pre>
| |
| − |
| |
| − | In practice, a definition like this is commonly used to substitute one of two logically equivalent expressions or sentences for the other in a context where the conditions of using the definition in this way are satisfied and where the change is perceived as potentially advancing a proof. The employment of a definition in this way can be expressed in the form of a ROST that allows one to exchange two expressions of logically equivalent forms for one another in every context where their logical values are the only consideration. To be specific, the ''logical value'' of an expression is the value in the boolean domain %B% = {%0%, %1%} that the expression represents to its context or that it stands for in its context.
| |
| − |
| |
| − | In the case of Definition 1, the corresponding ROST permits one to exchange a sentence of the form "x in Q" with an expression of the form "-{Q}-(x)" in any context that satisfies the conditions of its use, namely, the conditions of the definition that lead up to the stated equivalence. The relevant ROST is recorded in Rule 1. By way of convention, I list the items that fall under a rule in rough order of their ascending conceptual subtlety or their increasing syntactic complexity, without regard for the normal or the typical orders of their exchange, since this can vary from widely from case to case.
| |
| − |
| |
| − | <pre>
| |
| − | o-------------------------------------------------o
| |
| − | | Rule 1 |
| |
| − | o-------------------------------------------------o
| |
| − | | |
| |
| − | | If Q c X, |
| |
| − | | |
| |
| − | | then -{Q}- : X -> %B%, |
| |
| − | | |
| |
| − | | and if x in X, |
| |
| − | | |
| |
| − | | then the following are equivalent: |
| |
| − | | |
| |
| − | o-------------------------------------------------o
| |
| − | | |
| |
| − | | R1a. x in Q. |
| |
| − | | |
| |
| − | | R1b. -{Q}-(x). |
| |
| − | | |
| |
| − | o-------------------------------------------------o
| |
| − | </pre>
| |
| | | | |
| | Conversely, any rule of this sort, properly qualified by the conditions under which it applies, can be turned back into a summary statement of the logical equivalence that is involved in its application. This mode of conversion between a static principle and a transformational rule, in other words, between a statement of equivalence and an equivalence of statements, is so automatic that it is usually not necessary to make a separate note of the "horizontal" versus the "vertical" versions of what amounts to the same abstract principle. | | Conversely, any rule of this sort, properly qualified by the conditions under which it applies, can be turned back into a summary statement of the logical equivalence that is involved in its application. This mode of conversion between a static principle and a transformational rule, in other words, between a statement of equivalence and an equivalence of statements, is so automatic that it is usually not necessary to make a separate note of the "horizontal" versus the "vertical" versions of what amounts to the same abstract principle. |