Difference between revisions of "User:Jon Awbrey/TEST"

MyWikiBiz, Author Your Legacy — Friday November 08, 2024
Jump to navigationJump to search
(→‎Measure for Measure: test section edit)
(try next piece)
Line 1: Line 1:
−
{{DISPLAYTITLE:Functional Logic : Higher Order Propositions}}
+
===Extending the Existential Interpretation to Quantificational Logic===
−
==Idea==
 
  
−
If functions of type <math>X \to \mathbb{B}</math> are propositions about things in <math>X,</math> then functions of type <math>(X \to \mathbb{B}) \to \mathbb{B}</math> are propositions about propositions about things in <math>X,</math> the first of a series of '''higher order propositions''' based on <math>X.</math>
+
<pre>
 +
The forms commonly viewed as quantified propositions may be viewed again as propositions about propositions, indeed, there is every reason to regard higher order propositions as the genus of quantification under which the more familiar species appear.
  
−
__TOC__
+
Let us return to the 2-dimensional case <math>X^\circ = \left[ u, v \right]<math>.  In order to provide a bridge between propositions and quantifications it serves to define a set of qualifiers <math>\ell_{ij} : (\mathbb{B}^2 \to \mathbb{B}) \to \mathbb{B}<math> that have the following characters:
  
−
==Higher Order Propositional Expressions==
+
<div markdown="1"><font size="+1">
 +
</math><math>\array{
 +
\arrayopts{\colalign{left}}
 +
\ell_{00} f
 +
& = &
 +
\ell_{\texttt{(} u \texttt{)(} v \texttt{)}} f
 +
& = &
 +
\alpha_{1} f
 +
& = &
 +
\Upsilon_{\texttt{(} u \texttt{)(} v \texttt{)}} f
 +
& = &
 +
\Upsilon_{\texttt{(} u \texttt{)(} v \texttt{)} ~ \Rightarrow f}
 +
& = &
 +
f ~ \operatorname{likes} ~ \texttt{(} u \texttt{)(} v \texttt{)}
 +
\\
 +
\ell_{01} f
 +
& = &
 +
\ell_{\texttt{(} u \texttt{)} ~ v} f
 +
& = &
 +
\alpha_{2} f
 +
& = &
 +
\Upsilon_{\texttt{(} u \texttt{)} ~ v} f
 +
& = &
 +
\Upsilon_{\texttt{(} u \texttt{)} ~ v ~ \Rightarrow f}
 +
& = &
 +
f ~ \operatorname{likes} ~ \texttt{(} u \texttt{)} ~ v
 +
\\
 +
\ell_{10} f
 +
& = &
 +
\ell_{u ~ \texttt{(} v \texttt{)}} f
 +
& = &
 +
\alpha_{4} f
 +
& = &
 +
\Upsilon_{u ~ \texttt{(} v \texttt{)}} f
 +
& = &
 +
\Upsilon_{u ~ \texttt{(} v \texttt{)} ~ \Rightarrow f}
 +
& = &
 +
f ~ \operatorname{likes} ~ u ~ \texttt{(} v \texttt{)}
 +
\\
 +
\ell_{11} f
 +
& = &
 +
\ell_{u ~ v} f
 +
& = &
 +
\alpha_{8} f
 +
& = &
 +
\Upsilon_{u ~ v} f
 +
& = &
 +
\Upsilon_{u ~ v ~ \Rightarrow f}
 +
& = &
 +
f ~ \operatorname{likes} ~ u ~ v
 +
}</math><math>
 +
</font></div>
  
−
By way of equipping the discussion with a modicum of concrete material, let's begin with a consideration of higher order propositions and logical operators that stem from the ordinary propositions on 1 and 2 variables.
+
Intuitively, the <math>\ell_{ij}<math> operators may be thought of as qualifying propositions according to the elements of the universe of discourse that each proposition positively values.  Taken together, these measures provide us with the means to express many useful observations about the propositions in <math>X^\circ = \left[ u, v \right]<math>, and so they mediate a subtext <math>\left[ \ell_{00}, \ell_{01}, \ell_{10}, \ell_{11} \right]<math> that takes place within the higher order universe of discourse <math>X^{\circ 2} = \left[ X^\circ \right] = \left[\left[ u, v \right]\right]<math>.  Figure&nbsp;6 summarizes the action of the <math>\ell_{ij}<math> operators on the <math>f_{i}<math> within <math>X^{\circ 2}<math>.
  
−
'''Note on notation.'''  The discussion that follows uses [[minimal negation operations]], expressed as parenthesized tuples of the form <math>\texttt{(} e_1 \texttt{,} \ldots \texttt{,} e_k \texttt{)},</math> and logical conjunctions, expressed as concatenated tuples of the form <math>e_1 ~ \ldots ~ e_k,</math> as the sole expression-forming operations of a calculus for [[boolean-valued functions]] or ''propositions''.  The expressions of this calculus parse into data structures whose underlying graphs are called ''cacti'' by graph theorists.  Hence the name ''[[cactus language]]'' for this dialect of propositional calculus.
+
<div align="center" style="text-align:center">
  
−
===Higher Order Propositions and Logical Operators (''n'' = 1)===
+
![Venn Diagram 4 Dimensions UV Cacti 8 Inch](/nlab/files/Venn_Diagram_4_Dimensions_UV_Cacti_8_Inch.jpg)
  
−
A ''higher order proposition'' is a proposition about propositions.  If the original order of propositions consists of maps of the form <math>f : X \to \mathbb{B},</math> then the next higher order of propositions consists of maps of the form <math>m : (X \to \mathbb{B}) \to \mathbb{B}.</math> It is often useful to think of a higher order proposition as a ''measure'' on propositions.
+
<font size="+2"><math>\texttt{Figure 6.} ~~ \texttt{Higher Order Universe of Discourse} ~ \left[ \ell_{00}, \ell_{01}, \ell_{10}, \ell_{11} \right] \subseteq \left[\left[ u, v \right]\right]</math></font>
  
−
For example, consider the case where <math>X = \mathbb{B}.</math>  Then there are exactly four propositions <math>f : \mathbb{B} \to \mathbb{B},</math> and exactly sixteen higher order propositions that are based on this set, all taking the form <math>m : (\mathbb{B} \to \mathbb{B}) \to \mathbb{B}.</math>
+
</div>
  
−
Table&nbsp;1 lists the 16 measures of the form <math>m : (\mathbb{B} \to \mathbb{B}) \to \mathbb{B}.</math>
+
</pre>
  
−
<br>
+
===Application of Higher Order Propositions to Quantification Theory===
  
−
<table align="center" cellpadding="4" cellspacing="0" style="text-align:center; width:90%">
+
<pre>
 +
Our excursion into the vastening landscape of higher order propositions has finally come round to the stage where we can bring its returns to bear on opening up new perspectives for quantificational logic.
  
−
<caption><font size="+2"><math>\text{Table 1.} ~~ \text{Higher Order Propositions} ~ (n = 1)</math></font></caption>
+
It's hard to tell if it makes any difference from a purely formal point of view, but it serves intuition to devise a slightly different interpretation for the two-valued space that we use as the target of our basic indicator functions.  Therefore, let us declare the type of _existential-valued functions_ <math>f : \mathbb{B}^k \to \mathbb{E}<math>, where <math>\mathbb{E} = \{ -e, +e \} = \{ \operatorname{empty}, \operatorname{exist} \}<math> is a pair of values that indicate whether or not anything exists in the cells of the underlying universe of discourse.  As usual, let's not be too fussy about the coding of these functions, reverting to binary codes whenever the intended interpretation is clear enough.
  
−
<tr>
+
With these qualifications in mind we note the following correspondences between classical quantifications and higher order indicator functions:
−
<td style="border-bottom:2px solid black" align="right"><math>x:</math></td>
 
−
<td style="border-bottom:2px solid black"><math>1 ~ 0</math></td>
 
−
<td style="border-bottom:2px solid black; border-right:2px solid black"><math>f</math></td>
 
−
<td style="border-bottom:2px solid black"><math>m_{0}</math></td>
 
−
<td style="border-bottom:2px solid black"><math>m_{1}</math></td>
 
−
<td style="border-bottom:2px solid black"><math>m_{2}</math></td>
 
−
<td style="border-bottom:2px solid black"><math>m_{3}</math></td>
 
−
<td style="border-bottom:2px solid black"><math>m_{4}</math></td>
 
−
<td style="border-bottom:2px solid black"><math>m_{5}</math></td>
 
−
<td style="border-bottom:2px solid black"><math>m_{6}</math></td>
 
−
<td style="border-bottom:2px solid black"><math>m_{7}</math></td>
 
−
<td style="border-bottom:2px solid black"><math>m_{8}</math></td>
 
−
<td style="border-bottom:2px solid black"><math>m_{9}</math></td>
 
−
<td style="border-bottom:2px solid black"><math>m_{10}</math></td>
 
−
<td style="border-bottom:2px solid black"><math>m_{11}</math></td>
 
−
<td style="border-bottom:2px solid black"><math>m_{12}</math></td>
 
−
<td style="border-bottom:2px solid black"><math>m_{13}</math></td>
 
−
<td style="border-bottom:2px solid black"><math>m_{14}</math></td>
 
−
<td style="border-bottom:2px solid black"><math>m_{15}</math></td></tr>
 
  
−
<tr>
+
<font size="+1">
−
<td><math>f_{0}</math></td>
+
<table align="center" cellpadding="10" cellspacing="0" width="80%">
−
<td><math>0 ~ 0</math></td>
 
−
<td style="border-right:2px solid black"><math>\texttt{(~)}</math></td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:black; color:white">1</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:black; color:white">1</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:black; color:white">1</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:black; color:white">1</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:black; color:white">1</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:black; color:white">1</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:black; color:white">1</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:black; color:white">1</td></tr>
 
  
−
<tr>
+
<caption><font size="+2"><math>\texttt{Table 7.} ~~ \texttt{Syllogistic Premisses as Higher Order Indicator Functions}</math></font></caption>
−
<td><math>f_{1}</math></td>
 
−
<td><math>0 ~ 1</math></td>
 
−
<td style="border-right:2px solid black"><math>\texttt{(} x \texttt{)}</math></td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:black; color:white">1</td>
 
−
<td style="background:black; color:white">1</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:black; color:white">1</td>
 
−
<td style="background:black; color:white">1</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:black; color:white">1</td>
 
−
<td style="background:black; color:white">1</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:black; color:white">1</td>
 
−
<td style="background:black; color:white">1</td></tr>
 
  
 
<tr>
 
<tr>
−
<td><math>f_{2}</math></td>
+
<td align="center"><math>\operatorname{A}</math></td>
−
<td><math>1 ~ 0</math></td>
+
<td><math>Absolute</math></td>
−
<td style="border-right:2px solid black"><math>x</math></td>
+
<td><math>Universal Affirmative</math></td>
−
<td style="background:white; color:black">0</td>
+
<td align="center"><math>All ~ u ~ is ~ v</math></td>
−
<td style="background:white; color:black">0</td>
+
<td><math>Indicator of u ~ \texttt{(} v \texttt{)} = 0</math></td></tr>
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:black; color:white">1</td>
 
−
<td style="background:black; color:white">1</td>
 
−
<td style="background:black; color:white">1</td>
 
−
<td style="background:black; color:white">1</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:black; color:white">1</td>
 
−
<td style="background:black; color:white">1</td>
 
−
<td style="background:black; color:white">1</td>
 
−
<td style="background:black; color:white">1</td></tr>
 
  
 
<tr>
 
<tr>
−
<td><math>f_{3}</math></td>
+
<td align="center"><math>\operatorname{E}</math></td>
−
<td><math>1 ~ 1</math></td>
+
<td><math>Exclusive</math></td>
−
<td style="border-right:2px solid black"><math>\texttt{((~))}</math></td>
+
<td><math>Universal Negative</math></td>
−
<td style="background:white; color:black">0</td>
+
<td align="center"><math>All ~ u ~ is ~ \texttt{(} v \texttt{)}</math></td>
−
<td style="background:white; color:black">0</td>
+
<td><math>Indicator of ~ u ~ \cdot ~ v = 0</math></td></tr>
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:black; color:white">1</td>
 
−
<td style="background:black; color:white">1</td>
 
−
<td style="background:black; color:white">1</td>
 
−
<td style="background:black; color:white">1</td>
 
−
<td style="background:black; color:white">1</td>
 
−
<td style="background:black; color:white">1</td>
 
−
<td style="background:black; color:white">1</td>
 
−
<td style="background:black; color:white">1</td></tr>
 
−
 
 
−
</table>
 
−
 
 
−
<br>
 
−
 
 
−
The contents of Table&nbsp;1 are organized as follows.  Columns&nbsp;1 and 2 form a truth table for the four propositions of the form <math>f : \mathbb{B} \to \mathbb{B},</math> with the row leaders in Column&nbsp;1 displaying the names of the functions <math>f_i</math> for <math>i</math> = 0 to 3, while the entries in Column&nbsp;2 give the values of each function for the argument values that are listed in the corresponding column head.  Column&nbsp;3 displays a more or less canonical expression for the proposition in question.  The last sixteen columns are topped by a collection of conventional names for the measures <math>m_j</math> as <math>j</math> ranges from 0 to 15, where the entries in the body of the Table record the values assigned to each <math>f_i</math> by each <math>m_j</math>.
 
−
 
 
−
Table&nbsp;2 presents a sample of ''interpretive categories'' for higher order propositions of type <math>(\mathbb{B}^1 \to \mathbb{B}) \to \mathbb{B},</math> but it's best to put off discussing this Table further until we get beyond the 1-dimensional case.  These lower dimensional cases tend to be extremely ''condensed'' or ''degenerate'' in their structures, and the pattern of what's going on here can be set in higher relief as soon as we get even two logical variables to play off each other.
 
−
 
 
−
<br>
 
−
 
 
−
<table align="center" border="1" cellpadding="4" cellspacing="0" style="text-align:center; width:90%">
 
−
 
 
−
<caption><font size="+2"><math>\text{Table 2.} ~~ \text{Interpretive Categories for Higher Order Propositions} ~ (n = 1)</math></font></caption>
 
  
 
<tr>
 
<tr>
−
<td style="border-bottom:2px solid black; border-right:2px solid black">Measure</td>
+
<td align="center"><math>\operatorname{I}</math></td>
−
<td style="border-bottom:2px solid black">Happening</td>
+
<td><math>Indefinite</math></td>
−
<td style="border-bottom:2px solid black">Exactness</td>
+
<td><math>Particular Affirmative</math></td>
−
<td style="border-bottom:2px solid black">Existence</td>
+
<td align="center"><math>Some ~ u ~ is ~ v</math></td>
−
<td style="border-bottom:2px solid black">Linearity</td>
+
<td><math>Indicator of ~ u ~ \cdot ~ v = 1</math></td></tr>
−
<td style="border-bottom:2px solid black">Uniformity</td>
 
−
<td style="border-bottom:2px solid black">Information</td></tr>
 
  
 
<tr>
 
<tr>
−
<td style="border-right:2px solid black"><math>m_{0}</math></td>
+
<td align="center"><math>\operatorname{O}</math></td>
−
<td>Nothing happens</td>
+
<td><math>Obtrusive</math></td>
−
<td>&nbsp;</td>
+
<td><math>Particular Negative</math></td>
−
<td>&nbsp;</td>
+
<td align="center"><math>Some ~ u ~ is ~ \texttt{(} v \texttt{)}</math></td>
−
<td>&nbsp;</td>
+
<td><math>Indicator of ~ u ~ \texttt{(} v \texttt{)} = 1</math></td></tr>
−
<td>&nbsp;</td>
 
−
<td>&nbsp;</td></tr>
 
  
−
<tr>
+
</table></font>
−
<td style="border-right:2px solid black"><math>m_{1}</math></td>
 
−
<td>&nbsp;</td>
 
−
<td>Just false</td>
 
−
<td>Nothing exists</td>
 
−
<td>&nbsp;</td>
 
−
<td>&nbsp;</td>
 
−
<td>&nbsp;</td></tr>
 
  
−
<tr>
+
The following Tables develop these ideas in more detail.
−
<td style="border-right:2px solid black"><math>m_{2}</math></td>
 
−
<td>&nbsp;</td>
 
−
<td>Just not <math>x</math></td>
 
−
<td>&nbsp;</td>
 
−
<td>&nbsp;</td>
 
−
<td>&nbsp;</td>
 
−
<td>&nbsp;</td></tr>
 
  
−
<tr>
+
<table align="center" cellpadding="1" cellspacing="0" style="text-align:center; width:90%">
−
<td style="border-right:2px solid black"><math>m_{3}</math></td>
 
−
<td>&nbsp;</td>
 
−
<td>&nbsp;</td>
 
−
<td>Nothing is <math>x</math></td>
 
−
<td>&nbsp;</td>
 
−
<td>&nbsp;</td>
 
−
<td>&nbsp;</td></tr>
 
−
 
 
−
<tr>
 
−
<td style="border-right:2px solid black"><math>m_{4}</math></td>
 
−
<td>&nbsp;</td>
 
−
<td>Just <math>x</math></td>
 
−
<td>&nbsp;</td>
 
−
<td>&nbsp;</td>
 
−
<td>&nbsp;</td>
 
−
<td>&nbsp;</td></tr>
 
−
 
 
−
<tr>
 
−
<td style="border-right:2px solid black"><math>m_{5}</math></td>
 
−
<td>&nbsp;</td>
 
−
<td>&nbsp;</td>
 
−
<td>Everything is <math>x</math></td>
 
−
<td><math>f</math> is linear</td>
 
−
<td>&nbsp;</td>
 
−
<td>&nbsp;</td></tr>
 
−
 
 
−
<tr>
 
−
<td style="border-right:2px solid black"><math>m_{6}</math></td>
 
−
<td>&nbsp;</td>
 
−
<td>&nbsp;</td>
 
−
<td>&nbsp;</td>
 
−
<td>&nbsp;</td>
 
−
<td><math>f</math> is not uniform</td>
 
−
<td><math>f</math> is informed</td></tr>
 
−
 
 
−
<tr>
 
−
<td style="border-right:2px solid black"><math>m_{7}</math></td>
 
−
<td>&nbsp;</td>
 
