Changes

Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems (view source)

Revision as of 20:56, 24 March 2010

12 bytes added , 20:56, 24 March 2010

revert -- go back to arabic numbering, but sequential within section

Line 1,327: Line 1,327:

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

−

|+ <math>\text{Table 1.}~~\text{Composite and Compiled Order Relations}</math>

+

|+ <math>\text{Table 46.}~~\text{Composite and Compiled Order Relations}</math>

|- style="background:#f0f0ff"

|

Line 1,458: Line 1,458:

{| align="center" cellpadding="8" 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:40%"

−

|+ style="height:30px" | <math>\text{Table 2.} ~~ [| f_{207} |] ~=~ [| p \le q |]</math>

+

|+ style="height:30px" | <math>\text{Table 51.} ~~ [| f_{207} |] ~=~ [| p \le q |]</math>

|- style="height:40px; background:#f0f0ff"

| style="border-bottom:1px solid black" | <math>p\!</math>

Line 1,480: Line 1,480:

{| align="center" cellpadding="8" 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:40%"

−

|+ style="height:30px" | <math>\text{Table 3.} ~~ [| f_{187} |] ~=~ [| q \le r |]</math>

+

|+ style="height:30px" | <math>\text{Table 52.} ~~ [| f_{187} |] ~=~ [| q \le r |]</math>

|- style="height:40px; background:#f0f0ff"

| style="border-bottom:1px solid black" | <math>p\!</math>

Line 1,502: Line 1,502:

{| align="center" cellpadding="8" 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:40%"

−

|+ style="height:30px" | <math>\text{Table 4.} ~~ [| f_{175} |] ~=~ [| p \le r |]</math>

+

|+ style="height:30px" | <math>\text{Table 53.} ~~ [| f_{175} |] ~=~ [| p \le r |]</math>

|- style="height:40px; background:#f0f0ff"

| style="border-bottom:1px solid black" | <math>p\!</math>

Line 1,524: Line 1,524:

{| align="center" cellpadding="8" 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:40%"

−

|+ style="height:30px" | <math>\text{Table 5.} ~~ [| f_{139} |] ~=~ [| p \le q \le r |]</math>

+

|+ style="height:30px" | <math>\text{Table 54.} ~~ [| f_{139} |] ~=~ [| p \le q \le r |]</math>

|- style="height:40px; background:#f0f0ff"

| style="border-bottom:1px solid black" | <math>p\!</math>

Line 1,606: Line 1,606:

These are just some of the initial observations that can be made about the dimensions of information and uncertainty in the conduct of logical inference, and there are many issues to be taken up as we get to the thick of it. In particular, we are taking propositions far too literally at the outset, reading their spots at face value, as it were, without yet considering their species character as fallible signs.

−

For ease of reference in the rest of this discussion, let us refer to the propositional form <math>f : \mathbb{B}^3 \to \mathbb{B}</math> such that <math>f(p, q, r) = f_{139}(p, q, r) = \texttt{(} p \texttt{(} q \texttt{))(} q \texttt{(} r \texttt{))}</math> as the ''syllogism map'', written as <math>\operatorname{syll} : \mathbb{B}^3 \to \mathbb{B},</math> and let us refer to its fiber of truth <math>[| \operatorname{syll} |] = \operatorname{syll}^{-1}(1)</math> as the ''syllogism relation'', written as <math>\operatorname{Syll} \subseteq \mathbb{B}^3.</math> Table 6 shows <math>\operatorname{Syll}</math> as a relational dataset.

+

For ease of reference in the rest of this discussion, let us refer to the propositional form <math>f : \mathbb{B}^3 \to \mathbb{B}</math> such that <math>f(p, q, r) = f_{139}(p, q, r) = \texttt{(} p \texttt{(} q \texttt{))(} q \texttt{(} r \texttt{))}</math> as the ''syllogism map'', written as <math>\operatorname{syll} : \mathbb{B}^3 \to \mathbb{B},</math> and let us refer to its fiber of truth <math>[| \operatorname{syll} |] = \operatorname{syll}^{-1}(1)</math> as the ''syllogism relation'', written as <math>\operatorname{Syll} \subseteq \mathbb{B}^3.</math> Table 51 shows <math>\operatorname{Syll}</math> as a relational dataset.

<br>

{| align="center" cellpadding="8" 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:40%"

−

|+ style="height:30px" | <math>\text{Table 6.} ~~ \text{Syllogism Relation}</math>

+

|+ style="height:30px" | <math>\text{Table 55.} ~~ \text{Syllogism Relation}</math>

|- style="height:40px; background:#f0f0ff"

| style="border-bottom:1px solid black" | <math>p\!</math>

Line 1,630: Line 1,630:

One of the first questions that we might ask about a 3-adic relation, in this case <math>\operatorname{Syll},</math> is whether it is ''determined by'' its 2-adic projections. I will illustrate what this means in the present case.

−

Table 7 repeats the relation <math>\operatorname{Syll}</math> in the first column, listing its 3-tuples in bit-string form, followed by the 2-adic or ''planar'' projections of <math>\operatorname{Syll}</math> in the next three columns. For instance, <math>\operatorname{Syll}_{pq}</math> is the 2-adic projection of <math>\operatorname{Syll}</math> on the <math>pq\!</math> plane that is arrived at by deleting the <math>r\!</math> column and counting each 2-tuple that results just one time. Likewise, <math>\operatorname{Syll}_{pr}</math> is obtained by deleting the <math>q\!</math> column and <math>\operatorname{Syll}_{qr}</math> is derived by deleting the <math>p\!</math> column, ignoring whatever duplicate pairs may result. The final row of the right three columns gives the propositions of the form <math>f : \mathbb{B}^2 \to \mathbb{B}</math> that indicate the 2-adic relations that result from these projections.

+

Table 56 repeats the relation <math>\operatorname{Syll}</math> in the first column, listing its 3-tuples in bit-string form, followed by the 2-adic or ''planar'' projections of <math>\operatorname{Syll}</math> in the next three columns. For instance, <math>\operatorname{Syll}_{pq}</math> is the 2-adic projection of <math>\operatorname{Syll}</math> on the <math>pq\!</math> plane that is arrived at by deleting the <math>r\!</math> column and counting each 2-tuple that results just one time. Likewise, <math>\operatorname{Syll}_{pr}</math> is obtained by deleting the <math>q\!</math> column and <math>\operatorname{Syll}_{qr}</math> is derived by deleting the <math>p\!</math> column, ignoring whatever duplicate pairs may result. The final row of the right three columns gives the propositions of the form <math>f : \mathbb{B}^2 \to \mathbb{B}</math> that indicate the 2-adic relations that result from these projections.

<br>

{| align="center" border="1" cellpadding="8" cellspacing="0" style="text-align:center; width:80%"

−

|+ style="height:30px" | <math>\text{Table 7.} ~~ \text{Dyadic Projections of the Syllogism Relation}</math>

+

|+ style="height:30px" | <math>\text{Table 56.} ~~ \text{Dyadic Projections of the Syllogism Relation}</math>

|- style="height:40px; background:#f0f0ff"

| <math>\operatorname{Syll}</math>

Line 1,722: Line 1,722:

|}

−

Table 8 shows the 3-adic relation <math>\operatorname{Syll} \subseteq \mathbb{B}^3</math> again, and Figure 59 shows it plotted on a 3-cube template.

+

Table 58 shows the 3-adic relation <math>\operatorname{Syll} \subseteq \mathbb{B}^3</math> again, and Figure 59 shows it plotted on a 3-cube template.

{| align="center" cellpadding="10" style="text-align:center; width:90%"

|

<pre>

−

Table 8. Syll c B^3

+

Table 58. Syll c B^3

o-----------------------o

| p q r |

Line 1,780: Line 1,780:

|

<pre>

−

Table 9. Syll c B^3

+

Table 60. Syll c B^3

o-----------------------o

| p q r |

Line 1,794: Line 1,794:

|

<pre>

−

Table 10. Dyadic Projections of Syll

+

Table 61. Dyadic Projections of Syll

o-----------o o-----------o o-----------o

Line 1,878: Line 1,878:

|

<pre>

−

Table 11. Syll c B^3

+

Table 63. Syll c B^3

o-----------------------o

| p q r |

Line 1,892: Line 1,892:

|

<pre>

−

Table 12. Dyadic Projections of Syll

+

Table 64. Dyadic Projections of Syll

o-----------o o-----------o o-----------o

Line 1,909: Line 1,909:

|

<pre>

−

Table 13. Tacit Extensions of Projections of Syll

+

Table 65. Tacit Extensions of Projections of Syll

o---------------o o---------------o o---------------o

Jon Awbrey

12,080

edits

Changes

Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems (view source)

Revision as of 20:56, 24 March 2010

Navigation menu

Page actions

Page actions

Personal tools

Navigation

semantic

Site statistics

Tools

Search