Changes

Directory talk:Jon Awbrey/Papers/Syntactic Transformations (view source)

Revision as of 02:52, 10 September 2010

1,956 bytes removed , 02:52, 10 September 2010

→‎1.3.12.1. Syntactic Transformation Rules: del merged text

Line 6: Line 6:

=====1.3.12.1. Syntactic Transformation Rules=====

−

Besides linking rules together into extended sequences of equivalents, there is one other way that is commonly used to get new rules from old. Novel starting points for rules can be obtained by extracting pairs of equivalent expressions from a sequence that falls under an established rule, and then by stating their equality in the proper form of equation. For example, by extracting the equivalent expressions that are annotated as "R3a" and "R3c" in Rule 3 and by explictly stating their equivalence, one obtains the specialized result that is recorded in Corollary 1.

−

~~<pre>~~

−

~~Corollary 1~~

−

~~If X c U~~

−

~~and u C U,~~

−

~~then the following statement is true:~~

−

~~C1a. u C X <=> {X}(u) = 1. R3a=R3c~~

−

~~</pre>~~

−

There are a number of issues, that arise especially in establishing the proper use of ROSTs, that are appropriate to discuss at this juncture. The notation "[S]" is intended to represent "the proposition denoted by the sentence S". There is only one problem with the use of this form. There is, in general, no such thing as "the" proposition denoted by S. Generally speaking, if a sentence is taken out of context and considered across a variety of different contexts, there is no unique proposition that it can be said to denote. But one is seldom ever speaking at the maximum level of generality, or even found to be thinking of it, and so this notation is usually meaningful and readily understandable whenever it is read in the proper frame of mind. Still, once the issue is raised, the question of how these meanings and understandings are possible has to be addressed, especially if one desires to express the regulations of their syntax in a partially computational form. This requires a closer examination of the very notion of "context", and it involves engaging in enough reflection on the "contextual evaluation" of sentences that the relevant principles of its successful operation can be discerned and rationalized in explicit terms.

A sentence that is written in a context where it represents a value of 1 or 0 as a function of things in the universe U, where it stands for a value of "true" or "false", depending on how the signs that constitute its proper syntactic arguments are interpreted as denoting objects in U, in other words, where it is bound to lead its interpreter to view its own truth or falsity as determined by a choice of objects in U, is a sentence that might as well be written in the context "[ ... ]", whether or not this frame is explicitly marked around it.

Jon Awbrey

12,080

edits