−
<td>Not just true</td>
 
−
<td>&nbsp;</td>
 
−
<td>&nbsp;</td>
 
−
<td>&nbsp;</td>
 
−
<td>&nbsp;</td></tr>
 
−
 
 
−
<tr>
 
−
<td style="border-right:2px solid black"><math>m_{8}</math></td>
 
−
<td>&nbsp;</td>
 
−
<td>Just true</td>
 
−
<td>&nbsp;</td>
 
−
<td>&nbsp;</td>
 
−
<td>&nbsp;</td>
 
−
<td>&nbsp;</td></tr>
 
  
−
<tr>
+
<caption><font size="+2"><math>\texttt{Table 8.} ~~ \texttt{Simple Qualifiers of Propositions (Version 1)}</math></font></caption>
−
<td style="border-right:2px solid black"><math>m_{9}</math></td>
 
−
<td>&nbsp;</td>
 
−
<td>&nbsp;</td>
 
−
<td>&nbsp;</td>
 
−
<td>&nbsp;</td>
 
−
<td><math>f</math> is uniform</td>
 
−
<td><math>f</math> is not informed</td></tr>
 
  
 
<tr>
 
<tr>
−
<td style="border-right:2px solid black"><math>m_{10}</math></td>
+
<td width="4%" style="border-bottom:2px solid black" align="right">
−
<td>&nbsp;</td>
+
    <math>u:</math><br>
−
<td>&nbsp;</td>
+
    <math>v:</math></td>
−
<td>Something is not <math>x</math></td>
+
<td width="6%" style="border-bottom:2px solid black">
−
<td><math>f</math> is not linear</td>
+
    <math>1100</math><br>
−
<td>&nbsp;</td>
+
    <math>1010</math></td>
−
<td>&nbsp;</td></tr>
+
<td width="10%" style="border-bottom:2px solid black; border-right:2px solid black">
−
 
+
    <math>f</math></td>
−
<tr>
+
<td width="10%" style="border-bottom:2px solid black">
−
<td style="border-right:2px solid black"><math>m_{11}</math></td>
+
    <math>\texttt{(} \ell_{11} \texttt{)}</math><br>
−
<td>&nbsp;</td>
+
    <math>No ~ u</math><br>
−
<td>Not just <math>x</math></td>
+
    <math>is ~ v</math></td>
−
<td>&nbsp;</td>
+
<td width="10%" style="border-bottom:2px solid black">
−
<td>&nbsp;</td>
+
    <math>\texttt{(} \ell_{10} \texttt{)}</math><br>
−
<td>&nbsp;</td>
+
    <math>No ~ u</math><br>
−
<td>&nbsp;</td></tr>
+
    <math>is ~ \texttt{(} v \texttt{)}</math></td>
−
 
+
<td width="10%" style="border-bottom:2px solid black">
−
<tr>
+
    <math>\texttt{(} \ell_{01} \texttt{)}</math><br>
−
<td style="border-right:2px solid black"><math>m_{12}</math></td>
+
    <math>No ~ \texttt{(} u \texttt{)}</math><br>
−
<td>&nbsp;</td>
+
    <math>is ~ v</math></td>
−
<td>&nbsp;</td>
+
<td width="10%" style="border-bottom:2px solid black">
−
<td>Something is <math>x</math></td>
+
    <math>\texttt{(} \ell_{00} \texttt{)}</math><br>
−
<td>&nbsp;</td>
+
    <math>No ~ \texttt{(} u \texttt{)}</math><br>
−
<td>&nbsp;</td>
+
    <math>is ~ \texttt{(} v \texttt{)}</math></td>
−
<td>&nbsp;</td></tr>
+
<td width="10%" style="border-bottom:2px solid black">
−
 
+
    <math>\ell_{00}</math><br>
−
<tr>
+
    <math>Some ~ \texttt{(} u \texttt{)}</math><br>
−
<td style="border-right:2px solid black"><math>m_{13}</math></td>
+
    <math>is  ~ \texttt{(} v \texttt{)}</math></td>
−
<td>&nbsp;</td>
+
<td width="10%" style="border-bottom:2px solid black">
−
<td>Not just not <math>x</math></td>
+
    <math>\ell_{01}</math><br>
−
<td>&nbsp;</td>
+
    <math>Some ~ \texttt{(} u \texttt{)}</math><br>
−
<td>&nbsp;</td>
+
    <math>is  ~ v</math></td>
−
<td>&nbsp;</td>
+
<td width="10%" style="border-bottom:2px solid black">
−
<td>&nbsp;</td></tr>
+
    <math>\ell_{10}</math><br>
−
 
+
    <math>Some ~ u</math><br>
−
<tr>
+
    <math>is  ~ \texttt{(} v \texttt{)}</math></td>
−
<td style="border-right:2px solid black"><math>m_{14}</math></td>
+
<td width="10%" style="border-bottom:2px solid black">
−
<td>&nbsp;</td>
+
    <math>\ell_{11}</math><br>
−
<td>Not just false</td>
+
    <math>Some ~ u</math><br>
−
<td>Something exists</td>
+
    <math>is  ~ v</math></td></tr>
−
<td>&nbsp;</td>
 
−
<td>&nbsp;</td>
 
−
<td>&nbsp;</td></tr>
 
−
 
 
−
<tr>
 
−
<td style="border-right:2px solid black"><math>m_{15}</math></td>
 
−
<td>Anything happens</td>
 
−
<td>&nbsp;</td>
 
−
<td>&nbsp;</td>
 
−
<td>&nbsp;</td>
 
−
<td>&nbsp;</td>
 
−
<td>&nbsp;</td></tr>
 
−
 
 
−
</table>
 
−
 
 
−
<br>
 
−
 
 
−
===Higher Order Propositions and Logical Operators (''n'' = 2)===
 
−
 
 
−
By way of reviewing notation and preparing to extend it to higher order universes of discourse, let's first consider the universe of discourse <math>X^\circ = [x_1, x_2] = [u, v]</math> that is based on just two logical features or boolean variables <math>u</math> and <math>v.</math>
 
−
 
 
−
The universe of discourse <math>X^\circ</math> consists of two parts, a set of ''points'' and a set of ''propositions''.
 
−
 
 
−
The points of <math>X^\circ</math> form a space notated as follows:
 
−
 
 
−
{| align="center" cellpadding="6"
 
−
|
 
−
<math>\begin{matrix}
 
−
X & = & \lang u, v \rang & = & \{ (u, v) \} & \cong & \mathbb{B}^2
 
−
\end{matrix}</math>
 
−
|}
 
−
 
 
−
Each point in <math>X</math> may be indicated by means of a ''singular proposition'', that is, a proposition that describes it uniquely.  This form of representation leads to the following enumeration of points:
 
−
 
 
−
{| align="center" cellpadding="6"
 
−
|
 
−
<math>\begin{array}{*{11}{c}}
 
−
X
 
−
& = & \{ \quad \texttt{(} u \texttt{)(} v \texttt{)}
 
−
& , & \texttt{(} u \texttt{)} ~ v
 
−
& , & u ~ \texttt{(} v \texttt{)}
 
−
& , & u ~ v \quad \}
 
−
& \cong & \mathbb{B}^2
 
−
\end{array}</math>
 
−
|}
 
−
 
 
−
Each point in <math>X</math> may also be described by means of its ''coordinates'', that is, by the ordered pair of values in <math>\mathbb{B}</math> that the coordinate propositions <math>u</math> and <math>v</math> take on that point.  This form of representation leads to the following enumeration of points:
 
−
 
 
−
{| align="center" cellpadding="6"
 
−
|
 
−
<math>\begin{array}{*{11}{c}}
 
−
X
 
−
& = & \{ \quad (0, 0)
 
−
& , & (0, 1)
 
−
& , & (1, 0)
 
−
& , & (1, 1) \quad \}
 
−
& \cong & \mathbb{B}^2
 
−
\end{array}</math>
 
−
|}
 
−
 
 
−
The propositions of <math>X^\circ</math> form a space notated as follows:
 
−
 
 
−
{| align="center" cellpadding="6"
 
−
|
 
−
<math>\begin{array}{*{7}{c}}
 
−
X^\uparrow
 
−
& = & (X \to \mathbb{B})
 
−
& = & \{ f : X \to \mathbb{B} \}
 
−
& \cong & (\mathbb{B}^2 \to \mathbb{B})
 
−
\end{array}</math>
 
−
|}
 
−
 
 
−
As always, it is convenient to overlook the finer marks of distinction between isomorphic structures, so long as one is aware of their presence and knows when it is critical to call on them again.
 
−
 
 
−
The next higher order universe of discourse that is built on <math>X^\circ</math> is <math>X^{\circ 2} = [X^\circ] = [[u, v]],</math> which may be developed in the following way.  The propositions of <math>X^\circ</math> become the points of <math>X^{\circ 2}</math>, and the mappings of the type <math>m : (X \to \mathbb{B}) \to \mathbb{B}</math> become the propositions of <math>X^{\circ 2}.</math>  In addition, it is convenient to equip the discussion with a selected set of higher order operators on propositions, all of which have the form <math>w : (\mathbb{B}^2 \to \mathbb{B})^k \to \mathbb{B}.</math>
 
−
 
 
−
To save a few words in the remainder of this discussion, let us use the terms ''measure'' and ''qualifier'' to refer to all types of higher order propositions and operators.  To describe the present setting in picturesque terms, the propositions of <math>[u, v]</math> may be regarded as a gallery of sixteen venn diagrams, while the measures <math>m : (X \to \mathbb{B}) \to \mathbb{B}</math> are analogous to a body of judges or a panel of critical viewers, each of whom evaluates each of the pictures as a whole and reports the ones that find favor or not.  In this way, each judge <math>m_j</math> partitions the gallery of pictures into two aesthetic portions, the pictures <math>m_j^{-1}(0)</math> that <math>m_j</math> dislikes and the pictures <math>m_j^{-1}(1)</math> that <math>m_j</math> likes.
 
−
 
 
−
There are <math>2^{16} = 65536</math> measures of the form <math>m : (\mathbb{B}^2 \to \mathbb{B}) \to \mathbb{B}.</math>  Table&nbsp;3 shows the first 24 of these measures in the same style of higher order truth table used above.  The column headed <math>m_j</math> shows the values of the measure <math>m_j</math> on each of the propositions <math>f_i : \mathbb{B}^2 \to \mathbb{B}</math> for <math>i</math> = 0 to 15, with blank entries in the Table being optional for values of zero.  Let us refer to the arrangement of measures that continues according to this plan as their ''standard ordering''.  In this scheme of things, the index <math>j</math> of the measure <math>m_j</math> is the decimal equivalent of the bit string in the corresponding column of the Table, reading the binary digits in order from bottom to top.
 
−
 
 
−
<br>
 
−
 
 
−
<table align="center" cellpadding="1" cellspacing="0" style="background:white; color:black; text-align:center; width:90%">
 
−
 
 
−
<caption><font size="+2"><math>\text{Table 3.} ~~ \text{Higher Order Propositions} ~ (n = 2)</math></font></caption>
 
−
 
 
−
<tr>
 
−
<td style="border-bottom:2px solid black" align="right"><math>\begin{matrix}u\!:\\v\!:\end{matrix}</math></td>
 
−
<td style="border-bottom:2px solid black">
 
−
<math>\begin{matrix}1100\\1010\end{matrix}</math></td>
 
−
<td style="border-bottom:2px solid black; border-right:2px solid black"><math>f</math></td>
 
−
<td style="border-bottom:2px solid black"><math>\underset{0}{m}</math></td>
 
−
<td style="border-bottom:2px solid black"><math>\underset{1}{m}</math></td>
 
−
<td style="border-bottom:2px solid black"><math>\underset{2}{m}</math></td>
 
−
<td style="border-bottom:2px solid black"><math>\underset{3}{m}</math></td>
 
−
<td style="border-bottom:2px solid black"><math>\underset{4}{m}</math></td>
 
−
<td style="border-bottom:2px solid black"><math>\underset{5}{m}</math></td>
 
−
<td style="border-bottom:2px solid black"><math>\underset{6}{m}</math></td>
 
−
<td style="border-bottom:2px solid black"><math>\underset{7}{m}</math></td>
 
−
<td style="border-bottom:2px solid black"><math>\underset{8}{m}</math></td>
 
−
<td style="border-bottom:2px solid black"><math>\underset{9}{m}</math></td>
 
−
<td style="border-bottom:2px solid black"><math>\underset{10}{m}</math></td>
 
−
<td style="border-bottom:2px solid black"><math>\underset{11}{m}</math></td>
 
−
<td style="border-bottom:2px solid black"><math>\underset{12}{m}</math></td>
 
−
<td style="border-bottom:2px solid black"><math>\underset{13}{m}</math></td>
 
−
<td style="border-bottom:2px solid black"><math>\underset{14}{m}</math></td>
 
−
<td style="border-bottom:2px solid black"><math>\underset{15}{m}</math></td>
 
−
<td style="border-bottom:2px solid black"><math>\underset{16}{m}</math></td>
 
−
<td style="border-bottom:2px solid black"><math>\underset{17}{m}</math></td>
 
−
<td style="border-bottom:2px solid black"><math>\underset{18}{m}</math></td>
 
−
<td style="border-bottom:2px solid black"><math>\underset{19}{m}</math></td>
 
−
<td style="border-bottom:2px solid black"><math>\underset{20}{m}</math></td>
 
−
<td style="border-bottom:2px solid black"><math>\underset{21}{m}</math></td>
 
−
<td style="border-bottom:2px solid black"><math>\underset{22}{m}</math></td>
 
−
<td style="border-bottom:2px solid black"><math>\underset{23}{m}</math></td>
 
−
</tr>
 
  
 
<tr>
 
<tr>
Line 406: Line 167:
 
<td><math>0000</math></td>
 
<td><math>0000</math></td>
 
<td style="border-right:2px solid black"><math>\texttt{(~)}</math></td>
 
<td style="border-right:2px solid black"><math>\texttt{(~)}</math></td>
−
<td>0</td>
 
 
<td style="background:black; color:white">1</td>
 
<td style="background:black; color:white">1</td>
−
<td>0</td>
 
 
<td style="background:black; color:white">1</td>
 
<td style="background:black; color:white">1</td>
−
<td>0</td>
 
 
<td style="background:black; color:white">1</td>
 
<td style="background:black; color:white">1</td>
−
<td>0</td>
 
 
<td style="background:black; color:white">1</td>
 
<td style="background:black; color:white">1</td>
−
<td>0</td>
+
<td style="background:white; color:black">0</td>
−
<td style="background:black; color:white">1</td>
+
<td style="background:white; color:black">0</td>
−
<td>0</td>
+
<td style="background:white; color:black">0</td>
−
<td style="background:black; color:white">1</td>
+
<td style="background:white; color:black">0</td></tr>
−
<td>0</td>
 
−
<td style="background:black; color:white">1</td>
 
−
<td>0</td>
 
−
<td style="background:black; color:white">1</td>
 
−
<td>0</td>
 
−
<td style="background:black; color:white">1</td>
 
−
<td>0</td>
 
−
<td style="background:black; color:white">1</td>
 
−
<td>0</td>
 
−
<td style="background:black; color:white">1</td>
 
−
<td>0</td>
 
−
<td style="background:black; color:white">1</td></tr>
 
  
 
<tr>
 
<tr>
Line 435: Line 180:
 
<td><math>0001</math></td>
 
<td><math>0001</math></td>
 
<td style="border-right:2px solid black"><math>\texttt{(} u \texttt{)(} v \texttt{)}</math></td>
 
<td style="border-right:2px solid black"><math>\texttt{(} u \texttt{)(} v \texttt{)}</math></td>
−
<td>0</td><td>0</td>
 
 
<td style="background:black; color:white">1</td>
 
<td style="background:black; color:white">1</td>
 
<td style="background:black; color:white">1</td>
 
<td style="background:black; color:white">1</td>
−
<td>0</td><td>0</td>
 
 
<td style="background:black; color:white">1</td>
 
<td style="background:black; color:white">1</td>
 +
<td style="background:white; color:black">0</td>
 
<td style="background:black; color:white">1</td>
 
<td style="background:black; color:white">1</td>
−
<td>0</td><td>0</td>
+
<td style="background:white; color:black">0</td>
−
<td style="background:black; color:white">1</td>
+
<td style="background:white; color:black">0</td>
−
<td style="background:black; color:white">1</td>
+
<td style="background:white; color:black">0</td></tr>
−
<td>0</td><td>0</td>
 
−
<td style="background:black; color:white">1</td>
 
−
<td style="background:black; color:white">1</td>
 
−
<td>0</td><td>0</td>
 
−
<td style="background:black; color:white">1</td>
 
−
<td style="background:black; color:white">1</td>
 
−
<td>0</td><td>0</td>
 
−
<td style="background:black; color:white">1</td>
 
−
<td style="background:black; color:white">1</td></tr>
 
  
 
<tr>
 
<tr>
Line 458: Line 193:
 
<td><math>0010</math></td>
 
<td><math>0010</math></td>
 
<td style="border-right:2px solid black"><math>\texttt{(} u\texttt{)} ~ v</math></td>
 
<td style="border-right:2px solid black"><math>\texttt{(} u\texttt{)} ~ v</math></td>
−
<td>0</td><td>0</td><td>0</td><td>0</td>
 
 
<td style="background:black; color:white">1</td>
 
<td style="background:black; color:white">1</td>
 
<td style="background:black; color:white">1</td>
 
<td style="background:black; color:white">1</td>
 +
<td style="background:white; color:black">0</td>
 
<td style="background:black; color:white">1</td>
 
<td style="background:black; color:white">1</td>
 +
<td style="background:white; color:black">0</td>
 
<td style="background:black; color:white">1</td>
 
<td style="background:black; color:white">1</td>
−
<td>0</td><td>0</td><td>0</td><td>0</td>
+
<td style="background:white; color:black">0</td>
−
<td style="background:black; color:white">1</td>
+
<td style="background:white; color:black">0</td></tr>
−
<td style="background:black; color:white">1</td>
 
−
<td style="background:black; color:white">1</td>
 
−
<td style="background:black; color:white">1</td>
 
−
<td>0</td><td>0</td><td>0</td><td>0</td>
 
