12,080
edits
Changes
Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory (view source)
Revision as of 23:54, 14 December 2008
, 23:54, 14 December 2008→Application of Higher Order Propositions to Quantification Theory: text-align:center;
With this interpretation 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; 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'''
|+ '''Table 7. Syllogistic Premisses as Higher Order Indicator Functions'''
|
|