|
|
| (16 intermediate revisions by the same user not shown) |
| Line 1: |
Line 1: |
| − | The following Tables develop these ideas in more detail.
| + | ==Test Area== |
| | | | |
| − | <br> | + | {| align="center" cellpadding="0" cellspacing="0" width="90%" |
| | + | | |
| | + | <p>A child hears it said that the stove is hot. But it is not, he says; and, indeed, that central body is not touching it, and only what that touches is hot or cold. But he touches it, and finds the testimony confirmed in a striking way. Thus, he becomes aware of ignorance, and it is necessary to suppose a ''self'' in which this ignorance can inhere. …</p> |
| | | | |
| − | <table align="center" cellpadding="1" cellspacing="0" style="border-left:1px solid black; border-top:1px solid black; border-right:1px solid black; border-bottom:1px solid black; text-align:center; width:90%"> | + | <p>In short, ''error'' appears, and it can be explained only by supposing a ''self'' which is fallible.</p> |
| | | | |
| − | <caption><font size="+2"><math>\text{Table 8.} ~~ \text{Simple Qualifiers of Propositions (Version 1)}</math></font></caption> | + | <p>Ignorance and error are all that distinguish our private selves from the absolute ''ego'' of pure apperception.</p> |
| − | | + | |- |
| − | <tr>
| + | | align="right" | (Peirce, CP 5.233–235) |
| − | <td width="4%" style="border-bottom:1px solid black" align="right">
| + | |} |
| − | <math>\begin{matrix}u\!:\\v\!:\end{matrix}</math></td>
| |
| − | <td width="6%" style="border-bottom:1px solid black">
| |
| − | <math>\begin{matrix}1100\\1010\end{matrix}</math></td>
| |
| − | <td width="10%" style="border-bottom:1px solid black; border-right:1px solid black">
| |
| − | <math>f</math></td>
| |
| − | <td width="10%" style="border-bottom:1px solid black">
| |
| − | <math>\texttt{(} \ell_{11} \texttt{)}</math><br>
| |
| − | <math>No ~ u</math><br>
| |
| − | <math>is ~ v</math></td>
| |
| − | <td width="10%" style="border-bottom:1px solid black">
| |
| − | <math>\texttt{(} \ell_{10} \texttt{)}</math><br>
| |
| − | <math>No ~ u</math><br>
| |
| − | <math>is ~ \texttt{(} v \texttt{)}</math></td>
| |
| − | <td width="10%" style="border-bottom:1px solid black">
| |
| − | <math>\texttt{(} \ell_{01} \texttt{)}</math><br>
| |
| − | <math>No ~ \texttt{(} u \texttt{)}</math><br>
| |
| − | <math>is ~ v</math></td>
| |
| − | <td width="10%" style="border-bottom:1px 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:1px 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:1px 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:1px 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:1px solid black">
| |
| − | <math>\ell_{11}</math><br>
| |
| − | <math>Some ~ u</math><br>
| |
| − | <math>is ~ v</math></td></tr>
| |
| − | | |
| − | <tr>
| |
| − | <td><math>f_{0}</math></td>
| |
| − | <td><math>0000</math></td>
| |
| − | <td style="border-right:1px solid black"><math>\texttt{(~)}</math></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><math>f_{1}</math></td>
| |
| − | <td><math>0001</math></td>
| |
| − | <td style="border-right:1px solid black"><math>\texttt{(} 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: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><math>f_{2}</math></td>
| |
| − | <td><math>0010</math></td>
| |
| − | <td style="border-right:1px solid black"><math>\texttt{(} u\texttt{)} ~ v</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: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><math>f_{3}</math></td>
| |
| − | <td><math>0011</math></td>
| |
| − | <td style="border-right:1px solid black"><math>\texttt{(} u \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: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:1px solid black"><math>u ~ \texttt{(} v \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: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><math>f_{5}</math></td>
| |
| − | <td><math>0101</math></td>
| |
| − | <td style="border-right:1px 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: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><math>f_{6}</math></td>
| |
| − | <td><math>0110</math></td>
| |
| − | <td style="border-right:1px solid black"><math>\texttt{(} u \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:black; color:white">1</td>
| |
| − | <td style="background:black; color:white">1</td>
| |
| − | <td style="background:white; color:black">0</td></tr>
| |
| − | | |
| − | <tr>
| |
| − | <td><math>f_{7}</math></td>
| |
| − | <td><math>0111</math></td>
| |
| − | <td style="border-right:1px 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: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><math>f_{8}</math></td>
| |
| − | <td><math>1000</math></td>
| |
| − | <td style="border-right:1px solid black"><math>u ~ v</math></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><math>f_{9}</math></td>
| |
| − | <td><math>1001</math></td>
| |
| − | <td style="border-right:1px 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: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><math>f_{10}</math></td>
| |
| − | <td><math>1010</math></td>
| |
| − | <td style="border-right:1px solid black"><math>v</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></tr>
| |
| − | | |
| − | <tr>
| |
| − | <td><math>f_{11}</math></td>
| |
| − | <td><math>1011</math></td>
| |
| − | <td style="border-right:1px 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: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_{12}</math></td>
| |
| − | <td><math>1100</math></td>
| |
| − | <td style="border-right:1px 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: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><math>f_{13}</math></td>
| |
| − | <td><math>1101</math></td>
| |
| − | <td style="border-right:1px 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: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><math>f_{14}</math></td>
| |
| − | <td><math>1110</math></td>
| |
| − | <td style="border-right:1px 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: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_{15}</math></td>
| |
| − | <td><math>1111</math></td>
| |
| − | <td style="border-right:1px 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: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="border-left:1px solid black; border-top:1px solid black; border-right:1px solid black; border-bottom:1px solid black; text-align:center; width:90%">
| |
| − | | |
| − | <caption><font size="+2"><math>\text{Table 9.} ~~ \text{Simple Qualifiers of Propositions (Version 2)}</math></font></caption>
| |
| − | | |
| − | <tr>
| |
| − | <td width="4%" style="border-bottom:1px solid black" align="right">
| |
| − | <math>\begin{matrix}u\!:\\v\!:\end{matrix}</math></td>
| |
| − | <td width="6%" style="border-bottom:1px solid black">
| |
| − | <math>\begin{matrix}1100\\1010\end{matrix}</math></td>
| |
| − | <td width="10%" style="border-bottom:1px solid black; border-right:1px solid black">
| |
| − | <math>f</math></td>
| |
| − | <td width="10%" style="border-bottom:1px solid black">
| |
| − | <math>\texttt{(} \ell_{11} \texttt{)}</math><br>
| |
| − | <math>No ~ u</math><br>
| |
| − | <math>is ~ v</math></td>
| |
| − | <td width="10%" style="border-bottom:1px solid black">
| |
| − | <math>\texttt{(} \ell_{10} \texttt{)}</math><br>
| |
| − | <math>No ~ u</math><br>
| |
| − | <math>is ~ \texttt{(} v \texttt{)}</math></td>
| |
| − | <td width="10%" style="border-bottom:1px solid black">
| |
| − | <math>\texttt{(} \ell_{01} \texttt{)}</math><br>
| |
| − | <math>No ~ \texttt{(} u \texttt{)}</math><br>
| |
| − | <math>is ~ v</math></td>
| |
| − | <td width="10%" style="border-bottom:1px 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:1px 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:1px 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:1px 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:1px solid black">
| |
| − | <math>\ell_{11}</math><br>
| |
| − | <math>Some ~ u</math><br>
| |
| − | <math>is ~ v</math></td></tr>
| |
| − | | |
| − | <tr>
| |
| − | <td style="border-bottom:1px solid black"><math>f_{0}</math></td>
| |
| − | <td style="border-bottom:1px solid black"><math>0000</math></td>
| |
| − | <td style="border-bottom:1px solid black; border-right:1px solid black"><math>\texttt{(~)}</math></td>
| |
| − | <td style="border-bottom:1px solid black; background:black; color:white">1</td>
| |
| − | <td style="border-bottom:1px solid black; background:black; color:white">1</td>
| |
| − | <td style="border-bottom:1px solid black; background:black; color:white">1</td>
| |
| − | <td style="border-bottom:1px solid black; background:black; color:white">1</td>
| |
| − | <td style="border-bottom:1px solid black; background:white; color:black">0</td>
| |
| − | <td style="border-bottom:1px solid black; background:white; color:black">0</td>
| |
| − | <td style="border-bottom:1px solid black; background:white; color:black">0</td>
| |
| − | <td style="border-bottom:1px solid black; background:white; color:black">0</td></tr>
| |
| − | | |
| − | <tr>
| |
| − | <td><math>f_{1}</math></td>
| |
| − | <td><math>0001</math></td>
| |
| − | <td style="border-right:1px solid black"><math>\texttt{(} 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: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><math>f_{2}</math></td>
| |
| − | <td><math>0010</math></td>
| |
| − | <td style="border-right:1px solid black"><math>\texttt{(} u\texttt{)} ~ v</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: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><math>f_{4}</math></td>
| |
| − | <td><math>0100</math></td>
| |
| − | <td style="border-right:1px solid black"><math>u ~ \texttt{(} v \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: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:1px solid black"><math>f_{8}</math></td>
| |
| − | <td style="border-bottom:1px solid black"><math>1000</math></td>
| |
| − | <td style="border-bottom:1px solid black; border-right:1px solid black"><math>u ~ v</math></td>
| |
| − | <td style="border-bottom:1px solid black; background:white; color:black">0</td>
| |
| − | <td style="border-bottom:1px solid black; background:black; color:white">1</td>
| |
| − | <td style="border-bottom:1px solid black; background:black; color:white">1</td>
| |
| − | <td style="border-bottom:1px solid black; background:black; color:white">1</td>
| |
| − | <td style="border-bottom:1px solid black; background:white; color:black">0</td>
| |
| − | <td style="border-bottom:1px solid black; background:white; color:black">0</td>
| |
| − | <td style="border-bottom:1px solid black; background:white; color:black">0</td>
| |
| − | <td style="border-bottom:1px solid black; background:black; color:white">1</td></tr>
| |
| − | | |
| − | <tr>
| |
| − | <td><math>f_{3}</math></td>
| |
| − | <td><math>0011</math></td>
| |
| − | <td style="border-right:1px solid black"><math>\texttt{(} u \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: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:1px solid black"><math>f_{12}</math></td>
| |
| − | <td style="border-bottom:1px solid black"><math>1100</math></td>
| |
| − | <td style="border-bottom:1px solid black; border-right:1px solid black"><math>u</math></td>
| |
| − | <td style="border-bottom:1px solid black; background:white; color:black">0</td>
| |
| − | <td style="border-bottom:1px solid black; background:white; color:black">0</td>
| |
| − | <td style="border-bottom:1px solid black; background:black; color:white">1</td>
| |
| − | <td style="border-bottom:1px solid black; background:black; color:white">1</td>
| |
| − | <td style="border-bottom:1px solid black; background:white; color:black">0</td>
| |
| − | <td style="border-bottom:1px solid black; background:white; color:black">0</td>
| |
| − | <td style="border-bottom:1px solid black; background:black; color:white">1</td>
| |
| − | <td style="border-bottom:1px solid black; background:black; color:white">1</td></tr>
| |
| − | | |
| − | <tr>
| |
| − | <td><math>f_{6}</math></td>
| |
| − | <td><math>0110</math></td>
| |
| − | <td style="border-right:1px solid black"><math>\texttt{(} u \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: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:1px solid black"><math>f_{9}</math></td>
| |
| − | <td style="border-bottom:1px solid black"><math>1001</math></td>
| |
| − | <td style="border-bottom:1px solid black; border-right:1px solid black"><math>\texttt{((} u \texttt{,} v \texttt{))}</math></td>
| |
| − | <td style="border-bottom:1px solid black; background:white; color:black">0</td>
| |
| − | <td style="border-bottom:1px solid black; background:black; color:white">1</td>
| |
| − | <td style="border-bottom:1px solid black; background:black; color:white">1</td>
| |
| − | <td style="border-bottom:1px solid black; background:white; color:black">0</td>
| |
| − | <td style="border-bottom:1px solid black; background:black; color:white">1</td>
| |
| − | <td style="border-bottom:1px solid black; background:white; color:black">0</td>
| |
| − | <td style="border-bottom:1px solid black; background:white; color:black">0</td>
| |
| − | <td style="border-bottom:1px solid black; background:black; color:white">1</td></tr>
| |
| − | | |
| − | <tr>
| |
| − | <td><math>f_{5}</math></td>
| |
| − | <td><math>0101</math></td>
| |
| − | <td style="border-right:1px 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: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:1px solid black"><math>f_{10}</math></td>
| |
| − | <td style="border-bottom:1px solid black"><math>1010</math></td>
| |
| − | <td style="border-bottom:1px solid black; border-right:1px solid black"><math>v</math></td>
| |
| − | <td style="border-bottom:1px solid black; background:white; color:black">0</td>
| |
| − | <td style="border-bottom:1px solid black; background:black; color:white">1</td>
| |
| − | <td style="border-bottom:1px solid black; background:white; color:black">0</td>
| |
| − | <td style="border-bottom:1px solid black; background:black; color:white">1</td>
| |
| − | <td style="border-bottom:1px solid black; background:white; color:black">0</td>
| |
| − | <td style="border-bottom:1px solid black; background:black; color:white">1</td>
| |
| − | <td style="border-bottom:1px solid black; background:white; color:black">0</td>
| |
| − | <td style="border-bottom:1px solid black; background:black; color:white">1</td></tr>
| |
| − | | |
| − | <tr>
| |
| − | <td><math>f_{7}</math></td>
| |
| − | <td><math>0111</math></td>
| |
| − | <td style="border-right:1px 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: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><math>f_{11}</math></td>
| |
| − | <td><math>1011</math></td>
| |
| − | <td style="border-right:1px 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: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_{13}</math></td>
| |
| − | <td><math>1101</math></td>
| |
| − | <td style="border-right:1px 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: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:1px solid black"><math>f_{14}</math></td>
| |
| − | <td style="border-bottom:1px solid black"><math>1110</math></td>
| |
| − | <td style="border-bottom:1px solid black; border-right:1px solid black"><math>\texttt{((} u \texttt{)(} v \texttt{))}</math></td>
| |
| − | <td style="border-bottom:1px solid black; background:white; color:black">0</td>
| |
| − | <td style="border-bottom:1px solid black; background:white; color:black">0</td>
| |
| − | <td style="border-bottom:1px solid black; background:white; color:black">0</td>
| |
| − | <td style="border-bottom:1px solid black; background:black; color:white">1</td>
| |
| − | <td style="border-bottom:1px solid black; background:white; color:black">0</td>
| |
| − | <td style="border-bottom:1px solid black; background:black; color:white">1</td>
| |
| − | <td style="border-bottom:1px solid black; background:black; color:white">1</td>
| |
| − | <td style="border-bottom:1px solid black; background:black; color:white">1</td></tr>
| |
| − | | |
| − | <tr>
| |
| − | <td><math>f_{15}</math></td>
| |
| − | <td><math>1111</math></td>
| |
| − | <td style="border-right:1px 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: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="4" cellspacing="0" style="border-left:1px solid black; border-top:1px solid black; border-right:1px solid black; border-bottom:1px solid black; text-align:center; width:90%">
| |
| − | | |
| − | <caption><font size="+2"><math>\text{Table 10.} ~~ \text{Relation of Quantifiers to Higher Order Propositions}</math></font></caption>
| |
| − | | |
| − | <tr>
| |
| − | <td style="border-bottom:1px solid black"><math>\mathrm{Mnemonic}</math></td>
| |
| − | <td style="border-bottom:1px solid black"><math>\mathrm{Category}</math></td>
| |
| − | <td style="border-bottom:1px solid black"><math>\mathrm{Classical~Form}</math></td>
| |
| − | <td style="border-bottom:1px solid black"><math>\mathrm{Alternate~Form}</math></td>
| |
| − | <td style="border-bottom:1px solid black"><math>\mathrm{Symmetric~Form}</math></td>
| |
| − | <td style="border-bottom:1px solid black"><math>\mathrm{Operator}</math></td></tr>
| |
| − | | |
| − | <tr>
| |
| − | <td><math>\mathrm{E}</math><br><math>\mathrm{Exclusive}</math></td>
| |
| − | <td><math>\mathrm{Universal}</math><br><math>\mathrm{Negative}</math></td>
| |
| − | <td><math>\mathrm{All} ~ u ~ \mathrm{is} ~ \texttt{(} v \texttt{)}</math></td>
| |
| − | <td> </td>
| |
| − | <td><math>\mathrm{No} ~ u ~ \mathrm{is} ~ v</math></td>
| |
| − | <td><math>\texttt{(} \ell_{11} \texttt{)}</math></td></tr>
| |
| − | | |
| − | <tr>
| |
| − | <td><math>\mathrm{A}</math><br><math>\mathrm{Absolute}</math></td>
| |
| − | <td><math>\mathrm{Universal}</math><br><math>\mathrm{Affirmative}</math></td>
| |
| − | <td><math>\mathrm{All} ~ u ~ \mathrm{is} ~ v</math></td>
| |
| − | <td> </td>
| |
| − | <td><math>\mathrm{No} ~ u ~ \mathrm{is} ~ \texttt{(} v \texttt{)}</math></td>
| |
| − | <td><math>\texttt{(} \ell_{10} \texttt{)}</math></td></tr>
| |
| − | | |
| − | <tr>
| |
| − | <td> </td>
| |
| − | <td> </td>
| |
| − | <td><math>\mathrm{All} ~ v ~ \mathrm{is} ~ u</math></td>
| |
| − | <td><math>\mathrm{No} ~ v ~ \mathrm{is} ~ \texttt{(} u \texttt{)}</math></td>
| |
| − | <td><math>\mathrm{No} ~ \texttt{(} u \texttt{)} ~ \mathrm{is} ~ v</math></td>
| |
| − | <td><math>\texttt{(} \ell_{01} \texttt{)}</math></td></tr>
| |
| − | | |
| − | <tr>
| |
| − | <td style="border-bottom:1px solid black"> </td>
| |
| − | <td style="border-bottom:1px solid black"> </td>
| |
| − | <td style="border-bottom:1px solid black"><math>\mathrm{All} ~ \texttt{(} v \texttt{)} ~ \mathrm{is} ~ u</math></td>
| |
| − | <td style="border-bottom:1px solid black"><math>\mathrm{No} ~ \texttt{(} v \texttt{)} ~ \mathrm{is} ~ \texttt{(} u \texttt{)}</math></td>
| |
| − | <td style="border-bottom:1px solid black"><math>\mathrm{No} ~ \texttt{(} u \texttt{)} ~ \mathrm{is} ~ \texttt{(} v \texttt{)}</math></td>
| |
| − | <td style="border-bottom:1px solid black"><math>\texttt{(} \ell_{00} \texttt{)}</math></td></tr>
| |
| − | | |
| − | <tr>
| |
| − | <td> </td>
| |
| − | <td> </td>
| |
| − | <td><math>\mathrm{Some} ~ \texttt{(} u \texttt{)} ~ \mathrm{is} ~ \texttt{(} v \texttt{)}</math></td>
| |
| − | <td> </td>
| |
| − | <td><math>\mathrm{Some} ~ \texttt{(} u \texttt{)} ~ \mathrm{is} ~ \texttt{(} v \texttt{)}</math></td>
| |
| − | <td><math>\ell_{00}</math></td></tr>
| |
| − | | |
| − | <tr>
| |
| − | <td> </td>
| |
| − | <td> </td>
| |
| − | <td><math>\mathrm{Some} ~ \texttt{(} u \texttt{)} ~ \mathrm{is} ~ v</math></td>
| |
| − | <td> </td>
| |
| − | <td><math>\mathrm{Some} ~ \texttt{(} u \texttt{)} ~ \mathrm{is} ~ v</math></td>
| |
| − | <td><math>\ell_{01}</math></td></tr>
| |
| − | | |
| − | <tr>
| |
| − | <td><math>\mathrm{O}</math><br><math>\mathrm{Obtrusive}</math></td>
| |
| − | <td><math>\mathrm{Particular}</math><br><math>\mathrm{Negative}</math></td>
| |
| − | <td><math>\mathrm{Some} ~ u ~ \mathrm{is} ~ \texttt{(} v \texttt{)}</math></td>
| |
| − | <td> </td>
| |
| − | <td><math>\mathrm{Some} ~ u ~ \mathrm{is} ~ \texttt{(} v \texttt{)}</math></td>
| |
| − | <td><math>\ell_{10}</math></td></tr>
| |
| − | | |
| − | <tr>
| |
| − | <td><math>\mathrm{I}</math><br><math>\mathrm{Indefinite}</math></td>
| |
| − | <td><math>\mathrm{Particular}</math><br><math>\mathrm{Affirmative}</math></td>
| |
| − | <td><math>\mathrm{Some} ~ u ~ \mathrm{is} ~ v</math></td>
| |
| − | <td> </td>
| |
| − | <td><math>\mathrm{Some} ~ u ~ \mathrm{is} ~ v</math></td>
| |
| − | <td><math>\ell_{11}</math></td></tr>
| |
| − | | |
| − | </table>
| |
| − | | |
| − | <br>
| |
