12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Friday April 04, 2025
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Functional Logic : Inquiry and Analogy (view source)
Revision as of 11:56, 15 December 2008
, 11:56, 15 December 2008del note
Line 1,960:
Line 1,960:
==Note==
−<pre>
−To: NKS
−I will need to focus on the DATA thread while I have
−the concentration to do so, but an exagoric inquiry
−from a reader of that thread prompts me to revisit
−for a moment a topic where I previously noticed
−some fractal shades lurking about my tables.
−I am reorganizing this material on a couple
−of other discussion lists, starting here:
−FL. http://suo.ieee.org/ontology/thrd1.html#05480
−FL. http://stderr.org/pipermail/inquiry/2004-March/thread.html#1256
−See especially FL Note 4, at either of these web loci:
−FL 4. http://suo.ieee.org/ontology/msg05483.html
−FL 4. http://stderr.org/pipermail/inquiry/2004-March/001259.html
−</pre>
This means that <math>\Upsilon q = 1\!</math> if and only if <math>q\!</math> holds for the whole universe of discourse in question, that is, if and only <math>q\!</math> is the constantly true proposition <math>1 : \mathbb{B}^k \to \mathbb{B}.</math> The ambiguities of this usage are not a problem so long as we distinguish the context of definition from the context of application and restrict all shorthand notations to the latter.
This means that <math>\Upsilon q = 1\!</math> if and only if <math>q\!</math> holds for the whole universe of discourse in question, that is, if and only <math>q\!</math> is the constantly true proposition <math>1 : \mathbb{B}^k \to \mathbb{B}.</math> The ambiguities of this usage are not a problem so long as we distinguish the context of definition from the context of application and restrict all shorthand notations to the latter.
−==Document History==
==Document History==
