12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Saturday November 23, 2024
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Differential Propositional Calculus (view source)
Revision as of 23:10, 22 April 2008
, 23:10, 22 April 2008→Note 16: italics
</pre>
</pre>
In (2), we consider the effects of each ''x'' in its practical bearing on contexts of the form (''y'', _), as ''y'' ranges over ''G'', and the effects are such that ''x'' takes (''y'', _) into ''yx'', for ''y'' in ''G'', all of which is summarily notated as ''x'' = {(''y'' : ''yx'') : ''y'' in ''G''}. The pairs (y : yx) can be found by picking an ''x'' from the top margin of the group operation table and considering its effects on each ''y'' in turn as these run down the left margin. This aspect of pragmatic definition we recognize as the regular post-representation:
In (2), we consider the effects of each ''x'' in its practical bearing on contexts of the form (''y'', _), as ''y'' ranges over ''G'', and the effects are such that ''x'' takes (''y'', _) into ''yx'', for ''y'' in ''G'', all of which is summarily notated as ''x'' = {(''y'' : ''yx'') : ''y'' in ''G''}. The pairs (''y'' : ''yx'') can be found by picking an ''x'' from the top margin of the group operation table and considering its effects on each ''y'' in turn as these run down the left margin. This aspect of pragmatic definition we recognize as the regular post-representation:
<pre>
<pre>
