Functional Logic • Inquiry and Analogy • 18

Inquiry and AnalogyApplication of Higher Order Propositions to Quantification Theory

Last time we took up a fourfold schema of quantified propositional forms traditionally known as a “Square of Opposition”, relating it to a quartet of higher order propositions which, depending on context, are also known as measures, qualifiers, or higher order indicator functions.

Table 18 develops the above ideas in further detail, expressing a larger set of quantified propositional forms by means of propositions about propositions.

\text{Table 18. Simple Qualifiers of Propositions (Version 1)}
Simple Qualifiers of Propositions (Version 1)


cc: Conceptual GraphsCyberneticsLaws of FormOntolog Forum
cc: FB | Peirce MattersStructural ModelingSystems Science

This entry was posted in Abduction, Analogy, Argument, Aristotle, C.S. Peirce, Constraint, Deduction, Determination, Diagrammatic Reasoning, Diagrams, Differential Logic, Functional Logic, Hypothesis, Indication, Induction, Inference, Information, Inquiry, Logic, Logic of Science, Mathematics, Pragmatic Semiotic Information, Probable Reasoning, Propositional Calculus, Propositions, Reasoning, Retroduction, Semiotics, Sign Relations, Syllogism, Triadic Relations, Visualization and tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , . Bookmark the permalink.

1 Response to Functional Logic • Inquiry and Analogy • 18

  1. Pingback: Survey of Abduction, Deduction, Induction, Analogy, Inquiry • 2 | Inquiry Into Inquiry

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s

This site uses Akismet to reduce spam. Learn how your comment data is processed.