−
<td style="background:black; color:white">1</td>
 
−
<td style="background:black; color:white">1</td>
 
−
<td style="background:black; color:white">1</td>
 
−
<td style="background:black; color:white">1</td></tr>
 
  
 
<tr>
 
<tr>
Line 478: Line 206:
 
<td><math>0011</math></td>
 
<td><math>0011</math></td>
 
<td style="border-right:2px solid black"><math>\texttt{(} u \texttt{)}</math></td>
 
<td style="border-right:2px solid black"><math>\texttt{(} u \texttt{)}</math></td>
−
<td>0</td><td>0</td><td>0</td><td>0</td>
 
−
<td>0</td><td>0</td><td>0</td><td>0</td>
 
 
<td style="background:black; color:white">1</td>
 
<td style="background:black; color:white">1</td>
 
<td style="background:black; color:white">1</td>
 
<td style="background:black; color:white">1</td>
 +
<td style="background:white; color:black">0</td>
 +
<td style="background:white; color:black">0</td>
 
<td style="background:black; color:white">1</td>
 
<td style="background:black; color:white">1</td>
 
<td style="background:black; color:white">1</td>
 
<td style="background:black; color:white">1</td>
−
<td style="background:black; color:white">1</td>
+
<td style="background:white; color:black">0</td>
−
<td style="background:black; color:white">1</td>
+
<td style="background:white; color:black">0</td></tr>
−
<td style="background:black; color:white">1</td>
 
−
<td style="background:black; color:white">1</td>
 
−
<td>0</td><td>0</td><td>0</td><td>0</td>
 
−
<td>0</td><td>0</td><td>0</td><td>0</td></tr>
 
  
 
<tr>
 
<tr>
Line 495: Line 219:
 
<td><math>0100</math></td>
 
<td><math>0100</math></td>
 
<td style="border-right:2px solid black"><math>u ~ \texttt{(} v \texttt{)}</math></td>
 
<td style="border-right:2px solid black"><math>u ~ \texttt{(} v \texttt{)}</math></td>
−
<td>0</td><td>0</td><td>0</td><td>0</td>
 
−
<td>0</td><td>0</td><td>0</td><td>0</td>
 
−
<td>0</td><td>0</td><td>0</td><td>0</td>
 
−
<td>0</td><td>0</td><td>0</td><td>0</td>
 
−
<td style="background:black; color:white">1</td>
 
−
<td style="background:black; color:white">1</td>
 
−
<td style="background:black; color:white">1</td>
 
−
<td style="background:black; color:white">1</td>
 
−
<td style="background:black; color:white">1</td>
 
−
<td style="background:black; color:white">1</td>
 
 
<td style="background:black; color:white">1</td>
 
<td style="background:black; color:white">1</td>
−
<td style="background:black; color:white">1</td></tr>
 
−
 
−
<tr>
 
−
<td><math>f_{5}</math></td>
 
−
<td><math>0101</math></td>
 
−
<td style="border-right:2px solid black"><math>\texttt{(} v \texttt{)}</math></td>
 
−
<td>0</td><td>0</td><td>0</td><td>0</td>
 
−
<td>0</td><td>0</td><td>0</td><td>0</td>
 
−
<td>0</td><td>0</td><td>0</td><td>0</td>
 
−
<td>0</td><td>0</td><td>0</td><td>0</td>
 
−
<td>0</td><td>0</td><td>0</td><td>0</td>
 
−
<td>0</td><td>0</td><td>0</td><td>0</td></tr>
 
−
 
−
<tr>
 
−
<td><math>f_{6}</math></td>
 
−
<td><math>0110</math></td>
 
−
<td style="border-right:2px solid black"><math>\texttt{(} u \texttt{,} v \texttt{)}</math></td>
 
−
<td>0</td><td>0</td><td>0</td><td>0</td>
 
−
<td>0</td><td>0</td><td>0</td><td>0</td>
 
−
<td>0</td><td>0</td><td>0</td><td>0</td>
 
−
<td>0</td><td>0</td><td>0</td><td>0</td>
 
−
<td>0</td><td>0</td><td>0</td><td>0</td>
 
−
<td>0</td><td>0</td><td>0</td><td>0</td></tr>
 
−
 
−
<tr>
 
−
<td><math>f_{7}</math></td>
 
−
<td><math>0111</math></td>
 
−
<td style="border-right:2px solid black"><math>\texttt{(} u ~ v \texttt{)}</math></td>
 
−
<td>0</td><td>0</td><td>0</td><td>0</td>
 
−
<td>0</td><td>0</td><td>0</td><td>0</td>
 
−
<td>0</td><td>0</td><td>0</td><td>0</td>
 
−
<td>0</td><td>0</td><td>0</td><td>0</td>
 
−
<td>0</td><td>0</td><td>0</td><td>0</td>
 
−
<td>0</td><td>0</td><td>0</td><td>0</td></tr>
 
−
 
−
<tr>
 
−
<td><math>f_{8}</math></td>
 
−
<td><math>1000</math></td>
 
−
<td style="border-right:2px solid black"><math>u ~ v</math></td>
 
−
<td>0</td><td>0</td><td>0</td><td>0</td>
 
−
<td>0</td><td>0</td><td>0</td><td>0</td>
 
−
<td>0</td><td>0</td><td>0</td><td>0</td>
 
−
<td>0</td><td>0</td><td>0</td><td>0</td>
 
−
<td>0</td><td>0</td><td>0</td><td>0</td>
 
−
<td>0</td><td>0</td><td>0</td><td>0</td></tr>
 
−
 
−
<tr>
 
−
<td><math>f_{9}</math></td>
 
−
<td><math>1001</math></td>
 
−
<td style="border-right:2px solid black"><math>\texttt{((} u \texttt{,} v \texttt{))}</math></td>
 
−
<td>0</td><td>0</td><td>0</td><td>0</td>
 
−
<td>0</td><td>0</td><td>0</td><td>0</td>
 
−
<td>0</td><td>0</td><td>0</td><td>0</td>
 
−
<td>0</td><td>0</td><td>0</td><td>0</td>
 
−
<td>0</td><td>0</td><td>0</td><td>0</td>
 
−
<td>0</td><td>0</td><td>0</td><td>0</td></tr>
 
−
 
−
<tr>
 
−
<td><math>f_{10}</math></td>
 
−
<td><math>1010</math></td>
 
−
<td style="border-right:2px solid black"><math>v</math></td>
 
−
<td>0</td><td>0</td><td>0</td><td>0</td>
 
−
<td>0</td><td>0</td><td>0</td><td>0</td>
 
−
<td>0</td><td>0</td><td>0</td><td>0</td>
 
−
<td>0</td><td>0</td><td>0</td><td>0</td>
 
−
<td>0</td><td>0</td><td>0</td><td>0</td>
 
−
<td>0</td><td>0</td><td>0</td><td>0</td></tr>
 
−
 
−
<tr>
 
−
<td><math>f_{11}</math></td>
 
−
<td><math>1011</math></td>
 
−
<td style="border-right:2px solid black"><math>\texttt{(} u ~ \texttt{(} v \texttt{))}</math></td>
 
−
<td>0</td><td>0</td><td>0</td><td>0</td>
 
−
<td>0</td><td>0</td><td>0</td><td>0</td>
 
−
<td>0</td><td>0</td><td>0</td><td>0</td>
 
−
<td>0</td><td>0</td><td>0</td><td>0</td>
 
−
<td>0</td><td>0</td><td>0</td><td>0</td>
 
−
<td>0</td><td>0</td><td>0</td><td>0</td></tr>
 
−
 
−
<tr>
 
−
<td><math>f_{12}</math></td>
 
−
<td><math>1100</math></td>
 
−
<td style="border-right:2px solid black"><math>u</math></td>
 
−
<td>0</td><td>0</td><td>0</td><td>0</td>
 
−
<td>0</td><td>0</td><td>0</td><td>0</td>
 
−
<td>0</td><td>0</td><td>0</td><td>0</td>
 
−
<td>0</td><td>0</td><td>0</td><td>0</td>
 
−
<td>0</td><td>0</td><td>0</td><td>0</td>
 
−
<td>0</td><td>0</td><td>0</td><td>0</td></tr>
 
−
 
−
<tr>
 
−
<td><math>f_{13}</math></td>
 
−
<td><math>1101</math></td>
 
−
<td style="border-right:2px solid black"><math>\texttt{((} u \texttt{)} ~ v \texttt{)}</math></td>
 
−
<td>0</td><td>0</td><td>0</td><td>0</td>
 
−
<td>0</td><td>0</td><td>0</td><td>0</td>
 
−
<td>0</td><td>0</td><td>0</td><td>0</td>
 
−
<td>0</td><td>0</td><td>0</td><td>0</td>
 
−
<td>0</td><td>0</td><td>0</td><td>0</td>
 
−
<td>0</td><td>0</td><td>0</td><td>0</td></tr>
 
−
 
−
<tr>
 
−
<td><math>f_{14}</math></td>
 
−
<td><math>1110</math></td>
 
−
<td style="border-right:2px solid black"><math>\texttt{((} u \texttt{)(} v \texttt{))}</math></td>
 
−
<td>0</td><td>0</td><td>0</td><td>0</td>
 
−
<td>0</td><td>0</td><td>0</td><td>0</td>
 
−
<td>0</td><td>0</td><td>0</td><td>0</td>
 
−
<td>0</td><td>0</td><td>0</td><td>0</td>
 
−
<td>0</td><td>0</td><td>0</td><td>0</td>
 
−
<td>0</td><td>0</td><td>0</td><td>0</td></tr>
 
−
 
−
<tr>
 
−
<td><math>f_{15}</math></td>
 
−
<td><math>1111</math></td>
 
−
<td style="border-right:2px solid black"><math>\texttt{((~))}</math></td>
 
−
<td>0</td><td>0</td><td>0</td><td>0</td>
 
−
<td>0</td><td>0</td><td>0</td><td>0</td>
 
−
<td>0</td><td>0</td><td>0</td><td>0</td>
 
−
<td>0</td><td>0</td><td>0</td><td>0</td>
 
−
<td>0</td><td>0</td><td>0</td><td>0</td>
 
−
<td>0</td><td>0</td><td>0</td><td>0</td></tr>
 
−
 
−
</table>
 
−
 
−
<br>
 
−
 
−
==Umpire Operators==
 
−
 
−
We now examine measures at the high end of the standard ordering.  Instrumental to this purpose we define a couple of higher order operators, <math>\Upsilon : (\lang u, v \rang \to \mathbb{B})^2 \to \mathbb{B}</math> and <math>\Upsilon_1 : (\lang u, v \rang \to \mathbb{B}) \to \mathbb{B},</math> referred to as the relative and absolute ''umpire operators'', respectively.  If either of these operators is defined in terms of more primitive notions then the remaining operator can be defined in terms of the one first established.
 
−
 
−
Given an ordered pair of propositions <math>e, f : \lang u, v \rang \to \mathbb{B}</math> as arguments, the relative umpire operator reports the value <math>1</math> if the first implies the second, otherwise it reports the value <math>0.</math>
 
−
 
−
{| align="center" cellpadding="6"
 
−
| <math>\Upsilon (e, f) = 1 \qquad \operatorname{if~and~only~if} \qquad e \Rightarrow f</math>
 
−
|}
 
−
 
−
Expressing it another way:
 
−
 
−
{| align="center" cellpadding="6"
 
−
| <math>\Upsilon (e, f) = 1 \qquad \iff \qquad \texttt{(} e \texttt{(} f \texttt{))} = 1</math>
 
−
|}
 
−
 
−
In writing this, however, it is important to notice that the <math>1</math> appearing on the left side and the <math>1</math> appearing on the right side of the logical equivalence have different meanings.  Filling in the details, we have:
 
−
 
−
{| align="center" cellpadding="6"
 
−
|
 
−
<math>
 
−
\Upsilon (e, f) = 1 \in \mathbb{B}
 
−
\qquad \iff \qquad
 
−
\texttt{(} e \texttt{(} f \texttt{))} = 1 : \lang u, v \rang \to \mathbb{B}
 
−
</math>
 
−
|}
 
−
 
−
Writing types as subscripts and using the fact that <math>X = \lang u, v \rang,</math> it is possible to express this a little more succinctly as follows:
 
−
 
−
{| align="center" cellpadding="6"
 
−
|
 
−
<math>
 
−
\Upsilon (e, f) = 1_\mathbb{B}
 
−
\qquad \iff \qquad
 
−
\texttt{(} e \texttt{(} f \texttt{))} = 1_{X \to \mathbb{B}}
 
−
</math>
 
−
|}
 
−
 
−
Finally, it is often convenient to write the first argument as a subscript, hence <math>\Upsilon_e (f) = \Upsilon (e, f).</math>
 
−
 
−
As a special application of the relative umpire operator, we next define the absolute umpire operator, also known as the ''umpire measure''.  In the present setting this is a higher order proposition <math>\Upsilon_1 : (\mathbb{B}^2 \to \mathbb{B}) \to \mathbb{B}</math> that is defined by the equation <math>\Upsilon_1 (f) = \Upsilon (1, f).</math>  Here, the subscript <math>1</math> on the left and the argument <math>1</math> on the right both refer to the constant proposition <math>1 : \mathbb{B}^2 \to \mathbb{B}.</math>  In most contexts where <math>\Upsilon_1</math> is actually applied the subscript <math>1</math> is safely omitted, since the number of arguments indicates which type of operator is intended.  Thus, we have the following identities and equivalents:
 
−
 
−
{| align="center" cellpadding="6"
 
−
|
 
−
<math>
 
−
\Upsilon f = \Upsilon_1 (f) = 1_\mathbb{B}
 
−
\qquad \iff \qquad
 
−
\texttt{(} 1 \texttt{(} f \texttt{))} = \mathbf{1}
 
−
\qquad \iff \qquad
 
−
f = 1_{\mathbb{B}^2 \to \mathbb{B}}
 
−
</math>
 
−
|}
 
−
 
−
The umpire measure is defined at the level of [[boolean functions]], but can also be understood in terms of its implied judgments at the syntactic level.  Interpreted this way, <math>\Upsilon_1</math> recognizes theorems of the propositional calculus over <math>[u, v],</math> giving a score of <math>1</math> to tautologies and a score of <math>0</math> to everything else, regarding all contingent statements as no better than falsehoods.
 
−
 
−
One remark in passing for those who might prefer an alternative definition.  If we had originally taken <math>\Upsilon</math> to mean the absolute measure, then the relative version could have been defined as <math>\Upsilon_e f = \Upsilon \texttt{(} e \texttt{(} f \texttt{))}.</math>
 
−
 
−
==Measure for Measure==
 
−
 
−
Define two families of measures:
 
−
 
−
{| align="center" cellpadding="6"
 
−
| <math>\alpha_i, \beta_i : (\mathbb{B}^2 \to \mathbb{B}) \to \mathbb{B}, ~ i = 0 ~ \text{to} ~ 15,</math>
 
−
|}
 
−
 
−
by means of the following equations:
 
−
 
−
{| align="center" cellpadding="6"
 
−
|
 
−
<math>\begin{matrix}
 
−
\alpha_i f
 
−
& = &
 
−
\Upsilon (f_i, f)
 
−
& = &
 
−
\Upsilon (f_i \Rightarrow f),
 
−
\\[6pt]
 
−
\beta_i f
 
−
& = &
 
−
\Upsilon (f, f_i)
 
−
& = &
 
−
\Upsilon (f \Rightarrow f_i).
 
−
\end{matrix}</math>
 
−
|}
 
−
 
−
The values of the sixteen <math>\alpha_i</math> on each of the sixteen boolean functions <math>f : \mathbb{B}^2 \to \mathbb{B}</math> are shown in Table&nbsp;4.  Expressed in terms of the implication ordering on the sixteen functions, <math>\alpha_i f = 1</math> says that <math>f</math> is ''above or identical to'' <math>f_i</math> in the implication lattice, that is, <math>\ge f_i</math> in the implication ordering.
 
−
 
−
<table align="center" cellpadding="1" cellspacing="0" style="text-align:center; width:90%">
 
−
 
−
<br>
 
−
 
−
<caption><font size="+2"><math>\text{Table 4.} ~~ \text{Qualifiers of the Implication Ordering:} ~ \alpha_{i} f = \Upsilon (f_{i}, f) = \Upsilon (f_{i} \Rightarrow f)</math></font></caption>
 
−
 
−
<tr>
 
−
<td style="border-bottom:2px solid black" align="right">
 
−
<math>\begin{matrix}u\!:\\v\!:\end{matrix}</math></td>
 
−
<td style="border-bottom:2px solid black">
 
−
<math>\begin{matrix}1100\\1010\end{matrix}</math></td>
 
−
<td style="border-bottom:2px solid black; border-right:2px solid black"><math>f</math></td>
 
−
<td style="border-bottom:2px solid black"><math>\alpha_{15}</math></td>
 
−
<td style="border-bottom:2px solid black"><math>\alpha_{14}</math></td>
 
−
<td style="border-bottom:2px solid black"><math>\alpha_{13}</math></td>
 
−
<td style="border-bottom:2px solid black"><math>\alpha_{12}</math></td>
 
−
<td style="border-bottom:2px solid black"><math>\alpha_{11}</math></td>
 
−
<td style="border-bottom:2px solid black"><math>\alpha_{10}</math></td>
 
−
<td style="border-bottom:2px solid black"><math>\alpha_{9}</math></td>
 
−
<td style="border-bottom:2px solid black"><math>\alpha_{8}</math></td>
 
−
<td style="border-bottom:2px solid black"><math>\alpha_{7}</math></td>
 
−
<td style="border-bottom:2px solid black"><math>\alpha_{6}</math></td>
 
−
<td style="border-bottom:2px solid black"><math>\alpha_{5}</math></td>
 
−
<td style="border-bottom:2px solid black"><math>\alpha_{4}</math></td>
 
−
<td style="border-bottom:2px solid black"><math>\alpha_{3}</math></td>
 
−
<td style="border-bottom:2px solid black"><math>\alpha_{2}</math></td>
 
−
<td style="border-bottom:2px solid black"><math>\alpha_{1}</math></td>
 
−
<td style="border-bottom:2px solid black"><math>\alpha_{0}</math></td></tr>
 
