Line 10,178:
Line 10,178:
Which was to be shown.
Which was to be shown.
+
</pre>
−
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
+
=====1.3.10.14. Syntactic Transformations=====
−
−
IDS. Note 174
−
−
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
−
−
1.3.10.14. Syntactic Transformations
+
<pre>
We have been examining several distinct but closely related
We have been examining several distinct but closely related
notions of indication. To discuss the import of these ideas
notions of indication. To discuss the import of these ideas
Line 10,206:
Line 10,202:
is by means of the "rules of syntactic transformation" (ROST's)
is by means of the "rules of syntactic transformation" (ROST's)
that partially formalize the translations in question.
that partially formalize the translations in question.
−
−
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
−
−
IDS. Note 175
−
−
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
−
−
1.3.10.14. Syntactic Transformations (cont.)
Rudimentary examples of ROST's are readily mined from the
Rudimentary examples of ROST's are readily mined from the