12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Wednesday April 09, 2025
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
Line 21:
Line 21:
{| 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>
Line 106:
Line 107:
{| 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
Line 302:
Line 304:
{| 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>
Line 570:
Line 573:
{| 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>
Line 920:
Line 924:
{| 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>
Line 1,375:
Line 1,380:
{| 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}
Line 1,404:
Line 1,410:
{| 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>
Line 1,614:
Line 1,621:
{| 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>
Line 1,824:
Line 1,832:
{| 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>