−
 
−
<tr>
 
−
<td><math>f_{0}</math></td>
 
−
<td><math>0000</math></td>
 
−
<td style="border-right:2px solid black"><math>\texttt{(~)}</math></td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:black; color:white">1</td></tr>
 
−
 
−
<tr>
 
−
<td><math>f_{1}</math></td>
 
−
<td><math>0001</math></td>
 
−
<td style="border-right:2px solid black"><math>\texttt{(} u \texttt{)(} v \texttt{)}</math></td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:black; color:white">1</td>
 
−
<td style="background:black; color:white">1</td></tr>
 
−
 
−
<tr>
 
−
<td><math>f_{2}</math></td>
 
−
<td><math>0010</math></td>
 
−
<td style="border-right:2px solid black"><math>\texttt{(} u\texttt{)} ~ v</math></td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:black; color:white">1</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:black; color:white">1</td></tr>
 
−
 
−
<tr>
 
−
<td><math>f_{3}</math></td>
 
−
<td><math>0011</math></td>
 
−
<td style="border-right:2px solid black"><math>\texttt{(} u \texttt{)}</math></td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
 
<td style="background:white; color:black">0</td>
 
<td style="background:white; color:black">0</td>
 
<td style="background:black; color:white">1</td>
 
<td style="background:black; color:white">1</td>
 
<td style="background:black; color:white">1</td>
 
<td style="background:black; color:white">1</td>
−
<td style="background:black; color:white">1</td>
 
−
<td style="background:black; color:white">1</td></tr>
 
−
 
−
<tr>
 
−
<td><math>f_{4}</math></td>
 
−
<td><math>0100</math></td>
 
−
<td style="border-right:2px solid black"><math>u ~ \texttt{(} v \texttt{)}</math></td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
 
<td style="background:white; color:black">0</td>
 
<td style="background:white; color:black">0</td>
 
<td style="background:white; color:black">0</td>
 
<td style="background:white; color:black">0</td>
 
<td style="background:black; color:white">1</td>
 
<td style="background:black; color:white">1</td>
−
<td style="background:white; color:black">0</td>
+
<td style="background:white; color:black">0</td></tr>
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:black; color:white">1</td></tr>
 
  
 
<tr>
 
<tr>
Line 857: Line 232:
 
<td><math>0101</math></td>
 
<td><math>0101</math></td>
 
<td style="border-right:2px solid black"><math>\texttt{(} v \texttt{)}</math></td>
 
<td style="border-right:2px solid black"><math>\texttt{(} v \texttt{)}</math></td>
 +
<td style="background:black; color:white">1</td>
 
<td style="background:white; color:black">0</td>
 
<td style="background:white; color:black">0</td>
 +
<td style="background:black; color:white">1</td>
 
<td style="background:white; color:black">0</td>
 
<td style="background:white; color:black">0</td>
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:black; color:white">1</td>
 
 
<td style="background:black; color:white">1</td>
 
<td style="background:black; color:white">1</td>
−
<td style="background:white; color:black">0</td>
 
 
<td style="background:white; color:black">0</td>
 
<td style="background:white; color:black">0</td>
 
<td style="background:black; color:white">1</td>
 
<td style="background:black; color:white">1</td>
−
<td style="background:black; color:white">1</td></tr>
+
<td style="background:white; color:black">0</td></tr>
  
 
<tr>
 
<tr>
Line 878: Line 245:
 
<td><math>0110</math></td>
 
<td><math>0110</math></td>
 
<td style="border-right:2px solid black"><math>\texttt{(} u \texttt{,} v \texttt{)}</math></td>
 
<td style="border-right:2px solid black"><math>\texttt{(} u \texttt{,} v \texttt{)}</math></td>
−
<td style="background:white; color:black">0</td>
+
<td style="background:black; color:white">1</td>
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
 
<td style="background:white; color:black">0</td>
 
<td style="background:white; color:black">0</td>
 
<td style="background:white; color:black">0</td>
 
<td style="background:white; color:black">0</td>
Line 890: Line 251:
 
<td style="background:white; color:black">0</td>
 
<td style="background:white; color:black">0</td>
 
<td style="background:black; color:white">1</td>
 
<td style="background:black; color:white">1</td>
−
<td style="background:white; color:black">0</td>
 
 
<td style="background:black; color:white">1</td>
 
<td style="background:black; color:white">1</td>
−
<td style="background:white; color:black">0</td>
+
<td style="background:white; color:black">0</td></tr>
−
<td style="background:black; color:white">1</td></tr>
 
  
 
<tr>
 
<tr>
Line 899: Line 258:
 
<td><math>0111</math></td>
 
<td><math>0111</math></td>
 
<td style="border-right:2px solid black"><math>\texttt{(} u ~ v \texttt{)}</math></td>
 
<td style="border-right:2px solid black"><math>\texttt{(} u ~ v \texttt{)}</math></td>
 +
<td style="background:black; color:white">1</td>
 
<td style="background:white; color:black">0</td>
 
<td style="background:white; color:black">0</td>
 
<td style="background:white; color:black">0</td>
 
<td style="background:white; color:black">0</td>
 
<td style="background:white; color:black">0</td>
 
<td style="background:white; color:black">0</td>
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:black; color:white">1</td>
 
−
<td style="background:black; color:white">1</td>
 
 
<td style="background:black; color:white">1</td>
 
<td style="background:black; color:white">1</td>
 
<td style="background:black; color:white">1</td>
 
<td style="background:black; color:white">1</td>
 
<td style="background:black; color:white">1</td>
 
<td style="background:black; color:white">1</td>
−
<td style="background:black; color:white">1</td>
+
<td style="background:white; color:black">0</td></tr>
−
<td style="background:black; color:white">1</td>
 
−
<td style="background:black; color:white">1</td></tr>
 
  
 
<tr>
 
<tr>
Line 921: Line 272:
 
<td style="border-right:2px solid black"><math>u ~ v</math></td>
 
<td style="border-right:2px solid black"><math>u ~ v</math></td>
 
<td style="background:white; color:black">0</td>
 
<td style="background:white; color:black">0</td>
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
 
<td style="background:black; color:white">1</td>
 
<td style="background:black; color:white">1</td>
−
<td style="background:white; color:black">0</td>
+
<td style="background:black; color:white">1</td>
−
<td style="background:white; color:black">0</td>
+
<td style="background:black; color:white">1</td>
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
 
<td style="background:white; color:black">0</td>
 
<td style="background:white; color:black">0</td>
 
<td style="background:white; color:black">0</td>
 
<td style="background:white; color:black">0</td>
Line 941: Line 284:
 
<td><math>1001</math></td>
 
<td><math>1001</math></td>
 
<td style="border-right:2px solid black"><math>\texttt{((} u \texttt{,} v \texttt{))}</math></td>
 
<td style="border-right:2px solid black"><math>\texttt{((} u \texttt{,} v \texttt{))}</math></td>
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
 
<td style="background:white; color:black">0</td>
 
<td style="background:white; color:black">0</td>
 
<td style="background:black; color:white">1</td>
 
<td style="background:black; color:white">1</td>
 
<td style="background:black; color:white">1</td>
 
<td style="background:black; color:white">1</td>
 
<td style="background:white; color:black">0</td>
 
<td style="background:white; color:black">0</td>
 +
<td style="background:black; color:white">1</td>
 
<td style="background:white; color:black">0</td>
 
<td style="background:white; color:black">0</td>
 
<td style="background:white; color:black">0</td>
 
<td style="background:white; color:black">0</td>
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:black; color:white">1</td>
 
 
<td style="background:black; color:white">1</td></tr>
 
<td style="background:black; color:white">1</td></tr>
  
Line 962: Line 297:
 
<td><math>1010</math></td>
 
<td><math>1010</math></td>
 
<td style="border-right:2px solid black"><math>v</math></td>
 
<td style="border-right:2px solid black"><math>v</math></td>
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
 
<td style="background:white; color:black">0</td>
 
<td style="background:white; color:black">0</td>
 
<td style="background:black; color:white">1</td>
 
<td style="background:black; color:white">1</td>
 
<td style="background:white; color:black">0</td>
 
<td style="background:white; color:black">0</td>
 
<td style="background:black; color:white">1</td>
 
<td style="background:black; color:white">1</td>
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
 
<td style="background:white; color:black">0</td>
 
<td style="background:white; color:black">0</td>
 
<td style="background:black; color:white">1</td>
 
<td style="background:black; color:white">1</td>
Line 984: Line 311:
 
<td style="border-right:2px solid black"><math>\texttt{(} u ~ \texttt{(} v \texttt{))}</math></td>
 
<td style="border-right:2px solid black"><math>\texttt{(} u ~ \texttt{(} v \texttt{))}</math></td>
 
<td style="background:white; color:black">0</td>
 
<td style="background:white; color:black">0</td>
−
<td style="background:white; color:black">0</td>
+
<td style="background:black; color:white">1</td>
 
<td style="background:white; color:black">0</td>
 
<td style="background:white; color:black">0</td>
 
<td style="background:white; color:black">0</td>
 
<td style="background:white; color:black">0</td>
 
<td style="background:black; color:white">1</td>
 
<td style="background:black; color:white">1</td>
 
<td style="background:black; color:white">1</td>
 
<td style="background:black; color:white">1</td>
−
<td style="background:black; color:white">1</td>
 
−
<td style="background:black; color:white">1</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
 
<td style="background:white; color:black">0</td>
 
<td style="background:white; color:black">0</td>
−
<td style="background:black; color:white">1</td>
 
−
<td style="background:black; color:white">1</td>
 
−
<td style="background:black; color:white">1</td>
 
 
<td style="background:black; color:white">1</td></tr>
 
<td style="background:black; color:white">1</td></tr>
  
Line 1,004: Line 323:
 
<td><math>1100</math></td>
 
<td><math>1100</math></td>
 
<td style="border-right:2px solid black"><math>u</math></td>
 
<td style="border-right:2px solid black"><math>u</math></td>
−
<td style="background:white; color:black">0</td>
 
 
<td style="background:white; color:black">0</td>
 
<td style="background:white; color:black">0</td>
 
<td style="background:white; color:black">0</td>
 
<td style="background:white; color:black">0</td>
 
<td style="background:black; color:white">1</td>
 
<td style="background:black; color:white">1</td>
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
 
<td style="background:black; color:white">1</td>
 
<td style="background:black; color:white">1</td>
−
<td style="background:white; color:black">0</td>
 
 
<td style="background:white; color:black">0</td>
 
<td style="background:white; color:black">0</td>
 
<td style="background:white; color:black">0</td>
 
<td style="background:white; color:black">0</td>
 
<td style="background:black; color:white">1</td>
 
<td style="background:black; color:white">1</td>
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
 
<td style="background:black; color:white">1</td></tr>
 
<td style="background:black; color:white">1</td></tr>
  
Line 1,027: Line 338:
 
<td style="background:white; color:black">0</td>
 
<td style="background:white; color:black">0</td>
 
<td style="background:white; color:black">0</td>
 
<td style="background:white; color:black">0</td>
−
<td style="background:black; color:white">1</td>
 
−
<td style="background:black; color:white">1</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:black; color:white">1</td>
 
 
<td style="background:black; color:white">1</td>
 
<td style="background:black; color:white">1</td>
−
<td style="background:white; color:black">0</td>
 
 
<td style="background:white; color:black">0</td>
 
<td style="background:white; color:black">0</td>
−
<td style="background:black; color:white">1</td>
 
 
<td style="background:black; color:white">1</td>
 
<td style="background:black; color:white">1</td>
−
<td style="background:white; color:black">0</td>
 
 
<td style="background:white; color:black">0</td>
 
<td style="background:white; color:black">0</td>
 
<td style="background:black; color:white">1</td>
 
<td style="background:black; color:white">1</td>
Line 1,047: Line 350:
 
<td style="border-right:2px solid black"><math>\texttt{((} u \texttt{)(} v \texttt{))}</math></td>
 
<td style="border-right:2px solid black"><math>\texttt{((} u \texttt{)(} v \texttt{))}</math></td>
 
<td style="background:white; color:black">0</td>
 
<td style="background:white; color:black">0</td>
−
<td style="background:black; color:white">1</td>
 
 
<td style="background:white; color:black">0</td>
 
<td style="background:white; color:black">0</td>
−
<td style="background:black; color:white">1</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:black; color:white">1</td>
 
 
<td style="background:white; color:black">0</td>
 
<td style="background:white; color:black">0</td>
 
<td style="background:black; color:white">1</td>
 
<td style="background:black; color:white">1</td>
 
<td style="background:white; color:black">0</td>
 
<td style="background:white; color:black">0</td>
 
<td style="background:black; color:white">1</td>
 
<td style="background:black; color:white">1</td>
−
<td style="background:white; color:black">0</td>
 
 
<td style="background:black; color:white">1</td>
 
<td style="background:black; color:white">1</td>
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:black; color:white">1</td>
 
−
<td style="background:white; color:black">0</td>
 
 
<td style="background:black; color:white">1</td></tr>
 
<td style="background:black; color:white">1</td></tr>
  
Line 1,067: Line 362:
 
<td><math>1111</math></td>
 
<td><math>1111</math></td>
 
<td style="border-right:2px solid black"><math>\texttt{((~))}</math></td>
 
<td style="border-right:2px solid black"><math>\texttt{((~))}</math></td>
−
<td style="background:black; color:white">1</td>
+
<td style="background:white; color:black">0</td>
−
<td style="background:black; color:white">1</td>
+
<td style="background:white; color:black">0</td>
−
<td style="background:black; color:white">1</td>
+
<td style="background:white; color:black">0</td>
−
<td style="background:black; color:white">1</td>
+
<td style="background:white; color:black">0</td>
−
<td style="background:black; color:white">1</td>
 
−
<td style="background:black; color:white">1</td>
 
−
<td style="background:black; color:white">1</td>
 
−
<td style="background:black; color:white">1</td>
 
−
<td style="background:black; color:white">1</td>
 
−
<td style="background:black; color:white">1</td>
 
−
<td style="background:black; color:white">1</td>
 
−
<td style="background:black; color:white">1</td>
 
 
<td style="background:black; color:white">1</td>
 
<td style="background:black; color:white">1</td>
 
<td style="background:black; color:white">1</td>
 
<td style="background:black; color:white">1</td>
Line 1,087: Line 374:
  
 
<br>
 
<br>
−
 
−
The values of the sixteen <math>\beta_i</math> on each of the sixteen boolean functions <math>f : \mathbb{B}^2 \to \mathbb{B}</math> are shown in Table&nbsp;5.  Expressed in terms of the implication ordering on the sixteen functions, <math>\beta_i f = 1</math> says that <math>f</math> is ''below or identical to'' <math>f_i</math> in the implication lattice, that is, <math>\le f_i</math> in the implication ordering.
 
  
 
<table align="center" cellpadding="1" cellspacing="0" style="text-align:center; width:90%">
 
<table align="center" cellpadding="1" cellspacing="0" style="text-align:center; width:90%">
  
−
<caption><font size="+2"><math>\texttt{Table 5.} ~~ \text{Qualifiers of the Implication Ordering:} ~ \beta_i f = \Upsilon (f, f_i) = \Upsilon (f \Rightarrow f_i)</math></font></caption>
+
<caption><font size="+2"><math>\texttt{Table 9.} ~~ \texttt{Simple Qualifiers of Propositions (Version 2)}</math></font></caption>
  
 
<tr>
 
<tr>
−
<td style="border-bottom:2px solid black" align="right"><math>u:</math><br><math>v:</math></td>
+
<td width="4%" style="border-bottom:2px solid black" align="right">
−
<td style="border-bottom:2px solid black"><math>1100</math><br><math>1010</math></td>
+
    <math>u:</math><br>
−
<td style="border-bottom:2px solid black; border-right:2px solid black"><math>f</math></td>
+
    <math>v:</math></td>
−
<td style="border-bottom:2px solid black"><math>\beta_{0}</math></td>
+
<td width="6%" style="border-bottom:2px solid black">
−
<td style="border-bottom:2px solid black"><math>\beta_{1}</math></td>
+
    <math>1100</math><br>
−
<td style="border-bottom:2px solid black"><math>\beta_{2}</math></td>
+
    <math>1010</math></td>
−
<td style="border-bottom:2px solid black"><math>\beta_{3}</math></td>
+
<td width="10%" style="border-bottom:2px solid black; border-right:2px solid black">
−
<td style="border-bottom:2px solid black"><math>\beta_{4}</math></td>
+
    <math>f</math></td>
−
<td style="border-bottom:2px solid black"><math>\beta_{5}</math></td>
+
<td width="10%" style="border-bottom:2px solid black">
−
<td style="border-bottom:2px solid black"><math>\beta_{6}</math></td>
+
    <math>\texttt{(} \ell_{11} \texttt{)}</math><br>
−
<td style="border-bottom:2px solid black"><math>\beta_{7}</math></td>
+
    <math>No ~ u</math><br>
−
<td style="border-bottom:2px solid black"><math>\beta_{8}</math></td>
+
    <math>is ~ v</math></td>
−
<td style="border-bottom:2px solid black"><math>\beta_{9}</math></td>
+
<td width="10%" style="border-bottom:2px solid black">
−
<td style="border-bottom:2px solid black"><math>\beta_{10}</math></td>
+
    <math>\texttt{(} \ell_{10} \texttt{)}</math><br>
−
<td style="border-bottom:2px solid black"><math>\beta_{11}</math></td>
+
    <math>No ~ u</math><br>
−
<td style="border-bottom:2px solid black"><math>\beta_{12}</math></td>
+
    <math>is ~ \texttt{(} v \texttt{)}</math></td>
−
<td style="border-bottom:2px solid black"><math>\beta_{13}</math></td>
+
<td width="10%" style="border-bottom:2px solid black">
−
<td style="border-bottom:2px solid black"><math>\beta_{14}</math></td>
+
    <math>\texttt{(} \ell_{01} \texttt{)}</math><br>
−
<td style="border-bottom:2px solid black"><math>\beta_{15}</math></td></tr>
+
    <math>No ~ \texttt{(} u \texttt{)}</math><br>
 +
    <math>is ~ v</math></td>
 +
