12,080
edits
Changes
Directory talk:Jon Awbrey/Papers/Peirce's 1870 Logic Of Relatives (view source)
Revision as of 13:46, 11 May 2009
, 13:46, 11 May 2009→Commentary Note 12.7
Line 242:
Line 242:
\end{array}</math>
\end{array}</math>
|}
|}
+
+===Commentary Note 12.7===
+
+* Problem about relation of logical involution to to function space <math>Y^X = \{ f : X \to Y \}.</math>
+** Notice that a function <math>f : X \to Y</math> is a "<math>Y\!</math>-evaluator of every <math>X,\!</math> or a "giver of value in <math>Y\!</math> to everything in <math>X\!</math>".
===Commentary on Selection 12 : Old Notes===
===Commentary on Selection 12 : Old Notes===