Changes

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.

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.

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

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

{| align="center" border="1" cellpadding="8" cellspacing="0" style="font-weight:bold; text-align:center; width:96%"

{| align="center" border="1" cellpadding="8" cellspacing="0" style="font-weight:bold; text-align:center; width:90%"

|+ '''Table 7. Syllogistic Premisses as Higher Order Indicator Functions'''

|+ <math>\text{Table 7.} ~~ \text{Syllogistic Premisses as Higher Order Indicator Functions}</math>

|

|

<math>\begin{array}{clcl}

<math>\begin{array}{clcl}

<pre>

<pre>

<table align="center" cellpadding="10" cellspacing="0" width="80%">

<table align="center" border="1" cellpadding="8" cellspacing="0" width="80%">

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

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