Tag Archives: Reasoning

Inquiry and Analogy • Generalized Umpire Operators To get a better handle on the space of higher order propositions and continue developing our functional approach to quantification theory, we’ll need a number of specialized tools.  To begin, we define a … Continue reading →

Inquiry and Analogy • Application of Higher Order Propositions to Quantification Theory Table 21 provides a thumbnail sketch of the relationships discussed in this section. Resources Logic Syllabus Boolean Function Boolean-Valued Function Logical Conjunction Minimal Negation Operator Introduction to Inquiry … Continue reading →

Inquiry and Analogy • Application of Higher Order Propositions to Quantification Theory Reflection is turning a topic over in various aspects and in various lights so that nothing significant about it shall be overlooked — almost as one might turn … Continue reading →

Inquiry and Analogy • Application of Higher Order Propositions to Quantification Theory Last time we took up a fourfold scheme of quantified propositional forms traditionally known as a “Square of Opposition”, relating it to a quartet of higher order propositions … Continue reading →

Inquiry and Analogy • Application of Higher Order Propositions to Quantification Theory Our excursion into the expanding landscape of higher order propositions has come round to the point where we can begin to open up new perspectives on quantificational logic. … Continue reading →

Inquiry and Analogy • Extending the Existential Interpretation to Quantificational Logic One of the resources we have for this work is a formal calculus based on C.S. Peirce’s logical graphs.  For now we’ll adopt the existential interpretation of that calculus, fixing … Continue reading →

Inquiry and Analogy • Measure for Measure Let us define two families of measures, by means of the following equations: Table 14 shows the value of each on each of the 16 boolean functions   In terms of the implication … Continue reading →

Inquiry and Analogy • Umpire Operators The measures of type present a formidable array of propositions about propositions about 2‑dimensional universes of discourse.  The early entries in their standard ordering define universes too amorphous to detain us for long on … Continue reading →

Inquiry and Analogy • Higher Order Propositional Expressions Higher Order Propositions and Logical Operators (n = 2) By way of reviewing notation and preparing to extend it to higher order universes of discourse, let’s first consider the universe of discourse … Continue reading →