<td width="10%" style="border-bottom:2px solid black">
 +
    <math>\texttt{(} \ell_{00} \texttt{)}</math><br>
 +
    <math>No ~ \texttt{(} u \texttt{)}</math><br>
 +
    <math>is ~ \texttt{(} v \texttt{)}</math></td>
 +
<td width="10%" style="border-bottom:2px solid black">
 +
    <math>\ell_{00}</math><br>
 +
    <math>Some ~ \texttt{(} u \texttt{)}</math><br>
 +
    <math>is  ~ \texttt{(} v \texttt{)}</math></td>
 +
<td width="10%" style="border-bottom:2px solid black">
 +
    <math>\ell_{01}</math><br>
 +
    <math>Some ~ \texttt{(} u \texttt{)}</math><br>
 +
    <math>is  ~ v</math></td>
 +
<td width="10%" style="border-bottom:2px solid black">
 +
    <math>\ell_{10}</math><br>
 +
    <math>Some ~ u</math><br>
 +
    <math>is  ~ \texttt{(} v \texttt{)}</math></td>
 +
<td width="10%" style="border-bottom:2px solid black">
 +
    <math>\ell_{11}</math><br>
 +
    <math>Some ~ u</math><br>
 +
    <math>is  ~ v</math></td></tr>
  
 
<tr>
 
<tr>
−
<td><math>f_{0}</math></td>
+
<td style="border-bottom:2px solid black"><math>f_{0}</math></td>
−
<td><math>0000</math></td>
+
<td style="border-bottom:2px solid black"><math>0000</math></td>
−
<td style="border-right:2px solid black"><math>\texttt{(~)}</math></td>
+
<td style="border-bottom:2px solid black; border-right:2px solid black"><math>\texttt{(~)}</math></td>
−
<td style="background:black; color:white">1</td>
+
<td style="border-bottom:2px solid black; background:black; color:white">1</td>
−
<td style="background:black; color:white">1</td>
+
<td style="border-bottom:2px solid black; background:black; color:white">1</td>
−
<td style="background:black; color:white">1</td>
+
<td style="border-bottom:2px solid black; background:black; color:white">1</td>
−
<td style="background:black; color:white">1</td>
+
<td style="border-bottom:2px solid black; background:black; color:white">1</td>
−
<td style="background:black; color:white">1</td>
+
<td style="border-bottom:2px solid black; background:white; color:black">0</td>
−
<td style="background:black; color:white">1</td>
+
<td style="border-bottom:2px solid black; background:white; color:black">0</td>
−
<td style="background:black; color:white">1</td>
+
<td style="border-bottom:2px solid black; background:white; color:black">0</td>
−
<td style="background:black; color:white">1</td>
+
<td style="border-bottom:2px solid black; background:white; color:black">0</td></tr>
−
<td style="background:black; color:white">1</td>
 
−
<td style="background:black; color:white">1</td>
 
−
<td style="background:black; color:white">1</td>
 
−
<td style="background:black; color:white">1</td>
 
−
<td style="background:black; color:white">1</td>
 
−
<td style="background:black; color:white">1</td>
 
−
<td style="background:black; color:white">1</td>
 
−
<td style="background:black; color:white">1</td></tr>
 
  
 
<tr>
 
<tr>
Line 1,140: Line 438:
 
<td><math>0001</math></td>
 
<td><math>0001</math></td>
 
<td style="border-right:2px solid black"><math>\texttt{(} u \texttt{)(} v \texttt{)}</math></td>
 
<td style="border-right:2px solid black"><math>\texttt{(} u \texttt{)(} v \texttt{)}</math></td>
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:black; color:white">1</td>
 
−
<td style="background:white; color:black">0</td>
 
 
<td style="background:black; color:white">1</td>
 
<td style="background:black; color:white">1</td>
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:black; color:white">1</td>
 
−
<td style="background:white; color:black">0</td>
 
 
<td style="background:black; color:white">1</td>
 
<td style="background:black; color:white">1</td>
−
<td style="background:white; color:black">0</td>
 
 
<td style="background:black; color:white">1</td>
 
<td style="background:black; color:white">1</td>
 
<td style="background:white; color:black">0</td>
 
<td style="background:white; color:black">0</td>
 
<td style="background:black; color:white">1</td>
 
<td style="background:black; color:white">1</td>
 
<td style="background:white; color:black">0</td>
 
<td style="background:white; color:black">0</td>
−
<td style="background:black; color:white">1</td>
 
 
<td style="background:white; color:black">0</td>
 
<td style="background:white; color:black">0</td>
−
<td style="background:black; color:white">1</td></tr>
+
<td style="background:white; color:black">0</td></tr>
  
 
<tr>
 
<tr>
Line 1,161: Line 451:
 
<td><math>0010</math></td>
 
<td><math>0010</math></td>
 
<td style="border-right:2px solid black"><math>\texttt{(} u\texttt{)} ~ v</math></td>
 
<td style="border-right:2px solid black"><math>\texttt{(} u\texttt{)} ~ v</math></td>
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
 
<td style="background:black; color:white">1</td>
 
<td style="background:black; color:white">1</td>
 
<td style="background:black; color:white">1</td>
 
<td style="background:black; color:white">1</td>
 
<td style="background:white; color:black">0</td>
 
<td style="background:white; color:black">0</td>
 +
<td style="background:black; color:white">1</td>
 
<td style="background:white; color:black">0</td>
 
<td style="background:white; color:black">0</td>
 
<td style="background:black; color:white">1</td>
 
<td style="background:black; color:white">1</td>
 +
<td style="background:white; color:black">0</td>
 +
<td style="background:white; color:black">0</td></tr>
 +
 +
<tr>
 +
<td><math>f_{4}</math></td>
 +
<td><math>0100</math></td>
 +
<td style="border-right:2px solid black"><math>u ~ \texttt{(} v \texttt{)}</math></td>
 
<td style="background:black; color:white">1</td>
 
<td style="background:black; color:white">1</td>
−
<td style="background:white; color:black">0</td>
 
 
<td style="background:white; color:black">0</td>
 
<td style="background:white; color:black">0</td>
 
<td style="background:black; color:white">1</td>
 
<td style="background:black; color:white">1</td>
Line 1,176: Line 471:
 
<td style="background:white; color:black">0</td>
 
<td style="background:white; color:black">0</td>
 
<td style="background:black; color:white">1</td>
 
<td style="background:black; color:white">1</td>
−
<td style="background:black; color:white">1</td></tr>
+
<td style="background:white; color:black">0</td></tr>
 +
 
 +
<tr>
 +
<td style="border-bottom:2px solid black"><math>f_{8}</math></td>
 +
<td style="border-bottom:2px solid black"><math>1000</math></td>
 +
<td style="border-bottom:2px solid black; border-right:2px solid black"><math>u ~ v</math></td>
 +
<td style="border-bottom:2px solid black; background:white; color:black">0</td>
 +
<td style="border-bottom:2px solid black; background:black; color:white">1</td>
 +
<td style="border-bottom:2px solid black; background:black; color:white">1</td>
 +
<td style="border-bottom:2px solid black; background:black; color:white">1</td>
 +
<td style="border-bottom:2px solid black; background:white; color:black">0</td>
 +
<td style="border-bottom:2px solid black; background:white; color:black">0</td>
 +
<td style="border-bottom:2px solid black; background:white; color:black">0</td>
 +
<td style="border-bottom:2px solid black; background:black; color:white">1</td></tr>
  
 
<tr>
 
<tr>
Line 1,182: Line 490:
 
<td><math>0011</math></td>
 
<td><math>0011</math></td>
 
<td style="border-right:2px solid black"><math>\texttt{(} u \texttt{)}</math></td>
 
<td style="border-right:2px solid black"><math>\texttt{(} u \texttt{)}</math></td>
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
 
<td style="background:black; color:white">1</td>
 
<td style="background:black; color:white">1</td>
−
<td style="background:white; color:black">0</td>
+
<td style="background:black; color:white">1</td>
 
<td style="background:white; color:black">0</td>
 
<td style="background:white; color:black">0</td>
 
<td style="background:white; color:black">0</td>
 
<td style="background:white; color:black">0</td>
 
<td style="background:black; color:white">1</td>
 
<td style="background:black; color:white">1</td>
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
 
<td style="background:black; color:white">1</td>
 
<td style="background:black; color:white">1</td>
 
<td style="background:white; color:black">0</td>
 
<td style="background:white; color:black">0</td>
−
<td style="background:white; color:black">0</td>
+
<td style="background:white; color:black">0</td></tr>
−
<td style="background:white; color:black">0</td>
+
 
−
<td style="background:black; color:white">1</td></tr>
+
<tr>
 +
<td style="border-bottom:2px solid black"><math>f_{12}</math></td>
 +
<td style="border-bottom:2px solid black"><math>1100</math></td>
 +
<td style="border-bottom:2px solid black; border-right:2px solid black"><math>u</math></td>
 +
<td style="border-bottom:2px solid black; background:white; color:black">0</td>
 +
<td style="border-bottom:2px solid black; background:white; color:black">0</td>
 +
<td style="border-bottom:2px solid black; background:black; color:white">1</td>
 +
<td style="border-bottom:2px solid black; background:black; color:white">1</td>
 +
<td style="border-bottom:2px solid black; background:white; color:black">0</td>
 +
<td style="border-bottom:2px solid black; background:white; color:black">0</td>
 +
<td style="border-bottom:2px solid black; background:black; color:white">1</td>
 +
<td style="border-bottom:2px solid black; background:black; color:white">1</td></tr>
  
 
<tr>
 
<tr>
−
<td><math>f_{4}</math></td>
+
<td><math>f_{6}</math></td>
−
<td><math>0100</math></td>
+
<td><math>0110</math></td>
−
<td style="border-right:2px solid black"><math>u ~ \texttt{(} v \texttt{)}</math></td>
+
<td style="border-right:2px solid black"><math>\texttt{(} u \texttt{,} v \texttt{)}</math></td>
−
<td style="background:white; color:black">0</td>
+
<td style="background:black; color:white">1</td>
−
<td style="background:white; color:black">0</td>
 
 
<td style="background:white; color:black">0</td>
 
<td style="background:white; color:black">0</td>
 
<td style="background:white; color:black">0</td>
 
<td style="background:white; color:black">0</td>
 
<td style="background:black; color:white">1</td>
 
<td style="background:black; color:white">1</td>
−
<td style="background:black; color:white">1</td>
 
−
<td style="background:black; color:white">1</td>
 
−
<td style="background:black; color:white">1</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
 
<td style="background:white; color:black">0</td>
 
<td style="background:white; color:black">0</td>
 
<td style="background:black; color:white">1</td>
 
<td style="background:black; color:white">1</td>
 
<td style="background:black; color:white">1</td>
 
<td style="background:black; color:white">1</td>
−
<td style="background:black; color:white">1</td>
+
<td style="background:white; color:black">0</td></tr>
−
<td style="background:black; color:white">1</td></tr>
+
 
 +
<tr>
 +
<td style="border-bottom:2px solid black"><math>f_{9}</math></td>
 +
<td style="border-bottom:2px solid black"><math>1001</math></td>
 +
<td style="border-bottom:2px solid black; border-right:2px solid black"><math>\texttt{((} u \texttt{,} v \texttt{))}</math></td>
 +
<td style="border-bottom:2px solid black; background:white; color:black">0</td>
 +
<td style="border-bottom:2px solid black; background:black; color:white">1</td>
 +
<td style="border-bottom:2px solid black; background:black; color:white">1</td>
 +
<td style="border-bottom:2px solid black; background:white; color:black">0</td>
 +
<td style="border-bottom:2px solid black; background:black; color:white">1</td>
 +
<td style="border-bottom:2px solid black; background:white; color:black">0</td>
 +
<td style="border-bottom:2px solid black; background:white; color:black">0</td>
 +
<td style="border-bottom:2px solid black; background:black; color:white">1</td></tr>
  
 
<tr>
 
<tr>
Line 1,224: Line 542:
 
<td><math>0101</math></td>
 
<td><math>0101</math></td>
 
<td style="border-right:2px solid black"><math>\texttt{(} v \texttt{)}</math></td>
 
<td style="border-right:2px solid black"><math>\texttt{(} v \texttt{)}</math></td>
−
<td style="background:white; color:black">0</td>
+
<td style="background:black; color:white">1</td>
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
 
<td style="background:white; color:black">0</td>
 
<td style="background:white; color:black">0</td>
 
<td style="background:black; color:white">1</td>
 
<td style="background:black; color:white">1</td>
 
<td style="background:white; color:black">0</td>
 
<td style="background:white; color:black">0</td>
 
<td style="background:black; color:white">1</td>
 
<td style="background:black; color:white">1</td>
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
 
<td style="background:white; color:black">0</td>
 
<td style="background:white; color:black">0</td>
 
<td style="background:black; color:white">1</td>
 
<td style="background:black; color:white">1</td>
−
<td style="background:white; color:black">0</td>
+
<td style="background:white; color:black">0</td></tr>
−
<td style="background:black; color:white">1</td></tr>
 
  
 
<tr>
 
<tr>
−
<td><math>f_{6}</math></td>
+
<td style="border-bottom:2px solid black"><math>f_{10}</math></td>
−
<td><math>0110</math></td>
+
<td style="border-bottom:2px solid black"><math>1010</math></td>
−
<td style="border-right:2px solid black"><math>\texttt{(} u \texttt{,} v \texttt{)}</math></td>
+
<td style="border-bottom:2px solid black; border-right:2px solid black"><math>v</math></td>
−
<td style="background:white; color:black">0</td>
+
<td style="border-bottom:2px solid black; background:white; color:black">0</td>
−
<td style="background:white; color:black">0</td>
+
<td style="border-bottom:2px solid black; background:black; color:white">1</td>
−
<td style="background:white; color:black">0</td>
+
<td style="border-bottom:2px solid black; background:white; color:black">0</td>
−
<td style="background:white; color:black">0</td>
+
<td style="border-bottom:2px solid black; background:black; color:white">1</td>
−
<td style="background:white; color:black">0</td>
+
<td style="border-bottom:2px solid black; background:white; color:black">0</td>
−
<td style="background:white; color:black">0</td>
+
<td style="border-bottom:2px solid black; background:black; color:white">1</td>
−
<td style="background:black; color:white">1</td>
+
<td style="border-bottom:2px solid black; background:white; color:black">0</td>
−
<td style="background:black; color:white">1</td>
+
<td style="border-bottom:2px solid black; background:black; color:white">1</td></tr>
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:black; color:white">1</td>
 
−
<td style="background:black; color:white">1</td></tr>
 
  
 
<tr>
 
<tr>
Line 1,266: Line 568:
 
<td><math>0111</math></td>
 
<td><math>0111</math></td>
 
<td style="border-right:2px solid black"><math>\texttt{(} u ~ v \texttt{)}</math></td>
 
<td style="border-right:2px solid black"><math>\texttt{(} u ~ v \texttt{)}</math></td>
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:black; color:white">1</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:black; color:white">1</td></tr>
 
−
 
−
<tr>
 
−
<td><math>f_{8}</math></td>
 
−
<td><math>1000</math></td>
 
−
<td style="border-right:2px solid black"><math>u ~ v</math></td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:black; color:white">1</td>
 
−
<td style="background:black; color:white">1</td>
 
−
<td style="background:black; color:white">1</td>
 
−
<td style="background:black; color:white">1</td>
 
−
<td style="background:black; color:white">1</td>
 
−
<td style="background:black; color:white">1</td>
 
−
<td style="background:black; color:white">1</td>
 
−
<td style="background:black; color:white">1</td></tr>
 
−
 
−
<tr>
 
−
<td><math>f_{9}</math></td>
 
−
<td><math>1001</math></td>
 
−
<td style="border-right:2px solid black"><math>\texttt{((} u \texttt{,} v \texttt{))}</math></td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:black; color:white">1</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:black; color:white">1</td>
 
−
<td style="background:white; color:black">0</td>
 
 
<td style="background:black; color:white">1</td>
 
<td style="background:black; color:white">1</td>
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:black; color:white">1</td></tr>
 
−
 
−
<tr>
 
−
<td><math>f_{10}</math></td>
 
−
<td><math>1010</math></td>
 
−
<td style="border-right:2px solid black"><math>v</math></td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
 
<td style="background:white; color:black">0</td>
 
<td style="background:white; color:black">0</td>
 
<td style="background:white; color:black">0</td>
 
<td style="background:white; color:black">0</td>
Line 1,341: Line 574:
 
<td style="background:black; color:white">1</td>
 
<td style="background:black; color:white">1</td>
 
<td style="background:black; color:white">1</td>
 
<td style="background:black; color:white">1</td>
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
 
<td style="background:black; color:white">1</td>
 
<td style="background:black; color:white">1</td>
−
<td style="background:black; color:white">1</td></tr>
+
<td style="background:white; color:black">0</td></tr>
  
 
<tr>
 
<tr>
Line 1,350: Line 581:
 
<td><math>1011</math></td>
 
<td><math>1011</math></td>
 
<td style="border-right:2px solid black"><math>\texttt{(} u ~ \texttt{(} v \texttt{))}</math></td>
 
<td style="border-right:2px solid black"><math>\texttt{(} u ~ \texttt{(} v \texttt{))}</math></td>
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
 
<td style="background:white; color:black">0</td>
 
<td style="background:white; color:black">0</td>
 
<td style="background:black; color:white">1</td>
 
<td style="background:black; color:white">1</td>
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:black; color:white">1</td></tr>
 
−
 
−
<tr>
 
−
<td><math>f_{12}</math></td>
 
−
<td><math>1100</math></td>
 
−
<td style="border-right:2px solid black"><math>u</math></td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
 
<td style="background:white; color:black">0</td>
 
<td style="background:white; color:black">0</td>
 
<td style="background:white; color:black">0</td>
 
<td style="background:white; color:black">0</td>
 
<td style="background:black; color:white">1</td>
 
<td style="background:black; color:white">1</td>
 
<td style="background:black; color:white">1</td>
 
<td style="background:black; color:white">1</td>
−
<td style="background:black; color:white">1</td>
+
<td style="background:white; color:black">0</td>
 
<td style="background:black; color:white">1</td></tr>
 
<td style="background:black; color:white">1</td></tr>
  
Line 1,394: Line 596:
 
