12,080
edits
Changes
Directory:Jon Awbrey/Papers/Propositions As Types (view source)
Revision as of 20:18, 24 March 2009
, 20:18, 24 March 2009→Transposition, or the Transposer: markup
==Transposition, or the Transposer==
==Transposition, or the Transposer==
<pre>
'''Definition'''
{| align="center" cellpadding="8" width="90%"
| <math>\begin{matrix}x(y(z\operatorname{T})) & = & y(xz)\end{matrix}</math>
|}
This equation constitutes a "paraphrastic definition"
This equation constitutes a ''paraphrastic definition'' of <math>\operatorname{T},</math> a definition-in-context, or a formal syntactic specification of how the operator is required to act on other symbols.
of T, a definition-in-context, or a formal syntactic
specification of how the operator is required to act
on other symbols.
===Step 1===
===Step 1===
<pre>
Find a "pure interpretant" for T, that is, an equivalent term
Find a "pure interpretant" for T, that is, an equivalent term
doing the job of T which is constructed purely in terms of the
doing the job of T which is constructed purely in terms of the