12,080
edits
Changes
Directory:Jon Awbrey/Papers/Functional Logic : Inquiry and Analogy (view source)
Revision as of 00:06, 15 December 2008
, 00:06, 15 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 16. Syllogistic Premisses as Higher Order Indicator Functions'''
|+ '''Table 16. Syllogistic Premisses as Higher Order Indicator Functions'''
|
|