<td style="background:white; color:black">0</td>
 
<td style="background:white; color:black">0</td>
 
<td style="background:white; color:black">0</td>
 
<td style="background:white; color:black">0</td>
 +
<td style="background:black; color:white">1</td>
 
<td style="background:white; color:black">0</td>
 
<td style="background:white; color:black">0</td>
−
<td style="background:white; color:black">0</td>
+
<td style="background:black; color:white">1</td>
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
 
<td style="background:white; color:black">0</td>
 
<td style="background:white; color:black">0</td>
 
<td style="background:black; color:white">1</td>
 
<td style="background:black; color:white">1</td>
−
<td style="background:white; color:black">0</td>
 
 
<td style="background:black; color:white">1</td></tr>
 
<td style="background:black; color:white">1</td></tr>
  
 
<tr>
 
<tr>
−
<td><math>f_{14}</math></td>
+
<td style="border-bottom:2px solid black"><math>f_{14}</math></td>
−
<td><math>1110</math></td>
+
<td style="border-bottom:2px solid black"><math>1110</math></td>
−
<td style="border-right:2px solid black"><math>\texttt{((} u \texttt{)(} v \texttt{))}</math></td>
+
<td style="border-bottom:2px solid black; border-right:2px solid black"><math>\texttt{((} u \texttt{)(} v \texttt{))}</math></td>
−
<td style="background:white; color:black">0</td>
+
<td style="border-bottom:2px solid black; background:white; color:black">0</td>
−
<td style="background:white; color:black">0</td>
+
<td style="border-bottom:2px solid black; background:white; color:black">0</td>
−
<td style="background:white; color:black">0</td>
+
<td style="border-bottom:2px solid black; background:white; color:black">0</td>
−
<td style="background:white; color:black">0</td>
+
<td style="border-bottom:2px solid black; background:black; color:white">1</td>
−
<td style="background:white; color:black">0</td>
+
<td style="border-bottom:2px solid black; background:white; color:black">0</td>
−
<td style="background:white; color:black">0</td>
+
<td style="border-bottom:2px solid black; background:black; color:white">1</td>
−
<td style="background:white; color:black">0</td>
+
<td style="border-bottom:2px solid black; background:black; color:white">1</td>
−
<td style="background:white; color:black">0</td>
+
<td style="border-bottom:2px solid black; background:black; color:white">1</td></tr>
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:black; color:white">1</td>
 
−
<td style="background:black; color:white">1</td></tr>
 
  
 
<tr>
 
<tr>
Line 1,438: Line 624:
 
<td style="background:white; color:black">0</td>
 
<td style="background:white; color:black">0</td>
 
<td style="background:white; color:black">0</td>
 
<td style="background:white; color:black">0</td>
−
<td style="background:white; color:black">0</td>
+
<td style="background:black; color:white">1</td>
−
<td style="background:white; color:black">0</td>
+
<td style="background:black; color:white">1</td>
−
<td style="background:white; color:black">0</td>
+
<td style="background:black; color:white">1</td>
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
−
<td style="background:white; color:black">0</td>
 
 
<td style="background:black; color:white">1</td></tr>
 
<td style="background:black; color:white">1</td></tr>
  
Line 1,455: Line 633:
 
<br>
 
<br>
  
−
Applied to a given proposition <math>f,</math> the qualifiers <math>\alpha_i</math> and <math>\beta_i</math> tell whether <math>f</math> is ''above'' <math>f_i</math> or ''below'' <math>f_i,</math> respectively, in the implication ordering.  By way of example, let us trace the effects of several such measures, namely, those that occupy the limiting positions of the Tables.
+
<font size="+1">
 +
<table align="center" cellpadding="4" cellspacing="0" style="text-align:center; width:90%">
  
−
{| align="center" cellpadding="6"
+
<caption><font size="+2"><math>\texttt{Table 10.} ~~ \texttt{Relation of Quantifiers to Higher Order Propositions}</math></font></caption>
−
|
+
 
−
<math>\begin{array}{*{8}{r}}
+
<tr>
−
\alpha_{0} f = 1
+
<td style="border-bottom:2px solid black"><math>\texttt{Mnemonic}</math></td>
−
& \operatorname{iff}
+
<td style="border-bottom:2px solid black"><math>\texttt{Category}</math></td>
−
& f_{0} \Rightarrow f
+
<td style="border-bottom:2px solid black"><math>\texttt{Classical Form}</math></td>
−
& \operatorname{iff}
+
<td style="border-bottom:2px solid black"><math>\texttt{Alternate Form}</math></td>
−
& 0 \Rightarrow f,
+
<td style="border-bottom:2px solid black"><math>\texttt{Symmetric Form}</math></td>
−
& \operatorname{hence}
+
<td style="border-bottom:2px solid black"><math>\texttt{Operator}</math></td></tr>
−
& \alpha_{0} f = 1
+
 
−
& \operatorname{for~all} ~ f.
+
<tr>
−
\\
+
<td><math>\texttt{E}</math><br><math>\texttt{Exclusive}</math></td>
−
\alpha_{15} f = 1
+
<td><math>\texttt{Universal}</math><br><math>\texttt{Negative}</math></td>
−
& \operatorname{iff}
+
<td><math>\texttt{All} ~ u ~ \texttt{is} ~ \texttt{(} v \texttt{)}</math></td>
−
& f_{15} \Rightarrow f
+
<td>&nbsp;</td>
−
& \operatorname{iff}
+
<td><math>\texttt{No} ~ u ~ \texttt{is} ~ v</math></td>
−
& 1 \Rightarrow f,
+
<td><math>\texttt{(} \ell_{11} \texttt{)}</math></td></tr>
−
& \operatorname{hence}
+
 
−
& \alpha_{15} f = 1
+
<tr>
−
& \operatorname{iff} ~ f = 1.
+
<td><math>\texttt{A}</math><br><math>\texttt{Absolute}</math></td>
−
\\
+
<td><math>\texttt{Universal}</math><br><math>\texttt{Affirmative}</math></td>
−
\beta_{0} f = 1
+
<td><math>\texttt{All} ~ u ~ \texttt{is} ~ v</math></td>
−
& \operatorname{iff}
+
<td>&nbsp;</td>
−
& f \Rightarrow f_{0}
+
<td><math>\texttt{No} ~ u ~ \texttt{is} ~ \texttt{(} v \texttt{)}</math></td>
−
& \operatorname{iff}
+
<td><math>\texttt{(} \ell_{10} \texttt{)}</math></td></tr>
−
& f \Rightarrow 0,
+
 
−
& \operatorname{hence}
+
<tr>
−
& \beta_{0} f = 1
+
<td>&nbsp;</td>
−
& \operatorname{iff} ~ f = 0.
+
<td>&nbsp;</td>
−
\\
+
<td><math>\texttt{All} ~ v ~ \texttt{is} ~ u</math></td>
−
\beta_{15} f = 1
+
<td><math>\texttt{No} ~ v ~ \texttt{is} ~ \texttt{(} u \texttt{)}</math></td>
−
& \operatorname{iff}
+
<td><math>\texttt{No} ~ \texttt{(} u \texttt{)} ~ \texttt{is} ~ v</math></td>
−
& f \Rightarrow f_{15}
+
<td><math>\texttt{(} \ell_{01} \texttt{)}</math></td></tr>
−
& \operatorname{iff}
+
 
−
& f \Rightarrow 1,
+
<tr>
−
& \operatorname{hence}
+
<td style="border-bottom:2px solid black">&nbsp;</td>
−
& \beta_{15} f = 1
+
<td style="border-bottom:2px solid black">&nbsp;</td>
−
& \operatorname{for~all} ~ f.
+
<td style="border-bottom:2px solid black"><math>\texttt{All} ~ \texttt{(} v \texttt{)} ~ \texttt{is} ~ u</math></td>
−
\end{array}</math>
+
<td style="border-bottom:2px solid black"><math>\texttt{No} ~ \texttt{(} v \texttt{)} ~ \texttt{is} ~ \texttt{(} u \texttt{)}</math></td>
 +
<td style="border-bottom:2px solid black"><math>\texttt{No} ~ \texttt{(} u \texttt{)} ~ \texttt{is} ~ \texttt{(} v \texttt{)}</math></td>
 +
<td style="border-bottom:2px solid black"><math>\texttt{(} \ell_{00} \texttt{)}</math></td></tr>
 +
 
 +
<tr>
 +
<td>&nbsp;</td>
 +
<td>&nbsp;</td>
 +
<td><math>\texttt{Some} ~ \texttt{(} u \texttt{)} ~ \texttt{is} ~ \texttt{(} v \texttt{)}</math></td>
 +
<td>&nbsp;</td>
 +
<td><math>\texttt{Some} ~ \texttt{(} u \texttt{)} ~ \texttt{is} ~ \texttt{(} v \texttt{)}</math></td>
 +
<td><math>\ell_{00}</math></td></tr>
 +
 
 +
<tr>
 +
<td>&nbsp;</td>
 +
<td>&nbsp;</td>
 +
<td><math>\texttt{Some} ~ \texttt{(} u \texttt{)} ~ \texttt{is} ~ v</math></td>
 +
<td>&nbsp;</td>
 +
<td><math>\texttt{Some} ~ \texttt{(} u \texttt{)} ~ \texttt{is} ~ v</math></td>
 +
<td><math>\ell_{01}</math></td></tr>
 +
 
 +
<tr>
 +
<td><math>\texttt{O}</math><br><math>\texttt{Obtrusive}</math></td>
 +
<td><math>\texttt{Particular}</math><br><math>\texttt{Negative}</math></td>
 +
<td><math>\texttt{Some} ~ u ~ \texttt{is} ~ \texttt{(} v \texttt{)}</math></td>
 +
<td>&nbsp;</td>
 +
<td><math>\texttt{Some} ~ u ~ \texttt{is} ~ \texttt{(} v \texttt{)}</math></td>
 +
<td><math>\ell_{10}</math></td></tr>
 +
 
 +
<tr>
 +
<td><math>\texttt{I}</math><br><math>\texttt{Indefinite}</math></td>
 +
<td><math>\texttt{Particular}</math><br><math>\texttt{Affirmative}</math></td>
 +
<td><math>\texttt{Some} ~ u ~ \texttt{is} ~ v</math></td>
 +
<td>&nbsp;</td>
 +
<td><math>\texttt{Some} ~ u ~ \texttt{is} ~ v</math></td>
 +
<td><math>\ell_{11}</math></td></tr>
 +
 
 +
</table></font>
 +
 
 +
</pre>
 +
 
 +
==References==
 +
 
 +
* Quine, W.V. (1969/1981), "On the Limits of Decision", ''Akten des XIV. Internationalen Kongresses für Philosophie'', vol. 3 (1969).  Reprinted, pp. 156&ndash;163 in Quine (ed., 1981), ''Theories and Things'', Harvard University Press, Cambridge, MA.
 +
 
 +
==Related Topics==
 +
 
 +
* [[Directory:Jon_Awbrey/Papers/Functional_Logic_:_Inquiry_and_Analogy|Functional Logic : Inquiry and Analogy]]
 +
 
 +
* [[Directory:Jon_Awbrey/Papers/Functional_Logic_:_Quantification_Theory|Functional Logic : Quantification Theory]]
 +
 
 +
==Appendix : Generalized Umpire Operators==
 +
 
 +
In order to get a handle on the space of higher order propositions and eventually to carry out a functional approach to quantification theory, it serves to construct some specialized tools.  Specifically, I define a higher order operator <math>\Upsilon,</math> called the ''umpire operator'', which takes up to three propositions as arguments and returns a single truth value as the result.  Formally, this so-called ''[[multigrade operator|multigrade]]'' property of <math>\Upsilon</math> can be expressed as a union of function types, in the following manner:
 +
 
 +
{| align="center" cellpadding="8" style="text-align:center"
 +
| <math>\Upsilon : \bigcup_{\ell = 1, 2, 3} ((\mathbb{B}^k \to \mathbb{B})^\ell \to \mathbb{B}).</math>
 +
|}
 +
 
 +
In contexts of application the intended sense can be discerned by the number of arguments that actually appear in the argument list.  Often, the first and last arguments appear as indices, the one in the middle being treated as the main argument while the other two arguments serve to modify the sense of the operation in question.  Thus, we have the following forms:
 +
 
 +
{| align="center" cellpadding="8" style="text-align:center"
 +
| <math>\Upsilon_p^r q  = \Upsilon (p, q, r)</math>
 +
|-
 +
| <math>\Upsilon_p^r : (\mathbb{B}^k \to \mathbb{B}) \to \mathbb{B}</math>
 +
|}
 +
 
 +
The intention of this operator is that we evaluate the proposition <math>q</math> on each model of the proposition <math>p</math> and combine the results according to the method indicated by the connective parameter <math>r.</math>  In principle, the index <math>r</math> might specify any connective on as many as <math>2^k</math> arguments, but usually we have in mind a much simpler form of combination, most often either collective products or collective sums.  By convention, each of the accessory indices <math>p, r</math> is assigned a default value that is understood to be in force when the corresponding argument place is left blank, specifically, the constant proposition <math>1 : \mathbb{B}^k \to \mathbb{B}</math> for the lower index <math>p,</math> and the continued conjunction or continued product operation <math>\textstyle\prod</math> for the upper index <math>r.</math>  Taking the upper default value gives license to the following readings:
 +
 
 +
{| align="center" cellpadding="8" style="text-align:center"
 +
| <math>\Upsilon_p (q) = \Upsilon (p, q) = \Upsilon (p, q, \textstyle\prod).</math>
 +
|-
 +
| <math>\Upsilon_p = \Upsilon (p, \underline{~~}, \textstyle\prod) : (\mathbb{B}^k \to \mathbb{B}) \to \mathbb{B}.</math>
 +
|}
 +
 
 +
This means that <math>\Upsilon_p (q) = 1</math> if and only if <math>q</math> holds for all models of <math>p.</math>  In propositional terms, this is tantamount to the assertion that <math>p \Rightarrow q,</math> or that <math>\texttt{(} p \texttt{(} q \texttt{))} = 1.</math>
 +
 
 +
Throwing in the lower default value permits the following abbreviations:
 +
 
 +
{| align="center" cellpadding="8" style="text-align:center"
 +
| <math>\Upsilon  q  = \Upsilon (q) = \Upsilon_1 (q) = \Upsilon (1, q, \textstyle\prod).</math>
 +
|-
 +
| <math>\Upsilon = \Upsilon (1, \underline{~~}, \textstyle\prod)) : (\mathbb{B}^k\ \to \mathbb{B}) \to \mathbb{B}.</math>
 
|}
 
|}
  
−
<br>
+
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.
  
−
Thus, <math>\alpha_{0} = \beta_{15}</math> is a totally indiscriminate measure, one that accepts all propositions <math>f : \mathbb{B}^2 \to \mathbb{B},</math> whereas <math>\alpha_{15}</math> and <math>\beta_{0}</math> are measures that value the constant propositions <math>1 : \mathbb{B}^2 \to \mathbb{B}</math> and <math>0 : \mathbb{B}^2 \to \mathbb{B},</math> respectively, above all others.
+
==Document History==
  
−
Finally, in conformity with the use of fiber notation to indicate sets of models, it is natural to use notations like the following to denote sets of propositions that satisfy the umpires in question.
+
'''Note.'''  The above material is excerpted from a project report on [[Charles Sanders Peirce]]'s conceptions of inquiry and analogy.  Online formatting of the original document and continuation of the initial project are currently in progress under the title ''[[Directory:Jon_Awbrey/Papers/Functional_Logic_:_Inquiry_and_Analogy|Functional Logic : Inquiry and Analogy]]''.
  
−
{| align="center" cellpadding="8"
+
{| width="100%"
−
| <math>[| \alpha_i |]\!</math>
+
| align="left"   | Author:
−
| <math>=\!</math>
+
| align="center" | Jon Awbrey
−
| <math>(\alpha_i)^{-1}(1),\!</math>
+
| align="right"  | November 1, 1995
 
|-
 
|-
−
| <math>[| \beta_i |]\!</math>
+
| align="left"  | Course:
−
| <math>=\!</math>
+
| align="center" | Engineering 690, Graduate Project
−
| <math>(\beta_i)^{-1}(1),\!</math>
+
| align="right"  | Cont'd from Winter 1995
 
|-
 
|-
−
| <math>[| \Upsilon_p |]\!</math>
+
| align="left"  | Supervisors:
−
| <math>=\!</math>
+
| align="center" | F. Mili & M.A. Zohdy
−
| <math>(\Upsilon_p)^{-1}(1),\!</math>
+
| align="right"  | Oakland University
 
|}
 
|}
 +
 +
<pre>
 +
| Version:  Draft 3.25
 +
| Created:  01 Jan 1995
 +
| Relayed:  01 Nov 1995
 +
| Revised:  24 Dec 2001
 +
| Revised:  12 Mar 2004
 +
</pre>

Revision as of 12:58, 22 November 2009

Extending the Existential Interpretation to Quantificational Logic

The forms commonly viewed as quantified propositions may be viewed again as propositions about propositions, indeed, there is every reason to regard higher order propositions as the genus of quantification under which the more familiar species appear.

