12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Friday November 22, 2024
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Functional Logic : Quantification Theory (view source)
Revision as of 02:22, 5 July 2013
, 02:22, 5 July 2013table captions
{| align="center" border="1" cellpadding="4" cellspacing="0" style="background:white; color:black; font-weight:bold; text-align:center; width:96%"
{| align="center" border="1" cellpadding="4" cellspacing="0" style="background:white; color:black; font-weight:bold; text-align:center; width:96%"
|+ '''Table 1. Higher Order Propositions (''n'' = 1)'''
|+ style="height:30px" |
<math>\text{Table 1.} ~~ \text{Higher Order Propositions} ~~ (n = 1)\!</math>
|- style="background:ghostwhite"
|- style="background:ghostwhite"
| align="right" | <math>x:\!</math>
| align="right" | <math>x:\!</math>
{| align="center" border="1" cellpadding="4" cellspacing="0" style="font-weight:bold; text-align:center; width:96%"
{| align="center" border="1" cellpadding="4" cellspacing="0" style="font-weight:bold; text-align:center; width:96%"
|+ '''Table 2. Interpretive Categories for Higher Order Propositions (''n'' = 1)'''
|+ style="height:30px" |
<math>\text{Table 2.} ~~ \text{Interpretive Categories for Higher Order Propositions} ~~ (n = 1)\!</math>
|- style="background:ghostwhite"
|- style="background:ghostwhite"
| Measure
| Measure
{| align="center" border="1" cellpadding="0" cellspacing="0" style="background:white; color:black; font-weight:bold; text-align:center; width:96%"
{| align="center" border="1" cellpadding="0" cellspacing="0" style="background:white; color:black; font-weight:bold; text-align:center; width:96%"
|+ '''Table 3. Higher Order Propositions (''n'' = 2)'''
|+ style="height:30px" |
<math>\text{Table 3.} ~~ \text{Higher Order Propositions} ~~ (n = 2)\!</math>
|- style="background:ghostwhite"
|- style="background:ghostwhite"
| align="right" | <math>u\!:</math><br><math>v\!:</math>
| align="right" | <math>u\!:</math><br><math>v\!:</math>
{| align="center" border="1" cellpadding="1" cellspacing="0" style="font-weight:bold; text-align:center; width:96%"
{| align="center" border="1" cellpadding="1" cellspacing="0" style="font-weight:bold; text-align:center; width:96%"
|+ '''Table 4. Qualifiers of Implication Ordering: <math>\alpha_i f = \Upsilon (f_i, f) = \Upsilon (f_i \Rightarrow f)\!</math>'''
|+ style="height:30px" |
<math>\text{Table 4.} ~~ \text{Qualifiers of Implication Ordering:} ~~ \alpha_i f = \Upsilon (f_i, f) = \Upsilon (f_i \Rightarrow f)\!</math>
|- style="background:ghostwhite"
|- style="background:ghostwhite"
| align="right" | <math>u\colon\!</math><br><math>v\colon\!</math>
| align="right" | <math>u\colon\!</math><br><math>v\colon\!</math>
{| align="center" border="1" cellpadding="1" cellspacing="0" style="font-weight:bold; text-align:center; width:96%"
{| align="center" border="1" cellpadding="1" cellspacing="0" style="font-weight:bold; text-align:center; width:96%"
|+ '''Table 5. Qualifiers of Implication Ordering: <math>\beta_i f = \Upsilon (f, f_i) = \Upsilon (f \Rightarrow f_i)\!</math>'''
|+ style="height:30px" |
<math>\text{Table 5.} ~~ \text{Qualifiers of Implication Ordering:} ~~ \beta_i f = \Upsilon (f, f_i) = \Upsilon (f \Rightarrow f_i)\!</math>
|- style="background:ghostwhite"
|- style="background:ghostwhite"
| align="right" | <math>u\colon\!</math><br><math>v\colon\!</math>
| align="right" | <math>u\colon\!</math><br><math>v\colon\!</math>
{| 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:96%"
|+ '''Table 7. Syllogistic Premisses as Higher Order Indicator Functions'''
|+ style="height:30px" |
<math>\text{Table 7.} ~~ \text{Syllogistic Premisses as Higher Order Indicator Functions}\!</math>
|
|
<math>\begin{array}{clcl}
<math>\begin{array}{clcl}
{| align="center" border="1" cellpadding="2" cellspacing="0" style="font-weight:bold; text-align:center; width:96%"
{| align="center" border="1" cellpadding="2" cellspacing="0" style="font-weight:bold; text-align:center; width:96%"
|+ '''Table 8. Simple Qualifiers of Propositions (Version 1)'''
|+ style="height:30px" |
<math>\text{Table 8.} ~~ \text{Simple Qualifiers of Propositions (Version 1)}\!</math>
|- style="background:ghostwhite"
|- style="background:ghostwhite"
| align="right" | <math>u\colon\!</math><br><math>v\colon\!</math>
| align="right" | <math>u\colon\!</math><br><math>v\colon\!</math>
{| align="center" border="1" cellpadding="2" cellspacing="0" style="font-weight:bold; text-align:center; width:96%"
{| align="center" border="1" cellpadding="2" cellspacing="0" style="font-weight:bold; text-align:center; width:96%"
|+ '''Table 9. Simple Qualifiers of Propositions (Version 2)'''
|+ style="height:30px" |
<math>\text{Table 9.} ~~ \text{Simple Qualifiers of Propositions (Version 2)}\!</math>
|- style="background:ghostwhite"
|- style="background:ghostwhite"
| align="right" | <math>u\colon\!</math><br><math>v\colon\!</math>
| align="right" | <math>u\colon\!</math><br><math>v\colon\!</math>
{| align="center" border="1" cellpadding="2" cellspacing="0" style="font-weight:bold; text-align:center; width:96%"
{| align="center" border="1" cellpadding="2" cellspacing="0" style="font-weight:bold; text-align:center; width:96%"
|+ '''Table 10. Relation of Quantifiers to Higher Order Propositions'''
|+ style="height:30px" |
<math>\text{Table 10.} ~~ \text{Relation of Quantifiers to Higher Order Propositions}\!</math>
|- style="background:ghostwhite"
|- style="background:ghostwhite"
| <math>\text{Mnemonic}\!</math>
| <math>\text{Mnemonic}\!</math>