Let us return to the 2-dimensional case \(X^\circ = \left[ u, v \right]<math>.  In order to provide a bridge between propositions and quantifications it serves to define a set of qualifiers <math>\ell_{ij} : (\mathbb{B}^2 \to \mathbb{B}) \to \mathbb{B}<math> that have the following characters:

<div markdown="1"><font size="+1">
\)\(\array{
\arrayopts{\colalign{left}}
\ell_{00} f
& = &
\ell_{\texttt{(} u \texttt{)(} v \texttt{)}} f
& = &
\alpha_{1} f
& = &
\Upsilon_{\texttt{(} u \texttt{)(} v \texttt{)}} f
& = &
\Upsilon_{\texttt{(} u \texttt{)(} v \texttt{)} ~ \Rightarrow f}
& = &
f ~ \operatorname{likes} ~ \texttt{(} u \texttt{)(} v \texttt{)}
\\
\ell_{01} f
& = &
\ell_{\texttt{(} u \texttt{)} ~ v} f
& = &
\alpha_{2} f
& = &
\Upsilon_{\texttt{(} u \texttt{)} ~ v} f
& = &
\Upsilon_{\texttt{(} u \texttt{)} ~ v ~ \Rightarrow f}
& = &
f ~ \operatorname{likes} ~ \texttt{(} u \texttt{)} ~ v
\\
\ell_{10} f
& = &
\ell_{u ~ \texttt{(} v \texttt{)}} f
& = &
\alpha_{4} f
& = &
\Upsilon_{u ~ \texttt{(} v \texttt{)}} f
& = &
\Upsilon_{u ~ \texttt{(} v \texttt{)} ~ \Rightarrow f}
& = &
f ~ \operatorname{likes} ~ u ~ \texttt{(} v \texttt{)}
\\
\ell_{11} f
& = &
\ell_{u ~ v} f
& = &
\alpha_{8} f
& = &
\Upsilon_{u ~ v} f
& = &
\Upsilon_{u ~ v ~ \Rightarrow f}
& = &
f ~ \operatorname{likes} ~ u ~ v
}\)\(
</font></div>

Intuitively, the <math>\ell_{ij}<math> operators may be thought of as qualifying propositions according to the elements of the universe of discourse that each proposition positively values.  Taken together, these measures provide us with the means to express many useful observations about the propositions in <math>X^\circ = \left[ u, v \right]<math>, and so they mediate a subtext <math>\left[ \ell_{00}, \ell_{01}, \ell_{10}, \ell_{11} \right]<math> that takes place within the higher order universe of discourse <math>X^{\circ 2} = \left[ X^\circ \right] = \left[\left[ u, v \right]\right]<math>.  Figure 6 summarizes the action of the <math>\ell_{ij}<math> operators on the <math>f_{i}<math> within <math>X^{\circ 2}<math>.

<div align="center" style="text-align:center">

![Venn Diagram 4 Dimensions UV Cacti 8 Inch](/nlab/files/Venn_Diagram_4_Dimensions_UV_Cacti_8_Inch.jpg)

<font size="+2"><math>\texttt{Figure 6.} ~~ \texttt{Higher Order Universe of Discourse} ~ \left[ \ell_{00}, \ell_{01}, \ell_{10}, \ell_{11} \right] \subseteq \left[\left[ u, v \right]\right]\)</font>

</div>

Application of Higher Order Propositions to Quantification Theory

Our excursion into the vastening landscape of higher order propositions has finally come round to the stage where we can bring its returns to bear on opening up new perspectives for quantificational logic.

It's hard to tell if it makes any difference from a purely formal point of view, but it serves intuition to devise a slightly different interpretation for the two-valued space that we use as the target of our basic indicator functions.  Therefore, let us declare the type of _existential-valued functions_ \(f : \mathbb{B}^k \to \mathbb{E}<math>, where <math>\mathbb{E} = \{ -e, +e \} = \{ \operatorname{empty}, \operatorname{exist} \}<math> is a pair of values that indicate whether or not anything exists in the cells of the underlying universe of discourse.  As usual, let's not be too fussy about the coding of these functions, reverting to binary codes whenever the intended interpretation is clear enough.

With these qualifications in mind we note the following correspondences between classical quantifications and higher order indicator functions:

<font size="+1">
<table align="center" cellpadding="10" cellspacing="0" width="80%">

<caption><font size="+2"><math>\texttt{Table 7.} ~~ \texttt{Syllogistic Premisses as Higher Order Indicator Functions}\)</font></caption>

<tr>
<td align="center">\(\operatorname{A}\)</td>
<td>\(Absolute\)</td>
<td>\(Universal Affirmative\)</td>
<td align="center">\(All ~ u ~ is ~ v\)</td>
<td>\(Indicator of u ~ \texttt{(} v \texttt{)} = 0\)</td></tr>

<tr>
<td align="center">\(\operatorname{E}\)</td>
<td>\(Exclusive\)</td>
<td>\(Universal Negative\)</td>
<td align="center">\(All ~ u ~ is ~ \texttt{(} v \texttt{)}\)</td>
<td>\(Indicator of ~ u ~ \cdot ~ v = 0\)</td></tr>

<tr>
<td align="center">\(\operatorname{I}\)</td>
<td>\(Indefinite\)</td>
<td>\(Particular Affirmative\)</td>
<td align="center">\(Some ~ u ~ is ~ v\)</td>
<td>\(Indicator of ~ u ~ \cdot ~ v = 1\)</td></tr>

<tr>
<td align="center">\(\operatorname{O}\)</td>
<td>\(Obtrusive\)</td>
<td>\(Particular Negative\)</td>
<td align="center">\(Some ~ u ~ is ~ \texttt{(} v \texttt{)}\)</td>
<td>\(Indicator of ~ u ~ \texttt{(} v \texttt{)} = 1\)</td></tr>

</table></font>

The following Tables develop these ideas in more detail.

<table align="center" cellpadding="1" cellspacing="0" style="text-align:center; width:90%">

<caption><font size="+2">\(\texttt{Table 8.} ~~ \texttt{Simple Qualifiers of Propositions (Version 1)}\)</font></caption>

<tr>
<td width="4%" style="border-bottom:2px solid black" align="right">
    \(u:\)<br>
    \(v:\)</td>
<td width="6%" style="border-bottom:2px solid black">
    \(1100\)<br>
    \(1010\)</td>
<td width="10%" style="border-bottom:2px solid black; border-right:2px solid black">
    \(f\)</td>
<td width="10%" style="border-bottom:2px solid black">
    \(\texttt{(} \ell_{11} \texttt{)}\)<br>
    \(No ~ u\)<br>
    \(is ~ v\)</td>
<td width="10%" style="border-bottom:2px solid black">
    \(\texttt{(} \ell_{10} \texttt{)}\)<br>
    \(No ~ u\)<br>
    \(is ~ \texttt{(} v \texttt{)}\)</td>
<td width="10%" style="border-bottom:2px solid black">
    \(\texttt{(} \ell_{01} \texttt{)}\)<br>
    \(No ~ \texttt{(} u \texttt{)}\)<br>
    \(is ~ v\)</td>
<td width="10%" style="border-bottom:2px solid black">
    \(\texttt{(} \ell_{00} \texttt{)}\)<br>
    \(No ~ \texttt{(} u \texttt{)}\)<br>
    \(is ~ \texttt{(} v \texttt{)}\)</td>
<td width="10%" style="border-bottom:2px solid black">
    \(\ell_{00}\)<br>
    \(Some ~ \texttt{(} u \texttt{)}\)<br>
    \(is   ~ \texttt{(} v \texttt{)}\)</td>
<td width="10%" style="border-bottom:2px solid black">
    \(\ell_{01}\)<br>
    \(Some ~ \texttt{(} u \texttt{)}\)<br>
    \(is   ~ v\)</td>
<td width="10%" style="border-bottom:2px solid black">
    \(\ell_{10}\)<br>
    \(Some ~ u\)<br>
    \(is   ~ \texttt{(} v \texttt{)}\)</td>
<td width="10%" style="border-bottom:2px solid black">
    \(\ell_{11}\)<br>
    \(Some ~ u\)<br>
    \(is   ~ v\)</td></tr>

<tr>
<td>\(f_{0}\)</td>
<td>\(0000\)</td>
<td style="border-right:2px solid black">\(\texttt{(~)}\)</td>
<td style="background:black; color:white">1</td>
<td style="background:black; color:white">1</td>
<td style="background:black; color:white">1</td>
<td style="background:black; color:white">1</td>
<td style="background:white; color:black">0</td>
<td style="background:white; color:black">0</td>
<td style="background:white; color:black">0</td>
<td style="background:white; color:black">0</td></tr>

<tr>
<td>\(f_{1}\)</td>
<td>\(0001\)</td>
<td style="border-right:2px solid black">\(\texttt{(} u \texttt{)(} v \texttt{)}\)</td>
<td style="background:black; color:white">1</td>
<td style="background:black; color:white">1</td>
<td style="background:black; color:white">1</td>
<td style="background:white; color:black">0</td>
<td style="background:black; color:white">1</td>
<td style="background:white; color:black">0</td>
<td style="background:white; color:black">0</td>
<td style="background:white; color:black">0</td></tr>

<tr>
<td>\(f_{2}\)</td>
<td>\(0010\)</td>
<td style="border-right:2px solid black">\(\texttt{(} u\texttt{)} ~ v\)</td>
<td style="background:black; color:white">1</td>
<td style="background:black; color:white">1</td>
<td style="background:white; color:black">0</td>
<td style="background:black; color:white">1</td>
<td style="background:white; color:black">0</td>
<td style="background:black; color:white">1</td>
<td style="background:white; color:black">0</td>
<td style="background:white; color:black">0</td></tr>

<tr>
<td>\(f_{3}\)</td>
<td>\(0011\)</td>
<td style="border-right:2px solid black">\(\texttt{(} u \texttt{)}\)</td>
<td style="background:black; color:white">1</td>
<td style="background:black; color:white">1</td>
<td style="background:white; color:black">0</td>
<td style="background:white; color:black">0</td>
<td style="background:black; color:white">1</td>
<td style="background:black; color:white">1</td>
<td style="background:white; color:black">0</td>
<td style="background:white; color:black">0</td></tr>

<tr>
<td>\(f_{4}\)</td>
<td>\(0100\)</td>
<td style="border-right:2px solid black">\(u ~ \texttt{(} v \texttt{)}\)</td>
<td style="background:black; color:white">1</td>
<td style="background:white; color:black">0</td>
<td style="background:black; color:white">1</td>
<td style="background:black; color:white">1</td>
<td style="background:white; color:black">0</td>
<td style="background:white; color:black">0</td>
<td style="background:black; color:white">1</td>
<td style="background:white; color:black">0</td></tr>

<tr>
<td>\(f_{5}\)</td>
<td>\(0101\)</td>
<td style="border-right:2px solid black">\(\texttt{(} v \texttt{)}\)</td>
<td style="background:black; color:white">1</td>
<td style="background:white; color:black">0</td>
<td style="background:black; color:white">1</td>
<td style="background:white; color:black">0</td>
<td style="background:black; color:white">1</td>
<td style="background:white; color:black">0</td>
<td style="background:black; color:white">1</td>
<td style="background:white; color:black">0</td></tr>

<tr>
<td>\(f_{6}\)</td>
<td>\(0110\)</td>
<td style="border-right:2px solid black">\(\texttt{(} u \texttt{,} v \texttt{)}\)</td>
<td style="background:black; color:white">1</td>
<td style="background:white; color:black">0</td>
<td style="background:white; color:black">0</td>
<td style="background:black; color:white">1</td>
<td style="background:white; color:black">0</td>
<td style="background:black; color:white">1</td>
<td style="background:black; color:white">1</td>
<td style="background:white; color:black">0</td></tr>

<tr>
<td>\(f_{7}\)</td>
<td>\(0111\)</td>
<td style="border-right:2px solid black">\(\texttt{(} u ~ v \texttt{)}\)</td>
<td style="background:black; color:white">1</td>
<td style="background:white; color:black">0</td>
<td style="background:white; color:black">0</td>
<td style="background:white; color:black">0</td>
<td style="background:black; color:white">1</td>
<td style="background:black; color:white">1</td>
<td style="background:black; color:white">1</td>
<td style="background:white; color:black">0</td></tr>

<tr>
<td>\(f_{8}\)</td>
<td>\(1000\)</td>
<td style="border-right:2px solid black">\(u ~ v\)</td>
<td style="background:white; color:black">0</td>
<td style="background:black; color:white">1</td>
<td style="background:black; color:white">1</td>
<td style="background:black; color:white">1</td>
<td style="background:white; color:black">0</td>
<td style="background:white; color:black">0</td>
<td style="background:white; color:black">0</td>
<td style="background:black; color:white">1</td></tr>

<tr>
<td>\(f_{9}\)</td>
<td>\(1001\)</td>
<td style="border-right:2px solid black">\(\texttt{((} u \texttt{,} v \texttt{))}\)</td>
<td style="background:white; color:black">0</td>
<td style="background:black; color:white">1</td>
<td style="background:black; color:white">1</td>
<td style="background:white; color:black">0</td>
<td style="background:black; color:white">1</td>
<td style="background:white; color:black">0</td>
<td style="background:white; color:black">0</td>
<td style="background:black; color:white">1</td></tr>

<tr>
<td>\(f_{10}\)</td>
<td>\(1010\)</td>
<td style="border-right:2px solid black">\(v\)</td>
<td style="background:white; color:black">0</td>
<td style="background:black; color:white">1</td>
<td style="background:white; color:black">0</td>
<td style="background:black; color:white">1</td>
<td style="background:white; color:black">0</td>
<td style="background:black; color:white">1</td>
<td style="background:white; color:black">0</td>
<td style="background:black; color:white">1</td></tr>

<tr>
<td>\(f_{11}\)</td>
<td>\(1011\)</td>
<td style="border-right:2px solid black">\(\texttt{(} u ~ \texttt{(} v \texttt{))}\)</td>
<td style="background:white; color:black">0</td>
<td style="background:black; color:white">1</td>
<td style="background:white; color:black">0</td>
<td style="background:white; color:black">0</td>
<td style="background:black; color:white">1</td>
<td style="background:black; color:white">1</td>
<td style="background:white; color:black">0</td>
<td style="background:black; color:white">1</td></tr>

<tr>
<td>\(f_{12}\)</td>
<td>\(1100\)</td>
<td style="border-right:2px solid black">\(u\)</td>
<td style="background:white; color:black">0</td>
<td style="background:white; color:black">0</td>
<td style="background:black; color:white">1</td>
<td style="background:black; color:white">1</td>
<td style="background:white; color:black">0</td>
<td style="background:white; color:black">0</td>
<td style="background:black; color:white">1</td>
<td style="background:black; color:white">1</td></tr>

<tr>
<td>\(f_{13}\)</td>
<td>\(1101\)</td>
<td style="border-right:2px solid black">\(\texttt{((} u \texttt{)} ~ v \texttt{)}\)</td>
<td style="background:white; color:black">0</td>
<td style="background:white; color:black">0</td>
<td style="background:black; color:white">1</td>
<td style="background:white; color:black">0</td>
<td style="background:black; color:white">1</td>
<td style="background:white; color:black">0</td>
<td style="background:black; color:white">1</td>
<td style="background:black; color:white">1</td></tr>

<tr>
<td>\(f_{14}\)</td>
<td>\(1110\)</td>
<td style="border-right:2px solid black">\(\texttt{((} u \texttt{)(} v \texttt{))}\)</td>
<td style="background:white; color:black">0</td>
<td style="background:white; color:black">0</td>
<td style="background:white; color:black">0</td>
<td style="background:black; color:white">1</td>
<td style="background:white; color:black">0</td>
<td style="background:black; color:white">1</td>
<td style="background:black; color:white">1</td>
<td style="background:black; color:white">1</td></tr>

<tr>
<td>\(f_{15}\)</td>
<td>\(1111\)</td>
<td style="border-right:2px solid black">\(\texttt{((~))}\)</td>
<td style="background:white; color:black">0</td>
<td style="background:white; color:black">0</td>
<td style="background:white; color:black">0</td>
<td style="background:white; color:black">0</td>
<td style="background:black; color:white">1</td>
<td style="background:black; color:white">1</td>
<td style="background:black; color:white">1</td>
<td style="background:black; color:white">1</td></tr>

</table>

<br>

<table align="center" cellpadding="1" cellspacing="0" style="text-align:center; width:90%">

<caption><font size="+2">\(\texttt{Table 9.} ~~ \texttt{Simple Qualifiers of Propositions (Version 2)}\)</font></caption>

<tr>
<td width="4%" style="border-bottom:2px solid black" align="right">
    \(u:\)<br>
    \(v:\)</td>
<td width="6%" style="border-bottom:2px solid black">
    \(1100\)<br>
    \(1010\)</td>
<td width="10%" style="border-bottom:2px solid black; border-right:2px solid black">
    \(f\)</td>
<td width="10%" style="border-bottom:2px solid black">
    \(\texttt{(} \ell_{11} \texttt{)}\)<br>
    \(No ~ u\)<br>
    \(is ~ v\)</td>
<td width="10%" style="border-bottom:2px solid black">
    \(\texttt{(} \ell_{10} \texttt{)}\)<br>
    \(No ~ u\)<br>
    \(is ~ \texttt{(} v \texttt{)}\)</td>
<td width="10%" style="border-bottom:2px solid black">
    \(\texttt{(} \ell_{01} \texttt{)}\)<br>
    \(No ~ \texttt{(} u \texttt{)}\)<br>
    \(is ~ v\)</td>
<td width="10%" style="border-bottom:2px solid black">
    \(\texttt{(} \ell_{00} \texttt{)}\)<br>
    \(No ~ \texttt{(} u \texttt{)}\)<br>
    \(is ~ \texttt{(} v \texttt{)}\)</td>
<td width="10%" style="border-bottom:2px solid black">
    \(\ell_{00}\)<br>
    \(Some ~ \texttt{(} u \texttt{)}\)<br>
    \(is   ~ \texttt{(} v \texttt{)}\)</td>
<td width="10%" style="border-bottom:2px solid black">
    \(\ell_{01}\)<br>
    \(Some ~ \texttt{(} u \texttt{)}\)<br>
    \(is   ~ v\)</td>
<td width="10%" style="border-bottom:2px solid black">
    \(\ell_{10}\)<br>
    \(Some ~ u\)<br>
    \(is   ~ \texttt{(} v \texttt{)}\)</td>
<td width="10%" style="border-bottom:2px solid black">
    \(\ell_{11}\)<br>
    \(Some ~ u\)<br>
    \(is   ~ v\)</td></tr>

<tr>
<td style="border-bottom:2px solid black">\(f_{0}\)</td>
<td style="border-bottom:2px solid black">\(0000\)</td>
<td style="border-bottom:2px solid black; border-right:2px solid black">\(\texttt{(~)}\)</td>
<td style="border-bottom:2px solid black; background:black; color:white">1</td>
<td style="border-bottom:2px solid black; background:black; color:white">1</td>
<td style="border-bottom:2px solid black; background:black; color:white">1</td>
<td style="border-bottom:2px solid black; background:black; color:white">1</td>
<td style="border-bottom:2px solid black; background:white; color:black">0</td>
<td style="border-bottom:2px solid black; background:white; color:black">0</td>
<td style="border-bottom:2px solid black; background:white; color:black">0</td>
<td style="border-bottom:2px solid black; background:white; color:black">0</td></tr>

<tr>
<td>\(f_{1}\)</td>
<td>\(0001\)</td>
<td style="border-right:2px solid black">\(\texttt{(} u \texttt{)(} v \texttt{)}\)</td>
<td style="background:black; color:white">1</td>
<td style="background:black; color:white">1</td>
<td style="background:black; color:white">1</td>
<td style="background:white; color:black">0</td>
<td style="background:black; color:white">1</td>
<td style="background:white; color:black">0</td>
<td style="background:white; color:black">0</td>
<td style="background:white; color:black">0</td></tr>

<tr>
<td>\(f_{2}\)</td>
<td>\(0010\)</td>
<td style="border-right:2px solid black">\(\texttt{(} u\texttt{)} ~ v\)</td>
<td style="background:black; color:white">1</td>
<td style="background:black; color:white">1</td>
<td style="background:white; color:black">0</td>
<td style="background:black; color:white">1</td>
<td style="background:white; color:black">0</td>
<td style="background:black; color:white">1</td>
<td style="background:white; color:black">0</td>
<td style="background:white; color:black">0</td></tr>

<tr>
<td>\(f_{4}\)</td>
<td>\(0100\)</td>
<td style="border-right:2px solid black">\(u ~ \texttt{(} v \texttt{)}\)</td>
<td style="background:black; color:white">1</td>
<td style="background:white; color:black">0</td>
<td style="background:black; color:white">1</td>
<td style="background:black; color:white">1</td>
<td style="background:white; color:black">0</td>
<td style="background:white; color:black">0</td>
<td style="background:black; color:white">1</td>
<td style="background:white; color:black">0</td></tr>

<tr>
<td style="border-bottom:2px solid black">\(f_{8}\)</td>
<td style="border-bottom:2px solid black">\(1000\)</td>
<td style="border-bottom:2px solid black; border-right:2px solid black">\(u ~ v\)</td>
<td style="border-bottom:2px solid black; background:white; color:black">0</td>
<td style="border-bottom:2px solid black; background:black; color:white">1</td>
<td style="border-bottom:2px solid black; background:black; color:white">1</td>
<td style="border-bottom:2px solid black; background:black; color:white">1</td>
<td style="border-bottom:2px solid black; background:white; color:black">0</td>
<td style="border-bottom:2px solid black; background:white; color:black">0</td>
<td style="border-bottom:2px solid black; background:white; color:black">0</td>
<td style="border-bottom:2px solid black; background:black; color:white">1</td></tr>

<tr>
<td>\(f_{3}\)</td>
<td>\(0011\)</td>
<td style="border-right:2px solid black">\(\texttt{(} u \texttt{)}\)</td>
<td style="background:black; color:white">1</td>
<td style="background:black; color:white">1</td>
<td style="background:white; color:black">0</td>
<td style="background:white; color:black">0</td>
<td style="background:black; color:white">1</td>
<td style="background:black; color:white">1</td>
<td style="background:white; color:black">0</td>
<td style="background:white; color:black">0</td></tr>

<tr>
<td style="border-bottom:2px solid black">\(f_{12}\)</td>
<td style="border-bottom:2px solid black">\(1100\)</td>
<td style="border-bottom:2px solid black; border-right:2px solid black">\(u\)</td>
<td style="border-bottom:2px solid black; background:white; color:black">0</td>
<td style="border-bottom:2px solid black; background:white; color:black">0</td>
<td style="border-bottom:2px solid black; background:black; color:white">1</td>
<td style="border-bottom:2px solid black; background:black; color:white">1</td>
<td style="border-bottom:2px solid black; background:white; color:black">0</td>
<td style="border-bottom:2px solid black; background:white; color:black">0</td>
<td style="border-bottom:2px solid black; background:black; color:white">1</td>
<td style="border-bottom:2px solid black; background:black; color:white">1</td></tr>

<tr>
<td>\(f_{6}\)</td>
<td>\(0110\)</td>
<td style="border-right:2px solid black">\(\texttt{(} u \texttt{,} v \texttt{)}\)</td>
<td style="background:black; color:white">1</td>
<td style="background:white; color:black">0</td>
<td style="background:white; color:black">0</td>
<td style="background:black; color:white">1</td>
<td style="background:white; color:black">0</td>
<td style="background:black; color:white">1</td>
<td style="background:black; color:white">1</td>
<td style="background:white; color:black">0</td></tr>

<tr>
<td style="border-bottom:2px solid black">\(f_{9}\)</td>
<td style="border-bottom:2px solid black">\(1001\)</td>
<td style="border-bottom:2px solid black; border-right:2px solid black">\(\texttt{((} u \texttt{,} v \texttt{))}\)</td>
<td style="border-bottom:2px solid black; background:white; color:black">0</td>
<td style="border-bottom:2px solid black; background:black; color:white">1</td>
<td style="border-bottom:2px solid black; background:black; color:white">1</td>
<td style="border-bottom:2px solid black; background:white; color:black">0</td>
<td style="border-bottom:2px solid black; background:black; color:white">1</td>
<td style="border-bottom:2px solid black; background:white; color:black">0</td>
<td style="border-bottom:2px solid black; background:white; color:black">0</td>
<td style="border-bottom:2px solid black; background:black; color:white">1</td></tr>

<tr>
<td>\(f_{5}\)</td>
<td>\(0101\)</td>
<td style="border-right:2px solid black">\(\texttt{(} v \texttt{)}\)</td>
<td style="background:black; color:white">1</td>
<td style="background:white; color:black">0</td>
<td style="background:black; color:white">1</td>
<td style="background:white; color:black">0</td>
<td style="background:black; color:white">1</td>
<td style="background:white; color:black">0</td>
<td style="background:black; color:white">1</td>
<td style="background:white; color:black">0</td></tr>

<tr>
<td style="border-bottom:2px solid black">\(f_{10}\)</td>
<td style="border-bottom:2px solid black">\(1010\)</td>
<td style="border-bottom:2px solid black; border-right:2px solid black">\(v\)</td>
<td style="border-bottom:2px solid black; background:white; color:black">0</td>
<td style="border-bottom:2px solid black; background:black; color:white">1</td>
<td style="border-bottom:2px solid black; background:white; color:black">0</td>
<td style="border-bottom:2px solid black; background:black; color:white">1</td>
<td style="border-bottom:2px solid black; background:white; color:black">0</td>
<td style="border-bottom:2px solid black; background:black; color:white">1</td>
<td style="border-bottom:2px solid black; background:white; color:black">0</td>
<td style="border-bottom:2px solid black; background:black; color:white">1</td></tr>

<tr>
<td>\(f_{7}\)</td>
<td>\(0111\)</td>
<td style="border-right:2px solid black">\(\texttt{(} u ~ v \texttt{)}\)</td>
<td style="background:black; color:white">1</td>
<td style="background:white; color:black">0</td>
<td style="background:white; color:black">0</td>
<td style="background:white; color:black">0</td>
<td style="background:black; color:white">1</td>
<td style="background:black; color:white">1</td>
<td style="background:black; color:white">1</td>
<td style="background:white; color:black">0</td></tr>

<tr>
<td>\(f_{11}\)</td>
<td>\(1011\)</td>
<td style="border-right:2px solid black">\(\texttt{(} u ~ \texttt{(} v \texttt{))}\)</td>
<td style="background:white; color:black">0</td>
<td style="background:black; color:white">1</td>
<td style="background:white; color:black">0</td>
<td style="background:white; color:black">0</td>
<td style="background:black; color:white">1</td>
<td style="background:black; color:white">1</td>
<td style="background:white; color:black">0</td>
<td style="background:black; color:white">1</td></tr>

<tr>
<td>\(f_{13}\)</td>
<td>\(1101\)</td>
<td style="border-right:2px solid black">\(\texttt{((} u \texttt{)} ~ v \texttt{)}\)</td>
<td style="background:white; color:black">0</td>
<td style="background:white; color:black">0</td>
<td style="background:black; color:white">1</td>
<td style="background:white; color:black">0</td>
<td style="background:black; color:white">1</td>
<td style="background:white; color:black">0</td>
<td style="background:black; color:white">1</td>
<td style="background:black; color:white">1</td></tr>

<tr>
<td style="border-bottom:2px solid black">\(f_{14}\)</td>
<td style="border-bottom:2px solid black">\(1110\)</td>
<td style="border-bottom:2px solid black; border-right:2px solid black">\(\texttt{((} u \texttt{)(} v \texttt{))}\)</td>
<td style="border-bottom:2px solid black; background:white; color:black">0</td>
<td style="border-bottom:2px solid black; background:white; color:black">0</td>
<td style="border-bottom:2px solid black; background:white; color:black">0</td>
<td style="border-bottom:2px solid black; background:black; color:white">1</td>
<td style="border-bottom:2px solid black; background:white; color:black">0</td>
<td style="border-bottom:2px solid black; background:black; color:white">1</td>
<td style="border-bottom:2px solid black; background:black; color:white">1</td>
<td style="border-bottom:2px solid black; background:black; color:white">1</td></tr>

<tr>
<td>\(f_{15}\)</td>
<td>\(1111\)</td>
<td style="border-right:2px solid black">\(\texttt{((~))}\)</td>
<td style="background:white; color:black">0</td>
<td style="background:white; color:black">0</td>
<td style="background:white; color:black">0</td>
<td style="background:white; color:black">0</td>
<td style="background:black; color:white">1</td>
<td style="background:black; color:white">1</td>
<td style="background:black; color:white">1</td>
<td style="background:black; color:white">1</td></tr>

</table>

<br>

<font size="+1">
<table align="center" cellpadding="4" cellspacing="0" style="text-align:center; width:90%">

<caption><font size="+2">\(\texttt{Table 10.} ~~ \texttt{Relation of Quantifiers to Higher Order Propositions}\)</font></caption>

<tr>
<td style="border-bottom:2px solid black">\(\texttt{Mnemonic}\)</td>
<td style="border-bottom:2px solid black">\(\texttt{Category}\)</td>
<td style="border-bottom:2px solid black">\(\texttt{Classical Form}\)</td>
<td style="border-bottom:2px solid black">\(\texttt{Alternate Form}\)</td>
<td style="border-bottom:2px solid black">\(\texttt{Symmetric Form}\)</td>
<td style="border-bottom:2px solid black">\(\texttt{Operator}\)</td></tr>

<tr>
<td>\(\texttt{E}\)<br>\(\texttt{Exclusive}\)</td>
<td>\(\texttt{Universal}\)<br>\(\texttt{Negative}\)</td>
<td>\(\texttt{All} ~ u ~ \texttt{is} ~ \texttt{(} v \texttt{)}\)</td>
<td> </td>
<td>\(\texttt{No} ~ u ~ \texttt{is} ~ v\)</td>
<td>\(\texttt{(} \ell_{11} \texttt{)}\)</td></tr>

<tr>
<td>\(\texttt{A}\)<br>\(\texttt{Absolute}\)</td>
<td>\(\texttt{Universal}\)<br>\(\texttt{Affirmative}\)</td>
<td>\(\texttt{All} ~ u ~ \texttt{is} ~ v\)</td>
<td> </td>
<td>\(\texttt{No} ~ u ~ \texttt{is} ~ \texttt{(} v \texttt{)}\)</td>
<td>\(\texttt{(} \ell_{10} \texttt{)}\)</td></tr>

<tr>
<td> </td>
<td> </td>
<td>\(\texttt{All} ~ v ~ \texttt{is} ~ u\)</td>
<td>\(\texttt{No} ~ v ~ \texttt{is} ~ \texttt{(} u \texttt{)}\)</td>
<td>\(\texttt{No} ~ \texttt{(} u \texttt{)} ~ \texttt{is} ~ v\)</td>
<td>\(\texttt{(} \ell_{01} \texttt{)}\)</td></tr>

<tr>
<td style="border-bottom:2px solid black"> </td>
<td style="border-bottom:2px solid black"> </td>
<td style="border-bottom:2px solid black">\(\texttt{All} ~ \texttt{(} v \texttt{)} ~ \texttt{is} ~ u\)</td>
<td style="border-bottom:2px solid black">\(\texttt{No} ~ \texttt{(} v \texttt{)} ~ \texttt{is} ~ \texttt{(} u \texttt{)}\)</td>
<td style="border-bottom:2px solid black">\(\texttt{No} ~ \texttt{(} u \texttt{)} ~ \texttt{is} ~ \texttt{(} v \texttt{)}\)</td>
<td style="border-bottom:2px solid black">\(\texttt{(} \ell_{00} \texttt{)}\)</td></tr>

<tr>
<td> </td>
<td> </td>
<td>\(\texttt{Some} ~ \texttt{(} u \texttt{)} ~ \texttt{is} ~ \texttt{(} v \texttt{)}\)</td>
<td> </td>
<td>\(\texttt{Some} ~ \texttt{(} u \texttt{)} ~ \texttt{is} ~ \texttt{(} v \texttt{)}\)</td>
<td>\(\ell_{00}\)</td></tr>

<tr>
<td> </td>
<td> </td>
<td>\(\texttt{Some} ~ \texttt{(} u \texttt{)} ~ \texttt{is} ~ v\)</td>
<td> </td>
<td>\(\texttt{Some} ~ \texttt{(} u \texttt{)} ~ \texttt{is} ~ v\)</td>
<td>\(\ell_{01}\)</td></tr>

<tr>
<td>\(\texttt{O}\)<br>\(\texttt{Obtrusive}\)</td>
<td>\(\texttt{Particular}\)<br>\(\texttt{Negative}\)</td>
<td>\(\texttt{Some} ~ u ~ \texttt{is} ~ \texttt{(} v \texttt{)}\)</td>
<td> </td>
<td>\(\texttt{Some} ~ u ~ \texttt{is} ~ \texttt{(} v \texttt{)}\)</td>
<td>\(\ell_{10}\)</td></tr>

<tr>
<td>\(\texttt{I}\)<br>\(\texttt{Indefinite}\)</td>
<td>\(\texttt{Particular}\)<br>\(\texttt{Affirmative}\)</td>
<td>\(\texttt{Some} ~ u ~ \texttt{is} ~ v\)</td>
<td> </td>
<td>\(\texttt{Some} ~ u ~ \texttt{is} ~ v\)</td>
<td>\(\ell_{11}\)</td></tr>

</table></font>

References

  • Quine, W.V. (1969/1981), "On the Limits of Decision", Akten des XIV. Internationalen Kongresses für Philosophie, vol. 3 (1969). Reprinted, pp. 156–163 in Quine (ed., 1981), Theories and Things, Harvard University Press, Cambridge, MA.

Related Topics

Appendix : Generalized Umpire Operators

In order to get a handle on the space of higher order propositions and eventually to carry out a functional approach to quantification theory, it serves to construct some specialized tools. Specifically, I define a higher order operator \(\Upsilon,\) called the umpire operator, which takes up to three propositions as arguments and returns a single truth value as the result. Formally, this so-called multigrade property of \(\Upsilon\) can be expressed as a union of function types, in the following manner:

\(\Upsilon : \bigcup_{\ell = 1, 2, 3} ((\mathbb{B}^k \to \mathbb{B})^\ell \to \mathbb{B}).\)

In contexts of application the intended sense can be discerned by the number of arguments that actually appear in the argument list. Often, the first and last arguments appear as indices, the one in the middle being treated as the main argument while the other two arguments serve to modify the sense of the operation in question. Thus, we have the following forms:

\(\Upsilon_p^r q = \Upsilon (p, q, r)\)
\(\Upsilon_p^r : (\mathbb{B}^k \to \mathbb{B}) \to \mathbb{B}\)

The intention of this operator is that we evaluate the proposition \(q\) on each model of the proposition \(p\) and combine the results according to the method indicated by the connective parameter \(r.\) In principle, the index \(r\) might specify any connective on as many as \(2^k\) arguments, but usually we have in mind a much simpler form of combination, most often either collective products or collective sums. By convention, each of the accessory indices \(p, r\) is assigned a default value that is understood to be in force when the corresponding argument place is left blank, specifically, the constant proposition \(1 : \mathbb{B}^k \to \mathbb{B}\) for the lower index \(p,\) and the continued conjunction or continued product operation \(\textstyle\prod\) for the upper index \(r.\) Taking the upper default value gives license to the following readings:

\(\Upsilon_p (q) = \Upsilon (p, q) = \Upsilon (p, q, \textstyle\prod).\)
\(\Upsilon_p = \Upsilon (p, \underline{~~}, \textstyle\prod) : (\mathbb{B}^k \to \mathbb{B}) \to \mathbb{B}.\)

This means that \(\Upsilon_p (q) = 1\) if and only if \(q\) holds for all models of \(p.\) In propositional terms, this is tantamount to the assertion that \(p \Rightarrow q,\) or that \(\texttt{(} p \texttt{(} q \texttt{))} = 1.\)

Throwing in the lower default value permits the following abbreviations:

\(\Upsilon q = \Upsilon (q) = \Upsilon_1 (q) = \Upsilon (1, q, \textstyle\prod).\)
\(\Upsilon = \Upsilon (1, \underline{~~}, \textstyle\prod)) : (\mathbb{B}^k\ \to \mathbb{B}) \to \mathbb{B}.\)

This means that \(\Upsilon q = 1\) if and only if \(q\) holds for the whole universe of discourse in question, that is, if and only \(q\) is the constantly true proposition \(1 : \mathbb{B}^k \to \mathbb{B}.\) 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

Note. The above material is excerpted from a project report on Charles Sanders Peirce's conceptions of inquiry and analogy. Online formatting of the original document and continuation of the initial project are currently in progress under the title Functional Logic : Inquiry and Analogy.

Author: Jon Awbrey November 1, 1995
Course: Engineering 690, Graduate Project Cont'd from Winter 1995
Supervisors: F. Mili & M.A. Zohdy Oakland University 
| Version:  Draft 3.25
| Created:  01 Jan 1995
| Relayed:  01 Nov 1995
| Revised:  24 Dec 2001
| Revised:  12 Mar 2004
Retrieved from "https://mywikibiz.com/index.php?title=User:Jon_Awbrey/TEST&oldid=99130"